[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,
Thank you for the interest expressed in the draft proceedings of TFP 2007.
To make accessing individual articles easier for those who do not wish to
download the entire p
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The University of Innsbruck invites applications for a 4 year position as
postdoctoral researcher
at the Computational Logic group of the Institute of Computer Science.
Depending on
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Call for Posters
Static Analysis Symposium SAS 2007
22-24 August 2007, Kongens Lyngby, Denmark
(co-located with
