Atlas home || Conferences | Abstracts | about Atlas
Host: Palais des Congrès de Montréal
Sponsor: EATCS and ACM Sigact
Homepage: http://www.scs.carleton.ca/~santoro/TCS2002/indexTCS2002.html
Organizers: Nicola Santoro
Description:
Fundations of Information Technology
in the Era of Network and Mobile Computing
TCS 2002 will be composed of two distinct, but interrelated tracks.
Track 1 will focus on Algorithms, Complexity and Models of Computation, while Track 2 will focus on Logic, Semantics, Specification and Verification.
Track 1: Algorithms, Complexity and Models of Computation
Analysis and design of algorithms; Automata and formal languages; Cellular automata and systems; Combinatorial, graph and optimization algorithms; Computational and mathematical finance; Computational learning theory; Continuous algorithms and complexity; Computational complexity; Computational geometry; Cryptography; Distributed computing; Descriptional complexity; Evolutionary and genetic computing; Experimental algorithms; Mobile computing; Molecular computing and algorithmic aspects of bioinformatics; Network computing; Neural computing; Parallel and distributed algorithms; Probabilistic and randomized algorithms; Quantum computing; Structural information and communication complexity.
Track 2: Logic, Semantics, Specification and Verification
Bridging semantics and complexity; Concurrency theory; Constructive and non-standard logics in computer science; Foundations of global computing; Foundations of mobile computing; Foundations of security; Foundations of system specification; Foundations of wide area programming; Logic and semantics for programs and languages; Logic, specification and verification of hybrid and real-time systems; Proofs and specifications in computer science; Term rewriting systems; Theoretical aspects of software concepts; Theoretical aspects of specification, and verification of hardware and software; Theoretical foundations of databases; Theoretical foundations of open systems; Theory of Internet languages and systems; Theory of parallel and distributed systems; Type and category theory in computer science.
Date received: November 13, 2001
© 2008 Atlas Conferences Inc.