[FOM] Conference on Logic, Computability and Randomness, Buenos Aires, January 10-13, 2007

Carlos Areces Carlos.Areces at loria.fr
Tue May 23 06:54:07 EDT 2006

Please distribute
Conference on Logic, Computability and Randomness 2007
January 10 to 13, 2007, Buenos Aires, Argentina

The theme of the conference will be algorithmic randomness and
related topics in logic, computability and complexity.
The program will consist of invited talks, contributed talks and 

The conference will be held at Facultad de Ciencias Exactas y Naturales,
Universidad de Buenos Aires, Argentina.

The meeting is sponsored by the Association for Symbolic Logic.
There is no registration fee.  Student members of the ASL
can apply for travel grants (the approval process takes a few weeks).

Abstracts of contributed talks should be sent by October 1st 2006, to
logic2007 at dc.uba.ar.

Plenary Speakers
Eric Allender (Rutgers University)
Roberto Cignoli (CONICET, Argentina)
Serge Grigorieff (Universite Paris 7) -to be confirmed-
Joos Heintz (University of Buenos Aires / University of Cantabria)
Carl Jockusch  (University of Illinois at Urbana-Champaign)
Antonin Kucera  (Charles University, Prague)
Steffen Lempp (University of Wisconsin)
Wolfgang Merkle (University of Heidelberg)
Andre Nies (University of Auckland) -to be confirmed-
Joseph S. Miller  (University Connecticut)
Jan Reimann  (University of Heidelberg)
Claus-Peter Schnorr  (University of Frankfurt am Main)
Theodore Slaman (University of California)
Sebastiaan Terwijn (Technical University of Vienna)

Program Committee
Rod Downey  (Victoria University, Wellington, New Zealand)
Denis Hirschfeldt (University of Chicago, USA)
Veronica Becher   (University of Buenos Aires, Argentina)

Local Organizers
Veronica Becher, Santiago Figueira, Daniel Gorin, Sergio Mera,
Mariano Perez Rodriguez.
Carlos Eduardo Areces
INRIA Lorraine

INRIA Lorraine. 615, rue du Jardin Botanique
54602 Villers les Nancy Cedex, France
phone  : +33 (0)3 54 95 84 90
fax    : +33 (0)3 83 41 30 79
e-mail : carlos.areces at loria.fr
www    : http://www.loria.fr/~areces
visit  : http://hylo.loria.fr -> The Hybrid Logic's Home Page

More information about the FOM mailing list