* [Caml-list] Call for participation: summer school on programming techniques (EJCP 2014)
@ 2014-04-01 10:07 Alan Schmitt
0 siblings, 0 replies; only message in thread
From: Alan Schmitt @ 2014-04-01 10:07 UTC (permalink / raw)
To: OCaml Mailing List
(French version below)
ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2014
Rennes, June 16 - June 20, 2014.
Organization: Olivier Barais, Thomas Jensen, and Alan Schmitt.
The summer school for young researchers in programming will take place
from the 16th to the 20th of May, in Rennes. This school is
mainly for first year PhD students, but other PhD students and
researchers are of course welcome to attend. It is now possible to
register through the school web site at http://ejcp2014.inria.fr/
(direct link for online registration, which is preferred:
http://registration.gipco-adns.com/site/2784/EJCP+2014-Inscription).
The school offers two tracks this year: one on software engineering, the
other on programming and verification. Students will be able to choose
which courses they want to take from each track. Most courses will also
include lab sessions. The courses will be given in English if requested.
The program of the school is as follows.
| Date | Software Engineering | Programming and Verification |
|------+-------------------------------------------+--------------------------------------------------|
| 16 | To be determined | Parallel program calculation in Coq |
| | (Jean-Raymond Abrial) | (Frédéric Loulergue) |
| 17 | Services and Component Based computing | Programming with Dependent Types |
| | (Lionel Seinturier) | (Ulf Norell) |
| 18 | Model-based Test Generation | Programming the Diffuse Web |
| | (Bruno Legeard) | (Manuel Serrano) |
| 19 | Empirical Studies in Software Engineering | Programming and Proving : Practice with FoCaLiZe |
| | (Houari Sahraoui) | (François Pessaux) |
| 20 | Compilation, Optimization, Debug methods | Computer-aided cryptographic proofs |
| | (Florent Bouchez, Christophe Guillon) | (Gilles Barthe) |
The registration deadline is set to May 16th, 2014. Do not hesitate to
forward this message to anybody who may be interested, in particular 1st
year PhD students doing research in the areas of this school.
French version:
ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2014
Rennes, 16 juin - 20 juin 2014.
Organisateurs: Olivier Barais, Thomas Jensen et Alan Schmitt.
L'École Jeunes Chercheurs en Programmation se déroulera cette année du
16 au 20 juin, à Rennes. Cette école s'adresse particulièrement aux
étudiants en 1ère année de thèse, mais les autres doctorants ou
chercheurs sont bien entendu bienvenus. Les inscriptions sont désormais
ouvertes sur le site de l'école: http://ejcp2014.inria.fr/ (lien direct
pour l'inscription en ligne, qui est la méthode d'inscription
recommandée: http://registration.gipco-adns.com/site/2784/EJCP+2014-Inscription).
Nous proposons deux parcours cette année : un sur l'ingénierie logicielle
et un sur la programmation et vérification. Les étudiants pourront
choisir librement les cours qu'ils souhaitent suivre parmi ces parcours.
La plupart des cours seront associés à des travaux pratiques. Les cours
pourront être donnés en anglais.
Le programme de l'école est le suivant.
| Date | Ingéniérie Logicielle | Programmation et Vérification |
|------+-------------------------------------------+--------------------------------------------------|
| 16 | To be determined | Parallel program calculation in Coq |
| | (Jean-Raymond Abrial) | (Frédéric Loulergue) |
| 17 | Services and Component Based computing | Programming with Dependent Types |
| | (Lionel Seinturier) | (Ulf Norell) |
| 18 | Model-based Test Generation | Programming the Diffuse Web |
| | (Bruno Legeard) | (Manuel Serrano) |
| 19 | Empirical Studies in Software Engineering | Programming and Proving : Practice with FoCaLiZe |
| | (Houari Sahraoui) | (François Pessaux) |
| 20 | Compilation, Optimization, Debug methods | Computer-aided cryptographic proofs |
| | (Florent Bouchez, Christophe Guillon) | (Gilles Barthe) |
La date limite d'inscription est le 16 mai 2014. N'hésitez surtout pas
à diffuser ce message auprès du public potentiellement intéressé, en
particulier les doctorants de 1ère année dans l'une des thématiques de
l'école.
Bien cordialement,
Alan Schmitt
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2014-04-01 10:11 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2014-04-01 10:07 [Caml-list] Call for participation: summer school on programming techniques (EJCP 2014) Alan Schmitt
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).