[TYPES/announce] TTT 2017: 2nd CfP for Type Theory Based Tools @ POPL 2017

Keiko Nakata keko.nakata at gmail.com
Sun Nov 27 08:12:58 EST 2016


TTT : Type Theory Based Tools
Satellite workshop of POPL 2017, Paris France, January 15th

The aim of this workshop is to showcase modern tools based on type
theory, whether designed for programming or for verification, whether
academic projects or used in an industrial setting. It will provide a
forum to highlight and discuss their common and their distinctive
features, and the future directions of development of the tools. The
program will consist of invited and contributed talks, and will
encourage informal discussion. Abstracts will be displayed on the
website of the workshop but there will be no proceedings. We solicit
abstract submissions proposing demos, case studies, describing the
impact of a theoretical result on practice, or any other aspect of the
development and use of tools based on type theory. In particular, we
welcome submissions about prototype implementations and promising work
in progress, as soon as they have the potential of raising interesting

This workshop is funded by the EUTypes COST project
(https://eutypes.cs.ru.nl/). The program will include a plenary
discussion on the role of the EUTypes project in the community and
planning of activities for 2017.

Invited Speakers
Robbert Krebbers, Delft University of Technology, Netherlands
Anders Mörtberg, Inria, France
Aaron Tomb, Galois, US

Registration information available on the website of the workshop:


The EUTypes COST project (https://eutypes.cs.ru.nl/) sponsors this workshop:
members of the COST project will have a discount on the registration fee.
If you are a member of the COST project, contact us at ttt2017 at easychair.org
before registering.

For any query about this workshop, please contact us at ttt2017 at easychair.org

Call for abstracts
Submissions for talks and demonstrations should be described in an
extended abstract, between 1 and 2 pages in length. We suggest
formatting the text using the two-column SIGPLAN LaTeX style (9pt

Submission page: https://easychair.org/conferences/?conf=ttt2017

Important dates
Submission deadline:   November 30th
Notification:          December 15th
Workshop:              January 15th

Program Committee
Andreas Abel, Gothenburg University, Sweden
Andrej Bauer, University of Ljubljana, Slovenia
Assia Mahboubi, Inria Université Paris-Saclay, France
Keiko Nakata, Germany

More information about the Types-announce mailing list