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.