EASLLC 2012 Courses (Aug 27-31)
| Time | Logic Track | Language Track | Computation Track |
|---|
| 09:00-10:30 |
Models and Games |
Compositionality: What is it and what is it good for? |
Strategic Games |
| Slot 1 |
Jouko Väänänen |
Dag Westerståhl |
Krzysztof R. Apt |
|
(Univ. of Helsinki, Finland & Univ. of Amsterdam, Netherlands) |
(Stockholm Univ., Sweden) |
(CWI and Univ. of Amsterdam, Netherlands) |
| 11:00-12:30 |
|
The Syntax/Semantics Interface: Compositionality Issues |
Schema Mappings and Data Exchange |
| Slot 2 |
|
Pauline Jacobson |
Phokion Kolaitis |
|
|
(Brown University, USA) |
(Univ. of California Santa Cruz and IBM Research - Almaden, USA) |
| 14:00-15:30 |
Logics for Rational Agency |
Applying Logic to the Study of Human Language Syntax |
The Automata-Theoretic Approach to Linear Temporal Logic |
| Slot 3 |
Fenrong Liu |
Geoffrey K. Pullum |
Moshe Y. Vardi |
|
(Tsinghua University, China) |
(University of Edinburgh, UK, and Brown University, USA) |
(Rice University, USA) |
EASLLC 2012 Time Table (Aug 27-31)
Aug 26 18:00 Reception
| Time | Aug 27 MON | Aug 28 TUE | Aug 29 WED | Aug 30 THU | Aug 31 FRI |
|---|
| 09:00-10:30 |
Course Slot 1 |
| 10:30-11:00 |
Coffee Break |
| 11:00-12:30 |
Course Slot 2 |
| 12:30-14:00 |
Lunch Time |
| 14:00-15:30 |
Course Slot 3 |
| 15:30-16:00 |
Coffee Break |
Coffee Break |
|
Coffee Break |
Photo Session |
| 16:00- | Student Session | Student Session | 16:00 Excursion | Student Session | |
| 18:30 Soccer Match | 20:00 Evening Lecture * | (gathering in front of Guiyuan Hotel) | 19:00 Banquet | 17:00 Dinner (Hot Pot) |
* (Evening lecture) Speaker: Moshe Y. Vardi; Title:
And Logic Begat Computer Science (Room 501)
