International Workshop on Classical Logic and Computation (CL&C’10) http://www.doc.ic.ac.uk/~svb/CLaC10 21-22 August 2010 Brno, Czech Republic
CL&C’10 is a joint workshop with PECP and a satellite of the federated conferences: CSL and MFCS
IMPORTANT DATES Deadline for abstract: June, 13, 2010 Deadline for submission: June, 27, 2010 Notification of acceptance: July, 17, 2008 Final version due: July, 27, 2010 Workshop date: August, 21-22, 2010
INTRODUCTION CL&C’10 is the third of a conference series on “Classical Logic and Computation”. It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as part of CSL and MFCS, jointly with PECP (Program Extraction and Constructive Proofs): http://www.cs.swansea.ac.uk/~csmona/pecp.html Through these two workshops we wish to honour Prof. Helmut Schwichtenberg’s many important contributions to both fields.
CL&C is focused on the interplay between program extraction from classical proofs and computer science, while PECP will focus on recent developments in Applied Proof Theory and Constructive Mathematics. The two fields have a substantial common interest, namely the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas.
SCOPE OF CL&C 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,
SUBMISSION AND PUBLICATION, This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers.
Post-proceedings of CL&C’06 and CL&C’08 were published as special issues of APAL. A special issue of a journal, with the post-proceedings of CL&C ‘10, is being considered. It will contain full versions of selected papers.
In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at http://www.easychair.org/conferences/?conf=clac10
Submissions will be refereed according to interest and originality of the idea. A participants’ proceedings will be distributed at the workshop.
INVITED SPEAKERS Joint with PECP (see the PECP web page) http://www.cs.swansea.ac.uk/~csmona/pecp.html
CONTACT u.berger@swansea.ac.uk