[TYPES/announce] GAMES 2010: Call for Participation

(Aachen) - Stephan Kreutzer (Oxford) - Jean-Francois Raskin (Brussels) - Helmut Veith (TU Vienna) - James Worrell (Oxford)

[TYPES/announce] RP 2014 -- Deadline Extension

, University of Warwick Rupak Majumdar, Max Planck Institute for Software Systems Nicolas Markey, ENS Cachan Joel Ouaknine (co-chair), University of Oxford Alexander Rabinovich, Tel Aviv University Tayssir Touili, LIAFA University Paris Diderot Thomas Wahl, Northeastern University James Worrell (co

[TYPES/announce] Departmental Lectureship in Theoretical Computer Science, University of Oxford

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] The Department of Computer Science will appoint a full-time Departmental Lecturer in Theoretical Computer Science for up to 5 years from 1 April 2016. The main job responsibilities

[TYPES/announce] Postdoc position in verification and automata learning at MPI-SWS, in association with Cornell and Oxford

. The project is a joint collaboration with Prof. Alexandra Silva (Cornell University) and Prof. James Worrell (Oxford University). The post is based in Saabrücken, but the successful candidate will have the opportunity occasionally to travel to Cornell (Ithaca, USA) and Oxford (UK). Active automata