Difference between revisions of "WST09"

From Termination-Portal.org
Jump to navigationJump to search
 
(3 intermediate revisions by one other user not shown)
Line 3: Line 3:
 
== general information ==
 
== general information ==
  
The workshop aims to bring together researchers and practitioners
+
See the [http://www.imn.htwk-leipzig.de/wst09/ official workshop page]
that are interested in methods and techniques related to termination of computations.
 
This includes all models and fields of computation, like
 
rewriting systems, programming paradigms and languages, transitions systems etc.
 
We welcome reports on basic research as well as on applications and implementations.
 
 
 
* local organization: Alfons Geser and Johannes Waldmann, HTWK Leipzig
 
* date (to be confirmed): June 3 -- 5
 
* venue (to be confirmed): http://www.mml-leipzig.de/ueber-das-mml/mediencampus/
 
* general tourist information: http://www.leipzig.de/
 
 
 
== submission ==
 
 
 
Submit an abstract (1 .. 4 pages) to the local organizers.
 
There will be no formal refereeing.
 
Abstracts will be collected in a proceedings brochure
 
that will be available at the workshop.
 
 
 
== dates (tentative) ==
 
 
 
* submission of abstracts: mid-April
 
* early registration deadline: mid-April (fee increases for later registration)
 
* workshop: June 3 -- 5
 
 
 
== schedule (tentative) ==
 
 
 
* June 3 (Wednesday)
 
** day: "pure technical" discussions (e.g. XML formats and other detail that is boring except for tool authors)
 
** evening: reception (at workshop site)
 
 
 
* June 4 (Thursday)
 
** day: workshop presentations
 
** evening: excursion/dinner
 
 
 
* June 5 (Friday)
 
** day: workshop presentations
 
  
 
== wishlist ==
 
== wishlist ==
  
 
(add suggestions here)
 
(add suggestions here)
 +
 +
== slides/presentations ==
 +
termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf

Latest revision as of 11:43, 4 June 2009

The 10th Workshop on Termination will be held in 2009 in Leipzig, Germany.

general information

See the official workshop page

wishlist

(add suggestions here)

slides/presentations

termexec/tpdb query interface: http://dev.aspsimon.org/workspace/projectdocs/leipzig-wst09.pdf