Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

5-13 April 2003, ETAPS 2003, Warsaw, Poland

Date: 5-13 April 2003
Location: Warsaw, Poland

ETAPS 2003

Warsaw, Poland, April, 5-13, 2003
CALL FOR PARTICIPATION
!!!! REGISTER NOW !!!!
http://www.mimuw.edu.pl/etaps03/

Important Dates:

January 31 - Grant Application Deadline
February 5 - Discount Registration Deadline
March 3 - Early Registration Deadline
March 31 - End of Online Registration
April 5-13 - ETAPS 03

5 Conferences - 15 Workshops - 7 Tutorials

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics related to Software Science. It is a confederation of five main conferences, a number of satellite workshops and other events.

Conferences

CC 2003: International Conference on Compiler Construction
http://www.cs.lth.se/~gorel/cc03/
Chair: Gorel Hedin (Lund, Sweden),
ESOP 2003, European Symposium on Programming
http://www.di.unipi.it/ESOP03/
Chair: Pierpaolo Degano (Pisa, Italy),
FASE 2003, Fundamental Approaches to Software Engineering
http://www.lta.disco.unimib.it/fase2003/
Chair: Mauro Pezz`e (Italy),
FOSSACS 2003 Foundations of Software Science and Computation Structures
http://research.microsoft.com/~adg/FOSSACS03/
Chair: Andrew Gordon (Microsoft Research, UK),
TACAS 2003, Tools and Algorithms for the Construction and Analysis of Systems
http://www.inrialpes.fr/vasy/tacas03/
Co-Chairs: Hubert Garavel (INRIA, France),
  John Hatcliff (Kansas State, USA),

Invited Speakers

  • Samson Abramsky, Oxford University, UK
  • Tony Hoare, Microsoft Research, Cambridge, UK
  • Peter Lee, Carnegie Mellon University, USA
  • Xavier Leroy, INRIA and Trusted Logic, France
  • Catherine Meadows, Naval Research Laboratory, USA
  • Barbara Ryder, Rutgers University, USA
  • Michal Young, Oregon University, USA

Workshops

  • SE-WMT = Structured Programming: The Hard Core of Software Engineering
    (special event to honour Prof. W.M.Turski's 65th birthday)
  • AVIS = Automated Verification of Infinite-State Systems
  • CMCS = Coalgebraic Methods in Computer Science
  • COCV = Compiler Optimization Meets Compiler Verification
  • Feyerabend = Feyerabend - Redefining Computing
  • FAMAS = Formal Approaches to Multi-Agent Systems
  • FICS = Fixed Points in Computer Science
  • LDTA = Language Description, Tools and Applications
  • RSKD = Rough Sets in Knowledge Discovery and Soft Computing
  • SC = Software Composition
  • TACoS = Test and Analysis of Component Based Systems
  • USE = Unanticipated Software Evolution
  • UniGra = Uniform Approaches to Graphical Specification Techniques
  • WITS = Workshop on Issues in the Theory of Security
  • WOOD = Workshop on Object-Oriented Developments

Tutorials

  • Foundations of Constraint Programming
  • XML Documents Using Tree Automata
  • Multi-Media Instruction in Safe and Secure Systems
  • Advanced Compilation Techniques for the Itanium Processor Family
  • Formal Development of Critical Systems with UML
  • An Inside Look at Rotor, Microsoft's "Shared Source" Implementation of the Common Language Infrastructure
  • Theory and Practice of Co-Verification Process: UniTesk Story

More information and a registration form may be found at the conference website, at http://www.mimuw.edu.pl/etaps03

Please note that this newsitem has been archived, and may contain outdated information or links.