Invited Speakers at ETAPS 2004 Main Conferences:

Distributed information management with XML and Web services

Intruder Theories

A Grand Challenge: Theories for Global Ubiquitous Computing

Resources, Concurrency and Local Reasoning

A Formal Treatment of Context-Awareness

Developing a Foundation for Code Optimization

What the Small Rubik's Cube Taught Me on Data Structures, Information Theory and Randomisation