From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=AWL,MAILTO_TO_SPAM_ADDR autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 4B0D7BC37 for ; Mon, 11 May 2009 05:28:15 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AjkDAFo4B0qB8Ao5mWdsb2JhbACNbwGJHwEBAQEBCAsKBxG1RII4gUYF X-IronPort-AV: E=Sophos;i="4.40,326,1238968800"; d="scan'208";a="25910870" Received: from mail-out1.uio.no ([129.240.10.57]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 11 May 2009 05:28:14 +0200 Received: from mail-mx1.uio.no ([129.240.10.29]) by mail-out1.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1M3MBZ-0000sa-U5 for caml-list@inria.fr; Mon, 11 May 2009 05:28:13 +0200 Received: from luke.ifi.uio.no ([129.240.64.200]) by mail-mx1.uio.no with esmtp (Exim 4.69) (envelope-from ) id 1M3MBZ-00063A-Jr for caml-list@inria.fr; Mon, 11 May 2009 05:28:13 +0200 Received: from msteffen by luke.ifi.uio.no with local (Exim 4.44) id 1M3MBZ-0001SI-HL for caml-list@inria.fr; Mon, 11 May 2009 05:28:13 +0200 To: caml-list@inria.fr Subject: Student grants available: Global Computing Tutorial Series Message-Id: From: Martin Steffen Date: Mon, 11 May 2009 05:28:13 +0200 X-UiO-Ratelimit-Test: rcpts/h 9 msgs/h 8 sum rcpts/h 11 sum msgs/h 8 total rcpts 161 max rcpts/h 23 ratelimit 0 X-UiO-Spam-info: not spam, SpamAssassin (score=-5.0, required=5.0, autolearn=disabled, UIO_MAIL_IS_INTERNAL=-5, uiobl=NO, uiouri=NO) X-UiO-Scanned: 44AF68E9030D7CC600941BDEC56E2BE264311458 X-UiO-SPAM-Test: remote_host: 129.240.64.200 spam_score: -49 maxlevel 80 minaction 2 bait 0 mail/h: 7 total 15271 max/h 471 blacklist 0 greylist 0 ratelimit 0 X-Spam: no; 0.00; barthe:01 drossopoulou:01 2009:98 2009:98 short:01 partially:02 fiadeiro:02 sophia:02 static:03 tutorials:03 tutorials:03 tutorial:03 tutorial:03 types:05 deadline:05 with DisCoTec 09, Lisbon, 9-11 June. A Global Computing Tutorial Series promoted by the Sensoria and Mobius European projects will be held together with DisCoTec'09 (9-11 June) in Lisbon. Research themes addressed by the Sensoria (http://www.sensoria-ist.eu/) and Mobius (http://mobius.inria.fr/) projects are centered on Service-oriented computing, Mobility, Ubiquity and Security. The Global Computing Tutorial Series is targeted to PhD students and young researchers working on subjects related to these research themes. All DisCoTec'09 participants can attend the tutorial series and grants to attend DisCoTec'09 and the tutorials are offered to students. For more information see: http://discotec09.di.fc.ul.pt/index.php?title=Tutorials/Tutorials Lectures: --------- - Gilles Barthe, "Verification Methods for Software Security and Correctness" (Mobius) - Sophia Drossopoulou, "Types for Alias Control and Verification" (Mobius) - Jose Luiz Fiadeiro, "A Formal Approach to Service-Oriented Modelling" (Sensoria) - Flemming Nielson, "Static Security Analysis of Service-Oriented Systems" (Sensoria) Grants: ------- A limited number of grants is offered to applying participants. Grant money partially covers DisCoTec'09 registration fees as well as part of local and travel expenses (depending on the funds available and the number of applications). Applications must include a short cv, and recommendation letters from sen ior researchers. Applications by email to: discotec09@di.fc.ul.pt. Important Dates: ---------------- Grant application deadline: 17 May 2009 Notification of grant decisions: 20 May 2009 Early registration deadline: 27 May 2009 ** ONLY FOR STUDENTS APPLYING TO GRANTS ** Tutorials: 9-11 June 2009