========= 13th International Workshop on Termination (WST) ===========
http://www.imn.htwk-leipzig.de/WST2013/
The Workshop on Termination traditionally brings together, in an
informal setting, researchers interested in all aspects of
termination, whether this interest be practical or theoretical,
primary or derived. The workshop also provides a ground for
cross-fertilisation of ideas from term rewriting and from the
different programming language communities. The friendly atmosphere
enables fruitful exchanges leading to joint research and subsequent
publications.
The 13th Workshop on Termination will be held from August 29 to 31,
2013, at the Centro Residenziale Universitario di Bertinoro (Italy).
It will be a joint workshop, together with the 3rd International
Workshop on Foundational and Practical Aspects of Resource Analysis.
The sessions of WST and FOPARA will be interleaved, this way
facilitating the interaction between the two communities.
========= Important Dates ============================================
submission: July 15, 2013
notification: July 25, 2013
final version: August 10, 2013
workshop: August 29 - 31, 2013
========= Topics =====================================================
The 13th International Workshop on Termination welcomes contributions
on all aspects of termination and complexity analysis.
Contributions from the imperative, constraint, functional, and logic
programming communities, and papers investigating applications of
complexity or termination (for example in program transformation or
theorem proving) are particularly welcome.
Areas of interest include, but are not limited to, the following:
Termination of programs
Termination of rewriting
Termination analysis of transition systems
Complexity of programs
Complexity of rewriting
Implicit computational complexity
Implementation of termination and complexity analysis methods
Certification of termination and complexity proofs
Termination orders, well-founded orders, and reduction orders
Termination methods for theorem provers
Strong and weak normalization of lambda calculi
Termination analysis for different language paradigms
Invariants for termination proving
Challenging termination problems
Applications to program transformation and compilation
Comparison and classification of termination methods
Non-termination and loop detection
Termination in distributed systems
Proof methods for liveness and fairness
Well-quasi-order theory
Ordinal notations and subrecursive hierarchies
========= Program Committee ==========================================
Evelyne Contejean (Univ. Paris-Sud)
Carsten Fuhs (Univ. College London)
Alfons Geser (HTWK Leipzig)
Jürgen Giesl (RWTH Aachen)
Sergio Greco (Univ. of Calabria)
Nao Hirokawa (JAIST)
Dieter Hofbauer (ASW BA Saarland)
Georg Moser (Univ. Innsbruck)
Albert Rubio (Univ. Politecnica de Catalunya)
Peter Schneider-Kamp (Syddansk Univ.)
Johannes Waldmann (HTWK Leipzig) (chair)
Florian Zuleger (TU Wien)
========= Submission =================================================
Submissions are short papers/extended abstract which should not exceed
5 pages. There will be no formal reviewing. Accepted papers will be
made available electronically at the workshop.
Papers should be submitted electronically via the submission page
http://www.easychair.org/conferences/?conf=wst2013
Final versions should be created using LaTeX and the LIPIcs style
file.
Posts
