![]() |
|
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
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/
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
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
[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]