[TYPES/announce] ECOOP 2013: Final Call for Papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] *** IMPORTANT DATES *** - Submission: 18 Dec 2012, 23:00 American Samoa time (19 Dec, 11:00 Paris time) - Rebuttal:09 February 2013 - Acceptance: 08

[TYPES/announce] New Book from Princeton University Press: Alan Turing's Systems of Logic

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] NEW BOOK FROM PRINCETON UNIVERSITY PRESS: Alan Turing's Systems of Logic Below you will find a brief description of a new title published by Princeton University Press. We hope that you

[TYPES/announce] DisCoTec 2013: Call for Papers and Workshop Proposals

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [We apologize for multiple copies] == Call for Papers and Workshop Proposals

[TYPES/announce] University Lectureship in Computer Science (Software Engineering) at Oxford

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] University of Oxford Department of Computer Science in association with Kellogg College, Oxford UNIVERSITY LECTURER IN COMPUTER SCIENCE (SOFTWARE ENGINEERING) The Department of Computer

[TYPES/announce] PhD opportunities in the Computer Science theory group at Birmingham

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in