Main CoursesThere will be 3 main courses of 10 hours each. Every course will be parted in 5 lectures of 2 hours, one per day. | |
| Lecturer | Topic |
|---|---|
| Samson Abramsky Dept. of Computer Science University of Edimburgh, UK |
Interaction Categories |
| Prakash Panangaden Dept. of Computer Science Mc Gill University, Ca |
Probabilistic Theories and Methods for Concurrency |
| Davide
Sangiorgi INRIA Sophia-Antipolis, Fr |
An introduction to the Pi-calculus |
Invited TalksThere will be 5 invited talks, one per day, of 1 hour and half each. |
|
| Speaker | Topic |
|
Pierpaolo Degano Dept. of of Computer Science University of Pisa, It |
(to be announced) |
|
Moreno Falaschi Dept. of Math and Comp. Sci. University of Udine, It |
Concurrent Constraint Programming |
| Roberto Gorrieri Dept. of Computer Science University of Bologna, It |
Security and Privacy in Process Algebras |
| Furio Honsell Dept. of Math and Comp. Sci. University of Udine, It |
(to be announced) |
|
Simone Martini Dept. of Math and Comp. Sci. University of Udine, It |
Distributed Cut-elimination in Proof-nets |
[Scope] [Main Courses] [Application] [Grants] [Accomodation] [Travel] [Main Page]
Last Updated: 27 April 1997 by Catuscia Palamidessi