[TYPES/announce] Graphical Models for Security (GraMSec 2018) - Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Fifth International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018 http://gramsec.uni.lu Co-located with CSF 2018 In conjunction with FLoC 2018 SCOPE The use of

[TYPES/announce] postdoc position at Inria Rennes

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The CELTIQUE team (https://team.inria.fr/celtique/) has a postdoc position available on the compilation of recursive functions to inductive definitions in Coq. To see details and to apply,