[Agda] 2nd Cfa TTT 2017 (Type Theory Based Tools)

[Andreas Abel]

2ND CALL FOR ABSTRACTS

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

[We have funding possibilities for students and young researchers, see
below. Note the early deadline!]

Overview
========
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
discussions.

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
Aaron Tomb, Galois, US
More speakers to be confirmed

Registration
============
Registration information will be soon available at the main POPL 2017 
website:

http://conf.researchr.org/home/POPL-2017

Participant funding
===================
The EUTypes COST project (https://eutypes.cs.ru.nl/) can fund students
and young researchers from countries participating in the project to
attend the workshop – check 
http://www.cost.eu/COST_Actions/ca/CA15123?parties
to see if your country is listed. The application should include the 
following
information:

* Your name
* Your institution
* The name of your supervisor(s)
* The url of your webpage if you have one
* Your research topics or interests in 1 paragraph

and should be sent to ttt2017 at easychair.org as soon as possible and no
later than November 20th.

Contact
=======
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
font).

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

Important dates
===============
Submission deadline:   30 November 2016
Notification:          15 December 2016
Workshop:              15 January  2017

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

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/
_______________________________________________
Agda mailing list
Agda at lists.chalmers.se
https://lists.chalmers.se/mailman/listinfo/agda

-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/