[Caml-list] appel à participation, École Jeunes Chercheurs en Programmation (EJCP), 22/05-31/05

[Caml-list] appel à participation, École Jeunes Chercheurs en Programmation (EJCP), 22/05-31/05

[Alan Schmitt]

(English version below.)

ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2013

Dinard puis Rennes, 22 mai - 31 mai 2013.
Organisateurs: Thomas Jensen et Alan Schmitt.

L'École Jeunes Chercheurs en Programmation se déroulera cette année du
22 au 31 mai à Dinard et à 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://ejcp2013.inria.fr/ (lien direct pour l'inscription en ligne, qui
est la méthode d'inscription recommandée:
http://registration.net-resa.com/gnetresa/wa/newParticipant?idevt=1301&profil=3058).

Cette année, la plupart des cours seront associés à des travaux
pratiques, comme indiqué dans le programme ci-dessous. Les étudiants
non-francophones pourront participer: les cours pourront être donnés en
anglais.

Le programme de l'école est le suivant.

| date | titre                                          | intervenant      | TP  |
|------+------------------------------------------------+------------------+-----|
|   23 | Vérification déductive de programmes           | Jean-Christophe  | X   |
|      | avec Why3                                      | Filliâtre        |     |
|   24 | Une ballade dans un langage reflexif:          | Stéphane Ducasse | X   |
|      | Pharo                                          |                  |     |
|   25 | Static program analysis                        | Thomas Jensen    |     |
|   25 | présentations étudiants                        |                  |     |
|   27 | Scala, un mariage pour tous :                  | Jacques Noyé     | X   |
|      | classes/objets, fonctions et acteurs           |                  |     |
|   28 | Coq, de la théorie à la pratique               | Damien Pous      | X   |
|   29 | Generative, Compositional Software Development | Bernhard Rumpe   | X   |
|   30 | La programmation du Web diffus.                | Manuel Serrano   | X   |
|   31 | Les protocoles de sécurité:                    | Steve Kremer     |     |
|      | modélisation et vérification                   |                  |     |

La date limite d'inscription est le 19 avril. 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



ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2013

Dinard then Rennes, 22 mai - 31 may 2013.
Organisation: Thomas Jensen and Alan Schmitt.

The summer school for young researchers in programming will take place
from the 22nd to the 31st of May, in Dinard and 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://ejcp2013.inria.fr/
(direct link for online registration, which is preferred:
http://registration.net-resa.com/gnetresa/wa/newParticipant?idevt=1301&profil=3058).

This year, most courses will also include lab sessions, as indicated in
the program. Students who do not speak French may also attend: the
courses will be given in English if requested.

The program of the school is as follows:

| date | titre                                          | intervenant      | lab |
|------+------------------------------------------------+------------------+-----|
|   23 | Deductive verification of programs             | Jean-Christophe  | X   |
|      | with Why3                                      | Filliâtre        |     |
|   24 | A stroll through a reflexive language:         | Stéphane Ducasse | X   |
|      | Pharo                                          |                  |     |
|   25 | Static program analysis                        | Thomas Jensen    |     |
|   25 | Students presentations                         |                  |     |
|   27 | Scala, an equal marriage :                     | Jacques Noyé     | X   |
|      | classes/objects, functions and actors          |                  |     |
|   28 | Coq, from theory to practice                   | Damien Pous      | X   |
|   29 | Generative, Compositional Software Development | Bernhard Rumpe   | X   |
|   30 | Programming the diffuse web                    | Manuel Serrano   | X   |
|   31 | Security protocols:                            | Steve Kremer     |     |
|      | modelization and verification                  |                  |     |

The registration deadline is set to April 19th. 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.

Best,

Alan Schmitt