VSL 2014: VIENNA SUMMER OF LOGIC 2014
CL&C Home Page

Fifth International Workshop on Classical Logic and Computation

Overview

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

Invited Speaker

Alexandre Miquel (Paris 7 University / Universidad de la Republica Uruguay)

Call for Papers

Call for Papers

Organization

Program Committee