CL&C'10 First call for papers

[Steffen van Bakel]

As usual, apologies for multiple copies. This is the first call for 
papers for:


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,

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

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. 

We will distinguish between accepted (full) papers, and invited presentation of (short) papers.
The accepted papers will appear in EPTCS.

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. 

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

PROGRAMME COMMITTEE
• Bernard Reus (Sussex)
• Hugo Herbelin (Inria Paris)
• Richard McKinley (Bern)
• Stefano Berardi (Turin) - co-chair
• Steffen van Bakel (Imperial College London) - co-chair
• Stéphane Lengrand (LIX Paris)
• Ugo de'Liguoro (Turin)
• Ulrich Berger (Swansea) - co-chair
• Zhaohui Luo (Royal Holloway London)

CONTACT
u.berger at swansea.ac.uk