[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 rpoll...@inf.ed.ac.uk. ** This

[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 June