[ 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
[ 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
[ 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
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
--
SECOND CALL FOR PAPERS
Eighteenth International Conference on
THEORY AND
[ 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