WST2013 - Revision history

J.waldmann at 11:58, 26 August 2013

2013-08-26T11:58:26Z

J.waldmann: /* Registration, Travel */

2013-07-19T13:54:51Z

Registration, Travel

J.waldmann: /* Important Dates */

2013-07-19T13:54:21Z

Important Dates

J.waldmann: /* Important Dates */

2013-07-14T14:20:18Z

Important Dates

J.waldmann: /* Registration, Travel */

2013-07-11T09:42:47Z

Registration, Travel

J.waldmann: /* Program Committee */

2013-07-10T11:16:50Z

Program Committee

J.waldmann: /* Program Committee */

2013-07-10T09:06:31Z

Program Committee

J.waldmann at 09:03, 10 July 2013

2013-07-10T09:03:36Z

J.waldmann: Created page with " The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical o..."

2013-07-10T08:58:50Z

Created page with " The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical o..."

New page

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.

== Invited Speaker: Byron Cook on Beyond Termination ==

Abstract: So we can prove program termination. Now what? In this talk I will discuss the development of tools that build on termination proving techniques.

Bio: Prof. Dr. Byron Cook is Principal Researcher at Microsoft Research, and Professor at University College London. Byron has worked in the past on Haskell, hardware modelling and verification, biological systems modelling and verification SAT/SMT, symbolic software model checking, temporal logics, and termination proving.

== 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, logic, and concurrent 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
* SAT and SMT solving for (non-)termination analysis
* 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. Final versions should be created using LaTeX and the LIPIcs style file.

== Registration, Travel ==

See information on FOPARA web site.

@@ Line 72: / Line 72: @@
 == Registration, Travel ==
 Participants are expected to arrive on August 28th evening, and indeed the bus to Bertinoro will leave Bologna at around 19.00 that day. So, your flight or train should arrive at Bologna at 18.30 or before.
@@ Line 77: / Line 79: @@
 The Workshop ends on August 31st afternoon. The exact schedule for the bus to Bologna is not yet fixed but, again, participants should book flights or trains leaving Bologna at 17.00 or after.
 In the 17.00-19.00 slots there are many flights to-from European cities (Amsterdam, Paris, Frankfurt, Munich, London, Madrid, etc).

← Older revision		Revision as of 09:42, 11 July 2013
Line 72:		Line 72:
	== Registration, Travel ==		== Registration, Travel ==

