Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

7 - 8 July 2018, Workshop "Programming & Reasoning on Infinite Structures" (PARIS), Oxford, England

Date: 7 - 8 July 2018
Location: Oxford, England
Deadline: Sunday 15 April 2018

Developing formal methods to program and reason about infinite data, whether inductive or coinductive, is challenging and subject to numerous recent research efforts. The understanding of the logical and computational principles underlying these notions is reaching a mature stage as illustrated by the numerous advances that have appeared in the recent years. The workshop aims at gathering researchers working on these topics as well as colleagues interested in understanding the recent results and open problems of this line of research.

For outsiders, the workshop will offer tutorial sessions and survey-like invited talks. For specialists of the topic, the workshop will permit to gather people working with syntactical or semantical methods, people focusing on proof systems or programming languages, and foster exchanges and discussions benefiting from their various perspectives. The workshop is affiliated with FSCD 2018, as part of the Federated Logic Conference of 2018 and is funded by French ANR, RAPIDO project.

 

We are seeking for short submissions (~3-4 pages long) presenting (i) new completed results (ii) work in progress, or (iii) advertising recently published results. Suggested, but not exclusive, topics of interest for the workshop are: Proof systems, Calculi, Type systems, Curry-Howard correspondence, Semantics, Tools, and Proof theory and verification.

For more information, see https://www.irif.fr/~saurin/RAPIDO/PARIS-2018/ or contact .

Please note that this newsitem has been archived, and may contain outdated information or links.