CONCUR'98

 

• Conference registration:
 

	before August 6	after August 6
regular	2100 FFs	2500 FFs
student	1500 FFs	1800 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.


•  Workshop registration:

Participation to COTIC'98, EXPRESS'98 and HLCL'98 requires no fees; participation to PAPM'98 requires a fee (to be paid on the spot); participation to CONFER is by invitation.

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:

For accompanying persons, participation to excursion to Cap Ferrat and banquet at the Royal Riviera Hotel of St-Jean-Cap-Ferrat of Thursday 10 costs 380 FFs.

Other accommodation information:

• From the official server of the City of Nice
• Hotels on the French Riviera
• Guide IBR Europe Nice 06000 - France

 
 

IMPORTANT DATES

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 satellite workshops and registration will be held.

(Warning: the "CONCUR 98" Novotel is the centre of Nice, therefore it is not the one right besides Nice airport!)

TRAVEL AND TOURISM

Nice is ideally located on the French Riviera. September is still very pleasant, while less crowded than the high season (take your swimming clothes with you!). Nice's international airport is well-connected to all major european and non-european cities. There's a city bus every 30 minutes from the airport to downtown Nice.

Bus and Taxi

The following buses take you to the Museum of Modern and Contemporary Art: buses 3,5,6, 16,17, 25 (go down at the stop called "Promenade des Arts"); buses 7,9, 10 (go down at the stop called "Musée d'Art Moderne"); buses 1,2 (go down at the stop called "Garibaldi").

The taxi fare from the areport to Nice center is about 150/200 FF.

• Buses and taxi from Nice Int'l Airport

Train

• French Railways for your information
• Rail Europe Home Page for all your travel information if you are traveling by train
• Fares and schedules for European Railways

Maps

• From a general (and detailed) map of Nice: the center of Nice (or downtown Nice, shows the Museum of Modern and Contemporary Art and the old town); a detailed view of "old Nice" ("Vieux Nice"), the airport area (this would be on the bottom left of the general map)
• More schematic maps of Nice area and Nice center (both provided by Microsoft Expedia). They show the locations of the areport, the main train station (Gare Céntral), the main bus station (Gare Routiere), the Museum of Modern and Contemporary Art. The first map also shows Cap Ferrat and Beaulieu, where the main social event will take place.
• A small map , showing the location of the Novotel
• Sophia-Antipolis
• Sophia-Antipolis with INRIA
• The riviera from the sky

Tourism

To know more about Nice and Nice region, have a look at these sites (recommended!):

• Official Nice Guide [this is the official server designed by the City of Nice; you can find here a lot about Nice and its surroundings, as well as travel and weather information, and pictures of the city ]
• The French Riviera (Côte d'Azur)
• Provence
• Monaco
• Cannes: from the official guide ; from "Beyond the French Riviera® " .
• Sophia Antipolis

More on Nice:

• Nice: the Rough Guide from Hotwired [contains some brief general information on how to get around the city, accommodation, city attractions]
• Nice Highlights, by Preview Travel
• The Nice guide by Microsoft Expedia

Here are some general travel information on France .

Currency

• The Universal Currency Converter(tm)

SOCIAL PROGRAMME

• cocktail offered by the City of Nice at the Modern Art Museum Cafe, on Tuesday 8.
• 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; this is another page on the Villa, in french), 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).

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 and ubiquity 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.

• 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 (University of Pennsylvania, USA), Types in concurrency.

We wish to thank the following companies and organisations for financial support: CNET France Telecom , Simulog , Centre de Mathématiques Appliquées (CMA) of the École des Mines de Paris , INRIA .

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

• chairmen: 
• Davide Sangiorgi
• Robert de Simone
• members: 
• Amar Bouali
• Gérard Boudol
• Ilaria Castellani
• Silvano Dal Zilio
• Catherine Juncker
• Francoise Martin-Trucas
• Massimo Merro
• Dany Sergeant

• The proceedings  of CONCUR'98 are published by Springer-Verlag in the LNCS series as the volume 1466.
• A special issue of Theoretical Computer Science is planned.

For further information, mail to: concur98@sophia.inria.fr.