Meetings

   ASL Meetings
> Sponsored Meetings

   Other Meetings

   Search

January 7--11, 2009
Third Indian Conference on Logic and its Applications
April 6--10, 2009
Young Researchers in Set Theory Workshop 2009
June 29--July 3, 2009
Fourth Conference on Logic, Computability and Randomness
August 11--14, 2009
Twenty-fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009)

Third Indian Conference on Logic and its Applications Chennai, India
January 7--11, 2009
The invited speakers thus far include: J. van Benthem, R. Goré, J. Hamkins, J. Makowsky, R. Parikh, and M. Vardi. The Co-chairs of the Program Committee are: R. Ramanujam and S. Sarukkai. The Chair of the Organizing Committee is S. P Suresh. For further information, visit the website below.
http://ali.cmi.ac.in/icla2009/index.html

<top>

Young Researchers in Set Theory Workshop 2009 Barcelona, Spain
April 6--10, 2009
The aim of this conference, to be hosted by the Centre de Recerca Mathemàtica (CRM), is to bring together Ph.D. students and postdocs in set theory in order to learn from leading researchers in the field, hear about the latest research, and discuss research issues in a co-operative environment. Tutorials given by senior researchers representing a branch of set theory will be offered by: M. Dzamonja, M. Gitik, E. Schimmerling, and B. Velickovic. The Local Organizing Committee includes: D. Aspero, N. Castells, M.A. Moto, and J. Veldman. For further information, visit the website below.
http://www.math.uni-muenster.de/logik/YS09/

<top>

Fourth Conference on Logic, Computability and Randomness Marseille, France
June 29--July 3, 2009
This event, to be held at the International Center for Mathematical Meetings (CIRM), will focus on algorithmic randomness (Kolmogorov complexity) and its connections to classical computability and degrees, combinatorics, computable analysis, computational complexity and pseudo-randomness, dynamical systems, and mathematical logic. The Local Organizing Committee includes: L. Bienvenu, B.Durand, and A. Shen. The members of the Steering Committee are: V. Becher, R. Downey, B. Durand, D. Hirschfeldt, W. Merkle, and A. Shen. For further information, visit the website below.
http://www.lif.univ-mrs.fr/lce/index.html

<top>

Twenty-fourth Annual IEEE Symposium on Logic in Computer Science (LICS 2009) Los Angeles, California
August 11--14, 2009
The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic in a broad sense. LICS 2009 will be co-located with the Sixteenth International Static Analysis Symposium (SAS 2009). The LICS Program Chair is A. Pitts, the LICS General Chair is M. Abadi, and the LICS Conference Chair is J. Palsberg. For further information about LICS, visit the website below; for additional information about SAS 2009, visit http://sas09.cs.ucdavis.edu/.
http://www2.informatik.hu-berlin.de/lics/lics09/index.html

<top>

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