caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] JFLA 2020 | Second appel à participation
@ 2019-12-17 20:48 zaynah dargaye
  0 siblings, 0 replies; only message in thread
From: zaynah dargaye @ 2019-12-17 20:48 UTC (permalink / raw)


[-- Attachment #1: Type: text/plain, Size: 2635 bytes --]

*Merci de faire circuler : second appel à participation *

            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 simple : 600 euros
- étudiant.e orateur.e, en chambre double : 0 euro


Nous espérons que vous serez nombreux à participer à ces journées.
Inscrivez-vous dès que possible !
En particulier, les étudiant.e.s orateur.e.s sont invité.e.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 février 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
   Théorie des types cubiques, égalité polymorphe ad hoc et paramétricité
itérée

Articles acceptés
-----------------
Le *programme détaillé* 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: 3676 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2019-12-17 20:49 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-12-17 20:48 [Caml-list] JFLA 2020 | Second appel à participation zaynah dargaye

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).