Ambrus Kaposi
2017-10-20 12:04:01 UTC
DEADLINES EXTENDED by 2 weeks:
* abstract deadline: 30 October
* paper deadline: 6 November
---------------------------------------
Open call for papers
Post-proceedings of the
23rd International Conference on Types for Proofs and Programs
TYPES 2017
TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2017 was held between 29
May and 1 June in Budapest, Hungary. 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 would like to invite all researchers that study and apply type
systems to share their results. In particular, we welcome submissions
on the following topics:
* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* 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;
* Type theory in linguistics.
IMPORTANT DATES
* Abstract submission: 30 October 2017 (was: 16 Oct)
* Paper submission: 6 November (was: 23 Oct)
* Author notification: 26 March 2018
DETAILS
* Papers have to be formatted with lipics.cls and adhere to the style
requirements of LIPIcs.
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
* The recommended length of a paper is 15-25 pages. Submissions
significantly longer than 25 pages will not be considered.
* Papers have to be submitted in pdf through EasyChair:
https://easychair.org/conferences/?conf=types2017postproceed
* 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 those attachments into account and they will
not be published.
* More information is available on http://types2017.elte.hu/#postproc
* In case of questions, please contact one of the editors.
EDITORS
Andreas Abel
***@gu.se
Gothenburg University, Sweden
Fredrik Nordvall Forsberg
fredrik.nordvall-***@strath.ac.uk
University of Strathclyde, United Kingdom
Ambrus Kaposi
***@inf.elte.hu
Eötvös Loránd University, Hungary
* abstract deadline: 30 October
* paper deadline: 6 November
---------------------------------------
Open call for papers
Post-proceedings of the
23rd International Conference on Types for Proofs and Programs
TYPES 2017
TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. TYPES 2017 was held between 29
May and 1 June in Budapest, Hungary. 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 would like to invite all researchers that study and apply type
systems to share their results. In particular, we welcome submissions
on the following topics:
* Foundations of type theory and constructive mathematics;
* Homotopy type theory;
* 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;
* Type theory in linguistics.
IMPORTANT DATES
* Abstract submission: 30 October 2017 (was: 16 Oct)
* Paper submission: 6 November (was: 23 Oct)
* Author notification: 26 March 2018
DETAILS
* Papers have to be formatted with lipics.cls and adhere to the style
requirements of LIPIcs.
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/
* The recommended length of a paper is 15-25 pages. Submissions
significantly longer than 25 pages will not be considered.
* Papers have to be submitted in pdf through EasyChair:
https://easychair.org/conferences/?conf=types2017postproceed
* 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 those attachments into account and they will
not be published.
* More information is available on http://types2017.elte.hu/#postproc
* In case of questions, please contact one of the editors.
EDITORS
Andreas Abel
***@gu.se
Gothenburg University, Sweden
Fredrik Nordvall Forsberg
fredrik.nordvall-***@strath.ac.uk
University of Strathclyde, United Kingdom
Ambrus Kaposi
***@inf.elte.hu
Eötvös Loránd University, Hungary