Day 1: Crash Course in Neuro-Symbolic AI (August 29, 2023)

Time (ET) Title Speaker
9:00 - 10:00 Intro to Practical Knowledge Representation and Logic Benjamin Grosof
10:00 - 11:00 State-of-the-Art Practical Reasoning and Meta-Logic Benjamin Grosof
11:00 - 12:00 Logic with probabilities Fabrizio Riguzzi, Fabio Cozman
12:00 - 12:30 Lunch Break  
12:30 - 13:30 From Probabilistic Logics to Neurosymbolic AI Luc de Raedt
13:30 - 14:30 Reasoning with large language models Abulhair Saparov
14:30 - 14:45 Coffee Break  
14:45 - 15:45 Robust Logic: Past, Present and Future Leslie Valiant
15:45 - 16:15 Compositional generalization Parikshit Ram, Soham Dan
16:15 - 17:00 Panel Grosof, Riguzzi, Cozman, de Raedt, Saparov, Ram, Dan, Valiant (Moderator Alex Gray)

Day 2: Diverse Approaches at the Research Frontier of Neurosymbolic AI (August 30, 2023)

Time (ET) Title Speaker
9:00 - 9:30 Some extensions and applications of Robust Logic Naoki Abe
9:30 - 10:00 Deep Learning with Logical Requirements Eleonora Giunchiglia
10:00 - 10:30 Neuro-vector symbolic architectures Michael Hersche
10:30 - 10:45 Coffee Break  
10:45 - 11:15 AI can learn from data. But can it learn to reason? Guy van den Broeck
11:15 - 11:45 Thinking fast and slow in AI planning Francesca Rossi
11:45 - 12:15 Utilizing knowledge in compositional generalization Tim Klinger
12:15 - 13:00 Lunch break  
13:00 - 13:30 Causal abstraction for faithful, human-interpretable model explanations Christopher Potts
13:30 - 14:00 Model-based ML: Towards causal reasoning in an AI Scientist Yoshua Bengio
14:00 - 15:00 Panel Abe, Giunchiglia, Hersche, van den Broeck, Rossi, Klinger, Potts, Bengio (Moderator Alex Gray)