From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 9C145BBAF for ; Mon, 17 May 2010 11:24:12 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloHAIeo8EvRVaE2imdsb2JhbACDFppfCBUBAQETDBgIGqtPOYIAhFEuiE4BAQMFgSCDAWoEhFyKYA X-IronPort-AV: E=Sophos;i="4.53,247,1272837600"; d="scan'208";a="62928758" Received: from mail-fx0-f54.google.com ([209.85.161.54]) by mail4-smtp-sop.national.inria.fr with ESMTP; 17 May 2010 11:23:48 +0200 Received: by fxm19 with SMTP id 19so592369fxm.27 for ; Mon, 17 May 2010 02:23:48 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:date:message-id :subject:from:to:content-type:content-transfer-encoding; bh=nBErJTQK5IJSljG0LPwgcs0VLrufBaocEBql+eFHAN8=; b=gyeHmASO2fv1I8toKIyWY46uKEarQh6ALY7JGZc+X1Vwwh3ubNGoUR64ilN4EwOoEu lYpZuRkR4nXQuXdxAU2EvS5xASdaa7uzy5fHYOCxB4adulVwcoJUuinsLIk+FkmF9U6U PP34PwBHPr7i0r+N2pLvO8ge3pfcvPMg0hUQM= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type :content-transfer-encoding; b=h+tjDgIJBoh/hYh5db1HbpUcFiyiZQw5Cl5Xvghlqd66Ftbx6e+KVu3Glj7CSjXo3S i1zwgXhrXMTmhbTbrRvLqrrwbB6YqGrD5HVvLtStnLnaSyhZOMRf3sOtyranr+si1/9G y0B4NNLEjVJAx3UTQ6ybXVa5vqfqMRH0qHaOg= MIME-Version: 1.0 Received: by 10.204.11.18 with SMTP id r18mr24839bkr.55.1274088224257; Mon, 17 May 2010 02:23:44 -0700 (PDT) Received: by 10.204.67.194 with HTTP; Mon, 17 May 2010 02:23:44 -0700 (PDT) Date: Mon, 17 May 2010 11:23:44 +0200 Message-ID: Subject: Call for participation: VTSA 2010 Summer School on Verification Technology, Systems & Applications From: Jun PANG To: agents@cs.umbc.edu, appsem@appsem.org, caml-list@inria.fr, categories@mta.ca, coalgebras@iti.cs.tu-bs.de, compunode@compulog.org, concurrency@listserver.tue.nl, coq-club@pauillac.inria.fr, eacsl@dimi.uniud.it, eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, emsoft@cs.columbia.edu, fmics@inrialpes.fr, formal-methods@cs.uidaho.edu, isabelle-users@cl.cam.ac.uk, lics@informatik.hu-berlin.de, list@prooftheory.org, logic-announce@uclink4.berkeley.edu, logic-list@cs.rice.edu, logic-list@helsinki.fi, lotos-world@site.uottawa.ca, mailinglist@fmeurope.org, memocode@cs.columbia.edu, moca-announce@list.it.uu.se, papm@informatics.ed.ac.uk, performance@merlot.usc.edu, petrinet@informatik.uni-hamburg.de, prog-lang@diku.dk, puml-list@cs.york.ac.uk, pvs@csl.sri.com, qest-announce@iti.uiuc.edu, seworld@sigsoft.org, softverf@nist.gov, theorem-provers@ai.mit.edu, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, types-announce@lists.seas.upenn.edu Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Spam: no; 0.00; kwiatkowska:01 model:01 markus:01 model:01 pang:98 mpg:98 pang:98 organized:02 checking:02 checking:02 center:95 deadline:05 inria:06 institute:07 informatik:07 **************************************************************** 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=C3=BCr Informatik in Saarbr=C3=BCcken and t= he 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=C3=BCller-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.