WAIT 2018

Fourth International Workshop on Automated (Co)inductive Theorem Proving

28–29 June 2018, Amsterdam, The Netherlands
Co-located with Matryoshka 2018

Inductive and coinductive theorem proving is a topic of growing interest in the automated reasoning community. The Fourth International Workshop on Automated (Co)inductive Theorem Proving (WAIT 2018) focuses on all relevant aspects of (co)inductive reasoning.

The workshop is an informal event and aims to give researchers interested in the topic a chance to meet, exchange ideas, and have a platform for discussions.

We invite talks featuring demonstrations and tutorials of (co)inductive theorem provers, challenge problems, new directions of research, or anything else of interest to the (co)inductive theorem proving community.

The previous events in the series were hosted in London, Gothenburg, and Vienna. This fourth installment explicitly generalizes the scope to include coinductive methods.

Please send an email to the organizers if you would like to give a talk, demonstrate a tool, or otherwise participate.

The workshop will take place on 28 and 29 June 2018 in the main building of the Vrije Universiteit Amsterdam, room Agora 3. The VU is easily accessible on foot from the Amsterdam Zuid station, a short train ride away from Amsterdam Airport Schiphol.

WAIT 2018 will take place the same week as the First European Workshop on Higher-Order Automated Reasoning (Matryoshka 2018).

Hotels in Amsterdam can be very expensive. Even the cheapest options often cost over 100 euros per night. The neighboring city of Amstelveen has more reasonably priced options (e.g., Ibis) and is located close to the VU campus, a few stops away by public transportation (tram line 5 or metro line 51).

To be determined.
Jasmin Christian Blanchette (VU Amsterdam)
Johannes Hölzl (VU Amsterdam)
Alexander Bentkamp (VU Amsterdam)
Jasmin Christian Blanchette (VU Amsterdam)
Sander Dahmen (VU Amsterdam)
Sólrún Halla Einarsdóttir (Chalmers tekniska högskola)
Pascal Fontaine (U. Lorraine)
Johannes Hölzl (VU Amsterdam)
This workshop is partially supported by the ERC Starting Grant 2016 Matryoshka (grant agreement No. 713999). We also want to thank Mojca Lovrencak for helping with the local organization.


      This project has received funding from the European Union's Horizon 2020 research and innovation program under grant agreement No. 713999.