Universiteit van Amsterdam


Institute for Logic, Language and Computation

7 July 2018, Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Oxford, England

Date: Saturday 7 July 2018
Location: Oxford, England
Deadline: Monday 19 March 2018

CL&C is focused on the interplay between, on one side, the exploration of the computational content of classical mathematical proofs, and on the other side, the languages and the semantical models proposed in computer science for this task: continuations, game models, denotational models, learning models and so forth. The scientific aim of this workshop is to bring together researchers from both proof theory and computer science and to exchange ideas. This year, CL&C will be held as a satellite workshop of FSCD 2018 (former TLCA + RTA).

Invited Speaker: Alex Simpson.

The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, which we publish on EPTCS, and presentations of (short) papers about work in progress or overview of papers published elsewhere. We have room for informal talks, too. Therefore participants are encouraged to present: work in progress, overviews of more extensive work, and programmatic position papers. All submitted papers will be reviewed to normal standards. Proceedings will appear on EPTCS.

For more information, see http://www.di.unito.it/~stefano/CL&C/CL&C18.htm or contact Stefano Berardi at .