* Participation JFLA
@ 2006-01-06 11:45 T.Hardin
0 siblings, 0 replies; only message in thread
From: T.Hardin @ 2006-01-06 11:45 UTC (permalink / raw)
To: caml-list, coq-club, modulogic
Cc: alp-diffusion, choukri.ben-yelles, Mark van den Brand
Bonjour,
Voici l'appel à participation aux JFLA 2006: http://jfla.inria.fr/
2006/index.html
Innovations 2006 : "COQ au Pauillac et aux Omégas" avec Pierre
Casteran, "FOCALiser sous les auspices de Zenon" avec D. Delahaye et
C. Morisset, des cours-présentations destinés à ceux qui n'ont jamais
manipulé ces langages ainsi qu'aux utilisateurs chevronnés. Nous
aurons également deux conférences invitées, l'une par Mark van den
Brand (CWI Amsterdam) sur "Les applications de la réécriture avec ASF
+SDF", l'autre par Choukri Ben-Yellès (IUT Valence) sur "Enseigner
Ocaml en IUT : pourquoi, comment?".
Une session de démonstrations d'outils a également été prévue. Pouvez-
vous envoyer vos propositions de démonstration à jfla2006@loria.fr.
Merci d'avance.
La communauté des JFLA souhaite s'ouvrir à toutes les approches de
spécification et de programmation rejoignant son souci de
développement de logiciels plus sûrs. C'est pourquoi nous aurons
également une présentation de l'activité de la communauté AFADL.
En espérant partager avec vous toute la richesse scientifique des
JFLA'06 ainsi que toutes les spécialités de la ville de Pauillac
(elles "méritent le détour"), dans l'ambiance traditionnellement
conviviale de ces Journées.
Très cordialement
Thérèse Hardin, Présidente du Comité de programme
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-01-06 11:45 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-01-06 11:45 Participation JFLA T.Hardin
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox