Logic List Mailing Archive

: BACC2002 (fwd)

Bounded Arithmetic and Complexity Classes
BACC2002
Lisbon, June 28-29 (2002)

Second Call for Participation

Main Topics
Bounded arithmetic, weak systems of analysis, extraction of numerical 
bounds from non-constructive proofs, implicit characterizations of 
computational classes

Deadline for submitting extended abstracts: March 15
Deadline for registration: April 30

Invited speakers
Jeremy Avigad (Pittsburgh, PA)
Martin Hofmann (Munich)
Ulrich Kohlenbach (Aarhus)
Jan Krajicek (Prague)
Thomas Strahm (Bern)

Scientific committee
Samuel Buss (San Diego, CA)
Fernando Ferreira (Lisbon)
Ulrich Kohlenbach (Aarhus)
Helmut Schwichtenberg (Munich)

Fernando Ferreira
CMAF - Universidade de Lisboa
Av. Professor Gama Pinto, 2
P-1649-003 Lisboa
PORTUGAL
ferferr@cii.fc.ul.pt
http://alf1.cii.fc.ul.pt/~ferferr/
tel: (351)-217904893