[TYPES/announce] Now out in print: Concrete Semantics with Isabele/HOL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Still looking for a present? The book Concrete Semantics with Isabele/HOL is now out in print: http://www.springer.com/computer/theoretical+computer+science/book/978-3-319-10541-3 At the

[TYPES/announce] The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The International Workshop on Security Aspects of Cyber-Physical Systems (SACPS'15) http://satoss.uni.lu/sacps2015 in conjunction with ANT-2015 conference June 2 - 5, 2015 London, UK

[TYPES/announce] PhD studentship on dependent type theory for concurrent processes

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Applications are invited for a fully funded PhD studentship in the Department of Informatics at the University of Sussex, starting in October 2015. The topics for the studentship is:

[TYPES/announce] CoCo 2015: First Call for Provers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == First Call for Provers CoCo 2015 4th

[TYPES/announce] GaLoP 2015: Workshop on Games for Logic and Programming Languages

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 10th Workshop on Games for Logic and Programming Languages (GaLoP 2015) London, United Kingdom, 11-12 April http://www.gamesemantics.org GaLoP is an annual international workshop on