JFLA: Journées Francophones des Langages Applicatifs

Les comités de programme

janvier 90: La Rochelle

janvier 91: Gresse-en-Vercors

janvier 92: Perros-Guirec

Comité de programme 92: Pierre Castéran (Bordeaux); Pierre Cointe (IBP/LITP Paris 6); Guy Lapalme (U. de Montréal); Michel Lemaître (Onera/Cert/deri); Michel Mauny (INRIA-Rocquencourt); Jean-François Perrot (Laforia Paris 6); Christian Queinnec (LIX, INRIA-Rocquencourt); Daniel Ribbens (U. de Liège); Emmanuel Saint-James (Bull, Les Clayes/bois); Patrick Sallé (IRIT ENSEEIHT); Jean-Pierre Sansonnet (LRI CNRS); David Turner (U. of Kent)

janvier 93: Annecy

Comité de programme 93: Hassan Ait Kaci (DEC PRL); Bernard Berthomieu (LAAS, Toulouse); Pierre Castéran (U. de Bordeaux); Gaëtan Hains (U de Montréal); Jean-François Perrot (Laforia, Paris 6); Daniel Ribbens (U de Liège); Emmanuel Saint-James (Bull, Les Clayes/Bois); Patrick Sallé (IRIT ENSEEIHT); Jean-Pierre Sansonnet (LRI/CNRS, Orsay); Bernard Serpette (INRIA-Rocquencourt); David Turner (U of Kent); Pierre Weis (INRIA-Rocquencourt)

janvier 94: Noirmoutiers

Comité de programme 94: Bernard Berthomieu (LAAS, Toulouse); Pierre Cointe (École des mines de Nantes); Olivier Danvy (); Jacques Ferber (Laforia, Paris 6); Marc Gengler (EPFL, Suisse); Gaëtan Hains (U. de Montréal); Michel Lemaître (CERT/DERI, Toulouse); David de Roure (U. of Southampton); Daniel Ribbens (U. de Liège); Bernard Serpette (INRIA-Rocquencourt); Pierre Weis (INRIA-Rocquencourt)

janvier 95: Bois d'amont (Jura)

Comité de Programme 95: Véronique VIGUIE DONZEAU-GOUGE (CNAM Paris, France); Daniel BOURGET (Télécom, Brest, France); Xavier CUSSET (3IP, Paris, France); Jose Luis FREIRE NISTAL (Universidad de la Coruna, Espagne); Thérèse HARDIN (Université Paris-6, France ); Richard KIEBURTZ (Oregon Graduate Center, Portland, USA); Daniel LE METAYER (INRIA-IRISA Rennes, France); Michel MAUNY (INRIA Rocquencourt, France); Luc MOREAU (Université de Liège, Belgique); Jose PIQUER (Universidad de Chile, Santiago, Chili); Pierre WEIS (INRIA Rocquencourt, France)

janvier 96: Val-Morin (Canada)

Comité de programme 96: Guy Lapalme (Université de Montreal, Canada); Bernard Berthomieu (LAAS,France); Patrice Boizumault (EMN, France); Marc Feeley (Université de Montreal, Canada); Robert Halstead (DEC-CRL, USA); Daniel Le Metayer (IRISA, France); Luc Moreau (Université de Liège, Belgique); Didier Remy (Inria, France); Jan Vitek (Université de Genève, Suisse)

janvier 97: Dolomieu (Bretagne)

Comité de programme 97: Marc Gengler (LIP, ENS-Lyon, Lyon); Jean-Pierre Briot (LAFORIA-IBP, Paris); Charles Consel (IRISA, Rennes); Guy Cousineau (LIENS, ENS, Paris); Boi Faltings (LIA, EPFL, Lausanne, Suisse); Marc Feeley (U. de Montréal, Canada); Jacques Julliand (LIB, U. de Franche-Comté, Besançon); Luc Moreau (U. de Southampton, Grande-Bretagne); Jean-Francois Perrot (LAFORIA-IBP, Paris)

février 98: Lac de Côme (Italie)

Comité de programme 98: Stefano A Cerri Universita di Milano; Jacques Chazarain Université de Nice; Christophe Dony Université de Montpellier; Hugh Glaser University of Southampton; Vincenzo Loia Universita di Salerno; Giuseppe Longo ENS Ulm; Jacques Malenfant École des Mines de Nantes; Pierre Marcenac Université de la Réunion; Francois Rouaix INRIA-Rocquencourt; Maria Simi Universita di Pisa

février 99: Avoriaz

