[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