You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
From: JS Lemay <js.lemay@mq.edu.au>
From: Benno van den Berg <bennovdberg@gmail.com>
Sent: Wednesday, November 1, 2023 2:40:13 AM (UTC+10:00) Canberra, Melbourne, Sydney
To: Categories mailing list <categories@mq.edu.au>
Subject: Call for papers and deadline extension for: TYPES 2023 post-proceedings
[WE HAVE EXTENDED THE DEADLINE FOR ABSTRACT AND PAPER SUBMISSION BY THREE WEEKS]
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
conference.
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
bibliography).
Papers have to be submitted as PDF via the EasyChair interface,
accessible at https://easychair.org/conferences/?conf=posttypes23<https://protect-au.mimecast.com/s/9k35CK1DOrCKWVrOiMloSs?domain=easychair.org>
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.
Deadlines
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:
Editors
Eduardo Hermo Reyes, Formal Vindications, Spain
Benno van den Berg, Universiteit van Amsterdam, The Netherlands
Delia Kesner, Université Paris Cité, France
Contact
In case of questions, contact EMAIL postt...@easychair.org