[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


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

The deadline for submission to WST 2012 is being extended by a week

   * 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

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:


Final versions should be created using LaTeX and the style file LIPIcs

For other details, please see previous Call for Papers at:


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