[TYPES/announce] PhD position in programming languages and formal proof

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Certified Complexity Preserving Compiler (CerCo): Programming and proving a compiler in Type Theory For details contact Randy Pollack . ** This is restricted to EU stu

[TYPES/announce] Workshop "Realizability in Cham béry"

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Greetings to all! This is the first official announcement for the third workshop "Réalisabilité à Chambéry". This year's workshop will take place during week 22, that is Tuesday 1st of Jun