2. ICTAC 2005:
Hanoi,
Vietnam
Dang Van Hung, Martin Wirsing (Eds.):
Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings.
Lecture Notes in Computer Science 3722 Springer 2005, ISBN 3-540-29107-5 BibTeX
Invited Speakers
Formal Languages
Computer Science Logics
Program Construction
Real-Time Systems
Concurrency and Refinement
Software Security
Quantitative Logics
Object-Orientation and Component Systems
Model-Checking and Algorithms
Applied Logics and Computing Theory
Tutorials
Copyright © Sat May 16 23:21:49 2009
by Michael Ley (ley@uni-trier.de)