Meetings

   ASL Meetings
> Sponsored Meetings

   Other Meetings

   Search

September 16-18, 2010
Set Theory, Model Theory, Generalized Quantifiers and Foundations of Mathematics: a Meeting in Honor of Jouko Väänänen's Sixtieth Birthday
June 1--4, 2011
Third International Congress on Tools for Teaching Logic
June 21--24, 2011
Twenty-sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2011)

Set Theory, Model Theory, Generalized Quantifiers and Foundations of Mathematics: a Meeting in Honor of Jouko Väänänen's Sixtieth Birthday Helsinki, Finland
September 16-18, 2010
Invited speakers include: P. Aczel, J. Bagaria, J. Baldwin, Z. Chatizidakis, M. Dzamonja, P. Galliani, L. Hella, W. Hodges, T. Hyttinen, M. Kesälä, O. Kuusela, P. Koepke, P. Kolaitis, J. Kontinen, R. Kossak, M. Krynicki, M. Magidor, I. Niiniluoto, J. Nesetril, J. Paris, K. Segerberg, S. Todorcevic, D. Westerstahl, S. Weinstein, and B. Zilber. This meeting will be preceded by tutorials on September 13-15 offered by A. Villaveces ( Model theory of sheaves) and B. Velickovic ( Transfinite games). This event is organized by the Helsinki Logic Group. For further information, contact J. Kennedy (email: juliette.kennedy@helsinki.fi) or V. Kulikov (email: vadim.kulikov@helsinki.fi or visit the website below.
http://www.helsinki.fi/~kulikov/jouko/

<top>

Third International Congress on Tools for Teaching Logic Salamanca, Spain
June 1--4, 2011
The invited speakers or keynote software demonstrators include: E. Alonso, R. Girle, D. Gries, J. Henle, A. Huertas, J. Jaspars, R. Morado, and K. Stenning. For further information, visit the website below.
http://logicae.usal.es/TICTTL/

<top>

Twenty-sixth Annual IEEE Symposium on Logic in Computer Science (LICS 2011) Fields Institute, Toronto, Canada
June 21--24, 2011
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. The Program Chair is M. Grohe, the General Chair is R. Alur, and the Conference Co-Chairs are B. Larose and M. Valeriote. For further information, visit the website below.
http://www2.informatik.hu-berlin.de/lics/lics11/

<top>

[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]