Combinatorial Solving with Provably Correct Results
February 20, 2024, Vancouver, Canada
Tutorial at The 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024)
https:
I'm a research professor in the Declarative Languages and Artificial Intelligence section of the KU Leuven. My research interests are spread throughout the field of knowledge representation. They range from high-level representation languages to performance optimisations in SAT, from abstract, algebraical frameworks to unify semantics of logics to implementation of knowledge base systems, from applications of KR to integration of declarative problem solving paradigms,... My current focus is developing mechanisms that instill trust in solving technology by means of proofs. This is the core topic of my ERC grant.
I am also partially affiliated to the AI lab of the Vrije Universiteit Brussel (VUB).
Daimy van Caudenberg won the BrEA student prize for best master thesis in computer science for her work on enumerating solutions of the Yang-Baxter Equation.
Dieter Vandesande obtains a prestigious FWO Aspirant Fundamental Resarch fellowship.
Dieter Vandesande is runner up for the VCLA Outstanding Master Thesis Award.
Robbe van den Eede obtains best paper award at LPNMR 2024 for his work on proof systems for inductive definitions.
February 20, 2024, Vancouver, Canada
Tutorial at The 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024)
August 20, 2023, Macao, S.A.R.
Tutorial at the 32nd International Joint Conference on Artificial Intelligence (IJCAI)
April 20, 2023, Simons Institute, UC Berkeley, USA
November 29, 2022, University of Copenhagen, Denmark (Virtual)
October 13, 2022, Schloss Dagstuhl, Germany
Dagstuhl seminar on Theory and Practice of SAT and Combinatorial Solving
August 2, 2022, Haifa, Israel
October 25, 2021, Virtual Conference
April 24, 2021, Simons Institute, UC Berkeley, California, USA
September 7, 2020, Louvain-La-Neuve, Belgium.
Januari 15, 2019, Leipzig, Germany.
November 6, 2017, Stockholm, Sweden.
October 17, 2016, New York, USA.
International Workshop on Logic and Search (Lash 2016)
July 18, 2014, Vienna, Austria.
International Workshop on Logic and Search (Lash 2014)
Main Track SAT: second place
Honorary medal
Distinguished paper award
Distinguished paper award
First place
Prenex CNF: Second place
No Limits Track: First place
Core Solvers, Sequential, Hard-combinatorial SAT+UNSAT: First place
Core Solvers, Sequential, Hard-combinatorial SAT: Third place
I have (co)-authored the following software: ZebraTutor, IDP3, MinisatID, BreakID, so2grounder, SmsControl.