Welcome to ETAPS, the new European forum for academic and industrial researchers working on topics relating to Software Science.  During 8 days, ETAPS will give you the opportunity to choose between 100 regular papers covering a wide range of topics from Theory to Practice, 7 invited lectures, 9 tutorials, and 4 thematic workshops offering dozens more talks!  Everybody will be in Lisbon for ETAPS!  Register now!

What is ETAPS?

Starting in 1998, a new annual meeting covering a wide range of topics in Software Science will take place in Europe each spring in the slot previously occupied by CAAP/ESOP/CC and TAPSOFT.

The European Joint Conferences on Theory and Practice of Software (ETAPS) is a loose and open confederation of existing and new conferences and other events which aims to become the primary European forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS Steering Committee

Don Sannella (Edinburgh, Chairman), André Arnold (Bordeaux), Egidio Astesiano (Genova), Jan Bergstra (Amsterdam), Ed Brinksma (Enschede), Rance Cleaveland (Raleigh), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), José Fiadeiro (Lisbon), Jean-Pierre Finance (Nancy), Marie-Claude Gaudel (Paris), Tibor Gyimothy (Szeged), Chris Hankin (London), Stefan Jähnichen (Berlin), Uwe Kastens (Paderborn), Paul Klint (Amsterdam), Kai Koskimies (Tampere), Tom Maibaum (London), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona), Bernhard Steffen (Dortmund), Doaitse Swierstra (Utrecht), Wolfgang Thomas (Kiel)

ETAPS'98

Main events

---

• Foundations of Software Science and Computation Structures (FoSSaCS)
    
• Fundamental Approaches to Software Engineering (FASE)
    
• European Symposium On Programming (ESOP)
    
• International Conference on Compiler Construction (CC)
    
• Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
    

Satellite events

---

• International Workshop on Advanced Communication Services (ACoS)
    
• Workshop on Visualization Issues for Formal Methods (VISUAL)
    
• Workshop on Coalgebraic Methods in Computer Science (CMCS)
    
• Workshop on Algebraic Development Techniques (WADT)
  
  


Invited speakers

---

• Kent Beck, CSLife, CH
  Extreme programming ­ a humanistic discipline of programming
    
• Randy Bryant, Carnegie Mellon University, USA
  Formal verification of pipelined processors
    
• Margaret Burnett, Oregon State University, USA
  Challenges and opportunities visual programming languages bring to programming language research
    
• Cliff Jones, Harlequin Ltd, UK
  Some mistakes I made and what I learned from them
    
• Michael Mislove, Tulane University, USA
  Generalizing domain theory
    
• Amir Pnueli, Weizmann Institute, IL
  Practical formal verification: how close are we?
    
• Gert Smolka, University of Saarbruecken, D
  Concurrent constraint programming as an extension of functional programming
  
  


Tutorials

---

• R.Dué (Thomsen Dué and Associates, CA)
  Managing object technology projects
    
• S.Kent (U Brighton, UK)
  UML: what does it all mean?
    
• C.Sernadas (TU Lisbon, P)
  Categorial Techniques for Combining Logics
    
• H.Ehrig (TU Berlin, D), A.Corradini (U Pisa, I) and R.Heckel (TU Berlin and U Pisa)
  Introduction to Graph Transformation
    
• T.Janowski (United Nations U, Macau)
  Semantics and logic for provable fault-tolerance
    
• P.Mosses (Aarhus U, DK)
  CASL (Common Algebraic Specification Language)
    
• G.Castagna (ENS-Paris, F)
  Foundations of object-oriented programming
    
• S.Drossopoulou, S.Eisenbach (Imperial College, UK) and Don Syme (Cambridge U, UK)
  Java semantics
    
• H.Seidl (U Trier, D) and C.Fecht (U Saarlandes, D)
  Interprocedural analysis based on pushdown automata
  

Programme at a glance

---

Each day of the week displays the whole programme for that day.

Event names display session programmes.



