[mercury-users] ETAPS 2001 FIRST CALL FOR PARTICIPATION

["TR" at lipn.univ-paris13.fr]

                             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/

    !!!!!!  ONLINE REGISTRATION AVAILABLE NOW   !!!!!!

IMPORTANT DATES:
-----------------------------------------------------------------------
   FEBRUARY 10: deadline to register GETTING 10% DISCOUNT on fees

   MARCH 2:      deadline to register having HOTEL GUARANTEED and
                 AVOIDING 20% SURCHARGE 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

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

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

T9: Precise Component Architectures with UML/Catalysis

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

INVITED LECTURES
-----------------------------------------------------------------------
Luca Cardelli: Global Computing
Michael Fourman: Propositional Reasoning
Ole Lehrmann Madsen: Virtual Classes and their Implementation
John Mitchell
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?
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------