Topics
Topics of special interest include, but are not restricted to:
computability, automata, formal languages, new computing paradigms,
term rewriting, analysis and design of
algorithms, computational complexity, symbolic and
algebraic computation, cryptography and security, data
types and data structures, theory of data base and
knowledge bases, semantics of programming languages,
program specification and verification, foundations of
functional and logic programming, parallel and
distributed computation, theory of concurrency, theory
of robotics, theory of logical design and layout.
For comments or suggestions please write to
ictcs98@dia.unisa.it
|
