European Joint Conferences
on Theory and Practice of Software

Amsterdam, The Netherlands, March 20 ­ 28, 1999


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 more than 100 regular papers covering a wide range of topics from Theory to Practice, 7 invited lectures, 9 tutorials, and 6 satellite events offering dozens more talks! ETAPS'99 will take place in Amsterdam and is being organized by CWI and the University of Amsterdam.

Register now!

What is ETAPS?

Programme at a glance

Invited speakers

Sponsors

The venue

Registration form ( HTML, RTF, PDF, Online )

TMR Support for young researchers

Satellite events

Some Pictures of the event

INFORMATION FOR PARTICIPANTS

[FOSSACS, FASE, ESOP, CC, TACAS, Tutorials, CMCS, WAGA, CWI Soiree, CoFI, ERCIM WG, Action Semantics]

Hotel information




What is ETAPS?

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 is the primary European forum for academic and industrial researchers working on topics relating to Software Science. Founded in 1998, it is an annual meeting covering a wide range of topics in Software Science which will take place in Europe each spring.


ETAPS Steering Committee

Don Sannella (Edinburgh, chairman), André Arnold (Bordeaux), Egidio Astesiano (Genova), Jan Bergstra (Amsterdam), Ed Brinksma (Enschede), Rance Cleaveland (Stony Brook), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), José Fiadeiro (Lisbon), Jean-Pierre Finance (Nancy), Marie-Claude Gaudel (Paris), Susanne Graf (Grenoble), Stefan Jähnichen (Berlin), Paul Klint (Amsterdam), Kai Koskimies (Tampere), Tom Maibaum (London), Ugo Montanari (Pisa), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona), Gert Smolka (Saarbrücken), Doaitse Swierstra (Utrecht), Wolfgang Thomas (Aachen), Jerzy Tiuryn (Warsaw), David Watt (Glasgow)

Main events


Satellite events


Invited speakers






Tutorials







Invited tutorials












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

Sunday

Welcome

CMCS

CMCS

Invited tutorial

P. Klint et al.

Invited talk

P. Hudak

Invited talk

M. Abadi

Invited talk

J. Kramer

Invited talk

J. Esparza

ERCIM workshop

tutorials

CoFI workshop

CoFI workshop

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Tutorials

CMCS

Tutorials

CMCS

TACAS

ESOP

CC

TACAS

ESOP

CC

TACAS (incl. panel)

CC

ESOP

FASE

TACAS

FOSSACS

FASE

FOSSACS

FASE

WAGA

tutorials

CoFI workshop

Lunch

Lunch

Lunch

Lunch

Lunch

Lunch

Lunch

Lunch

Lunch

CMCS

CMCS

Invited talk

P. Wadler

TACAS

ESOP

CC

Invited talk

H. Weber

TACAS

FOSSACS

FASE

FOSSACS

WAGA

ERCIM workshop

tutorials

CoFI workshop

CoFI workshop

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Coffee

Tutorials

CMCS

Tutorials

CMCS

TACAS 

ESOP

CC

Panel

TACAS

CC

FOSSACS

Invited talk

J.-C. Laprie

WAGA

Invited tutorial

D. Sangiorgi

ERCIM workshop

tutorials

CoFI workshop

CoFI workshop

Close

Close

Close

Close

Close

Close

Close

Close

Close

Welcome drinks& Registration

Reception

ETAPS banquet

CWI Soiree






The venue

ETAPS'99 will be held in Amsterdam, the capital of The Netherlands since the early 19th century, but with a rich history dating back to the early 14th century. Amsterdam is now the economic, cultural, and social centre of a region of about 2 million people. It was one of the most important European trade cities in the 17th century, when the Netherlands played a predominant polical and cultural role in Europe.

The venue chosen for ETAPS is the Royal Tropical Institute on the border of Amsterdam's city centre. The Institute is a national museum, featuring permanent and temporary exhibitions of all aspects of life in tropical countries.

The Royal Tropical Institute has excellent public transport connections to the city centre (tramways 9 and 14).







Support for students and young researchers





Sponsors

The support of the following organizations is gratefully acknowledged:


Training and Mobility of Researchers







Hotel accommodation

Hotel accommodation can be booked via the registration form. If you want to book an hotel on your own, please use the internet.