24. MFCS 1999: Szklarska Poreba, Poland

Computing Over Reals

Compression Techniques

Foundations of Programming

Complexity and Algorithms

Model Checking

Distributed Computing

Functional Programming

Automata

Algorithms and Complexity

Security

Logic

Counting Problems

Processes and Bisimulation

Graph Algorithms

Complexity

Types: Theory and Applications