Invited Speakers at ETAPS 2004 Main Conferences:
Serge Abiteboul
, INRIA-Rocquencourt, France
Distributed information management with XML and Web servi
ces
Hubert Comon
, École Normale Supérieure de
Cachan, France
Intruder Theories
Robin Milner
, Cambridge University, UK
A Grand Challenge: Theories for Global Ubiquitous Computing
Peter O'Hearn
, Queen Mary, University of
London, UK
Resources, Concurrency and Local Reasoning
Gruia-Catalin Roman
, Washington University, USA
A Formal Treatment of Context-Awareness
Mary Lou Soffa
,University of
Pittsburgh, USA
Developing a Foundation for Code Optimization
Antti Valmari
, Tampere University of Technology
, Finland
What the Small Rubik's Cube Taught Me on Data Structures, Information Theory and Randomisation