Space Invader @ East London Massive

Saturday, August 22, 2009

Abduction in Seoul

Abductor is going to Seoul in the winter. The paper

Compositional Resource Invariant Synthesis
Cristiano Calcagno, Dino Distefano, and Viktor Vafeiadis

as been accepted for APLAS 2009.

Bi-Abduction has opened his way to concurrency!

BTW, Abductor is also going to Italy and France and Germany in September. I'll give seminars on bi-abduction in Genova, Grenoble, and Saarbr├╝cken.