Call for participation: summer school on programming techniques (EJCP 2013)

ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2013

Dinard then Rennes, 22 mai - 31 may 2013.
Organization: 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 | title                                          | speaker          | 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

__________________________________________________
Announce mailing list    -    [email protected]

To unsubscribe and change options, go to:
http://aosd.net/mailman/listinfo/announce_aosd.net

Check out the AOSD.net Wiki: http://aosd.net/wiki