[TYPES/announce] Call for Papers: RDP Workshop PATE

format, using ENTCS style files. Important Dates - Submission deadline: April 1, 2007 Notification: May 15, 2007 Pre-proceedings version due: June 7, 2007 Workshop: June 25, 2007 Programme Committee Pierre Courtieu CNAM Paris (Co-Chair) Herman Geuvers

[TYPES/announce] Call for Participation: Henk Barndregt's 60th birthday symposium

* Jan Willem Klop * Jean-Jacques Lévy * Giuseppe Longo * Bill Phillips * Gordon Plotkin * Anne Speckens * Richard Statman Please register by sending a mail to [EMAIL PROTECTED] Organizers: Erik Barendsen Venanzio Capretta Herman Geuvers Nicole Messink Milad Niqui

[TYPES/announce] 1 Postdoc and 1 PhD vacancy in the MathWiki project

). Supervision for the projects will be done by Prof. Dr. Herman Geuvers and Dr. F. Wiedijk Postdoc and PhD student will be appointed by the Radboud University Nijmegen. Both positions shall start before October 1 2009, but preferably earlier. The salary for the PhD position starts at 2042 Euro

[TYPES/announce] PhD student in the FormMath project

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Job description The aim of the FORMATH project(http://www.formath.cs.ru.nl) is to develop libraries of formalized mathematics concerning algebra, linear algebra, real number computation,

[TYPES/announce] Scientific Programmer Vacancy

of which your performance will be evaluated. If the evaluation is positive, you will be offered a contract for a permanent position. *Additional Information* Herman Geuvers Telephone: +31 24 3652603 E-mail: her...@cs.ru.nl mailto:her...@cs.ru.nl *Application* You can apply for the job (mention

[TYPES/announce] Vacancy: Assistant or Associate Professor of Computer Science (1, 0 fte)

) gross/month, depending on qualifications and experience. Salary scale: maximum scale 12 (UD) and 14 (UHD) Duration of the contract: 1 year, with possible extension to permanent Additional Information Prof.dr. Herman Geuvers (Foundations) Telephone: +31 24 3652603 E-mail:her...@cs.ru.nl Prof.dr

[TYPES/announce] Call for Workshops RDP 2013: RTA + TLCA

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for Workshops RDP 2013: RTA + TLCA June 23 to June 28, 2013, Eindhoven, The Netherlands RDP 2013 http://www.win.tue.nl/rdp2013/ is the seventh edition of the International

[TYPES/announce] Vacancy Full Professor Software Technology (Radboud University Nijmegen NL)

/employer/RUN/vacancy/25468/lang/en/ Herman Geuvers Professor in Computer Science Radboud University The Netherlands === Faculty of Science Maximum salary: € 7,285 gross/month Vacancy number: 62.87.14 Application deadline: 18 January

[TYPES/announce] New book: Type Theory and Formal Proof

/book_type_theory.htm for a more detailed description of the aims and the content of the book. CUP provides the book in a hardback version and as an eBook. The site books.google.com (search: type+theory+formal+proof) gives an impression of the printed book text. Rob Nederpelt, Herman Geuvers

[TYPES/announce] Assistant Professor of Computing Science Radboud University Nijmegen NL

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Assistant Professor of Computing Science (0,8 - 1,0 fte) Faculty of Science Maximum salary: € 4,551 gross/month Vacancy number: 62.37.15 Application deadline: 14 September 2015

[TYPES/announce] Vacancies for Assistant Professors at Radboud University NL

http://www.ru.nl/werken/details/details_vacature_0/?recid=584220 2.Assistant/Associate Professor in Privacy Engineering (tenure track, 0,8 - 1,0 fte) See http://www.ru.nl/werken/details/details_vacature_0/?recid=585459 Herman Geuvers Professor in Computer Science Radboud University

[TYPES/announce] Vacancy: Postdoc Researcher Formal Verification of Safety Critical Software

ework for Modular Formal Verification of Safety Critical Software." * Application deadline: 30 November 2016 * Duration of the contract: 2,5 years; See (also for applications): http://www.ru.nl/werken/details/details_vacature_0/?recid=591019 Herman Geuvers

[TYPES/announce] 2nd Call for Papers - 10th Conference on Intelligent Computer Mathematics - CICM 2017 - Abstract Submission Deadline 15. March 2017

amme (chair: TBD) The overall programme is organized by the General Program Chair Herman Geuvers. The local arrangements will be coordinated by Jacques Fleuriot. The publicity chair is Serge Autexier. We plan to have proceedings of the conference as in previous years with Springer Ve

[TYPES/announce] EUTYPES summer school in Ohrid (Macedonia), call for applications

will have to fly to Skopje and then get to Ohrid by bus. WizzAir operates direct flights to Ohrid from Basel-Mulhouse-Freiburg and London Luton. ORGANIZERS Herman Geuvers, Marija Mihova, Tarmo Uustalu

[TYPES/announce] Call for participation: EUTypes Meeting Nijmegen, January 22-24, 2018

various perspectives. The meetings aim at gathering the diverse audience of the European community of researchers in type theory. See the webpage for registration details. Best regards, Herman Geuvers

[TYPES/announce] Vacancy Full Professor Software Science (Radboud University Nijmegen NL)

/details_vacature_0/?recid=600979 Closing date: May 1 2018 Herman Geuvers == Full Professor of Software Science (0.8 - 1.0 FTE) Faculty of Science Maximum salary: € 7,766 gross/month Vacancy number: 62.33.18 Application deadline: 1 May 2018

[TYPES/announce] Vacancy for an Assistant Professor in Formal Methods at the Eindhoven University of Technology (NL)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Vacancy for an *Assistant Professor* in *Formal Methods* at the Eindhoven University of Technology, the Netherlands The Formal System Analysis group has a vacancy for an assistant

[TYPES/announce] E.W. Beth Dissertation Prize

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] E.W. Beth Dissertation Prize For details and nominations, see