Friends
Janis is visiting Strathclyde at the moment, and has asked me
to pass this along: looks interesting!
Begin forwarded message:
From: vo...@tcs.inf.tu-dresden.de
Date: 12 March 2009 20:26:51 GMT
To: co...@strictlypositive.org
Subject: Call for papers: Workshop on Termination (WST 2009)
Hi Conor,
Would you do me the favour of forwarding the below CFP to the Epigram
mailing list? I think it might be of interest to its readers, as
termination is an obvious concern in dependently typed languages.
Thanks,
Janis.
.....................................................................
Tenth International Workshop on Termination (WST 2009)
Leipzig, Germany, June 3-5, 2009
http://www.imn.htwk-leipzig.de/wst09/
Termination is a fundamental topic in computer science. Classical
undecidability results show that termination is difficult. On the
other
hand, programs are usually required to terminate. So methods are
needed
that prove termination and non-termination automatically for a wide
range
of programs. Termination proofs are essential not only for program
verification, but also as components of program transformation
systems.
The topic is challenging both in theory (mathematical logic, proof
theory)
and practice (software development, formal methods), and many
interesting
ramifications are yet to be explored.
The 10th International Workshop on Termination will delve into all
aspects
of termination of processes. It will continue the sequence of
successful
workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997),
Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004),
Seattle
(2006), and Paris (2007). It will attain the same friendly
atmosphere as
those past workshops. The intent is to bring together, in an informal
setting, researchers interested in all aspects of termination, whether
this interest be practical or theoretical, primary or derived. The
workshop shall help exchange ideas from term rewriting and from the
various programming language communities.
Contributions from the imperative, constraint, functional, and logic
programming communities, and papers investigating new applications of
termination are particularly welcome.
Program Committee:
Frederic Blanqui, INRIA, FR and Tsinghua University, CN
Byron Cook, Microsoft Corporation, US
Alfons Geser, HTWK Leipzig, DE (chair)
Michael Hanus, Universität Kiel, DE
Janis Voigtländer, Technische Universität Dresden, DE
Local organization:
Johannes Waldmann, HTWK Leipzig, DE
Important Dates:
Paper submission 19 April 2009
Notification 26 April 2009
Final Paper Version 3 May 2009
Conference Venue:
The workshop will be held in the city of Leipzig, at the conference
center
Mediencampus Villa Ida.
Hosting institution:
Hochschule fur Technik, Wirtschaft und Kultur Leipzig, in
cooperation with
Leipzig School of Media and Medienstiftung der Sparkasse Leipzig.