[TYPES/announce] RTA 2015 - First Call For Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == RTA 2015 - CALL FOR PAPERS 26th International Conference on REWRITING TECHNIQUES AND

[TYPES/announce] associate professor positions in Aarhus, Denmark

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear All, We have a call for new permanent positions at the Department of Computer Science, Aarhus University, with application deadline November 10. Applicants within the areas of

[TYPES/announce] Postdoc position at UCL in verification / logic / automated reasoning

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Associate position in Automated Verification, Logic and Theorem Proving (ref:1439542) Dept. of Computer Science, University College London, UK The UCL Dept. of Computer Science