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.