Invited speakers -- Concurrent and distributed systems -- Model integration and theory unification -- Program reasoning and testing -- Verification -- Theories of programming and programming languages -- Real-time and co-design -- Automata theory and logics -- Tutorials at ICTAC 2004
Analysis
ICTAC
Computing
wiskunde
mathematics
computerwetenschappen
computer sciences
computational science
computernetwerken
computer networks
logica
logic
programmeertalen
programming languages
software engineering
Information and Communication Technology (General)