[TYPES/announce] PhD grant at INRIA Sophia Antipolis

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The MIMOSA team at INRIA Sophia Antipolis is offering a PhD position for 3 years. The main research direction in MIMOSA is on programming languages for concurrent and mobile systems, from

[TYPES/announce] Position preannouncement at ENS Lyon

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] POSITION PRE-ANNOUNCEMENT A position of Professor is likely to be opened next year at Ecole Normale Superieure de Lyon. The hired candidate will work in the LIP laboratory (Laboratoire d'

[TYPES/announce] Integrated Formal Methods 2007: First call for technical papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] IFM 2007 Sixth International Conference on Integrated Formal Methods 2nd - 6th July 2007, Oxford, UK http://ww