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 851627F30A for ; Mon, 4 Mar 2013 15:12:16 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.84,779,1355094000"; d="scan'208";a="5408368" Received: from top.irisa.fr ([131.254.16.41]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 04 Mar 2013 15:12:16 +0100 From: Alan Schmitt To: "caml-list\@inria.fr" User-agent: mu4e 0.9.9.5-dev6; emacs 24.2.1 Date: Mon, 04 Mar 2013 15:12:15 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Subject: [Caml-list] =?UTF-8?Q?appel_=C3=A0_participation=2C_=C3=89cole_Je?= =?UTF-8?Q?unes_Chercheurs_en_Programmation_=28EJCP=29=2C_22/05-31/05?= (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