MFCS
MFCS 2003
28th International Symposium on
Mathematical Foundations of Computer Science
August 25 - 29, 2003
Bratislava, Slovak Republic, Europe

Invited Talks

Distributed Quantum Computing
by Harry Buhrman and Hein Roehrig
[View abstract]
Selfish Routing in Non-Cooperative Networks: A Survey
by R. Feldmann, M. Gairing, T. Luecking, B. Monien and M. Rode
[View abstract]
Process Algebrai Frameworks for the Specification and Analysis of Cryptographic Protocols
by Roberto Gorrieri and Fabio Martinelli
[View abstract]
Semantic and Syntactic Approaches to Simulation Relations
by Jo Hannay, Shin-ya Katsumata, and Donald Sannella
[View abstract]
On the Computational Complexity of Conservative Computing
by Giancarlo Mauri and Alberto Leporati
[View abstract]
Constructing Infinite Graphs With Decidable MSO-Theory
by Wolfgang Thomas
[View abstract]
Towards a Theory of Randomized Search Heuristics
by Ingo Wegener
[View abstract]

Back to MFCS 2003 Home Page


Department of Computer Science, Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava
All rights reserved. © 2003
Last modified: June 23, 2003