[Prev][Next][Index][Thread]

United States Midwest Region: MSPLS Workshop on November 15



[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

I would like to take the opportunity and announce that there will
be a workshop on Programming Languages and Systems organized
by the Midwest Society for Programming Languages and Systems
and hosted by the Toyota Technological Institute at Chicago (TTI-C).

   Date: Saturday, November 15, 2003
   Location: University of Chicago Campus (probably at TTI-C, i.e.,
           the UofC Press Building -- unless there are too many 
participants
           for that location)

The preliminary list of speakers and topics is the following:

    Dave McAllester ("A logical algorithm for polymorphic type 
inference")
    John Reppy  ("A Typed Calculus of Traits")
    Allen Stoughton ("Experimenting with Formal Languages using Forlan")
    Jeff Siskind (on a logic for modeling the physics of the world)
    A. Mattox Beckman, Jr. (on controlling online PE of a LC using a 
functional parameter)
    James Riely ("A Calculus of Aspect-Oriented Programs")
    Christian Haack ("Type error slicing in implicitly typed 
higher-order  languages")

However, there is still room on the schedule, so if you are in the 
Chicago area
that weekend, are interested in attending, and prepared to give a 
presentation,
I'd be more than happy to hear from you.

Of course, I am nearly as happy if you would like to attend without 
giving a
presentation.   Please, let me know a.s.a.p. either way!

To stay informed, consider subscribing to the MSPLS mailing list:

      http://mail.cis.ohio-state.edu/mailman/listinfo/mspls

I can be contacted here:  blume (at) tti-c (dot) org

Best regards,
Matthias Blume