[TYPES/announce] STACS 2010

of Illinois Jean-Yves Marion, Nancy University (co-chair) Pierre McKenzie, Université de Montréal Rasmus Pagh, IT University of Copenhagen Boaz Patt-Shamir, Tel Aviv University Christophe Paul, CNRS, Montpellier University Georg Schnitger, Frankfurt University Thomas Schwentick, TU Dortmund University (co

[TYPES/announce] STACS 2010 - Last call for papers

, Paris 7 University Sándor Fekete, Braunschweig University of Technology Ralf Klasing, CNRS, Bordeaux University Christian Knauer, Freie Universität Berlin Piotr Krysta, University of Liverpool Sylvain Lombardy, Marne la Vallée University P. Madhusudan, University of Illinois Jean-Yves Marion

[TYPES/announce] [STACS] First Call for Participation

Parthasarathy Madhusudan, University of Illinois Jean-Yves Marion, Nancy University (co-chair) Pierre McKenzie, Université de Montréal Rasmus Pagh, IT University of Copenhagen Boaz Patt-Shamir, Tel Aviv University Christophe Paul, CNRS, Montpellier University Georg Schnitger, Frankfurt University

[TYPES/announce] Second call for papers : DICE 2011 / ETAPS

COMMITTEE: Amir Ben-Amram (Academic College of Tel-Aviv) Patrick Baillot (ENS Lyon, CNRS) Jean-Yves Marion (Université de Lorraine) (Chair) Simone Martini (Università di Bologna) Damiano Mazza (Université Paris 13) Georg Moser (Universität Innsbruck) Ricardo Peña (Universidad de Madrid) Luca Roversi

[TYPES/announce] DICE 2011 : Extended deadline and publication information

: Amir Ben-Amram (Academic College of Tel-Aviv) Patrick Baillot (ENS Lyon, CNRS) Jean-Yves Marion (Université de Lorraine) (Chair) Simone Martini (Università di Bologna) Damiano Mazza (Université Paris 13) Georg Moser (Universität Innsbruck) Ricardo Peña (Universidad complutense de Madrid) Luca

[TYPES/announce] Post-doctoral research position at Nancy University on ICC

statement of interest, and the names of two references to Jean-Yves Marion (jean-yves.mar...@loria.fr). Further inquiries--for example, questions about specific project topics--are also welcome. COMPLICE is a four-year project whose partner sites are ENS Lyon, Université Paris 13 and LORIA-Nancy

[TYPES/announce] Call for papers : LOCAS 2015 First International Workshop on Low-level Code Analysis for Security

Holloway, Univ. London) Tim Kornau (Google) Arun Lakhotia (Univ. Louisiana at Lafayette) Jean-Yves Marion (LORIA, Univ. Lorraine; Workshop co-chair) Jeffrey Todd McDonald (Univ. South Alabama) Mizuhito Ogawa (JAIST; Workshop co-chair)