caml-list - the Caml user's mailing list
 help / Atom feed
From: Nicolas Magaud <magaud@unistra.fr>
To: caml-list@inria.fr
Subject: [Caml-list] JFLA 2019 : 1er appel à participation
Date: Thu, 22 Nov 2018 14:42:26 +0100
Message-ID: <3256F515-E184-4512-98D3-BDC0ADCC69B4@unistra.fr> (raw)

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

*** Appel à participation, merci de diffuser largement ***

JFLA'2019 (https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/ <https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/>)

Journées Francophones des Langages Applicatifs

Les Rousses (Jura) du 30 janvier au samedi 2 février 2019


Les inscriptions aux JFLA 2019 sont désormais ouvertes :

https://cloud.agoraevent.fr/Site/158903/5261?Concept=1 <https://cloud.agoraevent.fr/Site/158903/5261?Concept=1>

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 plein tarif, chambre single : 600 euros
- étudiant : 300 euros
- étudiant orateur : 0 euros

Cette année, à l’occasion de la trentième édition des JFLA, nous aurons le plaisir d’accueillir les 3 plus gros contributeurs aux JFLA des 10 dernières années !

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

15 janvier 2019 : date limite d'inscription aux journées
30 janvier au 2 février 2019 : journées

Cours invités
---------------

* Guillaume Melquiond, Inria Saclay : Arithmétique des ordinateurs et preuves formelles.

* Pierre-Marie Pédrot, Inria Rennes-Bretagne-Atlantique : Des théories des types qui font de l'effet.

Exposés invités
------------------

* Ilaria Castellani, Inria Sophia-Antipolis Méditerranée : Types de session : état de l’art et perspectives.

* Pierre Courtieu, CNAM Paris : Les protocoles de déplacement de robots : l'algorithmique distribuée comme terrain de jeu pour la preuve formelle.


30 ans de JFLA (session spéciale avec les 3 plus gros contributeurs des 10 dernières éditions)
---------------------------------------------------------------------------------------------------------

* Jean-Christophe Filliâtre, LRI CNRS : Des arbres en partage

* Louis Mandel, IBM Research : Programmation Synchrone aux JFLA

* Alan Schmitt, INRIA Rennes Bretagne - Atlantique : Sémantiques Formelles et Certifiées

Articles acceptés
--------------------

La liste des papiers acceptés est disponible sur
https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/programme.html <https://dpt-info.u-strasbg.fr/~magaud/JFLA2019/programme.html>


Comité de programme
------------------------

Nicolas Magaud	ICube, Université de Strasbourg (président)
Zaynah Dargaye	CEA List (vice-présidente)
Guillaume Burel	ENSIIE
Evelyne Contejean	CNRS, Université Paris-Sud
Claire Dross	        Adacore
Guillaume Dufay	Prove & Run
Benjamin Grégoire	Inria Sophia-Antipolis Méditerranée
Sébastien Hinderer	Inria Paris
Marc Pouzet	        ENS
Yann Régis-Gianas	IRIF
Bernard Serpette	Inria Bordeaux Sud-Ouest
Mihaela Sighireanu	IRIF
Julien Tesson	        LACL

-- 
Nicolas Magaud, ICube UMR 7357 CNRS Université de Strasbourg
300 bd Sébastien Brant - CS 10413 - F-67412 Illkirch Cedex

-- 
Caml-list mailing list.  Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list https://inbox.ocaml.org/caml-list
Forum: https://discuss.ocaml.org/
Bug reports: http://caml.inria.fr/bin/caml-bugs

[-- Attachment #2: Type: text/html, Size: 8506 bytes --]

                 reply index

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

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=3256F515-E184-4512-98D3-BDC0ADCC69B4@unistra.fr \
    --to=magaud@unistra.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

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

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