Logic List Mailing Archive

Conference on Logic, Computability and Randomness, Buenos Aires, Jan 2007

Conference on Logic, Computability and Randomness 2007
January 10 to 13, 2007, Buenos Aires, Argentina
http://www.dc.uba.ar/people/logic2007/

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 discussions.

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).

Submissions Abstracts of contributed talks should be sent by October 1st
2006, to logic2007@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.