Invited Talk
Automated Verification = Graphs, Automata and Logic.
Moshe Vardi, Rice University, USA
- Juan Ruiz Alarcón Theater -
9:00am-10:00am
Invited Talk
Data Integration: Successes and Challenges.
Alon Halevy, University of Washington, USA
- Juan Ruiz Alarcón Theater -
10:30am-11:30am
Invited Talk
CANCELLED
Optimality of Collective Choice in Social Insects and Social Robots.
Jean-Louis Deneubourg, University Libre du Bruxelles, Belgium
- Juan Ruiz Alarcón Theater -
11:40am-12:40pm
IJCAI Award for Research Excellence Lecture
Adventures in Artificial Intelligence.
Nils J. Nilsson, Stanford University, USA
- Juan Ruiz Alarcón Theater -
5:45pm-7:00pm