[Date Prev][Date Next] [Chronological] [Thread] [Top]

International Termination Workshop 2001 (fwd)


---------- Forwarded message ----------
Date: Tue, 26 Dec 2000 20:03:45 +0000
From: Nachum Dershowitz <nachumd@post.tau.ac.il>
To: types <types@cis.upenn.eduof>, info-hol <info-hol@jaguar.cs.byu.edu>,
     hvg <hvg@cl.cam.ac.uk>, coq-club <coq-club@pauillac.inria.fr>,
     isabelle-users <isabelle-users@cl.cam.ac.uk>,
     lego-club <lego-club@dcs.ed.ac.uk>, nuprlnotes <nuprlnotes@CS.Cornell.EDU>,
     pvs <pvs@csl.sri.com>, concurrency <concurrency@cwi.nl>,
     types <types@cis.upenn.edu>, imps <imps@linus.mitre.org>,
     mizar-forum <mizar-forum@mizar.uwb.edu.pl>, softverf <softverf@nist.gov>,
     rewriting <rewriting@ens-lyon.fr>, qed <qed@mcs.anl.gov>,
     dreamers <dreamers@dai.ed.ac.uk>,
     lfcs-interest <lfcs-interest@dcs.ed.ac.uk>, stp <stp@dcs.gla.ac.uk>,
     facs-members <facs-members@lut.ac.uk>, fme <fme@mailbase.ac.uk>,
     fm-info <fm-info@air16.larc.nasa.gov>,
     formal-methods <formal-methods@cs.uidaho.edu>, fsdm <fsdm@cs.uq.oz.au>
Cc: "Giesl, Juergen" <giesl@informatik.tu-darmstadt.de>,
     "Lescanne, Pierre" <Pierre.Lescanne@ens-lyon.fr>,
     "Rubio, Alberto" <rubio@lsi.upc.es>,
     Vincent van Oostrum <Vincent.vanOostrom@phil.uu.nl>,
     "Zantema, Hans" <hansz@cs.ruu.nl>, Steve Simpson <simpson@math.psu.edu>,
     "Dershowitz, Nachum" <nachumd@math.tau.ac.il>,
     Danny.DeSchreye <Danny.DeSchreye@cs.kuleuven.ac.be>
