Topics

Topics of special interest include, but are not restricted to:

analysis of algorithms, automata, computability, computational complexity, cryptography, data types and structures, design of algorithms, formal languages, foundations of functional programming, foundations of logic programming, new computing paradigms, parallel and distributed computation, program specification, program verification, term rewriting, theory of concurrency, theory of data bases, theory of logical design and layout, theory of robotics, theory of knowledge bases, type theory, semantics of programming languages, security, symbolic and algebraic computation.



For comments/suggestions please contact ictcs01@di.unito.it