Federated Logic Conference 2026 — C4.08

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

C4.08

Sessions

Invited talk 1 (18 Jul 09:30-10:30) ML4SP
Coffee Break (18 Jul 10:00-11:00) ML4SP
Paper talks 1 (18 Jul 11:00-12:40) ML4SP
Lunch (18 Jul 12:40-14:00) ML4SP
Invited talk 2 (18 Jul 14:00-15:00) ML4SP
Paper talks 2 (18 Jul 15:00-15:40) ML4SP
Coffee Break (18 Jul 15:40-16:10) ML4SP
Paper talks 3 (18 Jul 16:10-17:10) ML4SP
Panel discussion (18 Jul 17:10-18:00) ML4SP
Opening (19 Jul 08:45-09:00) PoS
Session 1: Proofs (19 Jul 09:00-10:30) PoS
Coffee Break (19 Jul 10:30-11:00) PoS
Session 2: Optimization (19 Jul 11:00-11:50) PoS
Session 3: Enumeration & Counting (19 Jul 11:50-12:20) PoS
Lunch (19 Jul 12:20-14:00) PoS
Session 4: Exploring Solvers and Instances (19 Jul 14:00-15:10) PoS
Coffee Break (19 Jul 15:10-15:50) PoS
Session 5: SAT Solver Technology (19 Jul 15:50-16:50) PoS
Short Break (19 Jul 16:50-17:00) PoS
Session 6: Encodings (19 Jul 17:00-17:50) PoS
Closing (19 Jul 17:50-18:00) PoS
Welcome (24 Jul 09:00-09:10) XLoKR-ExCoS
Inconsistency & Repair (24 Jul 09:10-10:15) XLoKR-ExCoS
Coffee Break (24 Jul 10:15-10:30) XLoKR-ExCoS
Argumentation & Description Logics (24 Jul 10:30-12:00) XLoKR-ExCoS
Lunch (24 Jul 12:00-13:45) XLoKR-ExCoS
LLMs and Reasoning (24 Jul 13:45-15:00) XLoKR-ExCoS
Coffee Break (24 Jul 15:00-15:15) XLoKR-ExCoS
Constraints (24 Jul 15:15-16:20) XLoKR-ExCoS
Break (24 Jul 16:20-16:30) XLoKR-ExCoS
Explaining Machine Learning (24 Jul 16:30-17:45) XLoKR-ExCoS
Invited Talk 1 (25 Jul 09:00-10:10) LOGICNN
Coffee Break (25 Jul 10:10-10:30) LOGICNN
Session 1A: Expressiveness (25 Jul 10:30-11:10) LOGICNN
Session 1B: Expressiveness (25 Jul 11:20-12:00) LOGICNN
Lunch (25 Jul 12:00-13:30) LOGICNN
Invited Talk 2 (25 Jul 13:30-14:30) LOGICNN
Session 2: Verification (25 Jul 14:40-15:20) LOGICNN
Coffee Break (25 Jul 15:20-15:50) LOGICNN
Session 3: From Neural Networks to Logic (25 Jul 15:50-16:50) LOGICNN

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

🔍 ↑