Please note that this newsitem has been archived, and may contain outdated information or links.
15 July 2006, Workshop on Classical Logic and Computation (CL&C'06)
CL&C'06 is the first of a new conference series on "Classical Logic and Computation". It intends to cover all work aiming to propose a programming language inspired by classical logic, and a semantics for it
For more information, see http://www.doc.ic.ac.uk/~svb/CLaC
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 outlining what will be presented at the workshop and of longer papers describing completed work, either published or unpublished. Submission deadline is 1 April 2006.
Please note that this newsitem has been archived, and may contain outdated information or links.