[ 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 computation
[ 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 Sc
[ 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
[ 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
[ 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 March