[Agda] TYPES 2021: Call for Participation

[Henning Basold]

                            Call for Participation

                                  TYPES 2021
                       27th International Conference on
                         Types for Proofs and Programs
                               14 - 18 June 2021
                       Virtual in Leiden, The Netherlands
                  Leiden Institute for Advanced Computer Science
                           https://types21.liacs.nl/

Venue
----------

This year’s TYPES will be held virtually in an interactive environment.
That the conference is held virtually constrains the time of talks,
and complicates exchange and collaboration. TYPES 2021 will therefore
not only consist of presentations, but also a setup of working groups
that get together throughout the week. Every day will be split into a
session of talks and tutorials, and a collaboration session during
which the working groups will get together. The hope is that we can
retain at least some of the exchange and chatter that is the heart
of the TYPES conference series.

The programme can be found here:

  https://types21.liacs.nl/programme/


Registration and (no) Fees
----------------------------

Despite the difficulty that a virtual event brings, it also offers a
chance. We will make TYPES as inclusive as possible, which means that
attending is free of charge for all participants. The costs for
the conference are kindly covered by the Leiden Institute of Advanced
Computer Science (LIACS, liacs.leidenuniv.nl/).

However, registration is required to participate in the TYPES
meeting. If you wish to attend, then please fill in the
registration form latest by *10 June 2021 AoE*:

  https://types21.liacs.nl/registration/

In the form you can choose the days on which you wish to attend.
Please make sure that you will be, at least partially, present during
those days. This helps us to estimate the overall costs better and to
ensure that decisions made during the business meeting will be valid.

Invited Speakers
-----------------------------

Stephanie Balzer (Carnegie Mellon University)
Ulrik Buchholtz (Technical University Darmstadt)
Sara Negri (University of Genova)
Pierre-Marie Pédrot (INRIA -- Inria Rennes-Bretagne-Atlantique)


Contributed Talks
--------------------

The contributed talks can be found here:

  https://types21.liacs.nl/programme/accepted-contributions/

Abstracts for the contributions will be made available before
the conference on the same website.


About Types
---------------

The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalised
and computer assisted reasoning and computer programming.

The TYPES areas of interest include, but are not limited to:

* Foundations of type theory and constructive mathematics;
* Applications of type theory (e.g., linguistics or concurrency);
* Dependently typed programming;
* Industrial uses of type theory technology;
* Meta-theoretic studies of type systems;
* Proof assistants and proof technology;
* Automation in computer-assisted reasoning;
* Links between type theory and functional programming;
* Formalising mathematics using type theory;
* Homotopy type theory and univalent mathematics.

The TYPES meetings from 1990 to 2008 were annual workshops of a
sequence of five EU funded networking projects. From 2009 to 2015,
TYPES has been run as an independent conference series. From 2016 to
2020, TYPES was partially supported by COST Action EUTypes CA15123.
Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991),
Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995),
Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000),
Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near
Paris (2004), Nottingham (2006), Cividale del Friuli (2007),
Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011),
Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016),
Budapest (2017), Braga (2018), Oslo (2019) and Torino (2020).


Post-proceedings
-------------------

Similarly to TYPES 2011 and TYPES 2013-2020, a post-proceedings volume
will be published in the Leibniz International Proceedings in
Informatics (LIPIcs) series. Submission to that volume will be open to
everyone.

Tentative dates for post-proceedings:

* Non-binding intent (abstract)     29 October 2021
* Paper submission                  26 November 2021
* Author notification               25 March 2022

The formal call with binding dates for the post-proceedings will be
issued after the conference.


Contact
-----------

Email: types21 at liacs.leidenuniv.nl
Web form: https://types21.liacs.nl/contact/


Programme Committee
---------------------
Andreas Abel (Gothenburg University/Chalmers)
Henning Basold (LIACS -- Leiden University) (chair)
Stefano Berardi (Università di Torino)
Marc Bezem (University of Bergen)
Frédéric Blanqui (INRIA -- ENS Paris-Saclay)
Sandrine Blazy (INRIA -- University of Rennes)
Ana Bove (Chalmers / U. of Gothenburg)
Paolo Capriotti (no affiliation)
Jesper Cockx (TU Delft)
José Espírito Santo (University of Minho)
Herman Geuvers (Radboud University Nijmegen)
Silvia Ghilezan (University of Novi Sad)
Nicolai Kraus (U. of Nottingham)
Sergueï Lenglet (Univ. de Lorraine)
Assia Mahboubi (INRIA -- Nantes and VU Amsterdam)
Ralph Matthes (IRIT -- CNRS and University of Toulouse)
Keiko Nakata (Kyoto University)
Fredrik Nordvall Forsberg (University of Strathclyde)
Jorge A. Pérez (University of Groningen)
Gabriel Scherer (INRIA Saclay)
Aleksy Schubert (University of Warsaw)
Niccolò Veltri (Tallin UT)
Stephanie Weirich (U. of Pennsylvania)

Organiser
------------

Henning Basold (LIACS -- Leiden University)
Tanjona Ralaivaosaona (LIACS -- Leiden University)

-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 665 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20210604/ec3af92f/attachment.sig>