Saturday	Sunday	Monday	Tuesday	Wednesday	Thursday	Friday	Saturday
	Registration	Welcome
	Tutorials CMCS	FoSSaCS FASE	Cliff Jones	Kent Beck	Randy Bryant	Margaret Burnett	Tutorials WADT ACoS Visual
	Coffee	Coffee	Coffee	Coffee	Coffee	Coffee	Coffee
Registration	Tutorials CMCS	FoSSaCS FASE	FoSSaCS FASE TACAS	FASE TACAS CC	TACAS CC ESOP WADT	TACAS CC ESOP WADT	Tutorials WADT ACoS Visual
Lunch	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch	Lunch
CMCS	Tutorials CMCS	Michael Mislove	FoSSaCS FASE TACAS	Amir Pnueli	Gert Smolka	CC ESOP WADT ACoS	Tutorials WADT Visual
Coffee	Coffee	Coffee	Coffee	Coffee	Coffee	Coffee	Coffee
CMCS	Tutorials CMCS	FoSSaCS FASE	Panel	TACAS CC	TACAS CC ESOP WADT	CC ESOP WADT ACoS	Tutorials WADT Visual
Close	Close	Close	Close	Close	Close	Close	Close
CMCS dinner	Reception & Registration	Concert		Banquet	Maths & Music	Workshop dinners

---

The venue

ETAPS'98 will be held in Lisbon, the capital of Portugal since the 12th century, but with a rich history dating back to the phoenician and roman times. Lisbon is now the economic and social centre of a region of about 3 million people. As an Atlantic city, it was one of the most important trading posts in 15th century in Europe, when fleets left on their quest to conquer the seas. Lisbon had by then become one of the most important economic and cultural centres in Europe. A cosmopolitan city, open to the world, Lisbon was a meeting place for all races, cultures and ways of life. People from all continents and oceans congregated here, a legacy that Lisbon retains to this day.

The venue chosen for ETAPS isthe Gulbenkian Foundation, situated in the modern part of Lisbon, easily accessible by bus and underground (metro). Participants will be able to stroll in its landscaped gardens,visit a museum that hosts Calouste Gulbenkian's private art collection, a modern art museum, a library, art exhibitions and attend concerts in its modern hall.

A world exhibition (EXPO'98) will be held on the theme "The oceans: a heritage for the future". Although the official starting date of the exhibition is in May, several cultural events have been programmed for the months before. ETAPS participants can be assured of a busy scientific and cultural week!

Special deal with AIR PORTUGAL

The official carrier of ETAPS is TAP ­ AIR PORTUGAL. Its offices throughout the world will be happy to assist in your travel arrangements. Please contact your local TAP office for the special 15% reduction that has been negotiated for ETAPS participants.

Support for students and young researchers

• Support for participation, travel and accommodation costs is available under the Training and Mobility of Researchers (TMR) Programme of the EuropeanUnion for nationals of European Union countries (including Norway, Israel, Iceland and Liechtenstein) who are 35 years old or younger. Further information on the conditions as well as an application form are available on the web and can also be obtained by fax from the organisers.
  
  
• Full-time students who do not qualify for TMR funding can register at a reduced price. Check the registration form for instructions.
  
  

---

Sponsors

ETAPS'99

The 1999 edition of ETAPS will take place in Amsterdam between 22 and 26 of March. The organisers are Jan Bergstra (University of Amsterdam) Frans Snijders (CWI Amsterdam).

The list of conferences with their chairmen is:

• FOSSACS: Foundations of Software Science and Computation Structures
  PC chairman: Wolfgang Thomas
  
  
• FASE: Fundamental Approaches to Software Engineering
  PC chairman: Jean-Pierre Finance
  
  
• ESOP: European Symposium on Programming
  PC chairman: Doaitse Swierstra
  
  
• CC: International Conference on Compiler Construction
  PC chairman: Stefan Jähnichen
  
  
• TACAS: Tools and Algorithms for the Construction and Analysis of Systems
  PC chairman: Rance Cleaveland