AMAST Mail 1996
[Prev][Next][Index]

Reminder Infinity Workshop

Dear Colleagues,

Please do not forget the forthcoming deadline for the INFINITY workshop, 
which is held as a satellite of CONCUR'96. The call for papers is 
appended below.

Looking forward to receiving your abstract!

Best regards

Bernhard Steffen



                     *****************************
                     *                           *
                     *         Infinity          *
                     *                           *
                     *****************************

                 Verification of Infinite State Systems

                   (A Satellite Workshop of CONCUR'96)

                           August 30, 1996

                             Pisa, Italy


The aim of this workshop, which will take place immediately following the
CONCUR'96 conference (cf.: http://www.di.unipi.it/ugo/CONCUR96.html), 
is to provide a forum for researchers interested in the development of 
mathematical techniques for the analysis of infinite state systems, a topic 
which has received a concerted effort within the Concurrency Theory community 
over the past few years.  The basis of this effort has been the realization 
that an understanding of infinite state systems is necessary in order 
to have a complete picture of general process algebras, Petri nets,
or other formalisms incorporating value-passing, real-time, hybrid, and/or
probabilistic aspects.  Its importance has grown however by the further
realization that techniques which are developed for infinite state systems---
particularly structural techniques---can potentially provide elegant solutions 
to the state-space explosion problem in the analysis of finite state systems, 
as well as to classical problems in language theory. Possible topics for 
inclusion are:  decidablility issues for equivalence and model checking over 
various classes of infinite state systems;  complexity results for decidability 
results;  connections and applications to questions in classical automata and 
formal language theory;  and tools and case studies involving nontrivial 
applications of methods for the analysis of infinite state systems.

SUBMISSIONS:
~~~~~~~~~~~
Potential participants are invited to submit an extended abstract (not to
exceed five pages) outlining ongoing work.  The submission should be emailed
in postscript format to each of the four workshop committee members (email
addresses listed below) BEFORE 30 April, 1996.  The committee will select
the most appropriate abstracts for presentation during the workshop and
make their decisions known by 1 June. For technical questions please contact
Bernhard Steffen, Universit\"at Passau, 94030 Passau.

PROCEEDINGS:
~~~~~~~~~~~
The selected abstracts will be compiled in an informal proceedings in the
form of a Passau University research report for distribution at the workshop 
and as electronic notes in TCS.

PROGRAM COMMITTEE:
~~~~~~~~~~~~~~~~~~
  Julian Bradfield, Edinburgh (GB)            <jcb@lfcs.ed.ac.uk>
  Didier Caucal, Rennes (F)                   <caucal@irisa.fr>
  Faron Moller, Stockholm (S)                 <fm@sics.se>
  Bernhard Steffen, Passau (D, chair)         <steffen@fmi.uni-passau.de>

LOCAL ORGANIZATION: As CONCUR'96: 
~~~~~~~~~~~~~~~~~~~ 
  Pierpaolo Degano (chair, Pisa), Roberto Gorrieri (Bologna), Stefania Gnesi
  (IEI-CNR), Corrado Priami (Pisa), Vladimiro Sassone (Pisa).
  Please send your requests to: concur96@di.unipi.it

WORL WIDE WEB:
~~~~~~~~~~~~~~
  http://www.uni-passau.de/fmi/lehrstuehle/steffen/cfp/infinity.html
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]