−	See ~~information on~~ [http://fopara2013.cs.unibo.it/ FOPARA web site].	+	Participants are expected to arrive on August 28th evening, and indeed the bus to Bertinoro will leave Bologna at around 19.00 that day. So, your flight or train should arrive at Bologna at 18.30 or before.
		+
		+	The Workshop ends on August 31st afternoon. The exact schedule for the bus to Bologna is not yet fixed but, again, participants should book flights or trains leaving Bologna at 17.00 or after.
		+
		+	In the 17.00-19.00 slots there are many flights to-from European cities (Amsterdam, Paris, Frankfurt, Munich, London, Madrid, etc).
		+
		+	See also the [http://fopara2013.cs.unibo.it/ FOPARA web site].

@@ Line 61: / Line 61: @@
 *    [http://www.lsi.upc.edu/~albert/ Albert Rubio] (Univ. Politecnica de Catalunya)
 *    [http://www.imada.sdu.dk/~petersk/ Peter Schneider-Kamp] (Syddansk Univ.)
-*    [http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann] (HTWK Leipzig) (chair)
+*    [mailto:waldmann@fbimn.htwk-leipzig.de Johannes Waldmann] (HTWK Leipzig) (chair)
 *    [http://forsyte.at/people/zuleger/ Florian Zuleger] (TU Wien)

@@ Line 21: / Line 21: @@
 *    final version: August 10, 2013
 *    workshop: August 29 - 31, 2013
 == Topics ==

@@ Line 18: / Line 18: @@
 *    submission: July 22, 2013
 *    notification: July 25, 2013
 *    final version: August 10, 2013
 *    workshop: August 29 - 31, 2013

@@ Line 51: / Line 51: @@
 == Program Committee ==
-*    Evelyne Contejean (Univ. Paris-Sud)
+*    [https://www.lri.fr/~contejea/ Evelyne Contejean] (Univ. Paris-Sud)
-*    Carsten Fuhs (Univ. College London)
+*    [http://www0.cs.ucl.ac.uk/staff/C.Fuhs/ Carsten Fuhs] (Univ. College London)
-*    Alfons Geser (HTWK Leipzig)
+*    [http://www.eit.htwk-leipzig.de/fakultaet/professoren/visitenkarten/prof-geser Alfons Geser] (HTWK Leipzig)
-*    Jürgen Giesl (RWTH Aachen)
+*    [http://verify.rwth-aachen.de/giesl/ Jürgen Giesl] (RWTH Aachen)
-*    Sergio Greco (Univ. of Calabria)
+*    [http://www.unical.it/portale/strutture/dipartimenti/deis/home/greco/ Sergio Greco] (Univ. of Calabria)
-*    Nao Hirokawa (JAIST)
+*    [http://www.jaist.ac.jp/~hirokawa/ Nao Hirokawa] (JAIST)
-*    Dieter Hofbauer (ASW BA Saarland)
+*    [http://www.theory.informatik.uni-kassel.de/~hofbauer/ Dieter Hofbauer] (ASW BA Saarland)
-*    Georg Moser (Univ. Innsbruck)
+*    [http://cl-informatik.uibk.ac.at/users/georg/ Georg Moser] (Univ. Innsbruck)
-*    Albert Rubio (Univ. Politecnica de Catalunya)
+*    [http://www.lsi.upc.edu/~albert/ Albert Rubio] (Univ. Politecnica de Catalunya)
-*    Peter Schneider-Kamp (Syddansk Univ.)
+*    [http://www.imada.sdu.dk/~petersk/ Peter Schneider-Kamp] (Syddansk Univ.)
-*    Johannes Waldmann (HTWK Leipzig) (chair)
+*    [http://www.imn.htwk-leipzig.de/~waldmann/ Johannes Waldmann] (HTWK Leipzig) (chair)
-*    Florian Zuleger (TU Wien)
+*    [http://forsyte.at/people/zuleger/ Florian Zuleger] (TU Wien)
 == Submission ==

@@ Line 1: / Line 1: @@
-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
-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 [http://fopara2013.cs.unibo.it/ 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.
 == Invited Speaker: Byron Cook on Beyond Termination ==
@@ Line 11: / Line 12: @@
 Abstract: So we can prove program termination. Now what? In this talk I will discuss the development of tools that build on termination proving techniques.
-Bio: Prof. Dr. Byron Cook is Principal Researcher at Microsoft Research, and Professor at University College London. Byron has worked in the past on Haskell, hardware modelling and verification, biological systems modelling and verification SAT/SMT, symbolic software model checking, temporal logics, and termination proving.
+Bio: [http://research.microsoft.com/en-us/people/bycook/ Prof. Dr. Byron Cook] is Principal Researcher at Microsoft Research, and Professor at University College London. Byron has worked in the past on Haskell, hardware modelling and verification, biological systems modelling and verification SAT/SMT, symbolic software model checking, temporal logics, and termination proving.
 == Important Dates ==
@@ Line 67: / Line 68: @@
 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. Final versions should be created using LaTeX and the LIPIcs style file.
+Papers should be submitted electronically via the [http://www.easychair.org/conferences/?conf=wst2013 submission page]. Final versions should be created using LaTeX and the [http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz  LIPIcs style file].
 == Registration, Travel ==
-See information on FOPARA web site.
+See information on [http://fopara2013.cs.unibo.it/  FOPARA web site].