From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id C0AC17EE1A for ; Thu, 29 Nov 2012 12:29:41 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of damien.pous@gmail.com) identity=pra; client-ip=209.85.219.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="damien.pous@gmail.com"; x-sender="damien.pous@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of damien.pous@gmail.com designates 209.85.219.54 as permitted sender) identity=mailfrom; client-ip=209.85.219.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="damien.pous@gmail.com"; x-sender="damien.pous@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oa0-f54.google.com) identity=helo; client-ip=209.85.219.54; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="damien.pous@gmail.com"; x-sender="postmaster@mail-oa0-f54.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigBAGtGt1DRVds2mGdsb2JhbABEtxQBiQYIFg4BAQEBAQgJDQcUJ4IxNAESJwMNBRBdEgEFASITh34DD54JgmyPLYUUJw2JTgEFDIw+DoQoA5YBgRyKG4MtFimBV4I9gWs X-IronPort-AV: E=Sophos;i="4.84,184,1355094000"; d="scan'208";a="183783037" Received: from mail-oa0-f54.google.com ([209.85.219.54]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Nov 2012 12:29:40 +0100 Received: by mail-oa0-f54.google.com with SMTP id n9so25141722oag.27 for ; Thu, 29 Nov 2012 03:29:39 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; bh=8ArkHmpK+YDhDPZIBNR0YS6dNdMD1n1qcClPxzM1UXQ=; b=0sLDJavn1De7XG+ssQ5OJN0XfQnxcpriITYvI2PrZQE3XB3XxnE5lxMV4VrweZo0jw itl8paLXU3osWEBBMF2PUcP9Y4Ao5I5A/XKKH9pWZsIbetLKAzdLOE15ykIwzn4mcxS8 elOALDi/Y1ha+X7Fv8fLGZosyjhSJ7z3IwLHBakR2/4vHekiZEjVcW414LHWxeFFxafB yMPlmHaHTR8AT4f8NW/GQj3oY1iIAF1G7YTfXN21HvI5MC/qFIfUphPaAfqb+zJqm2ZM B+V8wkaMDV1g6RLU3Xg2qyv+S54Fuuu3rO52/CVaTM9dBKXNEG60GGmiIQiwWsiI0rtg PCJg== MIME-Version: 1.0 Received: by 10.182.18.165 with SMTP id x5mr7627693obd.73.1354188579581; Thu, 29 Nov 2012 03:29:39 -0800 (PST) Sender: damien.pous@gmail.com Received: by 10.182.122.2 with HTTP; Thu, 29 Nov 2012 03:29:39 -0800 (PST) Date: Thu, 29 Nov 2012 12:29:39 +0100 X-Google-Sender-Auth: aJgUntKnhLpp8eMstWe9voaZ3XA Message-ID: From: Damien Pous To: Damien Pous Content-Type: multipart/alternative; boundary=f46d043be10e3ead7e04cfa099a0 Subject: [Caml-list] =?ISO-8859-1?Q?Appel_=E0_participation_=3A_JFLAs_2013?= --f46d043be10e3ead7e04cfa099a0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable *** Appel =E0 participation, merci de diffuser largement *** JFLA'2013 (http://jfla.inria.fr/2013/) Journ=E9es Francophones des Langages Applicatifs =E0 Aussois, du 3 f=E9vrier au 6 f=E9vrier 2013 Les incriptions aux JFLAs sont d=E9sormais ouvertes, veuillez trouver ci-dessous la liste des expos=E9s pr=E9vus. Nous esp=E9rons que vous serez nombreux =E0 participer =E0 ces journ=E9es ; inscrivez-vous d=E8s que possi= ble! Dates importantes ----------------- 15 janvier 2013 : augmentation des tarifs d'inscription 25 janvier 2013 : date limite d'inscription aux journ=E9es 3 f=E9vrier au 6 f=E9vrier 2013 : journ=E9es Cours et expos=E9s invit=E9s ------------------------ Luc Maranget: ``Tester les mod=E8les m=E9moire faibles en pratique''. Alexandre Miquel: ``Introduction =E0 la r=E9alisabilit=E9 classique''. Kim NGuyen: ``Programmation XML, de la th=E9orie aux outils''. Saferiver: ``Le projet LAFOSEC''. ANSSI: ``Langages et s=E9curit=E9 - g=E9n=E9ralit=E9s et cas des langages fonctionnels''. Articles accept=E9s ----------------- Claude March=E9 et Asma Tafat. Calcul de plus faible pr=E9condition, revisit=E9 en Why3 Sylvain Conchon, Alain Mebsout et Fatiha Zaidi. V=E9rification de syst=E8mes param=E9tr=E9s avec Cubicle Pierre-Evariste Dagand et Conor McBride. Elaborating Inductive Definitions Guillaume Cano et Maxime D=E9n=E8s. Matrices =E0 blocs et en forme canonique Jean-Christophe Filliatre et R=E9my El Siba=EFe. combine : une biblioth=E8que OCaml pour la combinatoire Martin Bodin et Alan Schmitt. A Certified JavaScript Interpreter Nicolas Tabareau, =C9ric Tanter et Ismael Figueroa. Anti-Unification with Type Classes Allyx Fontaine et Akka Zemmari. Une Analyse Formelle en Coq d'un Algorithme Distribu=E9 Probabiliste r=E9solvant le Probl=E8me du Rendez-Vous Michel Mauny et Benoit Vaugon. OCamlCC -- Traduire OCaml en C en passant par le bytecode (accept=E9 sous conditions) Pierre-Marie P=E9drot. Un r=E9gime au concentr=E9 d'automate Louis Mandel et C=E9dric Pasteur. R=E9activit=E9 des syst=E8mes coop=E9ratifs : le cas de ReactiveML Christophe Deleuze. Concurrence l=E9g=E8re en OCaml : muthreads Tom Gundersen, Willem Heijltjes et Michel Parigot. An Atomic Lambda Calculus Michele Alberti. Normal Forms for the Algebraic Lambda-Calculus Expos=E9s courts -------------- Pierre Cast=E9ran, Vincent Filou et Allyx Fontaine. Formalisation en Coq des syst=E8mes de calculs locaux Carle Patrice, Christine Choppy, Romain Cyril Kervarc et Ariane Piel. Behaviour recognition for complex systems Comit=E9 de programme ------------------- Damien Pous, Pr=E9sident (CNRS -- ENS Lyon) Christine Tasson, Vice pr=E9sidente (PPS -- Universit=E9 Paris Diderot) Jade Alglave (University of Oxford) David Baelde (ITU Copenhague) Pierre-Malo Deni=E9lou (Royal Holloway, University of London) Pascal Fradet (Inria Grenoble Rh=F4ne-Alpes) Samuel Mimram (CEA Saclay) Yann R=E9gis-Gianas (Universit=E9 Paris VII) Matthieu Sozeau (Inria Paris -- Rocquencourt) Nicolas Tabareau (Inria Nantes) Enrico Tassi (LIX -- =C9cole Polytechnique) Lionel Vaux (IML -- Universit=E9 de la M=E9diterran=E9e) Pour tout renseignement d'ordre administratif, contacter -------------------------------------------------------- Sophie Azzaro Inria Grenoble Rh=F4ne-Alpes, Bureau des cours et colloques 655 Avenue de l'Europe, Montbonnot 38 334 St Ismier Cedex - France Tel : +33 (0)4 76 61 52 51 - Fax : +33 (0)4 56 52 71 90 email : colloques@inrialpes.fr http://jfla.inria.fr/2013/ --f46d043be10e3ead7e04cfa099a0 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable

=A0 =A0 *** Appel =E0 participation, merci de diffuser = largement ***


=A0 =A0 =A0 =A0 =A0 = =A0 =A0 JFLA'2013 (http://jfla.i= nria.fr/2013/)

=A0 =A0 =A0 =A0 =A0 Journ=E9es Francophones des Langage= s Applicatifs

=A0 =A0 =A0 =A0 =A0 =A0 =E0 Aussois,= du 3 f=E9vrier au 6 f=E9vrier 2013


Les incriptions aux JFLAs sont d=E9sormais ouvertes, veuillez trouver
ci-dessous la liste des expos=E9s pr=E9vus. Nous esp=E9rons que vous s= erez
nombreux =E0 participer =E0 ces journ=E9es ; inscrivez-vous = d=E8s que possible!


Dates important= es
-----------------
15 janvier 2013 : augmentation des tarifs d'= ;inscription
25 janvier 2013 : date limite d'inscription aux = journ=E9es
3 f=E9vrier au 6 f=E9vrier 2013 : journ=E9es


Cours et expos=E9s invit=E9s
----------= --------------

Luc Maranget: ``Tester les mod=E8le= s m=E9moire faibles en pratique''.
Alexandre Miquel: ``In= troduction =E0 la r=E9alisabilit=E9 classique''.
Kim NGuyen: ``Programmation XML, de la th=E9orie aux outils''.=
Saferiver: ``Le projet LAFOSEC''.
ANSSI: ``Lan= gages et s=E9curit=E9 - g=E9n=E9ralit=E9s et cas des langages=A0
= =A0 =A0 =A0 =A0 =A0fonctionnels''.

Articles accept=E9s
-----------------

Claude March=E9 et Asma Tafat.=A0
=A0 =A0Calcul= de plus faible pr=E9condition, revisit=E9 en Why3=A0
Sylvain Con= chon, Alain Mebsout et Fatiha Zaidi.=A0
=A0 =A0V=E9rification de syst=E8mes param=E9tr=E9s avec Cubicle=A0
Pierre-Evariste Dagand et Conor McBride.=A0
=A0 =A0Elabora= ting Inductive Definitions=A0
Guillaume Cano et Maxime D=E9n=E8s.= =A0
=A0 =A0Matrices =E0 blocs et en forme canonique=A0
Jean-Christophe Filliatre et R=E9my El Siba=EFe.=A0
=A0 =A0c= ombine : une biblioth=E8que OCaml pour la combinatoire=A0
Martin = Bodin et Alan Schmitt.=A0
=A0 =A0A Certified JavaScript Interpret= er=A0
Nicolas Tabareau, =C9ric Tanter et Ismael Figueroa.=A0
=A0 =A0Anti-Unification with Type Classes=A0
Allyx Fontaine = et Akka Zemmari.=A0
=A0 =A0Une Analyse Formelle en Coq d'un A= lgorithme Distribu=E9 Probabiliste
=A0 =A0r=E9solvant le Probl=E8= me du Rendez-Vous=A0
Michel Mauny et Benoit Vaugon.=A0
=A0 =A0OCamlCC -- Traduire= OCaml en C en passant par le bytecode=A0
=A0 =A0(accept=E9 sous = conditions)=A0
Pierre-Marie P=E9drot.=A0
=A0 =A0Un r=E9= gime au concentr=E9 d'automate=A0
Louis Mandel et C=E9dric Pasteur.=A0
=A0 =A0R=E9activit=E9 d= es syst=E8mes coop=E9ratifs : le cas de ReactiveML=A0
Christophe = Deleuze.=A0
=A0 =A0Concurrence l=E9g=E8re en OCaml : muthreads=A0=
Tom Gundersen, Willem Heijltjes et Michel Parigot.=A0
=A0 =A0An Atomic Lambda Calculus=A0
Michele Alberti.=A0
=A0 =A0Normal Forms for the Algebraic Lambda-Calculus=A0

Expos=E9s courts
--------------
=

Pierre Cast=E9ran, Vincent Filou et Allyx Fontaine.=A0
=A0 = =A0Formalisation en Coq des syst=E8mes de calculs locaux=A0
Carle= Patrice, Christine Choppy, Romain Cyril Kervarc et Ariane Piel.=A0
=A0 =A0Behaviour recognition for complex systems=A0



Comit=E9 de programme
-------------------

Damien Pous, Pr=E9siden= t (CNRS -- ENS Lyon)
Christine Tasson, Vice pr=E9sidente (PPS -- = Universit=E9 Paris Diderot)
Jade Alglave (University of Oxford)
David Baelde (ITU Copenh= ague)
Pierre-Malo Deni=E9lou (Royal Holloway, University of Londo= n)
Pascal Fradet (Inria Grenoble Rh=F4ne-Alpes)
Samuel = Mimram (CEA Saclay)
Yann R=E9gis-Gianas (Universit=E9 Paris VII)
Matthieu Sozeau= (Inria Paris -- Rocquencourt)
Nicolas Tabareau (Inria Nantes)
Enrico Tassi (LIX -- =C9cole Polytechnique)
Lionel Vaux (= IML -- Universit=E9 de la M=E9diterran=E9e)


Pour tout renseignement d'ordre admi= nistratif, contacter
--------------------------------------------= ------------
Sophie Azzaro
Inria Grenoble Rh=F4ne-Alpes= ,=A0

Bureau des cours et colloques
655 Avenue de l= 'Europe, Montbonnot
38 334 St Ismier Cedex - France
Tel : +33 (0)4 76 61 52 51 - Fax : +33 (0)4 56 52 71 90


--f46d043be10e3ead7e04cfa099a0--