AMAST Mail 1996
[Prev][Next][Index]

ETAPS'98

*******   E  T  A  P  S   ******

European Joint Conferences on Theory and Practice of Software


Lisbon, Portugal
March 30 - April 3, 1998


-- Preliminary Announcement and Call for Satellite Events --


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Internet address for more information: http://www.di.fc.ul.pt/~llf/etaps98/
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++



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
currently occupied by CAAP/ESOP/CC and TAPSOFT. The European Joint
Conferences on Theory and Practice of Software (ETAPS) will be a loose and
open confederation of existing and new conferences and other events. The
overall aim is to create a popular annual meeting that will act as a strong
magnet for academic and industrial researchers working on topics relating
to Software Science.

The events that comprise ETAPS will address various aspects of the system
development process, including specification, design, implementation,
analysis and improvement. The languages, methodologies and tools which
support these activities are all well within its scope. Different blends of
theory and practice will be represented, with an inclination towards theory
with a practical motivation on one hand and soundly-based practice on the
other. Many of the issues involved in software design apply to systems in
general (including hardware systems), and the emphasis on software is not
intended to be exclusive.

Each conference will retain its own identity, with a separate programme
committee and independent proceedings. ETAPS will include an "Advanced
Seminar", consisting of a wide spectrum of talks by invited speakers, which
will take place in plenary sessions. Satellite meetings and system demos
are strongly encouraged. The names and topics of the constituent events
will be largely the same each year, except that some events may not be
annual, and over time new events will be added and old ones will merge or
disappear.


ETAPS Steering Committee
========================

Don Sannella (Edinburgh, Chairman), Jose Fiadeiro (Lisbon, Organiser of
ETAPS'98), Andre Arnold (Bordeaux), Egidio Astesiano (Genova), Ed Brinksma
(Enschede), Pierpaolo Degano (Pisa), Hartmut Ehrig (Berlin), Marie-Claude
Gaudel (Paris), Tibor Gyimothy (Szeged), Chris Hankin (London), Uwe Kastens
(Paderborn), Paul Klint (Amsterdam), Kai Koskimies (Tampere), Tom Maibaum
(London), Hanne Riis Nielson (Aarhus), Fernando Orejas (Barcelona),
Bernhard Steffen (Passau), Wolfgang
Thomas (Kiel)


ETAPS'98
========

The first incarnation of ETAPS will take place in Lisbon, Portugal, March
30 - April 3, 1998. The  organiser is José Fiadeiro, of the University of
Lisbon. The initial set of conferences is shown below. The conferences will
be held at 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 and a world
exhibition (EXPO'98) 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!

People interested in organising satellite events should contact:
        Jose Fiadeiro
        Department of Informatics, Faculty of Sciences, University of Lisbon
        Campo Grande, 1700 Lisboa, Portugal
        phone: 351-1-7500123; fax: 351-1-7500084; e-mail: fiadeiro@di.fc.ul.pt




Constituent events of ETAPS'98
==============================


Foundations of Software Science and Computation Structures (FoSSaCS)
--------------------------------------------------------------------
The scope of FoSSaCS is syntactic, algebraic, logical and semantic methods for
describing, analysing, transforming and verifying programs and systems. The
focus is on foundational aspects of such methods rather than on their
applications. Topics include: computational and syntactic foundations of
software science; transition systems and models of concurrency; data
structures and types; domain theory and denotational (fixed-point)
semantics.

Programme Committee Chair: Maurice Nivat (Paris)


Fundamental Approaches to Software Engineering (FASE)
-----------------------------------------------------
To enhance software quality, the software production process requires
systematic
methods,firmly grounded on scientifically justified techniques. Fundamental
approaches are sought, possibly integrating so called formal and informal
aspects, providing the bridge between theory and practice and aimed at
producing engineering methods and tools for the various phases of software
development. FASE is intended to provide a forum where different fundamental
approaches to problems of software specification, development, validation and
verification are presented, compared and discussed. Topics include: methods for
the production of provably correct software and its verification;
integration of
informal and formal methods; formal approaches for real-time, concurrent,
distributed and object-oriented systems; scientific sound approaches to testing
and measurement; tools and environments supporting formal approaches;
fundamental aspects of the specification, design and verification of hardware
components and hybrid systems; reports on the engineering or scientific lessons
gained from industrial experiences in the use of formal and semiformal methods.

Programme Committee Chair: Egidio Astesiano (Genova)


European Symposium On Programming (ESOP)
----------------------------------------
ESOP is devoted to fundamental issues in the specification, analysis and
implementation of programming languages and systems. It particularly
welcomes research that bridges the gap between theory and practice: for
example, practical studies based on theoretical developments and
theoretical developments with a clearly identified potential for practical
application. Topics include: programming paradigms and their integration,
including functional, logic, concurrent and object-oriented; semantics
facilitating the formal development and implementation of programming
languages and systems; advanced type systems; program analysis; program
transformation.

Programme Committee Chair: Chris Hankin (London)


International Conference on Compiler Construction (CC)
------------------------------------------------------
CC is a forum for presentation and discussion of recent developments in
compiler
construction, language implementation and language design. Its scope ranges
from compilation methods and tools to implementation techniques for
specific requirements of languages and target architectures, and includes
language design
and programming environment issues related to language translation. Topics
include: tools for any phase of compilation; methods for code generation
and optimisation; compilation for parallel architectures; translation of
computer languages (imperative, functional, logic, object-oriented,
parallel, etc.); translation of application and specification languages;
other tools closely related to compiler construction - e.g. debuggers, data
flow analysers, etc.

Programme Committee Chair: Kai Koskimies (Tampere)


Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
-------------------------------------------------------------------------
Many similar tools and algorithms have been independently developed in various
areas of computer science like automata and language theory, verification and
synthesis of hardware and software systems, type and proof theory, and logic.
TACAS is a forum for discussion of the principles and application-independent
features of such algorithms and their implementation, with the aim to increase
the reliability, flexibility and efficiency of current tools by
highlighting common problems, heuristics, data structures, and solutions.
TACAS overlaps with the other events of ETAPS, and is intended to attract
contributions that stimulate discussions between the various communities.

Programme Committee Chair: Bernhard Steffen (Passau)

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

tel: 351-1-7500123
fax: 351-1-7500084
http://www.di.fc.ul.pt/~llf
[ AMAST Mail 1996 | Latest Update | AMAST Mail Meta-Index | AMAST ]