From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B63417F62A for ; Wed, 11 May 2016 14:06:04 +0200 (CEST) IronPort-PHdr: 9a23:ffs8+BIMfZ8HooSMstmcpTZWNBhigK39O0sv0rFitYgVL/TxwZ3uMQTl6Ol3ixeRBMOAu6MC0rSd7/iocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC3oLuiavuo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFm0vb2rgHORhej4X4VU2Ne0kYZQluN0Bavb5PwvzCymON50y6cMIWifLQ1VC/kwa5vQxjuhQ8GMjc2tm/N3Ig4p6JBoQm9phV5i6XTZIaQPv02KqjdZ9IBWWtIWIBaUChGB4m7R5YKSecNIKBds9+uiUEJqE6VBROtH//uwzkArXjy2qgw1Kx1GgHc3Rc8HtsI9n/TqNLwPqA6TOXzwaXVizDfOaAFkQzh4ZTFJ0hy6cqHWqh9JI+MkEQ= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=chriscolombouom@gmail.com; spf=Pass smtp.mailfrom=chriscolombouom@gmail.com; spf=None smtp.helo=postmaster@mail-oi0-f67.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of chriscolombouom@gmail.com) identity=pra; client-ip=209.85.218.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chriscolombouom@gmail.com"; x-sender="chriscolombouom@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of chriscolombouom@gmail.com designates 209.85.218.67 as permitted sender) identity=mailfrom; client-ip=209.85.218.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chriscolombouom@gmail.com"; x-sender="chriscolombouom@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-oi0-f67.google.com) identity=helo; client-ip=209.85.218.67; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="chriscolombouom@gmail.com"; x-sender="postmaster@mail-oi0-f67.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CdAACkHzNXiEPaVdFdDoJegSF9BqhAjlqCDwENghqFbIE1BzgUAQEBAQEBAQERAQEBCAsLCR8xgi2CFwQPBAsGHQEkAQIBAQEPAwEMBRA3AiQSAQUBIgESGweHcwMPCA6aH4ExPjGLO4RCh18nDUSECQEBBAoFhhGDSRY8hExRglOCWQWNX4pIgS8nhCiIII8ZjgMSHoEOHgEBd4FDgTg9OjIBh0uBPgEBAQ X-IPAS-Result: A0CdAACkHzNXiEPaVdFdDoJegSF9BqhAjlqCDwENghqFbIE1BzgUAQEBAQEBAQERAQEBCAsLCR8xgi2CFwQPBAsGHQEkAQIBAQEPAwEMBRA3AiQSAQUBIgESGweHcwMPCA6aH4ExPjGLO4RCh18nDUSECQEBBAoFhhGDSRY8hExRglOCWQWNX4pIgS8nhCiIII8ZjgMSHoEOHgEBd4FDgTg9OjIBh0uBPgEBAQ X-IronPort-AV: E=Sophos;i="5.24,608,1454972400"; d="scan'208,217";a="217738648" Received: from mail-oi0-f67.google.com ([209.85.218.67]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 11 May 2016 14:05:41 +0200 Received: by mail-oi0-f67.google.com with SMTP id t140so3384365oie.0 for ; Wed, 11 May 2016 05:05:41 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to; bh=4AvTNaHvPgOg9CXTHgT4IO6bH6sK+/+3+8OKC5PhnN8=; b=KveybeA9d2fe0rJCFJjY/a8XksNJREiHWArPQ4qeFfHOccL1Eeyt6zZnsaQNJScS9m odL6CmMxV6RCdBVDqK1HHj2XY9cgBUfnKiOERKnnyGJa7uhoaik0JjOdXkkFxUnTXNkd 3315b1JWPXFQE13zSUBjrBW86Jnt0Zb2NpvmoaMKeGFia032kru6gCAFSFnXXVjezTUM o32ZstP6PyfdBwhoj3RMpYoLtEpKCaVd7lSr6YEuSsr/Ff37CHP3qMnkobcZ0SgC3WYL qsFDY4ZUaTPHFT07EXVioM5japUld/vEV7lzN7P6s/tQmsy5y3S6nniqJEq/VqRtpKt9 2Gww== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=um-edu-mt.20150623.gappssmtp.com; s=20150623; h=mime-version:sender:from:date:message-id:subject:to; bh=4AvTNaHvPgOg9CXTHgT4IO6bH6sK+/+3+8OKC5PhnN8=; b=fw39rmxadI9Ax5oyHcmRQMwcMnlJ4v+tgKgdqYLYvis9LjHtxZZxeN7R/9XG8CmmuT J+TUBUAxtYdHpOBdb0SO++9XIfI/16pjHIno4AR+93bSNO4B5o9hkAx9dH8G9Vl3AJsa qYNaSXYy1XcADlA39tB2XWb2QndXg/R4ur6aCH3PWHAB26cNhmQWUENSNd/8DZyVI0F/ a1f9DZBZ4lei8POnJZovehyohCNJ/ZmPWYqbgsUGio2zR3wHbpqkzFCaEIdI6THSEz1m hVle8mVJ6+H8anLwPNQhFRpruiWEDaXixw+qwIiNP6qpEKY5fF5kTSQaOJO4Fglscgqg dXBA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:sender:from:date:message-id:subject :to; bh=4AvTNaHvPgOg9CXTHgT4IO6bH6sK+/+3+8OKC5PhnN8=; b=QzRNzTRnjgZ4pMgrgO2870CWRyyZIXGAydZWQYTeApkzJJ1XP0qGGFo95r4e5NNiWB Fz18TTXba9GvFvJh8l0Uf17Qvc75PDA9bDX9A/yef14y5+GweoLsIGgtGzsW2bwBS8AV BzWV7LgIlylQC9wPAk9Njju9YMo7QuH+WMa/YosAGXsBo9r87bYMXm7GWGrzk5TUdTUs ILumkimvzCllM7ZahhMnr9I5jjwUy/izen9rxe0Bo4vmoEz6j/tT4Y/2zlmIy5fALRwv 4IHGvbRtYc4kpfd87ugWJA8Q3w2cADljSHlsPpef4lwIZ68usuzjmLAPv+vfnJ605l4f M6eA== X-Gm-Message-State: AOPr4FVNwf0BrAGTItkh/MrBbhhbz4BZJSzvwisfJxzMl12Dp8vZaQ9MAzNcrzU+R6kmcvOpjJLtRFiE/X8XNA== X-Received: by 10.202.55.198 with SMTP id e189mr1438535oia.85.1462968340442; Wed, 11 May 2016 05:05:40 -0700 (PDT) MIME-Version: 1.0 Sender: chriscolombouom@gmail.com Received: by 10.157.11.206 with HTTP; Wed, 11 May 2016 05:05:21 -0700 (PDT) From: Christian Colombo Date: Wed, 11 May 2016 14:05:21 +0200 X-Google-Sender-Auth: 7Qe8B8znEhcQXclrQUMYn8r4Pek Message-ID: To: Ylies Falcone , Christian Colombo Content-Type: multipart/alternative; boundary=001a113ceea63ffc1005328fdcc3 X-Validation-by: christian.colombo@um.edu.mt Subject: [Caml-list] Call for Participation: ARVI COST Summer School on Runtime Verification 2016 --001a113ceea63ffc1005328fdcc3 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Dear Colleagues, We are excited to announce the first edition of the ARVI COST Summer School on Runtime Verification: Branches of Practical Topics Rooted in Theory. As the name suggests, the summer school promises to provide a balance of theory and practice: In the theoretical aspect, while all the core concepts will be thoroughly covered, participants will also be exposed to cutting edge advances in the field. At the same time, the summer school will be very hands-on and students will follow up with practical work in the evenings so that by the end of the summer school, participants will have their own basic runtime verification (RV) tool. The summer school will be co-located with the 16th International Conference on Runtime Verification in Madrid and organised over three days with a series of lectures from international experts in the field. For Ph.D. students and researchers entering the field of RV, the school will be a great opportunity to get to know other people working in the area, to meet distinguished scholars, and to establish contacts that may lead to research collaborations in the future. For people coming from industry, the school will provide an exposition of the major challenges as well as possible solutions to the application of RV in industry, an exposition to the major tools, as well as the basics of RV tool-building. Topics: The basics of runtime verification Instrumentation techniques Specification languages Monitor parametrisation Monitoring concurrency errors Performance issues of monitors Combination of static and dynamic analysis Monitoring of distributed systems Time-triggered monitoring Confirmed Speakers: > Prof. Wolfgang Ahrendt =E2=80=93 Chalmers University of Technology and Un= iversity of Gothenburg (Sweden) > Prof. Ezio Bartocci =E2=80=93 University of Vienna (Austria). > Prof. Borzoo Bonakdarpour =E2=80=93 University of MacMaster (Canada). > Dr. Marius Bozga =E2=80=93 CNRS =E2=80=93 V=C3=A9rimag (France). > Dr. Christian Colombo =E2=80=93 University of Malta (Malta). > Dr. Yli=C3=A8s Falcone =E2=80=93 University of Grenoble (France). > Dr. Adrian Francalanza =E2=80=93 University of Malta (Malta). > Dr. Klaus Havelund =E2=80=93 NASA Jet Propulsion Laboratory (USA). > Prof. Martin Leucker =E2=80=93 University of L=C3=BCbeck (Germany). > Prof. Joao Louren=C3=A7o =E2=80=93 Universidade Nova de Lisboa (Portugal). > Prof. Dejan Nikovic Technical University of Vienna (Austria). > Prof. Gordon Pace =E2=80=93 University of Malta (Malta). > Dr. Giles Reger =E2=80=93 University of Manchester (UK). Fees: Registration fee is 195 euros for students and 245 euros for non-students. Registration includes lunches and coffee breaks from Friday 23rd through Sunday 25th September, as well as a reception. Application Procedure and Important Dates: Deadline for Applications: July 15, 2016. Response to Applicants: July 20, 2016. Online Registration and Fee payment: July 29, 2016. Since attendance is limited, priority will be given to Ph.D. students and companies' staff. To express your interest in participating in the Summer School, kindly fill in this form =2E More details can be found at: https://rv2016.imag.fr/?page_id=3D128. Enquiries can be sent to Ylies.Falcone@imag.fr or Christian.Colombo@um.edu.mt. Best Regards, Ylies Falcone and Christian Colombo --001a113ceea63ffc1005328fdcc3 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Dear= Colleagues,


