JFLA'2000

31 janvier - 1 février 2000 Mont Saint-Michel (France)

Photos de la conférence

Cliquez ici.

Programme de la conférence

Cliquez ici.

Actes de la conférence

Cliquez ici.

Inscription à la conférence

Cliquez ici pour vous inscrire.

Démonstrations

Une plage horaire est prévue le lundi 31 janvier 2000 pour des démonstrations. Toute personne intéressée à faire une démonstration est priée d'envoyer un message à l'adresse suivante dubois@lami.univ-evry.fr avec le sujet "démo JFLA2000".

Informations pratiques

Lieu de la conférence

La conférence aura lieu dans les hôtels Poulard

" La mère Poulard " et " Terrasses Poulard "
B.P. 18 - Grande Rue
50170 Le Mont Saint-Michel (France)
Tel : 02 33 60 14 01 et 02 33 60 14 09
http://www.mere-poulard.fr

Ces hôtels sont situés au pied du Mont St Michel au coeur de la Cité Médiévale au calme dans un cadre exceptionnel.

Moyens d'accès

Consultez les moyens d'accès à la conférence.

Généralités sur la conférence

Objectifs

JFLA'2000 est la onzième conférence francophone organisée autour des langages applicatifs. La série des JFLA a débuté en janvier 1990 à La Rochelle. Depuis, elles ont eu lieu à Gresse-en-Vercors, Tréguier, Annecy, Noirmoutier, Bois d'Amont, Val-Morin au Québec, Dolomieu, au lac de Côme en Italie, et l'année dernière à Morzine-Avoriaz. Cette année la conférence retrouve le bord de mer au Mont Saint-Michel.

Les JFLA ont pour ambition de couvrir le domaine des langages applicatifs, au sens large, en réunissant les concepteurs et les utilisateurs dans un cadre sympathique. Que vous vous intéressiez aux langages purs ou impurs, fortement ou faiblement typés, à objets, à agents, ou à acteurs, à la théorie ou aux applications, les JFLA sont faites pour vous ! Si vous vous intéressez à un style de programmation fonctionnelle "raisonnée" où spécifications, preuves et programmes sont intimement liés, les JFLA sont encore pour vous !

Des contributions sur les thèmes suivants sont particulièment recherchées :

Langages fonctionnels : sémantique, compilation, optimisation, mesures, tests, extensions par d'autres paradigmes de programmation,
Utilisation industrielle de langages fonctionnels,
Spécification, prototypage, développements formels d'algorithmes, preuves de propriétés à l'aide de systèmes d'aide à la preuve,
Programmation fonctionnelle et enseignement.

Les onzièmes journées francophones des langages applicatifs ou JFLA2000 se tiendront au Mont Saint-Michel, en France, les 31 janvier et 1er février 2000. Ces journées sont organisées par l'INRIA et l'Université d'Evry.

Le comité de programme est le suivant:

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

Les deux orateurs invités seront:

Richard Kieburtz, de l'Oregon Graduate Institute, Portland, USA.
Bruno Marre, du LRI Orsay, France.

Dates importantes

1er octobre 1999: date limite de soumission
12 novembre 1999: notification aux auteurs
10 décembre 1999: remise des articles définitifs
31 janvier / 1er février 2000: journées

Pour tout renseignement, contacter

Florence Balax
INRIA Rocquencourt Bureau des Cours et Colloques (JFLA2000)
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

Catherine Dubois Université d'Evry
Boulevard des coquibus 91025 Evry Cedex Tel +33 (0) 69 47 74 69
Mél : dubois@lami.univ-evry.fr

Mis à jour par Catherine Dubois

Cette page sera ultérieurement enrichie.