From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0FMpTm6028368; Sun, 15 Jan 2012 23:51:31 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQCACBXE08+s3kik2dsb2JhbABDDq0qIgEBAQEHCwsJFAMighYbMBA9FhgDAgECAUsNCAEBBYdzBpVckjmMUYwXBJURkgo4 X-IronPort-AV: E=Sophos;i="4.71,515,1320620400"; d="scan'208";a="139490424" Received: from fep14.mx.upcmail.net ([62.179.121.34]) by mail1-smtp-roc.national.inria.fr with ESMTP; 15 Jan 2012 23:51:31 +0100 Received: from edge04.upcmail.net ([192.168.13.239]) by viefep14-int.chello.at (InterMail vM.8.01.05.04 201-2260-151-105-20111014) with ESMTP id <20120115225130.VCDQ12772.viefep14-int.chello.at@edge04.upcmail.net>; Sun, 15 Jan 2012 23:51:30 +0100 Received: from localhost.localdomain ([212.186.32.254]) by edge04.upcmail.net with edge id MyrU1i0145UyhdQ04yrUcu; Sun, 15 Jan 2012 23:51:30 +0100 X-SourceIP: 212.186.32.254 X-Authenticated-Sender: georg.moser1@chello.at Message-ID: <4F136681.8050504@uibk.ac.at> Date: Mon, 16 Jan 2012 00:51:29 +0100 From: Georg Moser User-Agent: Mozilla/5.0 (X11; Linux i686; rv:9.0) Gecko/20111222 Thunderbird/9.0 MIME-Version: 1.0 To: Georg Moser Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: georg.moser@uibk.ac.at Subject: [Caml-list] WST 2012: Last Call for Papers and Deadline Extension ====================================================================== 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