From: marche@sun8.lri.fr (Claude Marche)
Subject: TAPSOFT'93 Program and Registration Form
Organization: LRI - Univ. Paris-Sud / CNRS URA 410
Date: Thu, 28 Jan 1993 01:00:32 GMT
Expires: Thu, 15 Apr 1993 07:00:00 GMT


TAPSOFT'93   TAPSOFT'93   TAPSOFT'93   TAPSOFT'93   TAPSOFT'93
                APRIL 13-16 1993,  ORSAY, FRANCE
                PROGRAM and   REGISTRATION FORM


TAPSOFT'93 is the fourth International Joint Conference on the
Theory and Practice of Software Development. Its predecessors
where held in Berlin, Pisa, Barcelona and Brighton. This year
TAPSOFT will take place at Orsay, the beautiful campus of the
University "Paris-Sud".

Continuing with the tradition of high scientific quality of
these meetings, TAPSOFT'93 will consist of three parts:

I. The COLLOQUIUM ON TREES IN ALGEBRAS AND PROGRAMMING (CAAP)
Program Committee: A. Arnold, N. Dershowitz, H. Ganzinger,
J. Goguen, J.-P. Jouannaud (Chair), J.-W. Klop, D. Kozen,
U. Montanari, M. Nivat, L. Pacholski, B. Rovan, W. Thomas

II. The COLLOQUIUM ON FORMAL APPROACHES OF SOFTWARE
    ENGINEERING (FASE)
Program Committee: E. Astesiano, M. Dincbas, H. Erhig,
M.-C. Gaudel (General Chair), S. Gerhart, D. Jacobs, C. Jones,
T. Maibaum, F. Orejas, J. Sifakis, A. Tarlecki

III. The ADVANCED SEMINAR with
INVITED SURVEYS by H.-D. Ehrich, J. Guttag, C. Jones, B. Mahr,
W. Thomas
INVITED CONFERENCES by A. Arnold, P-P. Degano, N. Dershowitz,
G. Longo

**************************************************************
CONFERENCE LOCATION: Building 338 (Batiment des Colloques),
Faculte des Sciences, Universite de Paris-Sud, Orsay, France
ACCESS: from Paris, 40 min. by RER line B, Orsay-ville station
**************************************************************
                   PROGRAM OF THE CONFERENCE
		   *************************

                   Tuesday 13

                   9:00 Registration and Coffee
   9:45 Opening session
**10:00 Invited Survey : Are Formal Methods Useful
	J. V. Guttag, MIT (USA), chaired by M.-C. Gaudel
                   11:30 Coffee Break
**12:00 Invited Conference: On the Expressive Power of Models of Concurrency
	P.-P. Degano, Univ. di Pisa (I), chaired by A. Arnold
                   13:15 Lunch
********CAAP Session 1 : Specifications and Proofs
	chair : J. Goguen
  14:30 Compositionality Results for Different Types of Parameterization and
	Parameter  Passing in Specification Languages
	H. Ehrig, T. U. Berlin (D), R. M. Jimenez & F. Orejas, 	Univ. Pol.
	de Catalunya (SP)
  15:00 Proving Ground Confluence and Inductive Validity in Constructor Based
	Equational Specifications, K. Becker, Univ. Kaiserlautern (D)
  15:30 Associative-Commutative Discrimination Nets
	L. Bachmair, T. Chen, I.V. Ramakrishnan, SUNY, Stony Brook (USA)

********FASE Session 1 : Case Studies in Formal Design and Development
	chair : J. V. Guttag
  14:30 Algebraic Specification and Development in Geometric Modeling
	Y. Bertrand, J.-F. Dufourd, J. Francon, P. Lienhart
	Univ. Louis Pasteur & CNRS, Strasbourg (F)
  15:00 A Case Study in Transformational Design of Concurrent Systems
	E. R. Olderog & S. Rossig, Univ. Oldenburg (D)
  15:30 Yeast : a Case Study for a Practical Use of Formal Methods
	P. Inverardi, IEI-CNR Pisa (I), B. Krishnamurthy, AT&T Bell Lab (USA),
	D. Yankelevich, Univ. Pisa (I)
                     16:00 Coffee Break
**16:30 Invited Conference:  Vertical Verification of Concurrent Systems
	A. Arnold, Labri-CNRS, Univ. Bordeaux (F), chaired by C. B. Jones
                    17:45  University Reception

                     Wednesday 14

** 9:30 Invited Survey:  Using Object-based Concepts to Control Concurrency
	C. B. Jones, Univ. of Manchester (UK), chaired by H.-D. Ehrich
                   11:00 Coffee Break
