[TYPES/announce] CfP: RV'15 - The 15th International Conference on Runtime Verification

2015-04-04 Thread Nickovic Dejan
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS RV'15 15th International Conference on Runtime Verification

[TYPES/announce] PSI 2015

2015-04-04 Thread Manuel Mazzara
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS PSI: 10th Ershov Informatics Conference 25 - 27 August 2015, Innopolis, Kazan, Russia http://easychair.org/smart-program/PSI2015/ The Ershov Informatics Conference (the PSI

[TYPES/announce] [Eacsl-announce] Ackermann Award 2015

2015-04-04 Thread European Association of Computer Science Logic
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ACKERMANN AWARD 2015 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2015 Ackermann Award. PhD

[TYPES/announce] CFP: SAT 2015

2015-04-04 Thread Sean Weaver
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -- SECOND CALL FOR PAPERS Eighteenth International Conference on THEORY AND

[TYPES/announce] Post-doc position in PL and Security at UMD

2015-04-04 Thread Michael Hicks
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Postdoc position at the University of Maryland, College Park, USA. We are looking for a *post-doctoral researcher* interested in applying programming languages techniques to automatically