Contents

• Contents
• Introduction and Overview
  • Introduction
  • Current Research
  • National Cooperation
  • International Cooperation
  • Teaching
  • Computer Facilities
  • Library
• Current Research
  • Project: Semi structured data management systems
  • Project: Rigorous Methods for Requirements Capture and Software Architecture
  • Project: Web Computing and Adaptive Agents
  • Project: Reduction Machines for Combinatory Languages
  • Project: Design and Management of Parallel, Distributed and Mobile Systems
  • Project: Analysis and Synthesis of Numerical Algorithms
  • Project: Analysis of Security and Performance for Concurrent and Mobile Processes
  • Project: Transportation and Logistics: Models and Algorithms
  • Project: Learning and teaching tools: cognitively simple child/machine interfaces and co-operative environments
  • Project: Systematic development of semantics, static analysis and verification techniques by abstract interpretation
  • Project: Computational Models
  • Project: Algorithms and very large data structures
  • Project: Computational Biology
  • Project: Specification and verification of distributed systems
  • Project: Logical Representations of Grammatical Systems
  • Project: Models & Languages for Open Distributed Systems
  • Project: Computer, Communication and Education
  • Project: Advanced methodologies based on Soft-Computing to develop intelligent systems
  • Project: Tools and Methodologies for Data and Knowledge Engineering
  • Project: Architectures and Programming Tools for High Performance Computing
• Programs of Study
  • Undergraduate Curricula (Diploma and Laurea)
  • Postgraduate Program
• Administrative Organization
• Library Periodicals and Conference Proceedings
• List of General Seminars 1999
• Publications
• Doctorate Theses 1988-1999
• Department Technical Reports 1999
• Personnel Changes
• 1999 Research Evaluation Exercise
  • Rewiewers' Report
• Faculty - Research Areas
• Mailing Addresses, Phone, and Electronic Mail