caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "Pierre-Marie Pédrot" <pierre-marie.pedrot@inria.fr>
To: undisclosed-recipients: ;
Subject: [Caml-list] TYPES 2022 -- Last call for contributions
Date: Fri, 25 Feb 2022 16:08:37 +0100	[thread overview]
Message-ID: <4c77aac2-436a-6451-e33a-28599953825f@inria.fr> (raw)


[-- Attachment #1.1: Type: text/plain, Size: 4506 bytes --]

LAST CALL FOR CONTRIBUTIONS

28th International Conference on Types for Proofs and Programs, TYPES
2022 and EuroProofNet Cost Action CA20111 meeting

Nantes, France, 20-25 June 2022

https://types22.inria.fr

BACKGROUND

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;
* 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;
* formalizing mathematics using type theory.


We encourage talks proposing new ways of applying type theory. In the
spirit of workshops, talks may be based on newly published papers,
work submitted for publication, but also work in progress.

The EuroProofNet Cost Action CA20111 focuses on the same research topics
as TYPES and partially sponsors the TYPES Conference.

INVITED SPEAKERS:

Youyou Cong (Tokyo Institute of Technology)
Ekaterina Komendantskaya (Heriot-Watt University)
Sam Lindley (University of Edinburgh)
Leonardo de Moura (Microsoft Research)

CONTRIBUTED TALKS:

We solicit contributed talks. Selection of those will be based on
extended abstracts/short papers of 2 pp (not including bibliography)
formatted with easychair.cls. The submission site is
https://easychair.org/conferences/?conf=types2022

IMPORTANT DATES:

* submission of 2 pp abstract:           9 March 2022
* notification of acceptance/rejection: 20 April 2022
* camera-ready version of abstract:     15 May 2022

Camera-ready versions of the accepted contributions will be published
in an informal book of abstracts for distribution at the workshop.

POST-PROCEEDINGS

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 submission deadline for the post-proceedings: September 2022.


PROGRAM COMMITTEE


Sandra Alves (University of Porto)
Carlo Angiuli (Carnegie Mellon University)
Stephanie Balzer (Carnegie Mellon University)
Lars Birkedal (Aarhus University)
Frédéric Blanqui (INRIA)
Sandrine Blazy (Université de Rennes 1 - IRISA)
Thierry Coquand (University of Technology)
Andrej Dudenhefner (Saarland University)
Jacques Garrigue (Nagoya University)
Delia Kesner (Université de Paris) (PC Co-Chair)
Marina Lenisa (Università di Udine)
Paul Blain Levy (University of Birmingham)
Sara Negri (Università degli Studi di Genova)
Pierre-Marie Pédrot (INRIA) (PC Co-Chair)
Luca Padovani (Università di Torino)
Zoe Paraskevopoulou (Northeastern University)
Brigitte Pientka (McGill University)
Matija Pretnar (University of Ljubljana)
Talia Ringer (University of Washington)
Kathrin Stark (Princeton University)
Paweł Urzyczyn (University of Warsaw)
Lionel Vaux (Université d’Aix-Marseille)
Niki Vazou (IMDEA Software)


TYPES STEERING COMMITTEE

Andreas Abel (Gothenburg University)
Sandra Alves (University of Porto) (Secretary)
Henning Basold (Leiden University) (SC chair)
Frédéric Blanqui (INRIA)
Ugo de'Liguoro (Università di Torino)
Matthieu Sozeau (INRIA & Université de Nantes)


ABOUT TYPES

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. 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),
Virtual (2021).

CONTACT

Email: types2022@easychair.org

Organisers:

Assia Mahboubi (INRIA & Université de Nantes)
Matthieu Sozeau (INRIA & Université de Nantes)
Nicolas Tabareau (INRIA & Université de Nantes)



[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 840 bytes --]

                 reply	other threads:[~2022-02-25 15:08 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=4c77aac2-436a-6451-e33a-28599953825f@inria.fr \
    --to=pierre-marie.pedrot@inria.fr \
    --subject='Re: [Caml-list] TYPES 2022 -- Last call for contributions' \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).