[Agda] WST 2012: Last Call for Papers and Deadline Extension
Georg Moser
georg.moser at uibk.ac.at
Mon Jan 16 00:51:29 CET 2012
======================================================================
Last Call for Papers and Deadline Extension
WST 2012
12th International Workshop on Termination
Feb 19 - 23, 2012, Obergurgl, Innsbruck
http://cl-informatik.uibk.ac.at/events/wst-2012
======================================================================
The goal of the Workshop on Termination is to be a venue for
presentation and discussion of all topics in and around termination.
In this way, the workshop tries to bridge the gaps between different
communities interested and active in research in and around
termination.
The deadline for submission to WST 2012 is being extended by a week
IMPORTANT DATES (NEW):
* submission January 22, 2012 (extended by a week)
* notification January 29, 2012 (extended by a week)
* final version February 5, 2012 (unchanged)
* early registration January 31, 2012 (new)
* workshop February 19 - 23, 2012
SUBMISSION:
Submissions are short papers/extended abstract which should not exceed
5 pages. There will be no formal reviewing. The accepted papers will
be made available electronically before the workshop.
Papers should be submitted electronically via the submission page:
http://www.easychair.org/conferences/?conf=wst2012
Final versions should be created using LaTeX and the style file LIPIcs
(http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz).
For other details, please see previous Call for Papers at:
http://cl-informatik.uibk.ac.at/events/wst-2012
Questions concerning submissions may be addressed to the PC chair,
Georg Moser: georg (dot) moser (at) uibk (dot) ac (dot) at
More information about the Agda
mailing list