[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