We are excited to announce the first edition of the ARVI COST S= ummer School on Runtime Verification: Branches of Practical Topics Rooted i= n Theory. As the name suggests, the summer school promises to provide a bal= ance of theory and practice: In the theoretical aspect, while all the core = concepts will be thoroughly covered, participants will also be exposed to c= utting edge advances in the field. At the same time, the summer school will= be very hands-on and students will follow up with practical work in the ev= enings so that by the end of the summer school, participants will have thei= r own basic runtime verification (RV) tool. =C2=A0

The summer school will be co-= located with the 16th International Conference on Runtime Verification in M= adrid and organised over three days with a series of lectures from internat= ional experts in the field. For Ph.D. students and researchers entering the= field of RV, the school will be a great opportunity to get to know other p= eople working in the area, to meet distinguished scholars, and to establish= contacts that may lead to research collaborations in the future. For peopl= e coming from industry, the school will provide an exposition of the major = challenges as well as possible solutions to the application of RV in indust= ry, an exposition to the major tools, as well as the basics of RV tool-buil= ding.


Topics:


The basics of runtime verification

Instrumentation techniques=

Specificati= on languages

Monitor parametrisation

Monitoring concurrency errors

Performance issues of= monitors

Combination of static and dynamic analysis

Monitoring of distributed system= s

