[TYPES/announce] TYPES 2022 Second Post-proceeding CfP

Pierre-Marie Pédrot pierre-marie.pedrot at inria.fr
Mon Oct 24 08:17:13 EDT 2022

TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2022 was held from 20 to 25
June at LS2N, University of Nantes, France. The post-proceedings
volume will be published in LIPIcs, Leibniz International Proceedings
in Informatics, an open-access series of conference.

Submission Guidelines

Submission is open to everyone, also to those who did not participate
in the TYPES 2022 conference. We welcome high-quality descriptions of
original work, as well as position papers, overview papers, and system
descriptions. Submissions should be written in English, and being 
original, i.e. neither previously published, nor simultaneously 
submitted to a journal or a conference.

- Papers have to be formatted with the current LIPIcs style and adhere 
to the style requirements of LIPIcs.
- The upper limit for the length of submissions is 20 pages, excluding 
bibliography (but including title and appendices).
- Papers have to be submitted as PDF via the EasyChair interface, 
accessible at https://easychair.org/conferences/?conf=posttypes2022
- The processing charge will be sponsored by the LS2N for up to 20 
publications, given that these publications do not exceed the page limit.
- Authors have the option to attach to their submission a zip or tgz 
file containing code (formalised proofs or programs), but reviewers are 
not obliged to take the attachments into account and they will not be 


- Abstract Submission : 31 October 2022 (AoE)
- Paper submission: 30 November 2022 (AoE)
- Author notification: 31 March 2022

List of Topics

The scope of the post-proceedings is the same as the scope of the 
conference: the theory and practice of type theory. In particular, we 
welcome submissions on the following topics:

- Foundations of type theory;
- Applications of type theory (e.g. linguistics or concurrency);
- Constructive mathematics;
- 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.


Delia Kesner, Université Paris Cité, FR (delia.kesner at irif.fr)
Pierre-Marie Pédrot, INRIA, FR (pierre-marie.pedrot at inria.fr)


In case of questions, contact the editors directly.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_0x7922C01FD9BA3C7B.asc
Type: application/pgp-keys
Size: 4032 bytes
Desc: OpenPGP public key
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221024/236a1205/attachment.skr>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 840 bytes
Desc: OpenPGP digital signature
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20221024/236a1205/attachment.sig>

More information about the Types-announce mailing list