********CAAP, Session 2: Concurrency
	chair : U. Montanari
  11:30 From pi-calculus to higher-order pi-claculus - and back
	D. Sangiorgi, Univ. Edinburgh (UK)
  12:00 Hyperedge Replacement with Rendez-vous
	G. David, F. Drewes & H.-J. Kreowski, Univ. Bremen (D)
  12:30 True Concurrency Semantics for a Linear Logic Programming Language
	with Broadcast Communication
	J.-M. Andreoli, L. Leth, R. Pareschi & B. Thomsen, ECRC, Munich (D)

********FASE, Session 2: Compositionality, Modules and Development
	chair : A. Tarlecki
  11:30 A General Framework for Modular Implementations of Modular System
	Specifications
	M. Bidoit, LIENS-CNRS (F), R. Hennicker, Ludwig-Maximilians Univ.,
	Munchen (D)
  12:00 Reducing the Runtime Costs for Modularity, M.T. Vandevoorde, MIT (USA)
  12:30 Application of the Composition Principle to UNITY-like Specifications
	P. Collette, Univ. Catholique de Louvain (B)
                    13:15 Lunch
**14:30 Invited Conference: Trees, Ordinals and Termination
	N. Dershowitz, Hebrew Univ., Jerusalem (IL), chaired by F. Orejas
                    15:30 Coffee Break
********CAAP Session 3: Automata and Counting
	chair : B. Rovan
  16:00 When is a Functional Tree Transduction Deterministic
	H. Seidl, Univ. des Saarlandes (D)
  16:30 Automata on Infinite Trees with Counting Constraints
	D. Beauquier, LITP, Paris (F), D. Niwinski, Univ. Warsaw (POL)
  17:00 Directed Column-Convex Polyominoes by Recurrence Relations
	E. Barcucci, R. Pinzani & R. Sprugnoli, Univ. di Firenze (I)

********FASE Session 3: Formal Development
	chair : B. Krieg-Bruckner
  16:00 Object Organisation in Software Environments for Formal Methods
	J. Han, Univ. of Queensland (AUS)
  16:30 Monads, Indexes and Transformations
	F. Bellegarde, Western Washington Univ. (USA), and J. Hook, Oregon
	Graduate Institute, Beaverton (USA)
  17:00 A Technique for Specifying and Refining TCSP processes by using Guards
	and Liveness Conditions
	R. Pena, Univ. Computense de Madrid (S), L. M. Alonso, Univ. del
	Pais Vasco (S)

                              Thursday 15

** 9:30 Invited Survey: Applications of Type Theory,
	B. Mahr, T. U. Berlin (D) chaired by G. Longo
                    11:00 Coffee Break
********CAAP Session 4: Constraints Solving and Enumerations
	chair : L. Pacholski
  11:30 Feature Automata and Recognizable Sets of Feature Trees
	J. Niehren, DFKI, Saarbrucken (D), A. Podelski, DEC-PRL, Rueil (F)
  12:00 About the Theory of Tree Embedding
	A. Boudet & H. Comon, LRI-CNRS, Univ. Paris-Sud (F)
  12:30 Linear Unification of Higher-Order Patterns
	Z. Qian, Univ. Bremen (D)

********FASE Session 4 : Foundations and Analysis of Formal Specifications
	chair : E. Astesiano
  11:30 Theory Revision for Requirements Capture
	W. Li, Beijing Univ. (China)
  12:00 Exception Handling and Tern Labelling
	G. Bernot, LIVE Evry (F), P. Le Gall, LRI-CNRS Orsay (F)
  12:30 Gate Splitting in LOTOS Specifications using Abstract Interpretation
	F. Giannotti & D. Latella, CNR, Pisa (I)
                    13:15 Lunch
**14:30 Invited Survey: Constructing Systems as Objects Communities
	H.-D. Ehrich,  T.U. Braunschweig (D), chaired by H. Ganzinger
                   16:00 Coffee Break
********CAAP Session 5: Rewriting
	chair : J.-W. Klop
  16:30 Term Rewriting in CT 7, A. Corradini, Univ. di Pisa (I)
  17:00 Optimal Reductions in Interaction Systems
	A. Asperti & C. Laneve, INRIA-Rocquencourt (F)
  17:30 Optimal Solutions to Pattern Matching Problems
	L. Puel, LRI-CNRS, Univ. Paris-Sud (F), A. Suarez, LIENS-CNRS (F)

********FASE Session 5 : Verification of Concurrent Systems
	chair : T. Maibaum
  16:30 Testing for a Conformance Relation based on Acceptance
	M.Y. Yao, G.V. Bochmann, Univ. of Montreal (CDN)
  17:00 Testability of a system though an Environment
	K. Drira & P. Azema, LAAS-CNRS, Toulouse (F), B. Soulas &
	A.-M. Chemali, EDF-DER, Moret sur Loing (F)
  17:30 Automating (Specification = Implementation) using Equational
	Reasoning and LOTOS, C. Kirkwood, Univ. of Glasgow (UK)
                   20:00 Banquet

                       Friday 16

