--- layout: fc_discuss_archives title: Message 100 from Frama-C-discuss on November 2013 ---
*** Appel ? participation, merci de diffuser largement *** JFLA'2014 (http://jfla.inria.fr/2014/) Journ?es Francophones des Langages Applicatifs ? Fr?jus, du 8 janvier au 11 janvier 2014 Les incriptions aux JFLAs sont d?sormais ouvertes, veuillez trouver ci-dessous la liste des expos?s pr?vus. Nous esp?rons que vous serez nombreux ? participer ? ces journ?es ; inscrivez-vous d?s que possible! Dates importantes ----------------- 15 d?cembre 2014 : date limite d'inscription aux journ?es 8 au 11 janvier 2014 : journ?es Soutien Financier ----------------- Gr?ce au soutien des GDR GPL et IM et du groupe de travail geocal, nous avons la possibilit? de financer une partie des journ?es pour quelques ?tudiants ou jeunes chercheurs (date limite de demande le 20 novembre). Cours et expos?s invit?s ------------------------ Olivier Danvy : Du calcul math?matique aux calculs informatiques. Christine Paulin : Mod?lisation de programme probabilistes en coq. Jean Krivine : Une s?mantique pour la biologie mol?culaire ? Quelques enjeux (et obstacles) pour l'informatique fondamentale. Xavier Leroy Guillaume Brunerie : HOmotopy Type Theory Catherine Lelay : Coq passe le bac Articles accept?s (par ordre de soumission) ------------------------------------------- Jean-Guillaume Dumas, Dominique Duval, Burak Ekici and Damien Pous. Formal verification in Coq of program properties involving the global state effect Sylvain Conchon, David Declerck, Luc Maranget and Alain Mebsout. V?rification de programmes C concurrents avec Cubicle : Enfoncer les barri?res Yoichi Hirai and Reynald Affeldt. What could Coq do for Database Software? ---A Progress Report Louis Mandel and C?dric Pasteur. Ex?cution efficace de programmes ReactiveML Bernard Serpette, Pascal Manoury and Emmanuel Chailloux. Unification des couleurs dans un $\lambda$-calcul polychrome Adrien Husson. Une s?mantique statique pour MongoDB Adrien Guatto. R?seaux de Kahn ? rafales et horloges enti?res Martin Bodin, Thomas Jensen and Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation Julien Signoles. Comment un chameau peut-il ?crire un journal ? Damien Pous and Alan Schmitt. De la KAM avec un Processus d?Ordre Supe?rieur Marc Bagnol, Amina Doumane and Alexis Saurin. Analyse de d?pendances et correction des r?seaux de preuve Pierre-Marie P?drot and Alexis Saurin. N?cessit? faite loi : de la r?duction lin?aire de t?te ? l'?valuation paresseuse 25 ans des JFLA ? l'occasion de ce quart de si?cle, les comit?s de programme et de pilotage ont choisi quatre contributions marquantes parmi les articles publi?s aux JFLA ces dix derni?res ann?es. Louis Mandel et Marc Pouzet. JFLA'05 ReactiveML, un langage pour la programmation r?active en ML. Sylvain Conchon et Jean-Christophe Filli?tre. JFLA'07 Union-Find Persistant. Sandrine Blazy, Beno?t Robillard et ?ric Soutif. JFLA'08 V?rification formelle d'un algorithme d'allocation de registres par coloration de graphes. Claude March? et Asma Tafat. JFLA'13 Calcul de plus faible pr?condition, revisit? en Why3. Comit? de programme ------------------- Christine Tasson PPS -- Universit? Paris Diderot (Pr?sidente) David Baelde LSV -- ?NS Cachan (Vice pr?sident) Jade Alglave University College of London Zaynah Dargaye CEA LIST Jean-Christophe Filli?tre CNRS -- Universit? Paris Sud Pascal Fradet INRIA Grenoble -- Rh?ne-Alpes Jacques Garrigue Nagoya University Barbara Petit INRIA Grenoble -- Rh?ne Alpes Sylvain Pradalier Dassault Syst?mes Julien Signoles CEA LIST Matthieu Sozeau INRIA Paris -- Rocquencourt Sylvain Pogodalla Loria/INRIA Nancy Pour tout renseignement d'ordre administratif, contacter -------------------------------------------------------- Sophie Azzaro Inria Grenoble Rh?ne-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 at inrialpes.fr http://jfla.inria.fr/2014/