News and Events: Conferences

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)

Date: Saturday 15 July 2006
Deadline: 31 March 2006

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.