[TYPES/announce] Student grants available: Global Computing Tutorial Series
Martin Steffen
msteffen at ifi.uio.no
Sun May 10 23:27:13 EDT 2009
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 at 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
More information about the Types-announce
mailing list