CONCUR '98: ACCEPTED PAPERS (and general infos)

CONCUR '98: ACCEPTED PAPERS (and general infos)

[Davide Sangiorgi]

                             CONCUR'98
               9th International Conference on Concurrency Theory
                    Nice, France, September 8-11, 1998
                     <http://www.inria.fr/concur98/>


*******************************************************************
Please find below the  list of PAPERS ACCEPTED at CONCUR 98, 
and other information including INVITED SPEAKERS and TUTORIALS, 
SATELLITE EVENTS, VENUE, and SOCIAL PROGRAMME.
********************************************************************


List of Accepted Papers  (ordered by submission number)
~~~~~~~~~~~~~~~~~~~~~~~

Deriving unbounded Petri nets from formal languages
  by Philippe Darondeau

Synthesis of ENI-systems Using Minimal Regions
  by Marta Pietkiewicz-Koutny

Unfolding and Finite Prefix for Nets with Read Arcs
  by W. Fogler, A. Semenov, A. Yakovlev

Reduction in TLA
  by Ernie Cohen, Leslie Lamport

Herbrand Automata for Hardware Verification
  by W. Damm, A. Pnueli, S. Ruah

Asynchronous and asynchronous cellular automata for pomsets
  by Dietrich Kuske

A categorical axiomatics for bisimulation
  by Gian Luca Cattani, John Power, Glynn Winskel

Priority and Maximal Progress are completely axiomatisable
  by Holger Hermanns, Markus Lohrey

Modelling IP Mobility
  by Roberto M. Amadio, Sanjiva Prasad

Synthesis from Knowledge-Based Specifications
  by Ron van der Meyden, Moshe Y. Vardi

Stochastic Transition Systems
  by Luca de Alfaro

Minimality and Separation Results on Asynchronous Mobile Processes:
representability theorem by concurrent combinators 
  by Nobuko Yoshida

Reasoning about asynchronous communication in dynamically evolving
object structures. 
  by F.S. de Boer

>From Rewrite Rules to Bisimulation Congruences
  by Peter Sewell

Detecting Deadlocks in Concurrent Systems
  by Lisbeth Fajstrup, Eric Goubault, Martin Raussen

The Tau-Laws of Fusion
  by Joachim Parrow, Bjorn Victor

Algebraic techniques for timed systems
  by A. Benveniste, C. Jard, S. Gaubert

Control Flow Analysis for the pi-calculus
  by Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson

Simulation is Decidable for One-counter Nets
  by Parosh Aziz Abdulla, Karlis Cerans

Fibrational Semantics of Dataflow Networks
  by Eugene W. Stark

>From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static
Operators 
  by Jose-Luis Vivas, Mads Dam

Axioms for Real-Time Logics
  by Jean-Francois Raskin, Pierre-Yves Schobbens, Tom Henzinger

Unfold/Fold Transformations of CCP programs
  by Sandro Etalle, Maurizio Gabbrielli, Maria Chiara Meo

A Relational Model of Non-Deterministic Dataflow
  by Thomas Hildebrandt, Prakash Panangaden, Glynn Winskel

Decompositions of Asynchronous Systems
  by Remi Morin

Controlled Timed Automata
  by Francois Demichelis, Wieslaw Zielonka

Abstract games for infinite-state processes
  by Perdita Stevens

Alternating Simulation
  by R. Alur, T. Henzinger, O. Kupferman

On Discretization of Delays in Timed Automata and Digital Circuits
  by Eugene Asarin, Oded Maler, Amir Pnueli

Partial Order Reductions for Timed Systems
  by Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi

Controllers for Discrete Event Systems via Morphisms
  by P Madhusudan, P S Thiagarajan

The Regular Viewpoint on PA-Processes
  by D. Lugiez, Ph. Schnoebelen

Probabilistic Resource Failures in Real-Time Process Algebra
  by Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and
  Scott Smolka 

Possible Worlds for process algebras
  by Simone Veglioni, Rocco de Nicola

Towards Performance Evaluation with General Distributions in Process Algebras
  by Mario Bravetti, Marco Bernardo, Roberto Gorrieri


Invited Speakers and Tutorials:
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
(in square brackets, the topic of the talk)

Invited Speakers:
   T. Henzinger (University of California at Berkeley, USA)
           [Hybrid systems]; 
   U. Herzog (Erlangen, Germany)
           [Process algebra for performance evaluation];
   J. Rutten (CWI, Netherlands)
           [Coalgebraic models of computation];
   J.-B. Stefani (CNET, France Telecom)
           [Open distributed systems]; 
   M. Vardi (Rice University, USA) 
           [Branching and linear time temporal logics].
	   
Invited Tutorials : 
   G. Berry (CMA Ecole des Mines, France)
           [Synchronous reactive programming and Esterel]; 
   J.F. Groote (CWI, Netherlands)
           [Theorem provers in concurrency]; 
   B. Pierce (Indiana U., USA)
           [Types in concurrency]. 


Satellite events
~~~~~~~~~~~~~~~~~

   COTIC'98:  2nd international workshop on Concurrent Constraint
       Programming for Time Critical Applications 
   EXPRESS'98:  5th international workshop on Expressiveness in
       Concurrency 
   HLCL'98:  3rd international workshop on High-Level Concurrent
       Languages 
   PAPM'98: 6th international workshop on Process  Algebra and
       Performance Modeling 
   CONFER W.G.:  4th workshop of the CONFER (Concurrency and
       Functions: Evaluation and Reduction) working group. 

Watch out: Submission deadlines for COTIC'98, EXPRESS'98, HLCL'98, PAPM'98
are coming up!

Participation to COTIC'98, EXPRESS'98 and HLCL'98  will require no fees; 
PAPM will require a (low) fee; participation to CONFER is by
invitation. 

Venue and local arrangements
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Nice is ideally located on the French Riviera. September is still very
pleasant, while less crowded than the high season. Nice's
international airport is well-connected to all major european and
non-european cities.

The conference will be held at the auditorium of Nice
Museum of Modern and Contemporary Art, which is conveniently located
in the heart of Nice, between the city center and the old town, and 20
minutes walk to the beach. The Museum is next to the Hotel Novotel,
where tutorials, satellite workshops, and registration will be held.


Social programme (to be confirmed)
~~~~~~~~~~~~~~~~

- cocktail offered by the City of Nice at the Modern Art Museum Cafe.
- excursion at Cap Ferrat on Thursday 10.
  Cap Ferrat is a beautiful promontory between Nice and Monaco. Its
  attractions include: walks with spectacular views of the coast,
  beaches, Villa Kerylos (a copy of a sumptuous antique Greek house), 
  Ephrussi de Rothchild Foundation, the charming villages of
  St-Jean-Cap-Ferrat and  Beaulieu-sur-Mer. 
- banquet on Thursday 10 (evening) at the  Royal Riviera Hotel of
  St-Jean-Cap-Ferrat (one of the coast's most stylish establishments).


Registration and hotel information
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

Both the hotel and the registration information will be available
from June 8th at the CONCUR web page.


=============================
For further information, check URL <http://www.inria.fr/concur98/>, 
or mail to concur98@sophia.inria.fr.