Day 1

Registration: 8:00 am - 9:00 am  (also available throughout the day - see useful info section below)

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: The Defeat of the Winograd Schema Challenge

Break: 10:30 am - 11:00 am

11:00 am - 1:00 pm

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

Moderator:  Dr. Amanda Hicks


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

Title: Generality, Consciousness and Creativity

Break: 10:00 am - 10:30 am

10:30 am - 12:30 pm

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

Moderator: Dr. Amanda Hicks


Neural circuits for domain general cognition – a primer on brain-inspired priors. Presenter: Jascha Achterberg

Short break

Generative Image Model Benchmark for Reasoning and Representation (GIMBRR). Presenter: Jascha Achterberg and Tanya Grinberg, Intel Labs

Short break

Bongard Architecture: Towards Scalable Machine Reasoning. Presenter - Tanya 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)

Title: Are we there yet? The road to Cognitive AI in the Context of Chat-GPT and GPT-4.

Break: 3:00 pm - 3:30 pm

3:30 pm - 4:30 pm

Keynote 6

Speaker: Prof. Michael Gruninger, University of Toronto

Title: The Ontological Stance of Chatbots.

4:30 pm - 5:30 pm


Moderator: Dr. Amanda Hicks

Panelists: Dr. Leora Morgenstern, Dr. Grant Olney Passmore, Prof. Michael Gruninger

Break: 5:30 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 7

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

Break: 10:00 am - 10:30 am

10:30 am - 12:00 pm

Closing Discussion Session

Moderator: TBC

12:00 am - 12:30 pm

Closing Remarks

 End of the Symposium: 12:30 pm

Useful information and location map

Below is general information provided by AAAI for all spring symposia:

COVID-19 Safety

It is our priority to ensure the safest possible in-person SSS-23. For this, we request compliance with the following:

Let's protect ourselves and those most vulnerable among us by taking these easy precautions!

Registration hours: Registration will be located on the lobby level in the Regency Ballroom Foyer.

Location of Symposia and links to programs:

Complimentary Wi-Fi Instructions:

1. View available wireless networks.

2. Connect to “@Hyatt_Meeting” network.

3. Enter the access code: "aaai2023" in the login section.

4. Accept Terms and Go.

Transportation to the Hotel (Complimentary airport shuttle & discounted parking available)

For complete transportation information and directions, please see

The Hyatt and AAAI SSS-23 are pleased to offer discounted overnight self-parking at $10/night. If you are driving each day, this rate is also available to you. Please stop by the registration desk in the Regency Foyer for parking validation.

Dining Options

As a friendly reminder, SSS-23 will provide beverage refreshment and light snacks at designated break times (listed below), however, breakfast and lunch are not provided. The hotel restaurant, 3SIXTY Bistro, is open daily from 6am-11pm for breakfast, lunch, and dinner. 3SIXTY Market is open daily from 6am-11pm for coffee and grab-and-go meals.

Scheduled Break & Lunch Times

Remote Attendance


If your symposium has offered the option for virtual attendance, you will receive a daily calendar invitation with online access credentials.