** 9:30 Invited Survey: The Erhenfeucht Fraisse Game in Theoretical Computer
	Science, W. Thomas, Univ. Kiel (D), chaired by M. Nivat
                    11:00 Coffee Break
********CAAP Session 6: Logic and Trees
	chair : W. Thomas
  11:30 On Asymptotic Probabilities in Logics that captures DSPACE(log n)
	in Presence of Ordering, J. Tyszkiewicz, Univ. Warsaw (POL)
  12:00  A Propositional Dense Time Logic based on nested sequences
	M. Ahmed & G. Venkatesh, Indian Inst. of Tech., Bombay (IND)
  12:30 La vraie Forme d'un Arbre
	J. Betrema & A. Zvonkin, Labri-CNRS, Univ. Bordeaux (F)

********FASE Session 6  : Model Checking
	chair : J. Sifakis
  11:30 Model Checking using Net Unfolding, J. Esparza, Univ. Hildesheim (D)
  12:00 Reachability Analysis on Distributed Executions
	C.Diehl, C. Jard & J.-X. Rampon, IRISA (F)
  12:30 Program Verification and Abstraction, S. Graf & C. Loiseaux, IMAG (F)
                    13:15 Lunch
**14:30 Invited Conference: The Meaning of "parametricity" in Polymorphic
	Functional Languages, G. Longo, chaired by J.-P. Jouannaud
**15:30 CAAP-FASE Common Session: Type Inference
	chair : J.-P. Jouannaud
  15:30 Polymorphic Type Inference with Overloading and Subtyping
	G.S. Smith, Cornell Univ. (USA)
  16:00 Type Reconstruction with Recursive Types and Atomic Subtyping
	J. Tiuryn & M. Wand, Norheastern Univ., Boston (USA)

********CAAP Session 7: Analysis of Algorithms
	chair : M. Soria
  17:00 (Un)expected Path Lengths of Assymetric Binary Search Trees
	U. Trier, Goethe Univ., Frankfurt (D)
  17:30 Trie Size in a Dynamic List Structure
	G. Louchard, Univ. Libre Bruxelles (B)

********FASE Session 7:  Parallel Calculus
	chair : H. Erhig
  17:00 A Fully Parallel Calculus of Synchronizing Processes
	D. Latella & P. Quaglia, CNR, Pisa (I)
  17:30 Generic Systolic Arrays : A methodology for Systolic Design
	E.P. Gribomont, Univ. de Liege (B), V. Van Dongen, CRI, Montreal (CDN)

*****************************************************************
REGISTRATION FORM to be sent to AFCET-TAPSOFT'93, 156 Bd Pereire,
75017 Paris, France,
tel: 33 1 47 66 24 19, fax: 33 1 42 67 93 12
                             NO REGISTRATIONS BY EMAIL PLEASE

Date: ___________
Name: ________________                  First name:______________
Address:  _________________________________________________
                __________________________________________________
                ___________________________
tel :                                                    fax:
Number of invoice copies requested:  __
Invoice to be sent to:  __________________________________________
                                  ___________________________________________
                                  _____________________
PAYMENTS will be accepted in French francs only, either by cheque
to the order of AFCET or by credit card (see below). Registration
fees include: access to the sessions, one copy of the proceedings,
coffee breaks. Meals are not included (approximate price for a
lunch at the campus restaurants: FF 50)
Registration Fees:
- BEFORE FEBRUARY 15, 1993: 1800 FF
- After February 15, 1993:  AFCET member: 1900 FF
                                           Non member: 2200 FF
- Student (attach a copy of your student card): 600 FF
Lunches (served on site, few restaurants around the campus) : 235 FF
Banquet (add accompanying persons, if any): 250 FF

Please find enclosed the total amount of:___________
- by cheque to the order of AFCET
- by credit card:  Visa Intl:         Master Card:          No: _____________
   exp. date: __________          Cardholder's name: _____________________
   date: ___________                 Signature: _______________

CANCELLATIONS
Registration fees will be reimbursed to 50% if a written request
is received before March 15, 1993. After this date, no refund. In
case of conference cancellation beyond its responsibility, AFCET
limits its liability to registration fees already paid.
*****************************************************************
ACCOMMODATION FORM: Hotels are available either in Paris (Quartier
Latin, RER station Luxembourg) or near Orsay. Ask for an
accommodation form, if needed, to AFCET.
*****************************************************************
                        REGISTER NOW PLEASE!
*****************************************************************


--
Claude Marche                                uunet : marche@lri.lri.fr
L.R.I. - Bat 490                             bitnet: marche@frlri61.BITNET
Universite Paris-Sud                         Tel:(33)(1) 69.41.66.35
91405 ORSAY Cedex - France                   Fax:(33)(1) 64.46.19.92