[om-a] ETAPS 2000 - Call for Participation

Doris Faehndrich doris at cs.tu-berlin.de
Fri Jan 28 18:44:45 CET 2000

(Sorry, if you receive multiple copies of this Call.
                                       Doris Faehndrich) 

                       THEORY AND PRACTICE OF SOFTWARE

      Technical University of Berlin, March 25 - April 2, 2000

-------------------- CALL FOR PARTICIPATION -------------------------

Welcome to Berlin, welcome to ETAPS, the European Joint Conferences on 
Theory and Practice of Software, the european forum for academic and 
industrial researchers working on these topics!  
For 9 days you will be able to choose between 5 conferences with more 
than 120 regular papers and tool demonstrations covering a wide range 
of topics from theory and practice, 7 invited lectures, 10 tutorials, 
and 5 satellite events.

Please, check  for details

Use the option of online registration or one of the downloadable
                 registration forms!

Main Conferences, March 27 - March 31
CC 2000 International Conference on Compiler Construction
Chair: David Watt (University of Glasgow, UK)

ESOP 2000 European Symposium on Programming 
Chair: Gert Smolka (Saarland University, D)

FASE 2000 Fundamental Approaches to Software Engineering
Chair: Tom Maibaum (King's College London, UK)

FOSSACS 2000 Foundations of Software Science and Computation 
Structures, Chair: Jerzy Tiuryn (University of Warsaw, PL)

TACAS 2000 Tools and Algorithms for the Construction and Analysis 
of Systems,  Chair: Susanne Graf (VERIMAG, Grenoble, F)

Invited Speakers 

Abbas Edalat (Imperial College, London, UK)
``A Data Type for Computational Geometry and Solid Modelling''

David Harel (The Weizmann Institute of Science, Rehovot, IL)
``From play-in scenarios to code: an achievable dream''

Martin Odersky (EPF Lausanne, CH)
``Functional nets''

Richard Mark Soley (OMG Object Management Group, USA)
``Memex isn't Enough''

Wladyslaw M. Turski (University of Warsaw, PL)
``An essay on software engineering at the turn of century''

Reinhard Wilhelm (Saarland University, D) 
``Shape analysis''

Pierre Wolper (University of Liege, B)
``On the representation of constraints by automata in the 
  verification of infinite systems''

Panel: ``Standard Components of the Shelf -
  Do they carry and need a (Formal) Standard Semantics?''
Chair: Herbert Weber (TU Berlin, D) 

Satellite Events

GRATRA - Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation 
         Systems, Contact: Hartmut Ehrig (TU Berlin, D)
         March 25 - March 27

  Invited Lecture by Grzegorz Rozenberg (University of Leiden, NL)
   ``DNA Computing in vivo and graph transformation''
   (open for all ETAPS participants)

CMCS - Workshop on Coalgebraic Methods in Computer Science
       Contact: Horst Reichel (TU Dresden, D)
       March 25 - March 26
CBS - International Workshop on Communication-Based Systems
      Contact: Guenter Hommel(TU Berlin, D)
      March 31 - April 1

INT - Integration of Specification Techniques with Applications in 
      Engineering, Contact: Martin Grosse-Rhode(TU Berlin, D)
      March 31 - April 1

CoFI - Common Framework Initiative for Algebraic Specification and 
       Development of Software
       Contact: Don Sannella (University of Edinburgh, UK)
       April 1 - April 2


XML for Software Engineers
Andrea Zisman, Anthony Finkelstein (University College London, UK) 
March 25, p.m., half-day

A tutorial on Maude
Narciso Marti Oliet (Universidad Complutense, Madrid, E), 
Jose Meseguer (SRI International, USA) 
March 25, p.m., half-day

Rigorous Requirements for Safety-Critical Systems:
Fundamentals and Applications of the SCR Method
Constance L. Heitmeyer (Naval Research Laboratory, USA) 
March 26, full-day

Multi-Paradigm Programming
Michael Hanus (RWTH Aachen, D) 
March 26, a.m., half-day

Query-based Automated Debugging
Mireille Ducasse (IRISA/INSA, F) 
March 26, p.m., half-day

The Unified Modelling Language
Perdita Stevens (University of Edinburgh, UK) 
April 1, full-day

Swinging Types
Peter Padawitz (University of Dortmund, D) 
April 1, a.m., half-day

Tables and computation
A.J.Wilder (University of Wales, UK) 
April 1, p.m., half-day

SDL 2000
Joachim Fischer (HU Berlin, D), Andreas Prinz (Research Digital
Media Systems GmbH, D), Eckhardt Holz (HU Berlin, D) 
April 2, full-day

Software Metrology Basis
Hans-Ludwig Hausen (GMD Bonn, D)
April 2, a.m., half-day

ETAPS Steering Committee
Don Sannella (Chairman, UK), Egidio Astesiano (I), Jan Bergstra (NL),
Pierpaolo Degano (I), Hartmut Ehrig (D), Jose Luiz Fiadeiro (P), 
Marie-Claude Gaudel (F), Susanne Graf (F), Furio Honsell (I), 
Heinrich Hussmann (D), Stefan Jaehnichen (D), Paul Klint (NL), 
Tom Maibaum (UK), Tiziana Margaria (D), Ugo Montanari (I), 
Hanne Riis Nielson (DK), Fernando Orejas (E), Andreas Podelski (D), 
David Sands (S), Gert Smolka (D), Bernhard Steffen (D),
Wolfgang Thomas (D), Jerzy Tiuryn (PL), David Watt (UK),
Reinhard Wilhelm (D)

Organizing Chairs: Bernd Mahr, Hartmut Ehrig, Peter Pepper, 
                   Stefan Jaehnichen, Radu Popescu-Zeletin

Conference Address: ETAPS 2000, TU Berlin, 
                    Sekr. FR 6-10, 
                    Franklinstr. 28/29, D-10587 Berlin
                    Tel: ++49 30 314 -73540, Fax: -73622
                    Email: etaps2000 at iks.cs.tu-berlin.de

Registration Address: BWO Marketing Service GmbH
                      Mohrenstr. 63-64
                      D-10117 Berlin-Mitte
                      Fax: ++49 30 22 66 84-64
                      Email: Etaps2000 at BWO-Berlin.de

Doris Fähndrich: TU Berlin FB-13 Sekr. FR 5-6, Franklinstr. 28/29, 
		10587 Berlin, Tel: 030/31473436	

om-announce at openmath.org  -  public announcements concerning OpenMath
Post discussion to om at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-announce-owner at openmath.org for assistance with any problems

More information about the Om-announce mailing list