AMAST Mail 1998
[Prev][Next][Index]
INFINITY'98: last call for papers
Dear Colleagues:
the deadline for paper submissions for INFINITY '98 is
approaching: March 15.
More information on the workshop can be found on:
http:// www7.informatik.tu-muenchen.de/INFINITY98
With best regards,
Javier Esparza
-----------------------------------------------------------------------------
I sincerely apologize for multiple copies
******************************************************************
* *
* INFINITY '98 *
* 3rd INTERNATIONAL WORKSHOP ON *
* VERIFICATION OF INFINITE STATE SYSTEMS *
* *
******************************************************************
Aalborg, Denmark
July 17-18, 1998
(A Satellite Workshop to ICALP'98)
Home page:
http:// www7.informatik.tu-muenchen.de/INFINITY98
ICALP's home page:
http://www.cs.auc.dk/icalp98
Deadlines
Submissions: March 15, 1998
Notification to authors: April 15, 1998
The study of infinite state systems 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.
The aim of this workshop is to provide a forum for researchers
interested in the development of mathematical techniques for the
analysis of infinite state systems. Topics of particular interest
include: decidability 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.
INFINITY '98 is the third INFINITY Workshop. The first two Workshops
were held in Pisa and Bologna. A selection of the papers presented at
INFINITY '96 and INFINITY '97 has been published in Electronic Notes in Theoretical Computer Science, Volumes 5 and 9, respectively.
You can access most of the papers from the INFINITY '98 home page.
SUBMISSIONS: Authors are invited to submit a 5-page extended
abstract to the Programme Chair:
Javier Esparza
Technical University of Munich
esparza@informatik.tu-muenchen.de
The submission should be emailed in postscript format
BEFORE March 15, 1998.
The Programme Committee will select the most appropriate abstracts
for presentation during the worskhop and make their decisions known
BY April 15, 1998.
PROCEEDINGS: The selected abstracts will be compiled into an informal
proceedings in the form of a Technical University of Munich Research
Report for distribution at the workshop, and final papers will likely
be reviewed for publication in Electronic Notes in Theoretical Computer
Science.
PROGRAM COMMITTEE:
A. Bouajjani (VERIMAG, Grenoble)
J. Bradfield (Edinburgh)
O. Burkart (Dortmund/Edinburgh)
D. Caucal (INRIA, Rennes)
T. Henzinger (Berkeley)
Y. Hirshfeld (Tel Aviv)
P. Jancar (Ostrava)
F. Moller (Uppsala)
ORGANIZING COMMITTEE: As with ICALP '98.
[
AMAST Mail 1998
|
Latest Update |
AMAST Mail Meta-Index |
AMAST
]