Program
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
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
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
Presentations:
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
Panel
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:
Providing proof of vaccination or medical/religious exemption by presenting your vaccination card or exemption at registration / badge pick-up. Examples:
Proof via state/country of origin health app.
Government issued vaccination card.
Photo of government issued vaccination card, front and back.
Providing proof of negative COVID-19 test taken within 48 hours before arriving at registration / badge pick-up. Example:
Photo (with date and time) of negative COVID-19 antigen test, PCR test, or FDA approved home self-test taken within 48 hours of arrival at the conference hotel.
If you arrive in San Francisco prior to 48 hours before the conference, you may obtain an over-the-counter COVID-19 self-test at the Walgreens located at 1160 Broadway in Burlingame, CA, 94010.
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.
Monday, 3/27/2023: 8:00am – 5:00pm
Tuesday, 3/28/2023: 8:00am – 5:00pm
Wednesday, 3/29/2023: 8:00 – 11:00am
Location of Symposia and links to programs:
SS-23-01 AI Climate Tipping-Point Discovery – Sandpebble A
SS-23-02 AI Trustworthiness Assessment – Sandpebble B
SS-23-03 Challenges Requiring the Combination of Machine Learning and Knowledge Engineering (AAAI-MAKE) – Harbour B
SS-23-04 Computational Approaches to Scientific Discovery – Regency C
SS-23-05 Evaluation and Design of Generalist Systems (EDGeS): Challenges and methods for assessing the new generation of AI – Sandpebble C
SS-23-06 HRI in Academia and Industry: Bridging the Gap – Sandpebble D
SS-23-08 On the Effectiveness of Temporal Logics on Finite Traces in AI – Harbour A
SS-23-09 Socially Responsible AI for Well-being – Sandpebble E
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 https://www.hyatt.com/en-US/hotel/california/hyatt-regency-san-francisco-airport/sfobu/maps-parking-transportation.
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
Monday & Tuesday: 10:30am, 12:30pm, and 3:30pm
Wednesday: 10:30am
Remote Attendance
If your symposium has offered the option for virtual attendance, you will receive a daily calendar invitation with online access credentials.