FOM: BACC2002

[Fernando Ferreira]

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

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)

More information at
http://alf1.cii.fc.ul.pt/~ferferr/bacc2002/bacc.html

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