Federated Logic Conference 2026

PROGRAM AUTHORS KEYWORDS Search

C5.02

Sessions

Lunch (18 Jul 12:30-14:00) SmP
Pragmatics of QBF (19 Jul 09:00-10:20) QBF
Coffee Break (19 Jul 10:20-10:50) QBF
Dependency QBF (19 Jul 10:50-12:10) QBF
Lunch (19 Jul 12:10-14:00) QBF
QBF Proof Complexity (PC and QBF Joint Session) (19 Jul 14:00-15:40) QBF
Coffee Break (19 Jul 15:40-16:10) QBF
QBF Counting, Sampling and Synthesis (19 Jul 16:10-17:30) QBF
Invited talk (24 Jul 09:00-10:00) LFMTP
Coffee Break (24 Jul 10:00-10:30) LFMTP
Unification (24 Jul 10:30-12:00) LFMTP
Lunch (24 Jul 12:00-14:00) LFMTP
Calculi (24 Jul 14:00-15:00) LFMTP
Coffee Break (24 Jul 15:00-15:30) LFMTP
Quantification (24 Jul 15:30-16:30) LFMTP
Opening Remarks (25 Jul 09:30-09:35) FCS
Invited Talk (25 Jul 09:35-10:30) FCS
Coffee Break (25 Jul 10:30-11:00) FCS
Session 1: Information Flow Security and Secure Attestation (25 Jul 11:00-12:15) FCS
Mentoring Lunch Preparation (25 Jul 12:15-12:30) FCS
Session 2: Cryptography (25 Jul 14:00-15:30) FCS
Coffee Break (25 Jul 15:30-16:00) FCS
Session 3: Smart Contracts and (Cyrptographic) Protocols (25 Jul 16:00-17:25) FCS