<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Dear all, <div><br></div><div>A reminder of Monday's seminar by Pamela Zave in Cruciform. Please make the effort and attend, if you can. </div><div><br></div><div>-- Bruno</div><div><br></div><div>Pamela Zave<br>When: Monday, 11 October, 2 - 3 pm<br>Where: Cruciform B.01 (grid B-2 in <a href="http://www.ucl.ac.uk/locations/ucl-maps/map2_hi_res">http://www.ucl.ac.uk/locations/ucl-maps/map2_hi_res</a>)<br>Title: On the Architecture of Application Sessions<br><br>Abstract:<br>In the current state of the Internet, it is much too difficult to build,<br>deploy, and maintain distributed applications. The goal of this work is<br>to understand how applications could be supported better, by developing<br>principles for hierarchies of overlays that span the range from common<br>application functions to universal connectivity. The principles must<br>provide simplicity and separation of concerns as well as security,<br>reliability, and good resource management.<br><br>This talk focuses on the subject of two-way point-to-point application<br>sessions with capabilities such as physical mobility, multihoming,<br>anycast, and anonymity or aliasing. It discusses how they should be<br>specified as communication services. It also discusses their possible<br>implementation architectures within the framework of a particular <br>definition of overlays, comparing them in terms of scalability,<br>generality, and faithfulness to the specification.<br><br>Bio:<br>Pamela Zave received an A.B. degree in English from Cornell University,<br>and a Ph.D. in computer sciences from the University of Wisconsin--Madison.<br>She has held positions at the University of Maryland and Bell Labs, and is<br>now with AT&T Laboratories--Research.<br>Dr. Zave is interested in all aspects of formal methods for software<br>engineering as applied to networks. For the past ten years she has led<br>a group of researchers building and analyzing IP-based voice and<br>multimedia services using the Distributed Feature Composition<br>architecture, invented by her and Michael A. Jackson.<br>Dr. Zave is an ACM Fellow and an AT&T Fellow. She has won three <br>Ten-Year Most Influential Paper awards, three Best Paper awards, the <br>AT&T Strategic Patent Award, and the AT&T Science and Technology Medal. <br>She is currently chair of IFIP Working Group 2.3 on Programming <br>Methodology.</div></body></html>