Atlas home || Conferences | Abstracts | about Atlas
Host: A.I. Cuza University
Homepage: http://www.infoiasi.ro/~fct99/
Organizers: Alexandru Mateescu, Gheorghe Stefanescu, Gabriel Ciobanu, Dorel Lucanu, Sabin Corneliu Buraga, Vlad Radulescu, Teodor Jucan, Virgil Emil Cazanescu, Gheorghe Paun
Deadline for abstracts: March 26, 1999
Description:
Papers presenting original research in all aspects of theoretical computer science are sought. Topics of interest
include abstract data types, algorithms and data structures, automata and formal languages, categorical and
topological approaches, circuits, computational biology, computational and structural complexity, computational
geometry, computer systems theory, concurrency theory, constructive mathematics, cryptography, domain theory,
distributed algorithms and computation, fault-tolerant computing, logic in computer science, learning theory,
process algebra and calculi, rewriting, semantics, specification, probabilistic computation, transformation and
verification, symbolic computation, type theory and type systems, universal algebra.
This symposium will have plenary lectures by invited speakers and sessions for presenting technical contributions.
Speakers: Matthew Hennessy (Sussex University), Marek Karpinski (University of Bonn), Ugo Montanari (University of Pisa), Arto Salomaa (TUCS Turku), Boris Trakhtenbrot (University of Tel Aviv)
Date received: February 03, 1999
© 2008 Atlas Conferences Inc.