ETAPS 2001: SECOND CALL FOR PARTICIPATION

[Etaps 2001 <etaps2001@disi.unige.it>]

                             ETAPS 2001
                 APRIL 2 - 6, 2001 - GENOVA, ITALY

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

                  http://www.disi.unige.it/etaps2001/
=======================================================================
               5 Conferences - 10 Workshops - 10 Tutorials
               7 Invited Lectures - 1 panel- 9 Tool Demos
=======================================================================

PROGRAM - REGISTRATION FORM - HOTEL BOOKING
=======================================================================
    SEE   http://www.disi.unige.it/etaps2001/

IMPORTANT DATES:
=======================================================================
=  MARCH 2:      deadline to register having HOTEL GUARANTEED and     =
=                A V O I D I N G  20%  S U R C H A R G E  on fees     =
=                                                                     =
=  April  2-6, 2001:  ETAPS 2001 in Genova                            =
=                                                                     =
=  March  31 - April 8, 2001:  Satellite Events                       =
=======================================================================

CONFERENCES
=======================================================================
CC 2001: International Conference on Compiler Construction

ESOP 2001, European Symposium On Programming

FASE 2001, Fundamental Approaches to Software Engineering

FOSSACS 2001,
Foundations of Software Science and Computation Structures

TACAS 2001,
Tools and Algorithms for the Construction and Analysis of Systems

TUTORIALS
=======================================================================
T1: Common Framework Initiative for Algebraic Specification and
     Development of Software

T2: Abstract State Machines:
     Surveying their Theory and their Industrial Employment

T3: Compiling object-oriented programming languages

T4: Rule based programming using ELAN: a Tutorial

T5: Mathematical Foundations for Software Architecture

T6: Rigorous Analysis and Design with the Unified Modeling Language (UML)

T7: Domain Analysis and Engineering with Sherlock -
     producing Software Product Lines

T8: Extreme Modeling - Closing the Gap between Modeling and XP

T10: TTCN-3 - The new testing language for telecom and datacom

WORKSHOPS
=======================================================================
CMCS: Co-algebraic Methods in Computer Science

ETI Day: Electronic Tool Integration platform Day

JOSES: Java Optimization Strategies for Embedded Systems

LDTA: Workshop on Language Descriptions, Tools and Applications

MMAABS: Models and Methods of Analysis for Agent Based Systems

PFM: Proofs For Mobility

RelMiS: Relational Methods in Software

UNIGRA:
Uniform Approaches to Graphical Process Specification Techniques

WADT: Workshop on Algebraic Development Techniques

WTUML: Workshop on Transformations in UML

INVITED LECTURES
=======================================================================
Luca Cardelli: Global Computing
Michael Fourman: Propositional Reasoning
Ole Lehrmann Madsen: Virtual Classes and their Implementation
John Mitchell: A Probabilistic Polynomial-Time Process Calculus for
                Security Protocol Analysis
Gordon Plotkin: Adequacy for Algebraic Effects
Bran Selic: Physical Programming: Beyond Mere Logic
Moshe Y. Vardi: Branching vs. Linear Time: Final Showdown

PANEL
=======================================================================
Free software: the future of software engineering?