Program

Day 1

Registration: 8:00 am - 9:00 am  (also available throughout the day)

9:00 am - 9:30 am

Opening remarks 

9:30 am - 10:30 am

Keynote 1

Speaker: Speaker: Dr. Leora Morgenstern (Principal Scientist, PARC)

Title: Reasoning about deception in the game of Diplomacy: Why both deep learning and symbolic reasoning are necessary

Break: 10:30 am - 11:00 am

11:00 am - 1:00 pm

Session 1: Paper presentations (25-30 min per paper)

Moderator: TBC

Presentations: 

A logical re-conception of neural networks: Hamiltonian bitwise part-whole architecture - Prof Richard Granger

Short break

Lifelong Formal Modeling Agents - Jacques Basaldúa

Short break

Combining Foundation Models and Symbolic AI for Automated Assessment and Mitigation of Code Vulnerabilities - Ramesh Bharadwaj and Ilya Parker

Short break

Embedding Constraint Reasoning in Machine Learning to Build Generalist Systems - Yexiang Xue

Lunch: 1:00 pm - 2:30 pm

2:30 pm - 3:30 pm

Keynote 2

Speaker: Dr. Grant Olney Passmore, CEO of Imandra

Title: Proof-Carrying Prose: An Automated Reasoning Approach for the Trustworthy Use of LLMs.

Break: 3:30 pm - 4:00 pm

4:00 pm - 5:00 pm

Keynote 3

Speaker: Prof. Pei Wang, Temple University

Title: Different Understandings of AGI

Reception and networking: 5:00 pm - 6:00 pm

Day 2

Registration, coffee & networking: 8:00 am - 9:00 am

9:00 am - 10:00 am

Keynote 4

Speaker: Dr. Joscha Bach

Break: 10:00 am - 10:30 am

10:30 am - 12:30 pm

Session 2: Paper presentations (25-30 min per paper)

Moderator: TBC

Presentations:

Neural circuits for domain general cognition – a primer on brain-inspired priors - presenter TBC

Short break

Generative Image Model Benchmark for Reasoning and Representation (GIMBRR) - Jascha Achterberg

Short break

Bongard Architecture: Towards Scalable Machine Reasoning - Dmitry Grinberg

Lunch: 12:30 pm - 2:00 pm

2:00 pm - 3:00 pm

Keynote 5

Speaker: Gadi Singer (Head of Emergent AI at Intel Labs)

Break: 3:00 pm - 3:30 pm

3:30 pm - 5:00 pm

Panel 1 Session - Roadmap to Generalist AI

Moderator: TBC

Break: 5:00 pm - 6:00 pm

AAAI Plenary Session: 6:00 - 7:30 pm

Day 3

Coffee & networking: 8:00 am - 9:00 am

9:00 am - 10:00 am

Keynote 6

Speaker: Prof. Irina Rish (Université de Montréal, MILA)

Break: 10:00 am - 10:30 am

10:30 am - 12:00 pm

Panel 2: Closing Discussion Session

Moderator: TBC

12:00 am - 12:30 pm

Closing Remarks

 End of the Symposium: 12:30 pm