From: Martin Steffen <msteffen@ifi.uio.no>
To: caml-list@inria.fr
Subject: Student grants available: Global Computing Tutorial Series
Date: Mon, 11 May 2009 05:28:13 +0200 [thread overview]
Message-ID: <E1M3MBZ-0001SI-HL@luke.ifi.uio.no> (raw)
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
reply other threads:[~2009-05-11 3:28 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1M3MBZ-0001SI-HL@luke.ifi.uio.no \
--to=msteffen@ifi.uio.no \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox