AMAST Mail 1996
[Prev][Next][Index]

No Subject

concurrency@cwi.nl,
rewriting-list@lorraine.loria.fr,
petrinets@daimi.aau.dk,
fun@cs.unibo.it,
ercim@cnuce.cnr.it,
theorynt@vm1.nodak.edu,
digest@aiva.ed.ac.uk,
parforce@ecrc.de,
compunode@ecrc.de,
alp-list@intellektik.informatik.th-darmstadt.de,
compulog@doc.imperial.ac.uk,
compulog-list@cwi.nl,
dbworld@cs.wisc.edu,
digest@aiva.ed.ac.uk,
gulp@di.unipi.it,
lics-email@cs.indiana.edu,
linear@cs.stanford.edu,
logic@cs.cornell.edu,
parforce@ecrc.de,
types@dcs.glasgow.ac.uk,
acclaim@sics.se,
gragra@i3.informatik.rwth-aachen.de,
eapls-request@mailbase.ac.uk,
pcf@DI.Unipi.IT,
lics-request@research.att.com,
petrinets@daimi.aau.dk,
b.conferenze
Subject: CONCUR 96: Final Call for Participation

[Apologies if you receveive this message more than once.  -vs]
----------------------------------------------------------------------------
	    SEVENTH INTERNATIONAL CONFERENCE ON CONCURRENCY THEORY
			  Pisa, 26--29 August, 1996

	       Programme & Final Call for Participation 
----------------------------------------------------------------------------

Monday, 26 August
^^^^^^^^^^^^^^^^^
 Welcome (9:00-9:30)

 Invited Talk (9:30-10:30)

   Retracing Some Paths in Process Algebra,
     Samson Abramsky (Edinburgh)

 Process Algebras (11:00-12:30)

   Process Calculus Based Upon Evaluation to Committed Form,
     Andrew Pitts and Joshua Ross (Cambridge)

   A Process Algebra with Distributed Priorities,
     Rance Cleaveland, Gerald Luettgen, and Vaidhyanathan Natarajan (NCSU)

   Symbolic Transition Graph with Assignment,
     Huimin Lin (Beijing)

 Tutorial (11:00-12:30, parallel session)

   Models for Concurrent Constraint Programming,
     Vineet Gupta (Xerox PARC), Radha Jagadeesan (Loyola), and 
     Vijay Saraswat (Xerox PARC)

 Categorical Approaches (14:00-15:30)

   Comparing Transition Systems with Independence and Asynchronous
       Transition Systems,
     Thomas Hildebrandt (Aarhus) and Vladimiro Sassone (Pisa)

   A Presheaf Semantics of Value-Passing Processes,
     Glynn Winskel (Aarhus)

   Elementary Control Structures,
     John Power (Edinburgh)

 Pi-Calculus (16:00-18:00)

   On Transformations of Concurrent Object Programs,
     Anna Philippou and David Walker (Warwick)

   On Bisimulations for the Asynchronous $\pi$-Calculus,
     Roberto Amadio (CNRS), Ilaria Castellani, and Davide Sangiorgi (INRIA)

   On the Expressiveness of Internal Mobility in Name-Passing Calculi,
     Michele Boreale (Roma)

   Decoding Choice Encodings,
     Uwe Nestmann (Erlangen) and Benjamin Pierce (Cambridge)
----------------------------------------------------------------------------

Tuesday, 27 August
^^^^^^^^^^^^^^^^^^
 Invited Talk (9:00-10:00)

   Infinite Results,
     Faron Moller (Uppsala)

 Decidability & Complexity (10:30-12:30)

   Decidability of Bisimulation Equivalence for Normed Pushdown Processes,
     Colin Stirling (Edinburgh)

   The Modal mu-Calculus Alternation Hierarchy is Strict,
     J.C. Bradfield (Edinburgh)

   Bisimulation Collapse and the Process Taxonomy,
     Olaf Burkart, Didier Caucal (IRISA), and Bernhard Steffen (Passau)

   On the Expressive Completeness of the Propositional mu-Calculus with
        respect to the Monadic Second Order Logic,
     David Janin (Bordeaux) and Igor Walukiewicz (Aarhus)

 Tutorial (10:30-12:00, parallel session)

   A FACILE Tutorial,
     Bent Thomsen, Lone Leth (ICL/IC-PARC), and Tsung-Min Kuo (ECRC)

 Probability (14:00-15:00)

   Testing Probabilistic Automata,
     Roberto Segala (Bologna)

   Extended Markovian Process Algebra,
     Marco Bernardo and Roberto Gorrieri (Bologna)

 Excursion to Volterra (15:00-20:00)

 Conference Dinner (20:00-22:00)
----------------------------------------------------------------------------

