From: Valerie Menissier Morain <Valerie.Menissier-Morain@lip6.fr>
To: caml-list@inria.fr
Subject: [Caml-list] CFP: Call for papers * JFLA 2004 * Premier appel a communications
Date: Thu, 19 Jun 2003 17:04:17 +0200 [thread overview]
Message-ID: <20030619170417.A3508@calfor.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
JFLA2004
Journées Francophones des Langages Applicatifs
Organisées par l'INRIA
26 et 27 janvier 2004
JFLA'2004 est la quinzième conférence francophone organisée autour
des langages applicatifs et les techniques de certification basées
sur la démonstration.
Ces nouvelles journées se tiendront les 26 et 27 janvier 2004.
Elles auront lieu à la mer à Sainte-Marie-de-Ré (Charente-Maritime).
Les JFLA ont pour ambition de couvrir le domaine des langages
applicatifs et les techniques de certification, en réunissant
concepteurs et utilisateurs dans un cadre sympathique.
Les thèmes principaux des JFLA sont traditionnellement la théorie et
les applications pratiques des langages applicatifs; de plus, la
conférence confirme son intérêt pour les systèmes d'assistance à la
démonstration de théorèmes et l'enseignement de la programmation.
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.
- Programmation applicative et enseignement de la programmation.
Orateurs invités
----------------
Jean Goubault-Larrecq (LSV, Ens Cachan)
Xavier Leroy (INRIA Rocquencourt)
Comité de programme
-------------------
Valérie Ménissier-Morain, Présidente (LIP6, Université Pierre et Marie Curie)
Sylvain Boulmé (LSR, INPG)
Claude Feliot (ALSTOM TRANSPORT)
Pascal Fradet (projet Lande, IRISA)
Hugo Herbelin (projet Logical, INRIA Futurs)
Michel Mauny (projet Cristal, INRIA Rocquencourt)
Olivier Michel (LAMI, Université Évry-Val d'Essonne)
Marc Pantel (LIMA, ENSEEIHT)
Laurent Théry (projet Lemme, INRIA Sophia-Antipolis)
Olivier Zendra (projet DESIGN, INRIA-Lorraine/LORIA)
Soumission
----------
Date limite de soumission : 3 octobre 2003
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://pauillac.inria.fr/jfla/2004/actes.sty
La soumission est uniquement électronique, selon la méthode détaillée dans
http://pauillac.inria.fr/jfla/2004/instructions-fra.html
Les soumissions sont à envoyer à la présidente du comité de programme,
avec pour titre de votre message ``SOUMISSION JFLA'', à l'adresse
suivante :
Valerie.Menissier-Morain@lip6.fr
Les intentions de soumission envoyées le plus tôt possible à l'adresse
ci-dessus seront les bienvenues.
Dates importantes
-----------------
3 octobre 2003 : Date limite de soumission
14 novembre 2003 : Notification aux auteurs
08 décembre 2003 : Remise des articles définitifs
26 et 27 janvier 2004 : Journées
Pour tout renseignement, contacter
----------------------------------
INRIA Rocquencourt
Bureau des Cours et Colloques (JFLA2004)
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
email : symposia@inria.fr
http://pauillac.inria.fr/jfla/2004
--
Valérie Ménissier-Morain Email: Valerie.Menissier@lip6.fr
Laboratory: Laboratoire d'Informatique de Paris 6 Thema: CALFOR
Université Pierre et Marie Curie - 4, Place Jussieu - F-75252 Paris 05
Tel.: 33 1 44 27 87 35 Fax: 33 1 44 27 88 78
Url: http://www-calfor.lip6.fr/~vmm/
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
reply other threads:[~2003-06-19 15:04 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=20030619170417.A3508@calfor.lip6.fr \
--to=valerie.menissier-morain@lip6.fr \
--cc=caml-list@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).