Call for participation / Appel a participation JOURNEES FRANCOPHONES DES LANGAGES APPLICATIFS INRIA & LaBRI (Bordeaux) 29 et 30 janvier 2001 Pontarlier, France http://pauillac.inria.fr/jfla/2001 We are now able to send you the definitive programm of the 12th JFLA (French speaking workshop on applicative programming) ; please find all necessary information and tools for your inscription at the following site : http://pauillac.inria.fr/jfla/2001 You will find some useful adresses at the end of this mail too. Due to the french speaking specificity of our workshop, the rest of this mail will use this language. Le programme des 12 èmes JFLA est maintenant établi ; vous trouverez auprès du site des journées (http://pauillac.inria.fr/jfla/2001) tout renseignement nécessaire à votre inscription. Des adresses utiles se trouvent également en fin de ce message. Pierre Castéran Programme (En français / in french) Lundi : 9h-10h Conférence invitée de Gilles Dowek (Projet Coq, Inria Rocquencourt) "Articuler raisonnement et calcul (en déduction modulo) : jusqu'où peut-on aller ?" 10h Pause café 10h30 Nicolas Magaud, Yves Bertot (Inria Sophia) : Changement de représentation des structures de données en Coq: le cas des entiers naturels 11h Laurent Chicli (Inria Sophia) : Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq 11h30 David Delahaye, Micaela Mayero (Inria Rocquencourt, logiCal) : Field, une procédure de décision pour les nombres réels en Coq 12h-16h Déjeuner et excursion 16h Loic Pottier (Inria Sophia) : Extraction dans le Calcul des Constructions inductives 16h30 Virgile Prevosto (LIP6) : Prototype d'interface utilisateur de la librairie FOC 17h Pause café 17h30 Table ronde animée par Jean-François Monin : Thème : Les techniques liées à la programmation applicative, et leur application en milieu/ à l'echelle industrielle. Mardi : 9h-10h Conférence invitée de Christian Queinnec (LIP6) "Du bon usage des continuations pour la programmation de serveurs ouèbe" 10h Pause café 10h30 J. Furuse (Inria Rocquencourt) : Generic Polymorphism in ML 11h00 Frédéric Prost (IMAG) : On the semantics of non-interference type-based analysis 11h30 Pascal Cuoq, Marc Pouzet (Inria Rocquencourt, LIP6) : Causalité modulaire dans un langage de flots synchrone 12h00 Déjeuner 14h00 D. Plaindoux : Programmation fonctionnelle et XML: PaX 14h30 J. Karczmarczuk (Université de Caen) : Calcul des adjoints et programmation paresseuse 15h00 Pause café 15h30 Démonstrations 17h00 Fin des journées Comité de programme 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) Informations pratiques (En français / in french) ------------------------------------------------- En priorité, vous pouvez consulter toute information sur le site des journées http://pauillac.inria.fr/jfla/2001 ou vous trouverez un bulletin d'inscription et des renseignements mis régulièrement à jour. Les renseignements ci-dessous ont donc un but purement informatif. Lieu : ---- Les Journées auront lieu au Villages Hôtel à Pontarlier, dans le Haut Doubs. Accés : ------ Voici quelques indications horaires : Aller - Le dimanche 28 janvier : départ Paris Gare de Lyon : 12h48 -----arrivée Pontarlier Gare SNCF 16h21 (ce qui permettrait de faire un accueil autour de 18h comme l'année dernière). Retour - Le mardi 30 janvier : départ Pontarlier Gare SNCF : 18h24 ---- arrivée Paris 21h5 Voici aussi l'adresse de quelques sites du Haut-Doubs http://www.haut-doubs.org/otpontarlier/ http://www.haut-doubs.org/sites/texte-tourisme-culture.html Actes des journées ------------------ Les actes seront édités par l'INRIA et distribués lors des journées. Excursion --------- Une promenade en raquettes est sérieusement envisagée ; si vous souhaitez participer à cette excursion, n'oubliez pas de le mentionner sur le formulaire d'inscription. Droits d'inscription (TVA 20,6% incluse) ---------------------------------------- Tarif participant - en chambre individuelle : 2 000 FF TTC 304,90 euros TTC - en chambre double : 1600 FF TTC 243,92 euros TTC Les droits d'inscription comprennent : - la participation aux journées - les actes des journées - les pauses-café - l'hébergement en pension complète, en chambre individuelle ou double du dimanche 28 janvier au soir (dîner inclus) au mardi 30 janvier fin d'après-midi. Attention : le nombre de chambres est limité. Modalités d'inscription ----------------------- Pour des raisons de contraintes d'hébergement, les inscriptions après le 31 décembre 2000 ne seront pas garanties. Seules les inscriptions accompagnées du règlement seront prises en compte. Modalités de paiement --------------------- - par bon de commande à l'INRIA, joint au formulaire d'inscription, - par chèque, à l'ordre de l'Agent Comptable de l'INRIA, joint au formulaire d'inscription, - par virement bancaire (joindre un justificatif au formulaire d'inscription) : à la Trésorerie Générale des Yvelines à Versailles 16 Av de Saint-Cloud - 78018 Versailles Cedex - France Compte n° 10071 - 78000 - 00003003958 - 80 (Code banque : 10071 ; guichet : 78000 ; n° de compte : 00003003958 ; clé : 80) (Bien mentionner sur ces documents votre nom et le référence JFLA2001) Annulation --------- Le remboursement des frais d'inscription sera possible pour toute demande écrite parvenant au secrétariat 8 jours avant le début des journées (cachet de la poste faisant foi). Aucun remboursement ne sera effectué au-delà de cette date. Information ----------- INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2001) Domaine de Voluceau - BP 105 78153 Le Chesnay Cedex Tél.: +33 (0) 1 39 63 50 53 - Fax : +33 (0) 1 39 63 56 38 Mél. : symposia@inria.fr http://pauillac.inria.fr/jfla/2001