Bart Bogaerts
Bart Bogaerts
Affiliation: KU Leuven
Affiliation: KU Leuven and Vrije Universiteit Brussel
Affiliation: KU Leuven, Belgium\\ Vrije Universiteit Brussel, Belgium
Affiliation: KU Leuven & Vrije Universiteit Brussel
Affiliation: KU Leuven, Belgium
Affiliation: KU Leuven and VU Brussel
Affiliation: Vrije Universiteit Brussel

Currently hiring phd students and postdocs. 

See my webpage for more info 


bartbogaerts.eu

Talks
(PoS)
Opening · Opening
(WHOOPS)
Trimming Pseudo-Boolean Proofs · Papers 1
(PoS)
Trimming Pseudo-Boolean Proofs · Session 1: Proofs
(PoS)
Closing Remarks · Closing
(KR)
Why(-Not)-Provenance for Datalog with Negation · Datalog and existential rules
(ICLP)
Towards a Certifying Grounder · Block 9 (8 TC)
(CP)
On Symmetries and Transformations · Theory 1
(XLoKR-ExCoS)
Step-Wise Explanations for Sudoku Puzzles Using ASP(Q) (Extended Abstract) · Constraints
(CAV)
Liveness Proofs for Hardware Model Checking (Distinguished Paper) · Liveness/Termination
Pages in this Program
Program
Program on Sunday, 19 July 2026
PoS on Sunday, 19 July 2026
PoS Program
WHOOPS on Sunday, 19 July 2026
WHOOPS Program
Program on Tuesday, 21 July 2026
KR on Tuesday, 21 July 2026
KR Program
Program on Wednesday, 22 July 2026
ICLP on Wednesday, 22 July 2026
ICLP Program
Program on Thursday, 23 July 2026
CP on Thursday, 23 July 2026
CP Program
Program on Friday, 24 July 2026
XLoKR-ExCoS on Friday, 24 July 2026
XLoKR-ExCoS Program
Program on Tuesday, 28 July 2026
CAV on Tuesday, 28 July 2026
CAV Program
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