From: zaynah dargaye <zaydargaye@gmail.com>
To: caml-list@inria.fr
Subject: [Caml-list] jfla 2020 | 1er appel à communication
Date: Mon, 25 Nov 2019 00:53:09 +0100 [thread overview]
Message-ID: <CAJy=5mEi9jNZiH4qkGSiUb+XVwUtfJSqP18aYFfjipEqBmZQ5g@mail.gmail.com> (raw)
[-- Attachment #1: Type: text/plain, Size: 2538 bytes --]
*Merci de faire circuler : premier appel à communications *
JFLA'2020 (http://jfla.inria.fr/jfla2020.html)
Journées Francophones des Langages Applicatifs
Gruissan - du 29 janvier au 1 février 2020
Les inscriptions aux JFLA 2020 sont désormais ouvertes :
https://secure.key4events.com/key4register/register.aspx?e=1146&c=10712
Ces journées réunissent concepteurs, utilisateurs et théoriciens ; elles
ont pour ambition de couvrir les domaines des langages applicatifs, de
la preuve formelle, de la vérification de programmes, et des objets
mathématiques qui sous-tendent ces outils. Ces domaines doivent être
pris au sens large : nous souhaitons promouvoir les ponts entre les
différentes thématiques.
L'inscription est un forfait qui comprend notamment l'hébergement en
pension complète sur le site des journées :
- participant.e plein tarif, chambre single : 600 euros
- étudiant.e orateur.e : 0 euros
Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible !
En particulier, les étudiants orateurs sont invités à s'inscrire, même
s'ils ne paient pas grâce à nos sponsors.
Dates importantes
-----------------
8 janvier 2020 : date limite d'inscription aux journées
29 janvier au 1er fevrier 2020 : journées
Cours invités
-------------
* Sylvain Conchon, LRI, Université Paris-Saclay
"Cubicle: Model Checking Modulo Théories"
* Claire Dross, AdaCore
"SPARK 2014: La Preuve de Programme pour les Développeurs"
Exposés invités
---------------
* Pierre-Évariste Dagand, CNRS, Inria, Sorbonne Université
"L'expérience Usuba : un compilateur post-Moore"
* Hugo Herbelin, INRIA Paris, IRIF
Titre à venir
Articles acceptés
-----------------
La liste des papiers acceptés est disponible sur:
http://jfla.inria.fr/jfla2020.html#programme
Comité de programme
-------------------
Zaynah Dargaye, Nomadic Labs (présidente)
Yann Regis-Gianas, IRIF (vice-président)
Valentin Blot, Inria Saclay
Vincent Botbol, Nomadic Labs
Emmanuel Chailloux Lip6, Université Paris-Sorbonne
Delphine Demange, Inria Rennes-Bretagne Atlantique
Chantal Keller LRI, Université Paris-Sud
Marie Kerjean Inria Rennes-Bretagne Atlantique
Alain Mebsout, OCamlPro
Julien Narboux, ICube, Université de Strasbourg
Pierre-Marie Pédrot, Inria Rennes-Bretagne Atlantique
Marie Pelleau, université de Nice
Gabriel Scherer, Inria Saclay
[-- Attachment #2: Type: text/html, Size: 3016 bytes --]
next reply other threads:[~2019-11-24 23:53 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-11-24 23:53 zaynah dargaye [this message]
-- strict thread matches above, loose matches on Subject: below --
2019-07-10 9:58 [Caml-list] JFLA 2020 : " Zaynah
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='CAJy=5mEi9jNZiH4qkGSiUb+XVwUtfJSqP18aYFfjipEqBmZQ5g@mail.gmail.com' \
--to=zaydargaye@gmail.com \
--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).