[isabelle] Call for paper - 10th Intl. Workshop on Termination - WST 2009




Dear all, the 10th Intl. Workshop on Termination greatly welcomes
contributions from the type theory community and developers and users of
proof assistants.

10th 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 Voigtlander,    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.





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.