Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* [HoTT] Call for Papers and Deadline Extension for: TYPES 2023 Post-proceedings
@ 2023-10-31 15:36 Benno van den Berg
  0 siblings, 0 replies; only message in thread
From: Benno van den Berg @ 2023-10-31 15:36 UTC (permalink / raw)
  To: Homotopy Type Theory

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


TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2023 was held from 12 to 15
June at ETSInf, Universitat Politècnica de València, Spain. The
post-proceedings volume will be published in LIPIcs, Leibniz
International Proceedings in Informatics, an open-access series of

Submission Guidelines

Submission is open to everyone, also to those who did not participate
in the TYPES 2023 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 be 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 for the
  main text (including appendices, but excluding title-page and

- Papers have to be submitted as PDF via the EasyChair interface,
  accessible at https://easychair.org/conferences/?conf=posttypes23

- 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 published.


- Abstract Submission : 21 November 2023 (AoE) 
- Paper submission: 21 December 2023 (AoE) 
- Author notification: 31 March 2023

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.


Eduardo Hermo Reyes, Formal Vindications, Spain
Benno van den Berg, Universiteit van Amsterdam, The Netherlands
Delia Kesner, Université Paris Cité, France 


In case of questions, contact EMAIL postt...@easychair.org

You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/287bfdd2-8d30-4ae9-b574-44a9e45702aen%40googlegroups.com.

[-- Attachment #1.2: Type: text/html, Size: 3743 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2023-10-31 15:36 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-10-31 15:36 [HoTT] Call for Papers and Deadline Extension for: TYPES 2023 Post-proceedings Benno van den Berg

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).