EASLLC 2012 Courses (Aug 27-31)

TimeLogic TrackLanguage TrackComputation 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
TimeAug 27 MONAug 28 TUEAug 29 WEDAug 30 THUAug 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 SessionStudent Session16:00 ExcursionStudent Session
18:30 Soccer Match20:00 Evening Lecture *(gathering in front of Guiyuan Hotel)19:00 Banquet17:00 Dinner (Hot Pot)
* (Evening lecture) Speaker: Moshe Y. Vardi; Title: And Logic Begat Computer Science (Room 501)