[TYPES/announce] 17th Wessex theory seminar - Call for Participation

information on location, schedule, speakers, etc. can be found at the website: http://wiki.bath.ac.uk/display/wessex/17th+Wessex+Theory+Seminar Best wishes, Nikos Tzevelekos Edmund Robinson

[TYPES/announce] GALOP 2013 - Call for Papers

, Edinburgh • Viktor Winschel, Mannheim • Nobuko Yoshida, Imperial // Program Committee // • Ugo Dal Lago, Bologna • Dan Ghica, Birmingham • Juha Kontinen, Helsinki • Guy McCusker, Bath (co-chair) • Andrzej Murawski, Warwick • Nikos Tzevelekos, QMUL (co-chair) • Glynn Winskel, Cambridge

[TYPES/announce] GALOP 2013 - Call for Participation

Generic Polymorphism Andrzej Murawski and Nikos Tzevelekos: Deconstructing general references via game semantics 16:30-17:00: Wrapping up LOCAL INFORMATIOM Available at http://www.gamesemantics.org/galop-viii/local-information ORGANIZING COMMITTEE Organising co-chairs: Guy McCusker, Bath Nikos

[TYPES/announce] Postdoc at Queen Mary University of London (semantics and verification)

in verification, who can contribute to the design and implementation of program logics for higher-order programs. The project will be led by Nikos Tzevelekos. Other members of the School at Queen Mary working on related topics include Dino Distefano, Pasquale Malacaria, Michael Tautschnig and Greta

[TYPES/announce] PhD Studentship at Queen Mary

of programming languages such as C/C++, Java, Python, OCaml. Analytical and good communication skills are also welcome. The PhD supervisor will be Dr Nikos Tzevelekos. The project will be based in the School of Electronic Engineering and Computer Science (EECS), and the student will join a world

[TYPES/announce] Postdoc Position at Queen Mary

of Nikos Tzevelekos, and is part of a joint project with Dan Ghica and the University of Birmingham. The project is financed by the EPSRC grant "System-Level Game Semantics: A semantic framework for composing systems”, in collaboration with external partners Aarhus University, Yale Unive

[TYPES/announce] HIGHLIGHTS 2017 -- Call for Participation

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [with apologies for multiple postings] HIGHLIGHTS 2017 -- FIFTH CONFERENCE ON HIGHLIGHTS OF LOGIC, GAMES AND AUTOMATA Call for Participation 12-15 SEPTEMBER 2017, London, UK

[TYPES/announce] HIGHLIGHTS 2017 - Call for Presentations

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Highlights of Logic, Games and Automata (HIGHLIGHTS 2017) London, 12-15 SEPTEMBER 2017 http://highlights-conference.org

[TYPES/announce] PERR 2019 CFP -- 3rd Workshop on Program Equivalence and Relational Reasoning

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [with apologies for cross-postings] == PERR 2019 3rd Workshop on Program

[TYPES/announce] PERR 2019 CFP (extended) -- 3rd Workshop on Program Equivalence and Relational Reasoning

lume. Program Committee Stefan Ciobaca, Alexandru Ioan Cuza University of Iasi Steve Kremer, INRIA Shuvendu K. Lahiri, Microsoft Research Xavier Leroy, Collège de France Andrzej Murawski, University of Oxford Philipp Ruemmer, Uppsala University Rahul Sharma, Microsoft Research Ofer Strichman, Technion N