From rvg@kilby.Stanford.EDU Wed Apr 23 20:10:00 1997 Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id UAA04054 for ; Wed, 23 Apr 1997 20:10:00 -0700 (PDT) Received: from kilby.Stanford.EDU (kilby.Stanford.EDU [171.64.78.29]) by CS.Stanford.EDU (8.8.4/8.8.4) with ESMTP id UAA26338 for ; Wed, 23 Apr 1997 20:09:22 -0700 (PDT) Received: (from rvg@localhost) by kilby.Stanford.EDU (8.7.5/8.7.1) id UAA08243; Wed, 23 Apr 1997 20:09:00 -0700 (PDT) Date: Wed, 23 Apr 1997 20:09:00 -0700 (PDT) Message-Id: <199704240309.UAA08243@kilby.Stanford.EDU> From: Rob van Glabbeek To: suresh@CS.Stanford.EDU Subject: [concur97@IPIPAN.Waw.PL: registration for CONCUR'97] X-Mozilla-Status: 0001 Content-Length: 16461 ------- Start of forwarded message ------- >Received: from CS.Stanford.EDU (CS.Stanford.EDU [171.64.64.64]) by kilby.Stanford.EDU (8.7.5/8.7.1) with ESMTP id DAA23941 for ; Thu, 3 Apr 1997 03:02:42 -0800 (PST) Date: Thu, 3 Apr 1997 12:46:09 +0200 (MET DST) From: "CONCUR'97 Conference" To: wimmel@uni-koblenz.de, priese@uni-koblenz.de, tony@fi.muni.cz, rvg@CS.Stanford.EDU, Ahmed.Bouajjani@imag.fr, ma@pa.dec.com, adg@cl.cam.ac.uk, dw@dcs.warwick.ac.uk, Peter.Sewell@cl.cam.ac.uk, sm@it.dtu.dk, doron@research.bell-labs.com, busi@cs.unibo.it, luettgen@fmi.uni-passau.de, robert@lri.fr, ehrig@cs.tu-berlin.de, geislerr@cs.tu-berlin.de, mklar@cs.tu-berlin.de, padberg@cs.tu-berlin.de, josb@win.tue.nl, Cedric.Fournet@inria.fr, selinger@math.upenn.edu, tah@eecs.berkeley.edu, orna@eecs.berkeley.edu, sriramr@eecs.berkeley.edu, hanol@ida.liu.se, langerak@cs.utwente.nl, annap@steam.stanford.edu, vgupta@parc.xerox.com, mayrri@informatik.tu-muenchen.de, jhcg@hplb.hpl.hp.com, m.shields@mcs.surrey.ac.uk, sas@cs.sunysb.edu, pst@ssf.ernet.in, gwinskel@brics.dk Subject: registration for CONCUR'97 Cc: concur97@wars.ipipan.waw.pl X-Sun-Charset: US-ASCII Content-Type: text Content-Length: 15086 EIGHTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY (CONCUR'97) ***************************************************************** July 1 - 4, 1997, Warsaw, Poland PROGRAM, GENERAL INFORMATION AND REGISTRATION FORM -------------------------------------------------- You can find program, general information and registration form at CONCUR'97 web sites: http://www.ipipan.waw.pl/~concur97/news.htm http://www.ipipan.waw.pl/conferences/concur97 ***** C O N C U R' 97 P R O G R A M Tuesday, July 1 - - - - - - - - 9:15-9:30 Welcome and Introductory Remarks 9:30-10:30 Invited Talk: Title will be announced later Glynn Winskel (Aarhus University) 10:30-11:00 On Implementations and Semantics of a Concurrent Programming Language Peter Sewell (Computer Laboratory, Cambridge) 11:00-11:30 Coffee/Tea Break 11:30-12:00 A Universal Reactive Machine Henrik Reif Andersen, Simon Moerk, Morten Ulrik Soerensen (Technical University of Denmark, Lyngby) 12:00-12:30 Implicit typing a la ML for the join-calculus Cedric Fournet, Luc Maranget, Didier Remy (INRIA Rocqencourt), Cosimo Laneve (Univ. Bologna) 12:30-14:30 Lunch 14:30-15:00 First-Order Axioms for Asynchrony Peter Selinger (University of Pennsylvania) 15:00-15:30 Axiomatizing Flat Iteration Rob van Glabbeek (Stanford University) 15:30-16:00 High Level Expressions with their SOS Semantics Hanna Klaudel, Robert-C. Riemann (LRI, Universite Paris-Sud) 16:00-16:30 Coffee/Tea Break 16:30-17:00 A Rigorous Analysis of Concurrent Operations on B-Trees Anna Philippou, David Walker (University of Warwick) 17:00-17:30 How to Parallelize Sequential Processes Antonin Kucera (Masaryk University, Brno) - Conference Banquet at The Royal Castle in Warsaw - Wednesday, July 2 - - - - - - - - - - 9:30-10:30 Invited Talk: Cyclic Vector Languages Michael Shields (University of Surrey) 10:30-11:00 Causal ambiguity and partial orders in event structures Rom Langerak, Ed Brinksma (University of Twente), Joost-Pieter Katoen (Friedrich-Alexander University) 11:00-11:30 Coffee/Tea Break 11:30-12:00 Fair Simulation Thomas A. Henzinger, Orna Kupferman, Sriram k. Rajamani (UC Berkeley) 12:00-12:30 Bisimulation and Propositional Intuitionostic Logic Anna Patterson (Stanford University) 12:30-14:30 Lunch 14:30-15:30 Invited Talk: Recent Developments in the Mathematics of Reactive Systems Jeremy Gunawardena (Hewlett-Packard Labs., Bristol) 15:30-16:00 Horizontal and Vertical Structuring Techniques for Statecharts H. Ehrig, R. Geisler, J. Padberg (Technische Universitaet Berlin), M. Klar (Fraunhofer Institut fuer Software- und Systemtechnik, ISST) 16:00-16:30 Coffee/Tea Break 16:30-17:00 Algebraic Characterization of Petri Net Pomset Semantics Harro Wimmel, Lutz Priese (University of Koblenz) 17:00-17:30 Synthesis of Nets with Inhibitor Arcs Nadia Bussi, G. Michele Pinna (University of Siena) Thursday, July 3 - - - - - - - - - 9:30-10:30 Invited Talk: A Product Version of Dynamic Linear Time Temporal Logic P. S. Thiagarajan (SPIC Mathematical Institute, Madras) 10:30-11:00 Bounded Stacks, Bags and Queues Jos C. M. Baeten (Eindhoven University of Technology), Jan A. Bergstra (University of Amsterdam) 11:00-11:30 Coffee/Tea Break 11:30-12:00 Modularity for Timed and Hybrid Systems Rajeev Alur, Thomas A. Henzinger (UC Berkeley) 12:00-12:30 An Algebraic Theory of Distributed Time Rance Cleaveland (North Carolina State University), Gerald Luettgen, Michael Mendler (Universitaet Passau) 12:30-13:00 On the Complexity of Verifying Concurrent transition Systems David Harel (The Weizmann Institute), Orna Kupferman (UC Berkeley), Moshe Vardi (Rice University, Huston) 13:00-14.30 Lunch - A trip to Wilanow Castle - Friday, July 4 - - - - - - - - 9:30-10:30 Invited Talk: Partial-Order Reduction in the Weak Modal Mu-Calculus Scott A. Smolka (Stony Brook) (a joint work with Y. S. Ramakrishna) 10:30-11:00 Probabilistic Concurrent Constraint Programming Vineet Gupta (Xerox PARC), Radha Jagadeesan (Loyola University, Chicago), Vijay Saraswat (ATT Research) 11:00-11:30 Coffee/Tea Break 11:30-12:00 Reasoning about Cryptographic Processes in the Spi Calculus Martin Abadi (Digital Equipment Corporation), Andrew D. Gordon (University of Cambridge) 12:00-12:30 Adding Partial Orders to Linear Temporal Logic Girish Bhat (North Carolina State University), Doron Peled (Bell Laboratories) 12:30-14:30 Lunch 14:30-15:00 Reachability Analysis of Pushdown Automata: Application to Model-Checking Ahmed Bouajjani (Verimag, Grenoble), Javier Esparza (TUM, Munich), Oded Maler (Verimag, Grenoble) 15:00-15:30 Model Checking PA-Processes Richard Mayr (TUM, Munich) 15:30-16:00 Proving Safety Properties of Infinite State Systems by Compilation into Presburger Arithmetic L. Fribourg, H. Olsen (CNRS and Linkoping University) - Closing - ***** GENERAL INFORMATION *Venue The Conference will take place in conference rooms of Palac Staszica (Palace of Staszic) - an XIX century, classical style, building belonging to the Polish Academy of Sciences and located in the center of Warsaw on an old route crossing the town from North to South along the Vistula river. A Kopernik monument in front of the palace is a characteristic point in Warsaw. The address is: Palac Staszica ul. Nowy Swiat 72 00-330 Warszawa *Registration Early registration: Early fee deadline is May 31, 1997 (we suggest paying by credict card = making a "mail order") *Registration fee - payment: Registration fees should be paid in Polish zloty only. At site you can pay in cash or by major credit cards (Visa, MasterCard, EuroCard or Diners Club). However, paying by card you will be charged additional 5 % of bank commission. Paying by cash you pay in Polish currency, the amount based on the present exchange rate. If you have transferred money, please take a copy of the bank transfer form with you, unless you received from us a confirmation of your payment. We would like to remind you that the registration fees specified below will cover: conference sessions, conference proceedings, coffee/tea breaks and lunches. There is a separate charge for the banquet. There is a special rate for participants willing to attend both LICS and CONCUR. In this case the registration fee is lower. If you are choosing this option, please also attach a copy of LICS'97 registration form. ----------------------------------------------------------------------------- Before May 31, 1997 After May 31, 1997 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Only CONCUR 1220 zlotys 1580 zlotys CONCUR if LICS 980 zlotys 1340 zlotys Conference Banquet - 175 zlotys ----------------------------------------------------------------------------- Registration fees can be paid either by a Banker's Cheque payable to "IPI PAN CONCUR'97" (personal cheques will not be accepted) or by a bank transfer to: BPH Krakow XIV O/W-wa, Al. Jerozolimskie 7, 00-495 Warsaw, Poland Account no. 10601015-2408-27000-400101 *Cancellation Cancellation received later than June 1 will be charged 600 zlotys handling fee. After June 15 cancellation will not be accepted. *Accommodation A number of rooms have been reserved in different category hotels, all of them within walking distance (not more than 15 minutes) from the conference venue (Palac Staszica). All rooms are with bath or shower. Please indicate your accommodation preferences completing the Registration and Accommodation Form. Requests will be honored in the order received. If your choice is not available, we will make an effort to find a comparable accommodation. Payment: Accommodation charges will be paid directly to the hotel by each participant. It can be paid by cash (in Polish zloty). Most hotels accept major credit cards as well. The prices are for one room per night. All rates include breakfast. *Transportation Warsaw is easily reachable from all parts of the world and by all means of transportation. There are several direct air connections from many cities in Europe, USA and elsewhere. It takes some 20 minutes by a shuttle bus (recommended) or a taxi to get from the airport to the city center. *Visas Citizens of the USA and most European countries do not need any visa. Please check with your local Polish consulate if you need a visa. *Registration Desk The Registration Desk will be located in Palac Staszica and will be open on Monday 30th of June, from 3 p.m. to 5 p.m. and on Tuesday 1st of July from 8.15 a.m. to 3 p.m. *Polish Currency Polish currency units are ZLOTY (PZL) and GROSZ (1 grosz = 1/100 zloty). *Money Exchange In Poland one pays mainly in cash, therefore you are advised to exchange some money into Polish currency in the exchange office usually called "KANTOR", which can be found at the airport (exchange rate is about 10% worse then the average one), at the railway station, hotels, and in many other places. The current exchange rate is approx. 3,1 PZL for US $1. *Climate It is usually sunny and warm in July in Poland, with average temperatures ranging from 18C - 25C. *Insurance The organizers cannot be held liable to conference participants for injury, damage or loss of their personal property. It is suggested that participants make their own insurance arrangements. *Related events LICS Warsaw, Poland, June 29 - July 2, 1997 http://www.mimuw.edu.pl/~lics97 http://www.bell-labs.com/topic/conferences/lics/ ICALP Bologna, Italy, 7-11 July, 1997 http://www.cs.unibo.it/icalp97/ CADE-14 Townsville, North Queensland, Australia, 13-17 July, 1997 http://wwwjessen.informatik.tu-muenchen.de/~geoff/CADE-14.html ***** If you would like to register for CONCUR'97, please return the following information (preferably by e-mail) to: Ewa Gasiorowska-Wirpszo CONCUR'97 Institute of Computer Science Polish Academy of Sciences ul. Ordona 21, 01-237 Warsaw, Poland e-mail: gasior@ipipan.waw.pl - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - C U T H E R E ------------------------------------------------------------------------------- CONCUR'97 - REGISTRATION AND ACCOMMODATION FORM ------------------------------------------------------------------------------- ( ) Mr ( ) Ms Last name: Firt name: Affiliation: Address: E-mail: Tel: Fax: ------------------------------------------ Diet: Standard ( ) Vegetarian ( ) ------------------------------------------ Registration fees (in Polish zlotys) ( ) I prefer to attend CONCUR + LICS and I enclose LICS Registration form ( ) Before May 31 ( ) After May 31 ( ) Conference dinner Total amount sent: ..... Polish zlotys ----------------------------------- Method of payment: ( ) I enclose a copy of a bank transfer to: BPH Krakow XIV O/W-wa, Al. Jerozolimskie 7, 00-495 Warsaw, Poland Account no. 10601015-2408-27000-400101 ( ) I enclose a Banker's Cheque payable to "IPI PAN CONCUR'97" for the total amount of ..... Polish zlotys net of bank charges ( ) I will pay at site: ( ) in cash ( ) by VISA ( ) by MasterCard ( ) by EuroCard ( ) by Diners Club ( ) Access - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - IF YOU PAY BY CREDIT CARD BEFORE CONFERENCE, PLEASE SEND IMMEDIATELY ENCLOSED PIECE OF PAPER B Y F A X (your signature is needed) *** Cut here = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = Mail order Method of payment - charge credit card Name of card: ................................ Card number: ................................. Expiration date: ............................. Name of cardholder: ............................................... Address of cardholder: ............................................ Signature of cardholder:...................... Service specification: ................. zlotys = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = Accommodation (please indicate your choice): ------------------------------------------- ( ) Single room ( ) Double room ( ) Hotel **** 444 zlotys 510 zlotys ( ) Hotel ** (10 single rooms only) 186 zlotys ( ) Hotel * 94 zlotys 126 zlotys Date of arrival: Date of departure: If double room, I prefer to stay with: .................................... ------------------------------------------- ______________________________________________________________________ Ewa Gasiorowska-Wirpszo Institute of Computer Science Polish Academy of Sciences Ordona 21, 01-237 Warsaw, Poland Tel: (48) (22) 362841, Fax: (48) (22) 376564 E-mail: gasior@ipipan.waw.pl or Ewa.Gasiorowska@ipipan.waw.pl ______________________________________________________________________ ------- End of forwarded message -------