| 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 |
| Lunch | |
| 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 |
| Lunch | |
| 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 Conclusion |
| Coffee break | |
| 17:30 - 17:45 | First comments by the reviewers |
| Top of Page | ||
| Introduction | Submitted proposals | The Report |