From: Alan Schmitt <alan.schmitt@polytechnique.org>
To: "caml-list\@inria.fr" <caml-list@inria.fr>
Subject: [Caml-list] appel à participation, École Jeunes Chercheurs en Programmation (EJCP), 22/05-31/05
Date: Mon, 04 Mar 2013 15:12:15 +0100 [thread overview]
Message-ID: <m2ppzf1cg0.fsf@top.irisa.fr> (raw)
(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
reply other threads:[~2013-03-04 14:12 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
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=m2ppzf1cg0.fsf@top.irisa.fr \
--to=alan.schmitt@polytechnique.org \
--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).