(French version below) ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2014
Rennes, June 16 - June 20, 2014. Organization: Olivier Barais, Thomas Jensen, and Alan Schmitt. *New* We now propose a registration fee with no accommodations for local participants. 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. Best regards, Alan Schmitt French version: ÉCOLE JEUNES CHERCHEURS EN PROGRAMMATION 2014 Rennes, 16 juin - 20 juin 2014. Organisateurs: Olivier Barais, Thomas Jensen et Alan Schmitt. *Nouveau* Nous proposons désormais un tarif sans hébergement pour les participants locaux. 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 _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/why3-club
