AMAST Mail 1998
[Next][Index]

ETAPS'98 - Call for participation



                    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!  

Everybody will be in Lisbon for ETAPS!  Register NOW!


The full programme and registration form are available at the web address
above and from the organisers (just send a message to etaps@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.




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.

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) 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 (Passau), Doaitse Swierstra (Utrecht), Wolfgang Thomas (Kiel)

JOSE LUIZ FIADEIRO
Department of Informatics
Faculty of Sciences - University of Lisbon
Campo Grande
1700 Lisboa
PORTUGAL

tel: 351-1-7500087 (direct line: 7500123)
fax: 351-1-7500084
http://www.di.fc.ul.pt/~llf
Follow-Ups:
[ AMAST Mail 1998 | Latest Update | AMAST Mail Meta-Index | AMAST ]