Fernando Ferreira ferferr at
Tue Mar 12 07:26:25 EST 2002

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

Third 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

More information at

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
ferferr at
tel: (351)-217904893

More information about the FOM mailing list