[TYPES/announce] PhD and Post Doc position on ERC project Verifcation of Concurrent Data Structures (U. Twente, Netherlands)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The research group Formal Methods and Tools at the University of Twente (Enschede - The Netherlands) is looking for a PhD researcher (4 years) and a post doc researcher (3

[TYPES/announce] logic, categories, semantics - Bordeaux 12-13 nov.

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, Here is a colloquium on logic, categories and formal semantics. We have 8 places left (if there are extra participants, they possibly will have to take care of their lunc