[Pl-seminar] NEPLS 2/28/03: call for participation

[dqg at engr.uconn.edu]

The eighth New England Programming Languages and Systems Symposium
(NEPLS) will take place on Friday, February 28, 2003 at the University 
of Connecticut in Storrs, CT.  Please mark it in your calendars!

The following is the day's program:
==================================================================
   9:40-10:00
   Breakfast
   
   10:00-11:00
   Invited talk
   Pascal Van Hentenryck, Brown University (1 hour)
   
   11:00-11:40
   Control Abstractions for Local Search Algorithms
   Laurent D. Michel, Univ. of Connecticut (40 minutes)
   
   11:40-12:10
   Automatic Detection and Repair of Errors in Data Structures
   Brian Demsky, MIT (30 minutes)
   
   12:10-01:10
   Lunch
   
   1:10-1:40
   FLAVERS: A Finite State Verification Technique for Software Systems
   Jamieson M. Cobleigh, U. Mass Amherst (30 minutes)
   
   1:40-2:10
   A Typed representation for XML documents
   Dengping Zhu, Boston University (30 minutes)
   
   2:10-2:40
   Break

   2:40-3:20
   Hybrid Modelling with Automatic Differentiation and Impulses
   Henrik Nilsson, Yale University (40 minutes)
   
   3:20-4:00
   Linguistic Side Effects
   Chung-chieh Shan, Harvard University (40 minutes)
   
   4:00-4:15
   Business Meeting (15 minutes)
==================================================================

UConn is centrally located, one hour from Yale and from UMass 
Amherst, 75 mins from Brown, and 90 mins from Cambridge.  All 
talks will be held in room 150 of the UTEB Building, which
houses the Computer Science and Engineering department.  

The program, the abstracts, and the directions are available at:
http://www.cse.uconn.edu/~dqg/nepls-02-03.htm

More details about NEPLS are available on the NEPLS webpage:
http://www.nepls.org/  

                                         Dina Goldin
                                         dqg at cse.uconn.edu

                                         Laurent Michel
                                         ldm at engr.uconn.edu


-- 
Dina Q Goldin, Ph.D.			email:  dqg at cse.uconn.edu
Assistant Professor                     URL:    www.cse.uconn.edu/~dqg
Computer Science & Engineering		Tel:    860-486-2234
University of Connecticut		Fax:    860-486-4817
Storrs, CT 06269-3155			Office: UTEB 368