7 July 2018, Seventh International Workshop on Classical Logic and Computation (CL&C 2018), Oxford, England
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.