From: Jun PANG <pangjun-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org>
To: agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org,
appsem-LsC0HFERGYsdnm+yROfE0A@public.gmane.org,
caml-list-MZpvjPyXg2s@public.gmane.org,
categories-59hdLBrVOVU@public.gmane.org,
coalgebras-hXF0vsYojyLquOJu9mQKZg@public.gmane.org,
compunode-+P+vc6CWJaVg9hUCZPvPmw@public.gmane.org,
concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org,
coq-club@
Subject: Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications
Date: Mon, 17 May 2010 11:23:44 +0200 [thread overview]
Message-ID: <AANLkTik4NAmtRxT3vpT0XKrgQl22qus3ZPXyC4ydBpIw@mail.gmail.com> (raw)
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
****************************************************************
Summer School on Verification Technology, Systems & Applications
http://www.mpi-inf.mpg.de/VTSA10/
Application Deadline: 07/23/2010
Notification until: 08/06/2010
Summer School: 09/06/2010 - 09/10/2010
****************************************************************
A summer school on verification technology, systems and applications
will be organized by the Interdisciplinary Centre for Security,
Reliability and Trust at the University of Luxemburg, in cooperation
with the Max-Planck Institute für Informatik in Saarbrücken and the
INRIA research center in Nancy. The school will take place from
September 6th to 10th 2010 in Luxembourg.
The following speakers have accepted to give courses:
Javier Esparza: Building a Software Model-Checker
Wan Fokkink: Protocol Validation with mCRL
Marta Kwiatkowska: Probabilistic Model Checking
Markus Müller-Olm: Fundamentals of Software Model Checking
Wang Yi: Modeling and Analysis of Timed Systems
Participation is free (except for travel and accommodation costs) and
open to anybody holding at least a Bachelor degree (or equivalent) in
computer science. The number of participants is limited. Please apply
electronically by *July 23th, 2010* by sending
- a one-page CV,
- an application letter explaining your interest in the school and
your experience in the area,
- a copy of your bachelor certificate (or equivalent or higher)
to jun.pang@uni.lu.
For details please see the Web page of the school.
reply other threads:[~2010-05-17 9:23 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=AANLkTik4NAmtRxT3vpT0XKrgQl22qus3ZPXyC4ydBpIw@mail.gmail.com \
--to=pangjun-re5jqeeqqe8avxtiumwx3w@public.gmane.org \
--cc=agents-iAiprmkJuSSVc3sceRu5cw@public.gmane.org \
--cc=appsem-LsC0HFERGYsdnm+yROfE0A@public.gmane.org \
--cc=caml-list-MZpvjPyXg2s@public.gmane.org \
--cc=categories-59hdLBrVOVU@public.gmane.org \
--cc=coalgebras-hXF0vsYojyLquOJu9mQKZg@public.gmane.org \
--cc=compunode-+P+vc6CWJaVg9hUCZPvPmw@public.gmane.org \
--cc=concurrency-JX7+OpRa80RGWJATNv3lvGZHpeb/A1Y/@public.gmane.org \
/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;
as well as URLs for NNTP newsgroup(s).