Wednesday, 28 August
^^^^^^^^^^^^^^^^^^^^
 Invited Talk (9:00-10:00)

   Rewriting Logic as a Semantic Framework for Concurrency: A Progress Report,
     Jose' Meseguer (SRI)

 Functional & Constraint Programming (10:30-12:30)

   Truly Concurrent Constraint Programming,
     Vineet Gupta (Xerox PARC), Radha Jagadeesan (Loyola), and
     Vijay Saraswat (Xerox PARC)

   Constraints as Processes,
     Bjorn Victor (Uppsala) and Joachim Parrow (Stockholm)

   A Calculus of Mobile Agents,
     Cedric Fournet, Georges Gonthier, Jean-Jacques Levy, Luc Maranget, and
     Didier Remy (INRIA Rocquencourt)

   Algebraic Interpretation of Lambda Calculus with Resources,
     Carolina Lavatelli (LIENS)

 Tutorial (10:30-12:00, parallel session)

   Concurrent Graph and Term Graph Rewriting,
     Andrea Corradini (Pisa)

 Petri Nets (14:00-15:30)

   Petri Boxes and Finite Precedence,
     Raymond Devillers (Brussel)

   Constrained Properties, Semilinear Systems, and Petri Nets,
     Ahmed Bouajjani and Peter Habermehl (Verimag)

   Linear Constraint Systems as High-Level Nets,
     Eike Best (Hildesheim) and Catuscia Palamidessi (Genova)

 Verification (16:00-18:00)

   A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking,
     Thomas Henzinger (Berkeley), Orna Kupferman (Bell Labs), and
     Moshe Vardi (Rice)

   State Equivalences for Rectangular Hybrid Automata,
     Thomas Henzinger (Berkeley) and Peter Kopke (Cornell)

   Verifying Abstractions of Timed Systems,
      Serdar Tasiran (Berkeley), Rajeev Alur, Robert Kurshan (Bell Labs),
      and Robert Brayton (Berkeley)

   Towards Automatic Temporal Logic Verification of Value Passing Process
        Algebra Using Abstract Interpretation,
      Alessandro Fantechi (Firenze), Stefania Gnesi and Diego Latella (Pisa)
----------------------------------------------------------------------------

Thursday, 29 August
^^^^^^^^^^^^^^^^^^^
 Invited Talk (9:00-10:00)

   Modelling and Verification of Distributed Algorithms,
     Wolfgang Reisig (Berlin)

 Automata & Causality (10:30-12:30)

   An Algorithmic Approach for Checking Closure Properties of
        omega-Regular Languages,
     Doron Peled (Bell Labs), Thomas Wilke (Rutgers), and Pierre Wolper (Liege)

   Towards Automata for Branching Time and Partial Order,
     Michaela Huhn and Peter Niebert (Hildesheim)

   Asynchronous Cellular Automata for Pomsets without Auto-Concurrency,
     Manfred Droste (Dresden) and Paul Gastin (LITP)

   Action Refinement and Property Inheritance in Systems of Sequential Agents,
     Michaela Huhn (Hildesheim)

 Practical Models (14:00-15:30)

   A Calculus for Concurrent Objects,
     Paolo Di Blasio (Roma) and Kathleen Fisher (Stanford)

   Refinement in Interworkings,
     Sjouke Mauw and Michel Reniers (Eindhoven)

   Equivalences of Statecharts,
     Andrea Maggiolo-Schettini (Pisa), Adriano Peron (Udine), and
     Simone Tini (Pisa)

 Shared-Memory Systems (16:00-17:30)

   Modular Verification for Shared-Variable Concurrent Programs,
     Jurgen Dingel (CMU)

   The Impact of Hardware Models on Shared Memory Consistency Conditions,
     Jerry James and Ambuj Singh (Santa Barbara)

   Synchronous Development of Asynchronous Systems,
     Clemens Fischer and Wil Janssen (Oldeburgh)

----------------------------------------------------------------------------
		     Final Call for Participation
----------------------------------------------------------------------------

 The 7th International Conference on Concurrency Theory will be held in Pisa
 from August 26 to August 29, 1996. Pisa, conveniently located in upper
 Tuscany on the coast 70 Km away from Florence, is one of Italy's oldest towns
 - its origins date back to the Etruscan, nearly 3,000 years ago. The city
 hosts an old (over 650 years) University that ranks among the best in Italy.

*The conference will be held at the Palazzo dei Congressi (Convention Palace),
 via G. Matteotti 1, Pisa, that will be open for registration and a welcome
 refreshment in the afternoon of Sunday August 25.*

 Pisa is easily reachable by:
 - Air: Daily flights connect Pisa Galilei international airport with several
        important national airports (e.g. Milan, Rome), as well as with
	Frankfurt, London, Munich, and Paris; Florence international airport
	provides direct connections to Amsterdam, Bruxelles, Dusseldorf, and
	others. 
 - Train: Pisa railway station provides frequent direct connections with many
        Italian destinations, including Genua, Florence, Rome and Turin.
 - Road: Pisa lies at the centre of a large network of roads and motorways,
        including the A11 motorway (from Florence) the A12 (from Genua) and
        the A15 (from Parma and Milan).

 The conference fees are:

                    +--------------+---------------+
                    |  by July 15  | after July 15 |
          +---------+--------------+---------------+
          | Regular:| LIT. 600,000 |  LIT. 675,000 |
          | Student:| LIT. 300,000 |  LIT. 375,000 |
          +---------+--------------+---------------+

 The fee (both regular and student rate) includes:
 - proceedings published by Springer Verlag;
 - 4 lunches;
 - excursion to Volterra on Tuesday afternoon; and
 - conference dinner on Tuesday evening.

 Accommodation, other evening meals and any costs related to the satellite
 workshop (see below) are not included in the fee. 

 In connection with the conference, some sessions devoted to demonstrations of
 (semi-)automatic academic tools for the analysis and verification of
 concurrent systems are organized. A satellite workshop on Verification of
 Infinite State Systems (Infinity) will be held on August 30 and 31.

 More detailed information about the conference and the related activities are
 available at the conference WEB page <http://www.di.unipi.it/~vs/CONCUR96>
 -- including the postscript version of the program, registration and
 accommodation forms, call for demos, and Infinity. Should you have any
 problem with the WEB page, please e-mail to concur96@di.unipi.it

*Note*: We can guarantee hotel reservations only for the applications received
	by 15 July. Late hotel reservation risk to rejected, depending on
	availability. 

 CONCUR 96 is jointly sponsored by
 - Universita' di Pisa,
 - Gruppo Nazionale Informatica Matematica - CNR, 
 - US Office of Naval Reserch and US Air Force, EUROPE.
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]