N E P L S

General Information Date: February 28, 2003 Venue: University of Connecticut, Storrs, CT Speaker Selection Committee: Michael Gennert (WPI), Dan Dougherty (WPI), Dina Goldin (UConn) and Jack Wileden (UMass) Local Arrangements: Dina Goldin and Laurent Michel Schedule All the abstracts 09:40-10:00 Breakfast 10:00-11:00 The Comet Programming Language and System (Invited Talk) Pascal Van Hentenryck (Brown University) 11:00-11:40 Control Abstractions for Local Search Algorithms Laurent Michel (University of Connecticut) 11:40-12:10 Automatic Detection and Repair of Errors in Data Structures Brian Demsky (MIT) 12:10-01:10 Lunch 01:10-01:40 FLAVERS: A Finite State Verification Technique for Software Systems Jamieson M. Cobleigh (U. Mass Amherst) 01:40-02:10 A Typed representation for XML documents Dengping Zhu (Boston University) 02:10-02:40 Break 02:40-03:20 Hybrid Modelling with Automatic Differentiation and Impulses Henrik Nilsson (Yale University) 03:20-04:00 Linguistic Side Effects Chung-chieh Shan (Harvard University) 04:00-04:15 Brief Business Meeting

Last modified Thursday, February 20th, 2003 7:49:47am

Powered by