The full version of this Call for Papers is available.
The aim of this workshop, which will take place immediately following CONCUR'96, 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. Send an extended abstract (not to exceed five pages) outlining ongoing work, before 30 April, 1996. See the full version of this announcement for submission details. 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ät 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.
More information. See the WWW page .