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
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).