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: discote...@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 _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs