Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

13-19 July 2007, Logic Colloquium '07 (2007 ASL European Summer Meeting), Wroclaw, Poland

Date: 13-19 July 2007
Location: Wroclaw, Poland
Deadline: 17 April 2007

The Logic Colloquium is the annual European conference on logic, organised under the auspices of the Association for Symbolic Logic (ASL). It provides a forum for presenting and discussing the new developments in the area of logic. The conference attracts researchers from logic, with an emphasis on mathematical logic, but also including researchers from computer science logic and philosophical logic. In previous years, the Logic Colloquium has been organised in Nijmegen (2006) and Athens (2005). The leading researchers on logic participate in the conference, as invited speaker, tutorial speaker or as participant. It also attracts students (master and Ph.D. students) in logic from all over the world and in that way it also serves for students as an introduction into the research field of logic.

LC'07 will be colocated with ICALP'07 and LICS'07.

For more information, see http://www.aslonline.org/.

Abstracts - hard copy or email - should be received before the deadline of April 17, 2007.

Please note that this newsitem has been archived, and may contain outdated information or links.