Sino-European Winter School in Logic, Language and Computation

Guangzhou, China, December 3-18, 2010

This is a winter school for logic students organized in the spirit of the ESSLLI summer schools in Europe.

There will be 10 lecture courses on various topics in the areas of logic, linguistics and computer science, a workshop on the topic of Logic, Language and Computation, plus a special student session for student papers. Deadline for submissions to the student session has been extended to October 10, 2010.

Program Committee: Samson Abramsky (Oxford), Robin Cooper (Gothenburg), Shier Ju (Guangzhou, co-chair), Jouko Väänänen (Helsinki and Amsterdam, chair), Wenfang Wang (Taipei), Dag Westerståhl (Gothenburg, co-chair), Beihai Zhou (Beijing)

Local Organizing Committee: YongTao Chen (Guangzhou), Yuping Shen (Guangzhou), Xuefeng Wen (Guangzhou), Jiahong Guo (Beijing).

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)
Jouko Väänänen (Models and Games - an Introduction to Model theory)
Dag Westerståhl (Generalized Quantifiers and Natural Language).

Workshop on "Logic, Language and Computation" Dec 4-5: Invited speakers: Peter Gärdenfors, Menachem Magidor, Winter School lecturers, and others (TBA). The workshop has some slots for submitted papers. Submissions of short abstracts (up to two pages) of papers are invited. Extended deadline for submissions: October 10, 2010. Notification of acceptance: November 1, 2010. The address for the submissions:

Workshop on Set Theory: December 7-8. Speakers include Menachem Magidor, Boban Velickovic, Qi Feng, Jouko Väänänen and Juliette Kennedy.

Student Session Organizer: Fan Yang (Helsinki)

More information:



Institute of Logic and Cognition (ILC) Guangdong Logic Association (GDLA)