CL&C 2018: Classical Logic and Computation 2018 (Seventh of the series CL&C)
Oxford, UK, July 7, 2018
Conference website http://www.di.unito.it/~stefano/CL&C/CL&C18.htm
<http://www.di.unito.it/%7Estefano/CL&C/CL&C18.htm>
Submission link https://easychair.org/conferences/?conf=clc2018
Abstract registration deadline March 12, 2018
Submission deadline March 19, 2018
<https://easychair.org/cfp/topic.cgi?tid=3599;a=16889163>
This year, CL&C will be held as satellite workshop of FSCD 2018 (former
TLCA + RTA), see: http://www.cs.le.ac.uk/events/fscd2018/
<http://www.cs.le.ac.uk/events/fscd2018/>. 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.
Submission Guidelines
There are two kind of submissions: original papers not simultaneously
submitted to another journal or conferences, and short talk, not
intended for publication, for which multiple submissions are welcome.
The following paper categories are welcome:
* version of lambda calculi adapted to represent classical logic;
* design of programming languages inspired by classical logic;
* cut-elimination for classical systems;
* proof representation 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,
classical realization);
* case studies (for any of the previous points).
We are negotiating publication of the proceedings with EPTCS. We have
room for informal talks, too. Therefore participants are encouraged to
present both: work in progress, overviews of more extensive work, and
programmatic position papers. All submitted papers will be reviewed to
normal standards. The PC recognises two kinds of papers: it will
distinguish between accepted (full) papers that contain unpublished
results not submitted elsewhere, which we plan to publish on EPTCS or
elsewhere, and presentations of (short) papers about work in progress or
overview of papers published elsewhere. In order to make a submission:
* Format your file using the EPTCS guidelines; there is a 15 page limit.
* Use the submission instructions at:
https://easychair.org/conferences/?conf=clc2018 .
Notification is May, 17 2018. The final version is due on June, 17,
2018. The workshop date: July, 7, 2018. A participants' proceedings will
be distributed at the workshop.
Committees
Program Committee
Chair: Alexandre Miquel. PC: Federico Aschieri, Bahareh Afshari, More To
Be Announced.
Steering committee
* Stefano Berardi
* Steffen Van Bakel
Contact
All questions about submissions should be emailed to stefano berardi:
stef...@di.unito.it.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info
