Seminar on Programming the Internet

Fall 2000

Coordinator: Prof. Assaf J. Kfoury. Meeting Place: MCS 135, Boston University. Meeting Time: Fri. 10:00-11:30 am. Mailing List: Please send an e-mail to progtheweb-l-request@cs.bu.edu with the command "subscribe" as the body of the message. Click here to send a message to the list.   Programming the Internet Seminar (Spring 2000)   Programming the Web Seminar (Fall 1999) Seminar Schedule:   10/6: "What are Polymorphic Ambients ?", Torben Amtoft, Assaf J. Kfoury and Santiago Pericas-G. Presented by Torben Amtoft and Santiago Pericas-G. (Session I) 10/13: "What are Polymorphic Ambients ?", Torben Amtoft, Assaf J. Kfoury and Santiago Pericas-G. Presented by Torben Amtoft and Santiago Pericas-G. (Session II) [Slides] 11/3: "Types and Subtypes for Client-Server Interactions", Simon Gay and Malcolm Hole. Presented by Torben Amtoft and Santiago Pericas-G. [Slides] 11/13 (Monday): "The Pict Programming Language", B. Pierce and D. Turner. Presented by Sebastian Burckhardt and Santiago Pericas-G. (Session I) 11/17: "The Pict Programming Language", B. Pierce and D. Turner. Presented by Sebastian Burckhardt and Santiago Pericas-G. (Session II) [Slides] 12/1: "Regular Expression Types for XML", H. Hosoya, J. Vouillon and B. Pierce. Presented by Torben Amtoft.

Bibliography   Resources:   Calculi for Mobile Processes   References and links: Aglets Ambit Ants Canes Concordia  Detour E  Grasshopper  Inferno  Infospheres  Jada  Jumping Beans  Kafka  Knowbot  Les Paras Liquid Software Messengers  Mobility Group Open Agent Architecture Rover  Smart Packets Tacoma  Telescript VIP  Voyager    Some Researchers:   Martin Abadi Aline Baggio Luca Cardelli Guisseppe Castagna Jeremy Hylton Trevor Jim Danny B. Lange Greg Morrisett George C. Necula Flemming Nielson Hanne R. Nielson Benjamin C. Pierce

This page is maintained by Santiago M. Peric/as-G., 2000.2.8. Autogenerated on Sunday November 23 2003.