Comité de programme 99: Pierre Weis (Président) INRIA; Andrea Asperti Université de Bologne; Philippe Audebaud École Normale Supérieure de Lyon; Roberto Dicosmo École Normale Supérieure (Paris); Laurent Dami Université de Genève; Damien Doligez INRIA; Jean Goubault-Larrecq G.I.E. Dyade; José Piquer Université de Santiago (Chili); Manuel Serrano Université de Nice

Orateurs invités:: Paul Caspi (VERIMAG).; Jean-Marc Geib (Laboratoire d'Informatique Fondamentale de l'Université de Lille).

février 2000: Mont Saint Michel (Normandie).

Comité de programme 2000: Catherine Dubois (Présidente) Université d'Evry; Maria-Virginia Aponte CNAM Paris; Pierre Castéran Université de Bordeaux; Klaus Havelund Nasa, USA; Emmanuel Ledinot Dassault-Aviation; Luc Maranget INRIA Rocquencourt; Catherine Parent IMAG, Grenoble; Marc Pouzet Université Paris 6; Jan Vitek Université de Purdue, USA

Orateurs invités:: Richard Kieburtz, de l'Oregon Graduate Institute, Portland, USA.; Bruno Marre, du LRI Orsay.

janvier 2001: Pontarlier (Jura).

