Cliquez ici.
Cliquez ici.
Cliquez ici.
Cliquez ici pour vous inscrire.
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".
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.
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 :
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.
| 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:
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
Cette page sera ultérieurement enrichie.