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