posted by user: peterljunglof || 1419 views || tracked by 1 users: [display]

post-TYPES 2013 : Types for Proofs and Programs, post-proceedings of TYPES 2013

FacebookTwitterLinkedInGoogle

Link: http://www.irit.fr/TYPES2013/Postproceedings.html
 
When N/A
Where N/A
Abstract Registration Due Sep 9, 2013
Submission Deadline Sep 16, 2013
Notification Due Feb 17, 2014
Categories    type theory
 

Call For Papers

Call for papers: Types for Proofs and Programs,
post-proceedings of TYPES 2013 (open call)
----------------------------------------------

TYPES is a major forum for the presentation of research on all aspects
of type theory and its applications. The post-proceedings of TYPES
2013, which was held in Toulouse, are open to everyone, also those who
did not participate in the conference. We would like to invite all
researchers that study type systems to share their results concerning
type-based theorem proving environments or type-based formal modelling, in
particular we welcome submissions on any topic in the following list:

- Foundations of type theory and constructive 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.
- Formalisation of proofs in type theory.
- Extraction of implementations from proofs.
- Automation in computer-assisted reasoning.
- Links between type theory and functional programming.
- Links between type theory and object-oriented programming.
- Type theory in linguistics.


Important dates
---------------

Abstract submission deadline: 2013-09-09
Paper submission deadline: 2013-09-16
Notification of acceptance: 2014-02-17

Details
-------

* Papers must be submitted in PDF format using EasyChair:
https://www.easychair.org/conferences/?conf=types13postproceedin

* Authors have the option to include an attachment (.zip or .tgz)
containing mechanised proofs, but reviewers are not obliged to take
these attachments into account. Attachments will not be published
together with the papers.

* The post-proceedings will be published in LIPIcs (Leibniz
International Proceedings in Informatics,
http://www.dagstuhl.de/en/publications/lipics), an open-access series
of conference proceedings.

* Authors of accepted papers retain copyright, but are expected to sign
an author agreement with Schloss Dagstuhl—Leibniz-Zentrum für
Informatik, see
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/.

* For information about how to prepare submissions, see
http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/.
In general, please refer to the dedicated web site
http://www.irit.fr/TYPES2013/Postproceedings.html
for more detailed/specific information.

* We recommend to keep the length of the contributions in the range of
15-25 pages, and 25 pages is the upper limit for the submissions.

* In case of questions, please contact one of the editors.

Editors
-------

Ralph Matthes IRIT (CNRS and University of Toulouse), France
Aleksy Schubert University of Warsaw, Poland

Related Resources

Cubic Journal 2025   Call for Papers: Cubic Issue #10 – Peri-pheral Design: Exploring emerging approaches at the peripheries of design towards resilient futures in a post-Anthropocene world
EDUPAN 2025   3rd International Conference on Education in Post Pandemic
Post-Doctoral Researcher 2025   Post-Doctoral Researcher
StatAn 2024   Full-time Post-Doctoral Researcher or Statistical Analyst
TRA2025   THE RISE OF ASIA 70 YEARS AFTER BANDUNG: What possibilities to build the world anew?
ADCOM 2025   11th International conference on Advanced Computing
POST-TRUTH 2024   INFORMATION, MEDIA AND TRUTH IN THE POST-TRUTH AND ARTIFICIAL INTELLIGENCE ERA
ICMLP 2024   International Congress Memory, legacy and presence in the public and media space: historical fascism and the radical right in the 20th and 21st centuries
QSNS 2024   1st Workshop on Quantum-Secure Networks and Systems
ICCI 2024   International Conference Counter-Image 2024 - Visual Culture and Ecological Thinking: reimagining relationships in the world