From: Georg Moser <georg.moser@uibk.ac.at>
To: Georg Moser <georg.moser@uibk.ac.at>
Subject: [Caml-list] WST 2012: Last Call for Papers and Deadline Extension
Date: Mon, 16 Jan 2012 00:51:29 +0100 [thread overview]
Message-ID: <4F136681.8050504@uibk.ac.at> (raw)
======================================================================
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
reply other threads:[~2012-01-15 22:51 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F136681.8050504@uibk.ac.at \
--to=georg.moser@uibk.ac.at \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox