Talks 8
- TBA Mar 26, 2026
- TBA Mar 12, 2026
- Paper Discussion: "On the Completeness of Interpolation Algorithms" Feb 26, 2026
- TBA Feb 12, 2026
- Paper Discussion (Part 2): "Categories for Dynamic Epistemic Logic" Nov 27, 2025
- Paper Discussion: "Categories for Dynamic Epistemic Logic" Nov 13, 2025
- Paper Discussion: "Learning from Algorithm Feedback: One-Shot SAT Solver Guidance with GNNs" Oct 30, 2025
- Paper Discussion: "Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning" Oct 1, 2025