Tim= e-triggered monitoring


Confirmed Speakers:


= > Prof. Wolfgang Ahrendt =E2=80= =93 Chalmers University of Technology and University of Gothenburg (Sweden)=

>= Prof. Ezio Bartocci =E2=80=93 University of Vienna (Austria).

> Prof. Borzoo= Bonakdarpour =E2=80=93 University of MacMaster (Canada).

> Dr. Marius Bozga= =E2=80=93 CNRS =E2=80=93 V=C3=A9rimag (France).

> Dr. Christian Colombo =E2= =80=93 University of Malta (Malta).

> Dr. Yli=C3=A8s Falcone =E2=80=93 Univer= sity of Grenoble (France).

> Dr. Adrian Francalanza =E2=80=93 University of M= alta (Malta).

> Dr. Klaus Havelund =E2=80=93 NASA Jet Propulsion Laboratory (= USA).

> Prof. Martin Leucker =E2=80=93 University of L=C3=BCbeck (Germany).

> P= rof. Joao Louren=C3=A7o =E2=80=93 Universidade Nova de Lisboa (Portugal).

> P= rof. Dejan Nikovic Technical University of Vienna (Austria).

> Prof. Gordon P= ace =E2=80=93 University of Malta (Malta).

<= span style=3D"font-size:12.6667px;font-family:Arial;color:rgb(0,0,0);vertic= al-align:baseline;white-space:pre-wrap">> Dr. Giles Reger =E2=80=93 Univ= ersity of Manchester (UK).


Fees:


Registration fee is 195 euros for students a= nd 245 euros for non-students. Registration includes lunches and coffee bre= aks from Friday 23rd through Sunday 25th September, as well as a reception.= =C2=A0


Application Procedure and Important Dates:


Deadline for Applications:= July 15, 2016.

Response to Applicants: July 20, 2016.

Online Registration and Fee p= ayment: July 29, 2016.


Since attendance is limited, priority will be given t= o Ph.D. students and companies' staff.


To express your interest in parti= cipating in the Summer School, kindly fill in this form.

https://rv2016.imag.fr/?page_id=3D128.

Enquiries can be sent to = Ylies.Falcone@imag.fr o= r Christian.Colombo@um.edu.mt.


Best Regards,

Ylies Falcone and Christian Colombo
=
--001a113ceea63ffc1005328fdcc3--