We continue discussing this Paper by Kohei Kishida. Abstract: The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in categor...
Welcome to ARA
The ARA seminar is organized by computer scientists at the ILLC and brings together researchers interested in automated reasoning, logic, and machine learning from both the University of Amsterdam and the Vrije Universiteit. We focus on fundamental research in areas such as proof formalization and automated theorem proving, knowledge representation, database learning, and machine learning theory. As opposed to the FOAM seminar, which offers broadly accessible plenary talks, ARA has a more interactive setup. Sessions typically feature paper discussions, tutorials, or project pitches for research and master’s theses.
Everyone is welcome to attend, including students who are considering a thesis project in these areas. If you would like to present your work or pitch an idea, please contact one of the organisers. ARA usually takes place on Thursdays from 15:00 to 16:00.
To receive automatic updates on upcoming talks, please subscribe to our mailing list
Upcoming Talks
Past Talks
Haitian Wang
(ILLC)
Paper Discussion: "Categories for Dynamic Epistemic Logic"
We discuss a Paper by Kohei Kishida. Abstract: The primary goal of this paper is to recast the semantics of modal logic, and dynamic epistemic logic (DEL) in particular, in category-theoretic ter...
Arie Soeteman
(ILLC)
Paper Discussion: "Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs"
We discuss a Paper by Jan Tönshoff and Martin Grohe. Abstract: Boolean Satisfiability (SAT) solvers are foundational to computer science, yet their performance typically hinges on hand-crafted he...
Gregor Behnke
(ILLC)
Paper Discussion: "Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning"
We discuss a Paper by Chen, Trevisan and Thibaux. Abstract: Current approaches for learning for planning have yet to achieve competitive performance against classical planners in several domains,...