[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for papers: TYPES 2008 Post-Proceedings

[As usual for the post-proceedings of the TYPES workshops,
submissions are not restricted to works presented at the workshop,
nor then authors are expected to be formally involved in the Types project.]



NOTIFICATION OF ACCEPTANCE: Monday, December 15, 2008
FINAL VERSION DUE: Monday, January 19, 2009


The Post-Proceedings of the TYPES 2008 Annual Workshop (see 
will be published, after a formal referee process,
as a volume of the Lecture Notes in Computer Science (LNCS) series.
Previous TYPES Post-Proceedings include
LNCS volumes 4941, 4502, 3895, 3085, 2646, 2277, 1657, 1512, 1158, 996 
and 806.
We hope this volume will give a good account of the papers presented at 
the workshop
and of recent research in the field in general.


We encourage you to submit research papers on the subject of
the Types Project (http://www.cs.chalmers.se/Cs/Research/Logic/Types/).
Topics include, but are not limited to:
- foundations of type theory and constructive mathematics
- applications of type theory
- programming with type theory
- industrial uses of type theory technology
- meta-theoretic studies of type systems
- theory and implementation of proof-assistants
- automation in computer-assisted reasoning
- links between type theory and functional programming
- formalizing mathematics using type theory.

We invite submission of high quality papers,
written in English and typeset in LaTeX2e using the LNCS style.
(See Authors Instructions at 
Submissions should not have been published and should not be under 
consideration for publication elsewhere.
Submissions should be no more than fifteen pages long in LNCS style.
Please upload title, authors, abstract of your submission, and the 
submission itself,
as well as the email address of the corresponding author, via the url:


LNCS is now published in full-text electronic version, as well as 
printed books.
Thus we will need the final LaTeX source files of accepted submissions.
The final versions of accepted submissions must be in the LaTeX2e LNCS 
and be as self-contained as possible.
With the final version you will also be asked to complete a copyright 
form for LNCS accepted papers
(see http://www.springer.de/comp/lncs/copyright.html).

Best regards,

Stefano Berardi, Ferruccio Damiani, Ugo de’ Liguoro
(Editors of the TYPES 2008 Post-Proceedings)

Reply via email to