Fifth International Workshop on Classical Logic and Computation
CLC'14 is the fifth of a conference series on Classical Logic and Computation. It indends to cover all work aiming to explore computational aspects of classical logic and classical proofs in mathematics.
Detailed information on CL&C'14 can be found on the CL&C'14 website.
Information on the previous four CL&C meetings can be found here.
Alexandre Miquel (Paris 7 University / Universidad de la Republica Uruguay)