International Conference and Second East-Asian School on Logic, Language and Computation


EASLLC 2012, International Conference and Second East-Asian School on Logic, Language and Computation, has been held at the Southwest University in Chongqing, China, August 25-31, 2012.



Dag Westerstahl reports on the preceding ESSLLI-like event in China: the Sino-European Winter School in Logic, Language and Computation (SELLC-2010) which was held at the Sun Yat-Sen University, Guangzhou, China, December 3-18, 2010. There was an initial workshop on December 4-5, and then two weeks of the Winter School, with a Student Session (the majority of students were Chinese, but there were also students from Europe and the US), and the following courses:


Samson Abramsky (Categories, Proofs and Processes)
Robin Cooper (Formal and Computational Semantics)
Kees van Deemter (Generation of Referring Expressions in Natural Language)
Juliette Kennedy (Elementary Set Theory)
Phokion Kolaitis (Relational Databases, Logic, and Complexity)
Jeff Paris (Inductive Logic)
Greg Restall (Structures for Proofs)
Mehrnoosh Sadrzadeh (Logical Computations in Multi-Agent Systems)
Dag Westerståhl (Generalized Quantifiers and Natural Language)


There was also a Set Theory Workshop in connection with the School, December 7-8. For further information, see


The idea of initiating ESSLLI style schools in China was discussed by Jouko Väänänen and Dag Westerståhl together with members of the Institute for Logic and Cognition at Sun Yat-Sen University, during the ‘LogICCC meets China’ day (October 7, 2009, Southwest University, Chongqing, China; see, an event sponsored by the Eurocores LogICCC program at ESF, and initiated by Väänänen, Westerståhl, and Johan van Benthem, all from the Logic for Interaction (LINT) project of LogICCC. ESF also sponsored the initial workshop at SELLC-2010 (and thereby some of the lecturers).


Reactions to the Winter School were overwhelmingly positive (a student questionnaire was sent to the participating students, and lecturers also gave written impressions afterwards), and there was a general hope that these events should continue. Ideally, a Chinese (or Asian) organization committee should plan such schools to be held at regular intervals and in different places.