Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / Atom feed
From: Assia Mahboubi <assia.mahboubi@inria.fr>
To: Homotopy Type Theory <HomotopyTypeTheory@googlegroups.com>
Subject: [HoTT] Open CfP: TYPES 2019 post-proceedings
Date: Thu, 17 Oct 2019 13:52:43 +0200
Message-ID: <7883ba07-5dea-8bcc-673c-5bad76377994@inria.fr> (raw)

TYPES 2019 post-proceedings submission deadline:  11 November 2019


                          Open call for papers

                          Post-proceedings of the
     25th International Conference on Types for Proofs and Programs
                              TYPES 2019


TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2019 was held 11-14 June in Oslo,
Norway. The post-proceedings volume will be published in LIPIcs, Leibniz
International  Proceedings in Informatics, an open-access series of
conference
proceedings (http://www.dagstuhl.de/en/publications/lipics).

Submission to this post-proceedings volume is open to everyone, also to
those
who did not participate in the 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, not overlapping with
published or simultaneously submitted work to a journal or a conference with
archival proceedings.

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 and constructive mathematics;
* Homotopy type theory and univalent 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.


IMPORTANT DATES

* Abstract submission:            4 November 2019
* Paper submission:               11 November 2019
* Author notification:            25 March 2020


DETAILS

* Papers have to be formatted with LIPIcs style (currently lipics-v2019.cls)
  and adhere to the style requirements of LIPIcs:
    http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/

* The upper limit for the length of submissions is 20 pages

* Papers have to be submitted in pdf through EasyChair:
    https://easychair.org/conferences/?conf=types2019postproc

* Authors have the option to attach to their submission a zip or tgz file
  containing code (formalized proofs or programs), but reviewers are not
  obliged to take the attachments into account and they will not be
published.

* In case of questions, e.g. on the page limit, contact one of the editors.


EDITORS

Marc Bezem, Marc.Bezem@uib.no, University of Bergen, Norway

Assia Mahboubi, assia.mahboubi@inria.fr, Inria -- Vrije Universiteit
Amsterdam
_______________________________________________
Eutypes mailing list
Eutypes@cs.ru.nl
https://mailman.science.ru.nl/mailman/listinfo/eutypes


-- 
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/7883ba07-5dea-8bcc-673c-5bad76377994%40inria.fr.

                 reply index

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

Reply instructions:

You may reply publically 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=7883ba07-5dea-8bcc-673c-5bad76377994@inria.fr \
    --to=assia.mahboubi@inria.fr \
    --cc=HomotopyTypeTheory@googlegroups.com \
    /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

Discussion of Homotopy Type Theory and Univalent Foundations

Archives are clonable: git clone --mirror http://inbox.vuxu.org/hott

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.hott


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git