-
Coordinator: Prof. Assaf J. Kfoury
-
Meeting Place: Room MCS 135, BU
-
Meeting Time: Wed. 5-7 pm
-
Organization: We will have two tracks, one theoretical and one applied.
In the theoretical track we will look at different calculi proposed in
the literature. In the applied track we will investigate (and possibly
experiment) with actual systems. Among the calculi we selected: Pi-calculus,
Ambient calculus, Join calculus, Spi-calculus and
Seal calculus. Among the systems we selected: Telescript,
Ants, Aglets, Concordia, Tacoma, Jumping
beans, Canes and Knowbot.
-
Seminar Schedule:
-
9/9 (Thu.): Short organizational meeting.
-
9/15: "DynaNet: An Architecture
for Programmable Networks", Prof. A. Heddaya (InfoLibria).
-
9/22: "Abstractions for
Mobile Computation", Luca Cardelli (Microsoft
Research). Presented by Torben Amtoft, Prof. Assaf J. Kfoury
and Santiago Pericas.
(Slides-1)
(Slides-2)
-
9/29:
"Designing Distributed Applications with Mobile Code
Paradigms", Carzaniga, Picco and Vigna.
"Mobile Code Paradigms and Technologies: A Case
Study", Ghezzi and Vigna. Both papers presented by Prof.
Ibrahim Matta.
-
10/6:
"Mobile Ambients", Cardelli and Gordon. Presented
by Prof. Assaf J. Kfoury and Santiago Pericas.
(Slides)
-
10/13:
"Validating Firewalls in Mobile Ambients", F. Nielson, H. Nielson,
R. Hansen and J. Jensen.
Presented by Torben Amtoft and Santiago Pericas.
(Slides)
-
10/20:
"A Calculus for Cryptographic Protocols: The Spi Calculus",
M. Abadi and A. D. Gordon.
"Reasoning about Cryptographic Protocols in the Spi Calculus",
M. Abadi and A. D. Gordon.
Both papers presented by Prof. Assaf J. Kfoury and Charles Stewart.
(Slides)
-
10/27:
"Aglets", IBM Corporation.
Presented by Santiago Pericas and Gabriel Nasser.
(Slides)
-
11/3:
"Types for Mobile Ambients", Luca Cardelli and
Andrew D. Gordon (Microsoft Research).
Presented by Prof. Assaf Kfoury, Torben Amtoft and
Bennett Yates.
(Slides)
-
11/10:
"Jumping Beans", Ad Astra Engineering.
Presented by Gabriel Nasser.
(Slides)
-
11/17:
"Mobile Types for Mobile Ambients", Luca Cardelli,
Giorgio Ghelli and Andrew D. Gordon.
"Controling Interference in Ambients", Francesca Levi
and Davide Sangiorgi.
Presented by Prof. Assaf Kfoury, Torben Amtoft,
Santiago Pericas and Bennett Yates.
(Slides)
-
12/1:
"Anytime, Anywhere: Modal Logics for Mobile Ambients",
Luca Cardelli and Andrew D. Gordon.
Presented by Torben Amtoft and Charles Stewart.
(Slides-1)
(Slides-2)
|
-
Some Researchers:
-
Some Papers:
|
