Classical Logic and Computation   

A Workshop in Honour of Helmut Schwichtenberg 

at MFCS & CSL, Brno, Czech Republic, 21-22 August 2010

held jointly with Program Extraction and Constructive Proofs       

Picture of Helmut Schwichtenberg

This workshop is to be held on the occasion that Helmut Schwichtenberg will be turning emeritus in September 2010. This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to: version of lambda calculi adapted to represent classical logic; design of programming languages inspired by classical logic; cut-elimination for classical systems; proof representation and proof search for classical logic; translations of classical to intuitionistic proofs; constructive interpretation of non-constructive principles; witness extraction from classical proofs; constructive semantics for classical logic (e.g. game semantics); case studies (for any of the previous points).

Invited Speakers

To be announced.


Registration is through the MFCS & CSL site.


Steffen van Bakel, Stefano Berardi, Ulrich Berger.
Back to MFCS & CSL 2010

M. Seisenberger (, March 2010.