 |
|
- 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/
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/
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/