From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7B2807F726 for ; Mon, 5 May 2014 10:02:09 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.97,986,1389740400"; d="scan'208";a="72109055" Received: from top-wifi.irisa.fr (HELO top.local) ([131.254.66.192]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 05 May 2014 10:02:09 +0200 From: Alan Schmitt To: OCaml Mailing List Date: Mon, 05 May 2014 09:57:53 +0200 Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (darwin) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Subject: [Caml-list] Second call for participation: summer school on programming techniques (EJCP 2014) (French version below) =C3=89COLE 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 Verifi= cation | |------+-------------------------------------------+-----------------------= ---------------------------| | 16 | To be determined | Parallel program calcu= lation in Coq | | | (Jean-Raymond Abrial) | (Fr=C3=A9d=C3=A9ric Lo= ulergue) | | 17 | Services and Component Based computing | Programming with Depen= dent Types | | | (Lionel Seinturier) | (Ulf Norell) = | | 18 | Model-based Test Generation | Programming the Diffus= e Web | | | (Bruno Legeard) | (Manuel Serrano) = | | 19 | Empirical Studies in Software Engineering | Programming and Provin= g : Practice with FoCaLiZe | | | (Houari Sahraoui) | (Fran=C3=A7ois Pessaux= ) | | 20 | Compilation, Optimization, Debug methods | Computer-aided cryptog= raphic 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: =C3=89COLE JEUNES CHERCHEURS EN PROGRAMMATION 2014 Rennes, 16 juin - 20 juin 2014. Organisateurs: Olivier Barais, Thomas Jensen et Alan Schmitt. *Nouveau* Nous proposons d=C3=A9sormais un tarif sans h=C3=A9bergement pour= les participants locaux. L'=C3=89cole Jeunes Chercheurs en Programmation se d=C3=A9roulera cette ann= =C3=A9e du 16 au 20 juin, =C3=A0 Rennes. Cette =C3=A9cole s'adresse particuli=C3=A8rem= ent aux =C3=A9tudiants en 1=C3=A8re ann=C3=A9e de th=C3=A8se, mais les autres docto= rants ou chercheurs sont bien entendu bienvenus. Les inscriptions sont d=C3=A9sormais ouvertes sur le site de l'=C3=A9cole: http://ejcp2014.inria.fr/ (lien direct pour l'inscription en ligne, qui est la m=C3=A9thode d'inscription recommand=C3=A9e: http://registration.gipco-adns.com/site/2784/EJCP+2014-In= scription). Nous proposons deux parcours cette ann=C3=A9e : un sur l'ing=C3=A9nierie lo= gicielle et un sur la programmation et v=C3=A9rification. Les =C3=A9tudiants pourront choisir librement les cours qu'ils souhaitent suivre parmi ces parcours. La plupart des cours seront associ=C3=A9s =C3=A0 des travaux pratiques. Les= cours pourront =C3=AAtre donn=C3=A9s en anglais. Le programme de l'=C3=A9cole est le suivant. | Date | Ing=C3=A9ni=C3=A9rie Logicielle | Programmatio= n et V=C3=A9rification | |------+-------------------------------------------+-----------------------= ---------------------------| | 16 | To be determined | Parallel program calcu= lation in Coq | | | (Jean-Raymond Abrial) | (Fr=C3=A9d=C3=A9ric Lo= ulergue) | | 17 | Services and Component Based computing | Programming with Depen= dent Types | | | (Lionel Seinturier) | (Ulf Norell) = | | 18 | Model-based Test Generation | Programming the Diffus= e Web | | | (Bruno Legeard) | (Manuel Serrano) = | | 19 | Empirical Studies in Software Engineering | Programming and Provin= g : Practice with FoCaLiZe | | | (Houari Sahraoui) | (Fran=C3=A7ois Pessaux= ) | | 20 | Compilation, Optimization, Debug methods | Computer-aided cryptog= raphic proofs | | | (Florent Bouchez, Christophe Guillon) | (Gilles Barthe) = | La date limite d'inscription est le 16 mai 2014. N'h=C3=A9sitez surtout pas =C3=A0 diffuser ce message aupr=C3=A8s du public potentiellement int=C3=A9r= ess=C3=A9, en particulier les doctorants de 1=C3=A8re ann=C3=A9e dans l'une des th=C3=A9m= atiques de l'=C3=A9cole. Bien cordialement, Alan Schmitt