Federated Logic Conference 2026 — B2.03

Skip to content

PROGRAM AUTHORS KEYWORDS Search

ACV | ADU | AIMACS | AR4Space | ARQNL | ASPOCP | CARLA | CAV | CI-BD-SOQE | CMSB | CP | CPSATDP | CREST | CSF | DefDesKR | DIALOCO | DL | DPSOLVE | ELASP | EULP | FCS | FMQC | FORCE | FSCD | GALOP | GOE | HCVS | ICLP-DC-SS | ICLP | IFIP16 | IJCAR | Isabelle | ITP | ITRS | IWC | JoeFest | KR | LAMAS-SR | LCC | Lean | LFMTP | LICS | LINDA | LLM-Solve | LLM4R | LOGICNN | LPOP | LSFA | MC | ML4SP | ModRef | MoST | MSFP | MW1 | MW2 | NMR | OVERLAY | PAAR | PC | PCCR | PEG | PERR | PoS | QBF | RajeevFest | RCRA | RocqWS | SAIV | SAT | SD | SKILLED-LLMs | SmP | SMT | Soft | ST4DM | SteamingNeSy | SYNT | TEAL | TERMGRAPH | TGD | ThEdu | THEMA | TLLA | TPTPTP | UNIF | Vampire | VeriProP | WHOOPS | WiL | Without Group | WPTE | WST | XLoKR-ExCoS | Full Program

B2.03

Sessions

Coffee Break (20 Jul 10:00-10:30) KR
Probability (20 Jul 11:00-12:40) KR
Lunch (20 Jul 12:40-14:00) KR
Reasoning on actions (20 Jul 14:00-15:35) KR
Coffee Break (20 Jul 15:35-16:00) KR
Coffee Break (21 Jul 10:30-11:00) KR
Doctoral Consortium (talks) (21 Jul 11:00-11:45) KR
Doctoral Consortium (posters) (21 Jul 11:45-12:45) KR
Lunch (21 Jul 12:35-14:00) KR
Explanation (21 Jul 14:00-16:00) KR
Coffee Break (21 Jul 16:00-16:30) KR
Datalog and existential rules (21 Jul 16:30-18:35) KR
Coffee Break (22 Jul 10:00-10:30) KR
Epistemic logic (22 Jul 11:40-12:30) KR
Lunch (22 Jul 12:30-14:00) KR
Preferences (22 Jul 14:00-15:15) KR
Coffee Break (22 Jul 15:35-16:00) KR
Argumentation and applications (22 Jul 16:00-18:00) KR
Coffee Break (23 Jul 10:00-10:30) KR
Description logic and learning (23 Jul 10:30-12:25) KR
Lunch (23 Jul 12:30-14:00) KR
Beyond SAT (23 Jul 14:00-15:40) KR
Coffee Break (23 Jul 16:00-16:30) KR
Coffee Break (26 Jul 10:00-10:30) CSF
Differential Privacy (26 Jul 10:30-12:30) CSF
Lunch (26 Jul 12:30-14:00) CSF
Quantitative Information Flow (26 Jul 14:00-15:30) CSF
Coffee Break (26 Jul 15:30-16:00) CSF
Side-Channel & Speculative Defenses (26 Jul 16:00-17:00) CSF
Invited Talk (27 Jul 09:00-10:00) CSF
Coffee Break (27 Jul 10:00-10:30) CSF
Symbolic Protocol Verification (27 Jul 10:30-12:30) CSF
Lunch (27 Jul 12:30-14:00) CSF
Computer-Aided Cryptography (27 Jul 14:00-16:00) CSF
Coffee Break (27 Jul 16:00-16:30) CSF
Information Flow & Secure Composition (27 Jul 16:30-18:00) CSF
Business meeting (27 Jul 18:00-19:00) CSF
Coffee Break (28 Jul 10:00-10:30) CSF
E-Voting & Anonymity (28 Jul 10:30-12:30) CSF
Lunch (28 Jul 12:30-14:00) CSF
Cryptographic Primitives & Protocols (28 Jul 14:00-16:00) CSF
Coffee Break (28 Jul 16:00-16:30) CSF
Machine Learning Security & Privacy (28 Jul 16:30-18:00) CSF
Authenticity & Identity (29 Jul 09:00-10:30) CSF
Coffee Break (29 Jul 10:30-11:00) CSF
Attack Trees & Risk Analysis (29 Jul 11:00-12:30) CSF
Lunch (29 Jul 12:30-14:00) CSF
Coffee Break (29 Jul 15:30-16:30) CSF

Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:

🔍 ↑