From: Therese Hardin <therese.hardin@lip6.fr>
To: caml-list@inria.fr, coq-club@pauillac.inria.fr,
modulogic@modulogic.inria.fr
Subject: JFLA2006
Date: Tue, 13 Sep 2005 18:06:58 +0200 [thread overview]
Message-ID: <DCDE654D-25AF-4C4F-B13F-BC6B74112F22@lip6.fr> (raw)
(This message is intentionally written in French)
* MERCI DE FAIRE CIRCULER * MERCI DE FAIRE CIRCULER * MERCI DE FAIRE
CIRCULER *
PREMIER APPEL AUX COMMUNICATIONS PREMIER APPEL AUX COMMUNICATIONS
JFLA'2006 (http://jfla.inria.fr/)
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
28-31 janvier 2006
JFLA'2006 est la dix-septième conférence francophone organisée autour
des
langages applicatifs et des techniques de certification basées sur la
démonstration.
Ces nouvelles journées se tiendront les
28-31 janvier 2006.
Elles auront lieu à la mer, à
Pauillac, à proximité de Bordeaux.
Toujours centrée sur l'approche fonctionnelle de la programmation, la
conférence souhaite cette année élargir son spectre aux techniques et
outils complémentaires qui élèvent le niveau de qualité des logiciels
(systèmes d'aide à la preuve, réécriture, tests, démonstration
automatique, vérification).
Les JFLA réunissent concepteurs et utilisateurs dans un
cadre agréable facilitant la communication; ces journées ont pour
ambition de couvrir le domaine des langages applicatifs, en y incluant
les apports d'outils d'autres domaines qui autorisent la construction
de systèmes logiciels plus sûrs. L'enseignement de l'approche
fonctionnelle du développement logiciel (spécification, sémantiques,
programmation, compilation, certification) est également un sujet
concernant fortement les JFLA.
C'est pourquoi des contributions sur les thèmes suivants sont
particulièrement recherchées (liste non exclusive) :
- Langages fonctionnels : sémantique, compilation, optimisation,
mesures, tests, extensions par d'autres paradigmes de programmation.
- Spécification, prototypage, développements formels d'algorithmes.
- Utilisation industrielle des langages fonctionnels.
- Assistants de preuve : implémentation, nouvelles tactiques,
développements présentant un intéret technique ou méthodologique.
- Enseignement dans ses aspects liés à l'approche fonctionnelle
du développement.
Orateurs invités
----------------
Paul Caspi (VERIMAG).
Choukri Ben-Yellès (IUT Valence).
Comité de programme
-------------------
Thérèse Hardin, Président (LIP6, Université Pierre et Marie
Curie, Paris)
Pierre-Etienne Moreau, Vice-Président (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)
Soumission
----------
Date limite de soumission : 10 octobre 2005
Les soumissions doivent être soit rédigées en français, soit
présentées en français. Elles sont limitées à 15 pages A4. Le style
latex est imposé et se trouve sur le site WEB des journées à l'adresse
suivante :
http://jfla.inria.fr/2006/actes.sty
La soumission est uniquement électronique, selon la méthode détaillée
dans
http://jfla.inria.fr/2006/instructions-fra.html
Les soumissions sont à envoyer à la présidente du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA 2006'', à l'adresse
suivante :
jfla2006@loria.fr
Les intentions de soumission envoyées le plus tôt possible à l'adresse
ci-dessus seront les bienvenues.
Dates importantes
-----------------
10 octobre 2005 : Date limite de soumission
15 novembre 2005 : Notification aux auteurs
10 décembre 2005 : Remise des articles définitifs
15 janvier 2006 : Date limite d'inscription aux journées
28-31 janvier 2006 : Journées
Pour tout renseignement, contacter
----------------------------------
Marie-Françoise Loubressac
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2003)
Domaine de Voluceau - BP 105
78153 Le Chesnay Cedex
Tél.: +33 (0) 1 39 63 56 00 - Fax : +33 (0) 1 39 63 56 38
email : Marie-Francoise.Loubressac@inria.fr
http://jfla.inria.fr/2006/
reply other threads:[~2005-09-13 16:01 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=DCDE654D-25AF-4C4F-B13F-BC6B74112F22@lip6.fr \
--to=therese.hardin@lip6.fr \
--cc=caml-list@inria.fr \
--cc=coq-club@pauillac.inria.fr \
--cc=modulogic@modulogic.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).