Logic List Mailing Archive

WORKSHOP ON PROOF, COMPUTATION, COMPLEXITY

WORKSHOP ON PROOF, COMPUTATION, COMPLEXITY
   Call for participation
   Tuebingen (Germany), April 8 - 9, 2002
 * The workshop is aimed at computer scientists and logicians who share
   an active interest in proof theory, computation and complexity
   theory. It focusses on recent developments in these fields, and it
   strongly supports discussion of perspectives in future research.  
   In particular, we would like to welcome young researchers to
   participate. 
 * Further information can be obtained from the following web page:
   http://www-ls.informatik.uni-tuebingen.de/logik/kahle/pcc.html
 * Contact addresses:
   Birgit Elbl (birgit@informatik.unibw-muenchen.de)
   Reinhard Kahle (kahle@informatik.uni-tuebingen.de)