The Coq mailing list

[Georg Moser <georg.moser AT uibk.ac.at>]

======================================================================
            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