Pisa - Dipartimento di Informatica

Research Evaluation Exercise
July 8-9, 1999

Introduction Submitted proposals The Report

Under the auspices of the evaluation team of the University of Pisa, the Dipartimento di Informatica (computer science department) has decided to organize an evaluation exercise of the research activities of the Department, focused on a two-day public event on July 8-9, 1999. The event will have the style of a workshop and will consist in presentations by the research groups of the department and discussions with a group of reviewers. Every presentation will include a 25' talk and a 15' discussion. The speakers will have the occasion of meeting the reviewers for further questions and explanations during lunch and after the end of the sessions.


The workshop will take place at Centro S.Paolo all'Orto, a remodeled old church in Piazza S.Paolo all'Orto, in the center of town.
Coffee and lunch buffet will be served.


Thursday, July 8, 1999
10:00 - 10:30 Welcome
10:30 - 11:00 Franco Turini, Director
Introducing the Department
 Coffee Break
11:30 - 12:10 Fabrizio Luccio
Algorithms and Complexity: Models and Applications
12:10 - 12:50 Giorgio Gallo, Stefano Pallottino
Transportation and Logistics: Models and Algorithms
14:00 - 14:40 Antonio Albano, Giorgio Ghelli
Type Based Models and Query Languages for Web Data
14:40 - 15:20 Giuseppe Attardi, Maria Simi
Web Computing and Adaptive Agents
15:20 - 16:00 Franco Turini
ToMAKE: Tools and Methodologies for Data Analysis and Knowledge Extraction (the talk will be given by Dino Pedreschi)
 Coffee Break
16:30 - 17:10 Vincenzo Ambriola, Egon Börger, Carlo Montangero
Rigorous Methods for Requirements Capture and Software Architecture
17:10 - 17:50 Ugo Montanari
Models & Languages for Open Distributed Systems

Friday, July 9, 1999

09:30 - 10:10 Maurizio Bonuccelli
Scheduling and Synchronization in Distributed Systems
10:10 - 10:50 Marco Vanneschi
Architectures and Programming Tools for High Performance Computing
 Coffee Break
11:20 - 12:00 Vincenzo Manca
The Logic of Molecule Manipulation Systems
12:00 - 12:40 Antonina Starita, Alessandro Sperduti
Advanced Methodologies Based on Soft-Computing to Develop Intelligent Systems
13:50 - 14:30 Pierpaolo Degano
Security for Concurrent and Mobile Processes
14:30 - 15:10 Giorgio Levi
Systematic Development of Semantics, Static Analysis and Verification Techniques by Abstract Interpretation
15:10 - 15:50 Andrea Maggiolo-Schettini
Specification and Verification of Embedded Systems
15:50 - 16:00 Luciano Modica, Rector
 Coffee break
17:30 - 17:45 First comments by the reviewers

Top of Page
Introduction Submitted proposals The Report