[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] Student grants available: Global Computing Tutorial Series

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

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


- 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"


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 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
Tutorials:	 9-11 June 2009