The Marie Curie Research Training Site GLoRiClass took up its work in February 2006. Now it's coming up to the half-way point. So we shall have a public event to mark this: the GLoRiClass Halftime Event.
Time: 09:30.
Location: Universiteitsbibliotheek, Singel 425, 1012 WP Amsterdam.
How to get here: From Central Station, take tram number 1, 2, or 5 to
Koningsplein.
Cross the river and turn left to Singel.
Contact: Compose "mstaudac" + the at-sign + "science.uva.nl".
Schedule.
| 09:30-09:50 |
Welcome |
| 09:50-10:00 |
Opening Note of the Project Coordinator Benedikt Löwe |
| 10:00-10:40 |
Johan van Benthem |
Logic Games and Game Logics: the two sides of logical dynamics |
| 10:40-11:05 |
Amélie Gheerbrant |
Complete Axiomatizations of Logics on Finite Trees |
| 11:05-11:15 |
Coffee Break |
| 11:15-11:40 |
Daisuke Ikegami |
Infinite Games with Imperfect Information |
| 11:40-12:05 |
Cédric Dégrement |
Strategic Reasoning under Imperfect Information |
| 12:05-12:30 |
Jonathan Zvesper |
Rationality and Beliefs |
| 12:30-14:00 |
Lunch |
| 14:00-14:40 |
Gerhard Jaeger |
George Price |
| 14:40-15:05 |
Marc Staudacher |
Social Costs as a Condition for Shared Languages |
| 15:05-15:30 |
Jakub Szymanik |
A Computational Insight into Meaning |
| 15:30-15:45 |
Coffee Break |
| 15:45-16:10 |
Joel Uckelman |
Computation with Preferences for Voting and Auctions |
| 16:10-16:35 |
Andreas Witzel |
A Generic Approach to Coalition Formation |
| 16:35-17:15 |
Samson Abramsky |
Towards Information Dynamics |
| 18:45-23:00 |
Halftime Event Dinner |