Comité de programme 2001: Pierre Castéran (Président) (Labri, Université Bordeaux I); Philippe Ayrault (Surlog); Bruno Barras (Trusted Logic); Tristan Crolard (Paris 12); Olivier Danvy (Brics, Université d'Aarhus, Danemark); Georges Gonthier (Inria); Valérie Ménissier-Morain (LIP6); Jean-François Monin (France Telecom R&D); Benjamin Werner (Inria)

Orateurs invités:: Gilles Dowek (Projet Coq, Inria Rocquencourt).; Christian Queinnec (LIP6).

janvier 2002: Anglet (Pays basque).

Comité de programme 2002: Laurence Rideau, Présidente (Inria Sophia Antipolis); Stefano Berardi (Université de Turin); Jean-Marc Eber (Lexifi Technologies, Paris); Daniel Hirschkoff (ENS Lyon); Jean-Francois Monin (France Telecom, Lannion); Philippe Narbel (Labri, Université de Bourdeaux); Julian Padget (Université de Bath); François Pottier (Inria Rocquencourt); Bernard Serpette (Inria Sophia); Davide Sangiorgi (Inria Sophia)

Orateurs invités:: Yves Bertot (Lemme, Inria Sophia Antipolis).; Thérèse Hardin (LIP6).

janvier 2003: Chamrousse (près de Grenoble).

Comité de programme 2003: Jean-Christophe Filliatre (Président) (LRI, Orsay); Pierre Crégut (France Télécom R&D); Emmanuel Chailloux (Université Pierre et Marie Curie); Xavier Leroy (INRIA, Rocquencourt); Claude Marché (Université Paris Sud); Alexandre Miquel (Université Paris Sud); Olivier Pons (CNAM Paris); Christophe Raffalli (Université de Savoie); Jérôme Vouillon (Université Denis Diderot (Paris 7)); Yves Bertot (INRIA, Sophia-Antipolis)

Orateurs invités:: Jean-Marc Eber, société LexiFi (informatique financière).; Alain Chillès, professeur de classes préparatoires à Lyon.

janvier 2004: Sainte-Marie-de-Ré (Charente-Maritime).

Comité de programme 2004

Valérie Ménissier-Morain	Lip6, Paris (Présidente)
Sylvain Boulmé	LSR, INPG
Claude Feliot	ALSTOM transport
Pascal Fradet	IRISA, Rennes
Hugo Herbelin	INRIA, Futurs
Michel Mauny	INRIA, Rocquencourt
Olivier Michel	LAMI, Université Évry-Val d'Essonne
Marc Pantel	LIMA, ENSEEIHT
Laurent Théry	INRIA, Sophia-Antipolis
Olivier Zendra	LORIA, Lorraine

Orateurs invités:: Jean Goubault-Larrecq (LSV, Ens Cachan); Xavier Leroy (INRIA Rocquencourt)

mars 2005: Obernai (Alsace).

Comité de programme 2005

Olivier Michel	LAMI, Université Évry-Val d'Essonne, Évry (Président)
Catherine Dubois	CEDRIC, Institut d'Informatique d'Entreprise/CNAM
Jean-Pierre Gallois	projet AGATHA/CEA Saclay
Jacques Garrigue	Université de Kyoto
Frederic Loulergue	LACL, Université de Paris-XII Créteil
Pierre-Etienne Moreau	projet PROTHEO, LORIA
Loïc Pottier	projet LEMME, INRIA Sophia-Antipolis
Manuel Serrano	projet MIMOSA, INRIA Sophia-Antipolis
Patrick Viry	ILOG

Orateurs invités:: François Fages (INRIA Rocquencourt).; François Pachet (SONY-CSL).

janvier 2006: Pauillac (près de Bordeaux).

Comité de programme 2006

Thérèse Hardin	LIP6, Université Pierre et Marie Curie, Paris (Président)
Pierre-Etienne Moreau	projet PROTHEO, LORIA
Pierre Casteran	LABRI
Christine Paulin	LRI, Université d'Orsay
Renaud Rioboo	LIP6, UPMC
Xavier Urbain	CEDRIC, Institut d'Informatique d'Entreprise/CNAM
Alan Schmitt	projet SARDES, INRIA Grenoble
Bernard Serpette	projet OASIS, INRIA Sophia-Antipolis
François Pessaux	Société SURLOG
Pierre-Yves Schobbens	Institut d'Informatique, Université de Namur
Sandrine Blazy-Darmon	CEDRIC, Projet CRISTAL-INRIA Rocquencourt

Orateurs invités:

Mark van den Brand (CWI Amsterdam).
Catherine Dubois (CEDRIC, Institut d'Informatique d'Entreprise/CNAM).

janvier 2007: Aix-les-bains (Savoie).

Comité de programme 2007

Pierre-Etienne Moreau	LORIA, INRIA Lorraine (Président)
Sandrine Blazy	CEDRIC, INRIA Rocquencourt (Vice-Présidente)
Judicaël Courant	Verimag
Alain Frisch	INRIA Rocquencourt
Jean-Louis Giavitto	IBISC, Evry
Delia Kesner	PPS, Université Paris 7
Jean-François Monin	Verimag
Virgile Prevosto	CEA
Alan Schmitt	INRIA Rhones-Alpes
Benjamin Werner	LIX, INRIA Futur

Orateurs invités:

Hassan Aït Kaci (Distinguished Scientist, ILOG)
Satisfaction modulo théories : application à la vérification de règles métiers par contraintes
Andrew Tolmach (Invited Professor, INRIA Rocquencourt)
Operating Systems in Haskell: Implementations, Models, and Proofs

Cours invités:

Horatiu Cirstea (Maître de conférence, Université Nancy 2 - Loria) et Antoine Reilles (ATER, École des Mines de Nancy - Loria)
Techniques de réécriture et transformations
Marc Pouzet (Professeur, LRI)
Programmation Synchrone Fonctionnelle

Mini-cours surprise

Jean-François Monin (Professeur, Université Joseph Fourier - Verimag)

Apéro-Réflexion

janvier 2008: Étretat (près du Havre).

Comité de programme 2008

Sandrine Blazy	CEDRIC, ENSIIE, Évry (Président)
Alan Schmitt	INRIA Grenoble - Rhône-Alpes
Horatiu Cirstea	INRIA Nancy - Grand Est
Tom Hirschowitz	LIP, ENS Lyon
Mathieu Jaume	LIP6, Université Paris 6
Delia Kesner	PPS, Université Paris 7
Nicolas Magaud	LSIIT, Université Louis Pasteur, Strasbourg
Marc Pouzet	LRI, Université Paris-Sud
Laurence Rideau	INRIA Sophia Antipolis - Méditerranée
Francesco Zappa Nardelli	INRIA Paris - Rocquencourt

Orateurs invités:

Pierre Weis (INRIA).
Les types à relations
Cédric Fournet (Microsoft Research).
Implémentations sûres de sessions typées

Cours invités:

Cours de Coq par Yves Bertot (INRIA):
Sémantiques en Coq
Cours de Focal par Renaud Rioboo (Professeur LIP6):
Concevoir et organiser une librairie de mathématiques effectives

janvier 2009: Saint-Quentin sur Isère (près de Grenoble).

Comité de programme 2009

Alan Schmitt	LIG, INRIA Grenoble - Rhône-Alpes (Président)
Micaela Mayero	LIPN, Université Paris 13
Boutheina Chetali	Gemalto
Sylvain Conchon	LRI, Université Paris-Sud
David Delahaye	CEDRIC, CNAM
Hugo Herbelin	LIX, INRIA Saclay - Île-de-France
Didier Le Botlan	LAAS-CNRS, INSA de Toulouse
Jean-Vincent Loddo	LIPN, Université Paris 13
Alexandre Miquel	PPS, Université Paris 7
Davide Sangiorgi	Université de Bologne

Orateurs invités:

Vincent Balat (Université Paris 7).
Eduardo Giménez (Trusted Logic).