ETAPS - Early registration until 28/2

[Jose Luiz FIADEIRO]

CALL FOR PARTICIPATION

European Joint Conferences on
Theory and Practice of Software

E T A P S 98

Lisbon, Portugal March 28 - April 4, 1998

http://www.di.fc.ul.pt/~llf/etaps98/

ETAPS is a 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!  

The deadline for early registration is February 28!  Register NOW!

The full programme and registration form are available at the web
address above and from the organisers (just send a message to
et...@di.fc.ul.pt or a fax to 351-1-7500084).

CONSTITUENT EVENTS

Main conferences
================

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.Due (Thomsen Due 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 and S.Eisenbach (Imperial College, UK)
Java semantics

H.Seidl (U Trier, D) and C.Fecht (U Saarlandes, D)
Interprocedural analysis based on pushdown automata

SUPPORT FOR EUROPEAN YOUNG RESEARCHERS

Support for participation, travel and accommodation costs is also
available under the Training and Mobility of Researchers (TMR) Programme
of the European Union 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 address given above and can
also be obtained by fax from the organisers.

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 (see in
http://www.tap.pt/en) for the special 15% reduction that has been
negotiated for ETAPS participants.

THE VENUE

ETAPS'98 will be held in Lisbon, Portugal. The chosen venue is
the Gulbenkian Foundation, situated in the middle of
landscaped gardens, next to a museum with Calouste
Gulbenkian's private art collection, a modern art museum, a
library, a concert hall and galleries with art exhibitions. In
1998, Lisbon will also host the celebrations of the 5th centenary
of Vasco da Gama's arrival in India. 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!

SPONSORS

ETAPS'98 is sponsored by PORTUGAL TELECOM and TAP - AIR PORTUGAL.

The European Union through the TMR programme, the Luso-American
Foundation for Development, the British Council, and the Portuguese
Foundation for Science and Technology have also contributed with funds.

The support of The University of Lisbon, The European
Association for Programming Languages and Systems and The
European Association for Theoretical Computer Science is also
gratefully acknowledged.

The European Symposium On Programming (ESOP) and the
International Conference on Compiler Construction (CC) are
being organised in cooperation with ACM SIGPLAN.

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) and
Frans Snijders (CWI Amsterdam).

STEERING COMMITTEE

Don Sannella (Edinburgh, Chairman), Andre Arnold (Bordeaux), Egidio
Astesiano (Genova), Jan Bergstra (Amsterdam), Ed Brinksma
(Enschede), Rance Cleaveland (Raleigh), Pierpaolo Degano (Pisa), Hartmut
Ehrig (Berlin), Jose Fiadeiro (Lisbon), Jean-Pierre Finance
(Nancy), Marie-Claude Gaudel (Paris), Tibor Gyimothy (Szeged), Chris
Hankin (London), Stefan Jahnichen (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)