TITLE: ASPfun: a Calculus for Distributed Active Objects SPEAKER: Florian Kammueller (EIS, Middlesex University) ABSTRACT: Programming in large networks of computers, like the Internet, poses new problems of safely implementing parallel activities, code distribution, and complex communication structures. This talk presents a foundation for autonomous objects and their communication: ASPfun is a calculus for functional distributed objects that communicate asynchronously. Requests to objects are method calls represented by so-called futures; replies finally return the result to the object containing the future. ASPfun is completely formalized and its properties proved in the interactive theorem prover Isabelle/HOL. This includes a type system and a proof of type-safety which implies deadlock-freedom. This talk presents the ASPfun language, outlines its Isabelle/HOL development, and motivates its application by example from service oriented applications. Information flow security is finally discussed as the next goal for the static analyis of ASPfun.