Subject: International Termination Workshop 2001


                           Preliminary Call for Abstracts

                   FIFTH INTERNATIONAL WORKSHOP
                                 ON TERMINATION
                                         (WST '01)

                               Utrecht, The Netherlands
                                    May 20-21, 2001

After the successful international workshops on termination held in

   1. St. Andrews (1993),
   2. La Bresse (1995),
   3. Ede (1997), and
   4. Dagstuhl (1999),

the fifth international workshop on termination will be held in Utrecht
in
conjunction with the International Conference on
Rewriting Techniques and Applications (RTA). We hope to attain the same
friendly atmosphere as in past workshops,
which enabled fruitful exchanges leading to joint research and
subsequent
publications.

Contents

     Preface
     Scope
     Submission
     Program
     Registration Information
     Important Dates
     Program Committee
     Further Information and Requests


Scope

This workshop delves into all aspects of termination of processes.
Though,
the halting of computer programs, for example,
is undecidable, methods of establishing termination play a fundamental
role
in many applications and the challenges are both
practical and theoretical. From a practical point of view, proving
termination is a central problem in software development
and formal methods for termination analysis are essential for program
verification. From a theoretical point of view,
termination is central in mathematical logic and ordinal theory.

Areas of interest to this workshop, include, but are not limited to, the

following:

     Well-quasi-order theory
     Ordinal notations
     Fast/slow growing hierarchies
     Strong normalization of lambda calculi
     Termination of programs
     Termination of rewriting
     Termination of logic programs
     Ordinals and termination orderings
     Hard termination problems/proofs
     Termination methods for theorem provers / verification systems
     Implementations of termination methods
     Applications of termination methods


Submission

Extended abstracts of papers (1-3 pages) should be submitted
electronically
by February 2, 2001.  Expect notification by
March 1. Authors of accepted papers will be expected to attend and
present
their paper at the workshop.


Program

The program will eventually be available here.


Registration Information

To register for the workshop, please fill out the registration form
before
May 1, 2001.

Important Dates

                           February 2, 2001
                                           Submission deadline
                           March 1, 2001
                                           Notification of acceptance
                           April 1, 2001
                                           Registration deadline
(tentative)
                           May 20-21, 2001
                                           WST Workshop
                           May 22-24, 2001
                                           RTA conference


Program Committee

     Nachum Dershowitz (Tel-Aviv)
     Danny De Schreye (Leuven)
     J?rgen Giesl (Aachen)
     Pierre Lescanne (Lyon)
     Albert Rubio (Barcelona)
     Stephen Simpson (Pennsylvania)
     Hans Zantema (Eindhoven)


Further Information and Requests


     Program

           Nachum Dershowitz
           School of Computer Science
           Tel Aviv University
           P.O.B. 39040
           Ramat Aviv, Tel Aviv 69978
           Israel
           Tel.: [+972] 3-640-5356
           Fax.: [+972] 3-640-9357
           Email: nachumd@tau.ac.il

      Local Arrangements

           Vincent van Oostrom
           Department of Philosophy
           Utrecht University
           Heidelberglaan 8
           3584 CS Utrecht
           The Netherlands
           Tel.: [+31] 30-253-2761
           Fax.: [+31] 30-253-2816
           Email: Vincent.vanOostrom@phil.uu.nl

Website:
          http://www.math.tau.ac.il/~nachumd/wst.html
Title: International Termination Workshop 2001
 

Preliminary Call for Abstracts

FIFTH INTERNATIONAL WORKSHOP
ON TERMINATION
(WST '01)

Utrecht, The Netherlands

May 20-21, 2001


 

After the successful international workshops on termination held in

  1. St. Andrews (1993),
  2. La Bresse (1995),
  3. Ede (1997), and
  4. Dagstuhl (1999),
the fifth international workshop on termination will be held in Utrecht in conjunction with the International Conference on Rewriting Techniques and Applications (RTA). We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications.

Contents


Scope

This workshop delves into all aspects of termination of processes.  Though, the halting of computer programs, for example, is undecidable, methods of establishing termination play a fundamental role in many applications and the challenges are both practical and theoretical. From a practical point of view, proving termination is a central problem in software development and formal methods for termination analysis are essential for program verification. >From a theoretical point of view, termination is central in mathematical logic and ordinal theory.

Areas of interest to this workshop, include, but are not limited to, the following:

  • Well-quasi-order theory
  • Ordinal notations
  • Fast/slow growing hierarchies
  • Strong normalization of lambda calculi
  • Termination of programs
  • Termination of rewriting
  • Termination of logic programs
  • Ordinals and termination orderings
  • Hard termination problems/proofs
  • Termination methods for theorem provers / verification systems
  • Implementations of termination methods
  • Applications of termination methods


Submission

Extended abstracts of papers (1-3 pages) should be submitted electronically by February 2, 2001.  Expect notification by March 1. Authors of accepted papers will be expected to attend and present their paper at the workshop.
 

Program

The program will eventually be available here.
 

Registration Information

To register for the workshop, please fill out the registration form before May 1, 2001.

Important Dates
 

 February 2, 2001  Submission deadline 
 March 1, 2001   Notification of acceptance 
 April 1, 2001  Registration deadline (tentative)
 May 20-21, 2001   WST Workshop
 May 22-24, 2001  RTA conference

Program Committee


Further Information and Requests

 
Program

Nachum Dershowitz
School of Computer Science
Tel Aviv University
P.O.B. 39040
Ramat Aviv, Tel Aviv 69978
Israel
Tel.: [+972] 3-640-5356
Fax.: [+972] 3-640-9357
Email: nachumd@tau.ac.il

 Local Arrangements

Vincent van Oostrom
Department of Philosophy 
Utrecht University 
Heidelberglaan 8 
3584 CS Utrecht
The Netherlands 
Tel.: [+31] 30-253-2761 
Fax.: [+31] 30-253-2816 
Email: Vincent.vanOostrom@phil.uu.nl