caml-list - the Caml user's mailing list
 help / color / Atom feed
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
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 --]

<div dir="ltr">*Merci de faire circuler : premier appel à communications *<br><br>            JFLA&#39;2020 (<a href="http://jfla.inria.fr/jfla2020.html">http://jfla.inria.fr/jfla2020.html</a>)<br><br>            Journées Francophones des Langages Applicatifs<br><br>            Gruissan -  du 29 janvier au 1 février 2020<br><br><br>Les inscriptions aux JFLA 2020 sont désormais ouvertes :<br><br>  <a href="https://secure.key4events.com/key4register/register.aspx?e=1146&amp;c=10712">https://secure.key4events.com/key4register/register.aspx?e=1146&amp;c=10712</a><br><br>Ces journées réunissent concepteurs, utilisateurs et théoriciens ; elles <br>ont pour ambition de couvrir les domaines des langages applicatifs, de <br>la preuve formelle, de la vérification de programmes, et des objets <br>mathématiques qui sous-tendent ces outils. Ces domaines doivent être <br>pris au sens large : nous souhaitons promouvoir les ponts entre les <br>différentes thématiques.<br><br>L&#39;inscription est un forfait qui comprend notamment l&#39;hébergement en <br>pension complète sur le site des journées :<br>- participant.e plein tarif, chambre single : 600 euros<br>- étudiant.e orateur.e : 0 euros<br><br><br>Nous espérons que vous serez nombreux à participer à ces journées.<br>Inscrivez-vous dès que possible !<br>En particulier, les étudiants orateurs sont invités à s&#39;inscrire, même <br>s&#39;ils ne paient pas grâce à nos sponsors.<br><br><br>Dates importantes<br>-----------------<br><br>8 janvier 2020 : date limite d&#39;inscription aux journées<br>29 janvier au 1er fevrier 2020 : journées<br><br>Cours invités<br>-------------<br>* Sylvain Conchon, LRI, Université Paris-Saclay<br>     &quot;Cubicle: Model Checking Modulo Théories&quot;<br><br>* Claire Dross, AdaCore<br>    &quot;SPARK 2014: La Preuve de Programme pour les Développeurs&quot;<br><br><br>Exposés invités<br>---------------<br>* Pierre-Évariste Dagand, CNRS, Inria, Sorbonne Université<br>   &quot;L&#39;expérience Usuba : un compilateur post-Moore&quot;<br><br>* Hugo Herbelin, INRIA Paris, IRIF<br>   Titre à venir <br><br>Articles acceptés<br>-----------------<br>La liste des papiers acceptés est disponible sur:<br>   <a href="http://jfla.inria.fr/jfla2020.html#programme">http://jfla.inria.fr/jfla2020.html#programme</a><br>  <br><br>Comité de programme<br>-------------------<br><br>Zaynah Dargaye, Nomadic Labs (présidente) <br>Yann Regis-Gianas, IRIF (vice-président)<br><br>Valentin Blot, Inria Saclay<br>Vincent Botbol, Nomadic Labs<br>Emmanuel Chailloux Lip6, Université Paris-Sorbonne<br>Delphine Demange, Inria Rennes-Bretagne Atlantique<br>Chantal Keller LRI, Université Paris-Sud<br>Marie Kerjean Inria Rennes-Bretagne Atlantique<br>Alain Mebsout, OCamlPro<br>Julien Narboux, ICube, Université de Strasbourg<br>Pierre-Marie Pédrot, Inria Rennes-Bretagne Atlantique<br>Marie Pelleau, université de Nice<br>Gabriel Scherer, Inria Saclay</div>

             reply index

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 publically 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

caml-list - the Caml user's mailing list

Archives are clonable:
	git clone --mirror http://inbox.vuxu.org/caml-list
	git clone --mirror https://inbox.ocaml.org/caml-list

Example config snippet for mirrors

Newsgroup available over NNTP:
	nntp://inbox.vuxu.org/vuxu.archive.caml-list


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git