[DMANET] TYPES'13 Post-proceedings published open access (LIPIcs, Vol.26)

= Book Announcement =

Title: 19th International Conference on Types for Proofs and Programs
(TYPES'13)
Editors: Ralph Matthes and Aleksy Schubert
Series: LIPIcs (Leibniz International Proceedings in Informatics)
Volume: 26
Publisher: Schloss Dagstuhl - Dagstuhl Publishing
ISBN: 978-3-939897-72-9

== Access ==

Open access (online & free of charge; CC-BY license) at

http://www.dagstuhl.de/dagpub/978-3-939897-72-9

You may also check the dblp page at

http://dblp.uni-trier.de/db/conf/types/types2013.html

== About the Proceedings ==

The 19th International Conference on Types for Proofs and Programs
(TYPES 2013) was held in Toulouse, France from April 22 to 26, 2013,
consisting of the main conference and several satellite events. The
conference was attended by close to hundred scientists. Three invited
talks and 34 contributed talks were given at the meeting, and we got 22
submissions to these open post-proceedings, out of which 13 papers were
accepted. In this volume one can find papers on the following topics:
analysis of the classical principles in intuitionistic calculi, type
isomorphisms for intersection types, monads and their semantics in
functional programming languages, realizability, extensions of type
theory, extensions of linear logic, models of type theory, control
operators in type systems, formal verification of programs, program
extraction, compiler formalization and modelling of natural language
features. All papers obtained at least two reviews, and up to six
reviews, counting a second round of review.

See also:
* Frontmatter incl. table of contents and preface:
http://dx.doi.org/10.4230/LIPIcs.TYPES.2013.i
* http://www.irit.fr/TYPES2013/

== About the TYPES Meeting ==

The Types Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. Since 1992,
Types Meetings have been annual workshops of several multilateral
scientific EU-financed projects, of which the Types Project was the most
recent. Although organized in Europe, the meetings were always open
internationally, as evidenced by invited speakers and authors of
contributed talks.

See also:
* https://sites.google.com/site/types2011/home
* http://www.cse.chalmers.se/research/group/logic/Types/

== About the LIPIcs Series ==

"LIPIcs: Leibniz International Proceedings in Informatics" is a series
of high-quality conference proceedings across all fields in informatics
established in cooperation with "Schloss Dagstuhl--Leibniz Center of
Informatics". LIPIcs volumes are published according to the principle
of OpenAccess, i.e., they are available online and free of charge for
the reader.

See also:
* http://www.dagstuhl.de/lipics (editorial setup)
* http://drops.dagstuhl.de/lipics (all volumes)

--
Dr. Marc Herbstritt
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
\\\/ Dagstuhl Publishing | LIPIcs Editorial Office
Email: publishing@dagstuhl.de
http://www.dagstuhl.de/lipics

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************