From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
To: Ocaml Mailing List <caml-list@inria.fr>
Subject: [Caml-list] EJCP 2018 - Appel à participation
Date: Wed, 2 May 2018 10:32:46 +0200 [thread overview]
Message-ID: <5AE977AE.4000905@lri.fr> (raw)
ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2018
https://ejcp2018.sciencesconf.org/
Lyon, 25-29 juin 2018
Organisateurs : Pierre Clairambault , Jean-Christophe Filliâtre, Laure
Gonnord, Daniel Hirschkoff, Laetitia Lecot, Nathalie Revol
L'École Jeunes Chercheurs en Programmation se déroulera cette année du
25 au 29 juin 2018, à Lyon. Cette école s'adresse particulièrement
aux étudiants en 1ère année de thèse, mais les autres doctorants ou
chercheurs sont également les bienvenus.
L'EJCP propose un parcours unique, mélangeant les thématiques
"Ingénierie Logicielle" et "Programmation et Vérification". Certains
cours seront donnés en français, d'autres en anglais. Le matériel
pédagogique (supports de cours, transparents) sera en anglais.
Certains cours seront associés à des travaux pratiques.
Le programme de l'école est le suivant :
- Stéphanie Delaune
Verification of security protocols: from confidentiality to privacy
- Matthieu Sozeau
Introduction to Type Theory & Interactive Theorem Proving in Coq
- Virgile Prevosto
Interprétation abstraite et propriétés de programmes C
- Andrei Paskevich
Deductive Program Verification with Why3
- Xavier Blanc
Étude Empirique En Génie Logiciel - Application sur GitHub et Alexa
- Charlotte Truchet
Introduction à la programmation par contraintes
- Julia Lawall
Coccinelle: Practical program transformation for the Linux kernel
- Mathieu Acher
Software Variability and Artificial Intelligence
Les frais d'inscription s'élèvent à 280 euros (incluant hébergement,
repas, une visite, une réception) et 120 euros pour les lyonnais
(sans hébergement).
Les inscriptions sont ouvertes. Les participants sont invités à
s'inscrire rapidement, notamment s'ils souhaitent bénéficier d'un
hébergement en chambre simple. La date limite d'inscription est fixée
au 11 juin 2018.
N'hésitez pas à diffuser ce message autour de vous.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
next reply other threads:[~2018-05-02 8:33 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-05-02 8:32 Jean-Christophe Filliatre [this message]
-- strict thread matches above, loose matches on Subject: below --
2018-03-16 7:15 Jean-Christophe Filliatre
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=5AE977AE.4000905@lri.fr \
--to=jean-christophe.filliatre@lri.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
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).