[TYPES/announce] Postdoc position in Orsay, France

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Hello, I would like to advertise a postdoc position available in Orsay, France. The goal is to develop formal proofs about the floating-point evaluation of polynomials and is within the

[TYPES/announce] 4PAD 2018 (deadline extension): 5th International Symposium on Formal Approaches to Parallel and Distributed Systems

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** Apologies if you receive multiple copies. *** *** Please forward to interested colleagues.  *** Extended deadline : April 8th, 2018

[TYPES/announce] Final Announcement: Second DeepSpec Summer School

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Application deadline: March 23rd] Second DeepSpec Summer School (DSSS'18) Princeton, NJ, July 16-27, 2018 https://deepspec.org/event/dsss18 Overview Can

[TYPES/announce] LAP 2018 - Logic and Applications: CFP

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] = [ Please broadcast/post/forward. Apologies for duplicates] LAP 2018 CONFERENCE ANNOUNCEMENT LOGIC AND APPLICATIONS - LAP 2018

[TYPES/announce] Visiting PhD Student

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Are you or do you know a PhD student looking for an exciting new funded research project to join this summer or fall? You are in luck! I am looking for a visiting PhD student for summer or

[TYPES/announce] Call for papers : HOR 18 - 9th Workshop on Higher Order Rewriting, Oxford, 7 July, 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- -- ** **HOR 18 **9th Workshop on

[TYPES/announce] SAT/SMT/AR Summer School 2018

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologise for cross-posting. Please forward to anybody you think may be interested] SAT/SMT/AR Summer School 2018 University of Manchester, 3-6th