PROGRAMME and CALL for PARTICIPATION CONCUR'98 9th International Conference on Concurrency Theory Nice, France, September 8-11, 1998 <http://www.inria.fr/concur98/> ******************************************************************* As early September is still high season in Nice, we strongly encourage you to make your hotel reservations and travel arrangements well in advance. ******************************************************************** Technical Programme ~~~~~~~~~~~~~~~~~~~ Tuesday 8 September ^^^^^^^^^^^^^^^^^^^^ 9:00 - 9:15 - Opening of the conference 9:15 - 10:15 Invited Talk Moshe Vardi (Rice University, USA) Sometimes and Not Never Re-revisited: On Branching Versus Linear Time 10:15 - Break, Refreshments 10:30 - 12:30 Controllers for Discrete Event Systems via Morphisms, P. Madhusudan, P. S. Thiagarajan Synthesis from Knowledge-Based Specifications, R. van der Meyden, M. Vardi The Regular Viewpoint on PA-Processes, D. Lugiez, Ph. Schnoebelen Herbrand Automata for Hardware Verification, W. Damm, A. Pnueli, S. Ruah 12:30 Lunch 2:00 - 4:00 Control Flow Analysis for the pi-calculus, C. Bodei, P. Degano, F. Nielson, H. Riis The Tau-Laws of Fusion, J. Parrow, B. Victor From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators, J-L. Vivas, M. Dam Minimality and Separation Results on Asynchronous Mobile Processes: representability theorem by concurrent combinators, N. Yoshida 4:00 Break, Refreshments 4:30 - 6:00 Abstract games for infinite-state processes, P. Stevens Alternating Simulation, R. Alur, T. Henzinger, O. Kupferman Possible Worlds for process algebras, S. Veglioni, R. de Nicola 4:30 - 6:00 - Parallel Tutorial Session Gerard Berry (CMA Ecole des Mines, France) [topic: Synchronous reactive programming and Esterel] Wednesday 9 September ^^^^^^^^^^^^^^^^^^^^^ 9:00 - 10:00 Invited Talk Jan Rutten (CWI, Netherlands) Automata and Coinduction 10:00 Break, Refreshments 10:30 - 12:30 Axioms for Real-Time Logics, J-F. Raskin, P-Y. Schobbens, T. Henzinger Priority and Maximal Progress are completely axiomatisable, H. Hermanns, M. Lohrey Simulation is Decidable for One-counter Nets, P.A. Abdulla, K. Cerans From Rewrite Rules to Bisimulation Congruences, P. Sewell 12:30 - Lunch 2:00 - 3:00 Invited Talk Jean-Bernard Stefani (CNET, France Telecom) [topic: Open distributed systems] 3:00 - 4:00 Reasoning about asynchronous communication in dynamically evolving object structures, F.S. de Boer Modelling IP Mobility, R. Amadio, S. Prasad 4:00 Break, Refreshments 4:30 - 6:00 Reduction in TLA, E. Cohen, L. Lamport Detecting Deadlocks in Concurrent Systems, L. Fajstrup, E. Goubault, M. Raussen Unfold/Fold Transformations of CCP programs, S. Etalle, M. Gabbrielli, M. Chiara Meo 4:30 - 6:00 Parallel Tutorial Session Benjamin Pierce (Indiana U., USA) [topic: Types in concurrency] Thursday 10 September ^^^^^^^^^^^^^^^^^^^^^ 9:00 - 10:00 Invited Talk Ulrich Herzog (Erlangen, Germany) [topic: Process algebra for performance evaluation] 10:00 Break, Refreshments 10:30 - 12:30 Algebraic techniques for timed systems, A. Benveniste, C. Jard, S. Gaubert Probabilistic Resource Failures in Real-Time Process Algebra, A. Philippou, O. Sokolsky, I. Lee, R. Cleaveland, S. Smolka Towards Performance Evaluation with General Distributions in Process Algebras, M. Bravetti, M. Bernardo, R. Gorrieri Stochastic Transition Systems, L. de Alfaro 12:30 Lunch Afternoon and Evening: Excursion to Cap Ferrat and banquet at the Royal Riviera Hotel of St-Jean-Cap-Ferrat Friday 11 September ^^^^^^^^^^^^^^^^^^^ 9:00 - 10:00 Invited Talk Tom Henzinger (University of California at Berkeley, USA) It's About Time: Real-time Logics Reviewed 10:00 Break, Refreshments 10:30 - 12:30 Controlled Timed Automata, F. Demichelis, W. Zielonka On Discretization of Delays in Timed Automata and Digital Circuits, E. Asarin, O. Maler, A. Pnueli Partial Order Reductions for Timed Systems, J. Bengtsson, B. Jonsson, J. Lilius, W. Yi Unfolding and Finite Prefix for Nets with Read Arcs, W. Vogler, A. Semenov, A. Yakovlev 12:30 Lunch 2:00 - 4:00 Asynchronous and asynchronous cellular automata for pomsets, D. Kuske Deriving unbounded Petri nets from formal languages, Ph. Darondeau Decompositions of Asynchronous Systems, R. Morin Synthesis of ENI-systems Using Minimal Regions, M. Pietkiewicz-Koutny 4:00 - Break, Refreshments 4:30 - 6:00 A categorical axiomatics for bisimulation, G. L. Cattani, J. Power, G. Winskel Fibrational Semantics of Dataflow Networks, E. W. Stark A Relational Model of Non-Deterministic Dataflow, Th. Hildebrandt, P. Panangaden, G. Winskel 4:30 - 6:00 Parallel Tutorial Session Jan Friso Groote (CWI, Netherlands) Computer checking verifications of protocols and distributed systems 6:00 Closing of the conference 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. Participation to COTIC'98, EXPRESS'98 and HLCL'98 will require no fees; PAPM'98 will require a (low) fee; participation to CONFER is by invitation. CONCUR 98: Purpose and Scope ~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance of concurrent systems and their applications, and of the scientific relevance of their foundations. The scope of CONCUR'98 covers all areas of semantics, logics, and verification techniques for concurrent systems. A list of specific topics includes (but is not limited to) concurrency related aspects of models of computation and semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, verification techniques, refinement techniques, term and graph rewriting, distributed programming, logic constraint programming, object-oriented programming, typing systems and algorithms, case studies, tools and environments for programming and verification. 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 ~~~~~~~~~~~~~~~~ - 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 fees ~~~~~~~~~~~~~~~~~~ by July 15 after July 15 Regular: 2,100 FFs 2,500 FFs. Student: 1,500 FFs 1,800 FFs. The regular fees include: proceedings, 4 lunches and coffee breaks; excursion on Thursday afternoon; conference dinner on Thursday evening. The student fees do not include proceedings, and the conference dinner and excursion on Thursday. For accompanying persons, participation to excursion and banquet of Thursday 10 costs 380 FFs. The conference registration form is appended below. It should be sent back to us, either electronically or by fax (instructions for this and for payment are on the form). Accommodation ~~~~~~~~~~~~~~ There are two alternative forms for the hotels, one for Novotel and one for other hotels. Both these forms can be found at the CONCUR 98 web page. Prices Novotel: 450 FFs per night in single room, breakfast included 550 FFs per night in double room, breakfast included 4 FFs Local tax per night per person These special prices are guaranteed at reservation by Novotel until June 30th only. Average prices for other hotels (both for single and for double rooms): hotel category price ** 300 / 350 FFs *** 360 / 400 FFs -------------------------------------------------------------------- CONCUR 98 Registration Form ~~~~~~~~~~~~~~~~~~~~~~~~~~~ (Please return to Dany Sergeant, either by email to: Dany.Sergeant@sophia.inria.fr or by fax to: (+33) 4 92 38 79 55 ) ------------------------------------- Given name: ___________________ Middle initials: ______________ Family name: __________________ [ ] male [ ] female Affiliation: ________________ Address: ____________________ ____________________ ____________________ Postal code (and state): ____ Country: ____________________ e-mail: _____________________ fax: ________________________ telephone: __________________ Special dietary requirements: __________________ Special requirements: __________________________ Expected date of arrival: ______________________ Expected date of departure: ____________________ Payment (all payments in French Francs): ----------------------------------------- [ ]Regular conference registration * before July 15: 2,100 FFs * after July 15: 2,500 FFs [ ]Student conference registration * before July 15: 1,500 FFs * after July 15: 1,800 FFs The regular fees include: LNCS proceedings, 4 lunches and coffee breaks; excursion on Thursday afternoon; conference dinner on Thursday evening. The student fees do not include proceedings, conference dinner and excursion on Thursday. [ ] Satellite Worskhop registrations * COTIC'98: yes / no (no fees) * EXPRESS'98: yes / no (no fees) * HLCL'98: yes / no (no fees) * PAPM'98: yes / no (price: 80 FFs to be paid on location, the day of the workshop) Regardless of the fees, participation to any of these workshops includes coffee breaks and workshop materials (such as proceedings, where appropriate). [ ]Additional tickets for excursion and banquet, on Thursday 10 September. No of persons: ____ price per person: 380 FFs = total: _______ TOTAL (FFs) _______ This total amount is due on registration. Payments should be made in french currency to "Agent Comptable de l'INRIA", either: * by Post Office check, to the account (CCP Paris 30041-00001-090945B 2031) * by Bank Tranfer order to "Tresorerie Generale des Yvelines-Versailles", to the account (10071-78000-00003003958 80) Please state your name and the name of the conference with the payment. CANCELLATIONS: Fees will be returned in full for any cancellation received prior to August, 25th. No refund will be made after this date. For further information on registration, feel free to contact: Dany SERGEANT 2004 Route des Lucioles, BP 93 06902 SOPHIA ANTIPOLIS CEDEX FRANCE E-mail: Dany.Sergeant@sophia.inria.fr Tel: (+33) 4 92 38 77 05 Fax: (+33) 4 92 38 79 55 ============================= For further information, check URL <http://www.inria.fr/concur98/>, or mail to concur98@sophia.inria.fr.