ETAPS 2001: SECOND CALL FOR PARTICIPATION



Date view Thread view Subject view Author view

Etaps 2001 (etaps2001@disi.unige.it)
Sat, 24 Feb 2001 13:28:38 +0100


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?


Date view Thread view Subject view Author view