[TYPES/announce] Post-doctoral position at ENS Lyon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] LIP computer science research department at Ecole Normale Superieure de Lyon is offering a postdoctoral position for the academic year 2011-2012. All teams are concerned. In particular the Plume team focussing on logic, types and formal semantics of programming languages. LIP is a joint department with CNRS, INRIA, ENS and UCBL (U. Lyon). Our main strength is the creative interaction between long-term fundamental research, innovative software and hardware design, and transfer through industrial collaborations. This interaction provides a unique research context and fosters new trends, both theoretical and practical, with two main transverse areas: * Mathematical computer science models, methods, and algorithms; * Addressing the challenges of future computational and communication architectures. Applications until June 17th. See http://www.ens-lyon.fr/LIP/web for further informations. Olivier Laurent. -- Olivier LAURENT www: http://perso.ens-lyon.fr/olivier.laurent/
[TYPES/announce] MALOA PhD position in logic at ENS Lyon
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] * * * * PhD Position in Logic at ENS Lyon (MALOA project) * * * * * * October 1st, 2010 -- September 30th, 2013 * * * * MALOA (From MAthematical LOgic to Applications) is a European Initial Training Network: http://www.logique.jussieu.fr/MALOA/ Amongst the proposed PhD positions, one will be open in the Plume team of the computer science laboratory of the ENS Lyon (France). http://www.ens-lyon.fr/LIP/PLUME/ The main research topics of the team are: * Proof theory and computer science * Curry-Howard correspondence * Programming languages semantics * Linear logic, game semantics, realisability * Implicit computational complexity * Concurrency theory * Computer assisted reasoning Applications are now open. Submissions including : * a detailed curriculum vitae * a list of topics of interest * the names and e-mail addresses of two references should be sent by e-mail to olivier.laur...@ens-lyon.fr by April 30th, 2010. Before applying, please check you satisfy the eligibility conditions: http://www.logique.jussieu.fr/MALOA/Eligibility.html Important dates: * applications: April 30th, 2010 * starting date: October 1st, 2010 Do not hesitate to contact us if you want some additional informations: olivier.laur...@ens-lyon.fr -- Olivier LAURENT e-mail : olivier.laur...@ens-lyon.fr www: http://perso.ens-lyon.fr/olivier.laurent/
[TYPES/announce] Galop V @ ETAPS 2010: call for papers
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] == *** CALL FOR PAPERS *** GaLoP V 5th Workshop on Games for Logic and Programming Languages (satellite event of ETAPS 2010) Paphos, Cyprus 20-21 March 2010 http://perso.ens-lyon.fr/olivier.laurent/galop10/ == IMPORTANT DATES Submission deadline: January 25, 2010 Notification date: February 3, 2010 Workshop: March 20-21, 2010 SUBMISSION LINK http://www.easychair.org/conferences/?conf=galop5 GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials as well as contributed papers. Accordingly, we ask for submission of both short abstracts outlining what will be presented at the workshop and longer papers describing completed work, either published or unpublished. The fifth GaLoP will be held in Paphos (Cyprus) between March 20 and 21 and will be part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2010). Contributions are invited on all pertinent subjects. Typical (but not exclusive) areas are: - games and categorical semantics, - algorithmic aspects of games, - programming languages and full abstraction, - semantics of logics and proof systems, - proof search, - program verification and model checking, - program analysis, - theories of concurrency. There will be no formal proceedings. In previous years, a special issue of the Annals of Pure and Applied Logic has been produced, and this possibility will be pursued again this year. PROGRAM COMMITTEE Thierry Coquand, Goteborg Claudia Faggian, Paris (co-chair) Olivier Laurent, Lyon (co-chair) Pasquale Malacaria, London Luke Ong, Oxford Alexis Saurin, Paris Igor Walukiewicz, Bordeaux Nobuko Yoshida, London