From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2C1BA7FA5C for ; Tue, 21 Jun 2016 13:37:22 +0200 (CEST) IronPort-PHdr: 9a23:OnQGNRDi+VzQr2+LKHyBUyQJP3N1i/DPJgcQr6AfoPdwSP/+r8bcNUDSrc9gkEXOFd2CrakV06yO6+u5AyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JXvkbjqsMSJKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ7djgTYVQaE+lcbV2wXlFIIX1mEv1nGWcLAtir3raJT0S2ROsv7BeQFXTWv9OFFQRvjjyEKHz88+W6RhNYmyOpwoAigvAB+yoicS4aRM/90eeuJdtMARHFdX89XESdGBoS5ZYwnEu9HMOpF6Yzh8Qggtxy7UCKsHuL01j5BgDfd2qk91u4mWVXN3BYhBM4PuXKSp9LxM6IYVsioye/FwSiFau8AimS105TBbh10+aLEZrl3a8eEjBR2Gg== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=chriscolombouom@gmail.com; spf=Pass smtp.mailfrom=chriscolombouom@gmail.com; spf=None smtp.helo=postmaster@mail-ob0-f194.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of chriscolombouom@gmail.com) identity=pra; client-ip=209.85.214.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="chriscolombouom@gmail.com"; x-sender="chriscolombouom@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of chriscolombouom@gmail.com designates 209.85.214.194 as permitted sender) identity=mailfrom; client-ip=209.85.214.194; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f194.google.com) identity=helo; client-ip=209.85.214.194; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="chriscolombouom@gmail.com"; x-sender="postmaster@mail-ob0-f194.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DoAQB9JmlXhsLWVdFdDoJigSR9BqlajwiEIAEMhXOBLgc8EAEBAQEBAQEBEQEBAQgLCwkhL4IxghwEDwQRHQEkAQIBAQEPAwEMBRA3AiQSAQUBIgESGweHdAMPCA6iboExPjGLO4RDBYdkJw1Eg10CAQUQhheDShY8hE1RghwLLROCRwWNdYsEgViEMIgkjyODYIpZEh6BDzVUgUaBOj06MgGJA4FEAQEB X-IPAS-Result: A0DoAQB9JmlXhsLWVdFdDoJigSR9BqlajwiEIAEMhXOBLgc8EAEBAQEBAQEBEQEBAQgLCwkhL4IxghwEDwQRHQEkAQIBAQEPAwEMBRA3AiQSAQUBIgESGweHdAMPCA6iboExPjGLO4RDBYdkJw1Eg10CAQUQhheDShY8hE1RghwLLROCRwWNdYsEgViEMIgkjyODYIpZEh6BDzVUgUaBOj06MgGJA4FEAQEB X-IronPort-AV: E=Sophos;i="5.26,503,1459807200"; d="scan'208,217";a="181983992" Received: from mail-ob0-f194.google.com ([209.85.214.194]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 21 Jun 2016 13:37:20 +0200 Received: by mail-ob0-f194.google.com with SMTP id s7so2225450obo.1 for ; Tue, 21 Jun 2016 04:37:20 -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=bZKs5Bgk2ezqvSIU9xoCKvujM0jmJSyhAW7KruCoZKI=; b=ze7kg+eN6uEbcOvpzulbk8+KpYVBXvxNiVxdGiTUsx4o+Hr7DCcaXhijna1D9WmLKR JcT6FG7wE4SeyFe/wYHHdf/nlZ8OH4symqiFhy2nPeGdRCB6hR71BDFfUtiLxiQ4/7i8 22aEN7bltnLaxPBVp9GeiLczBr0EM42ElCJNhGa2rfcFv7oCI3Ff08XC1K5IA34UJ2HE oTWMa3nKGlfzt0QaWpQdqWSGSZ7OvV9ASh97IptspbDCwaS0uEpvPOJAm8GA9QzmJ8ZM NcQzifnCaAB4Nx1k3khJPT+/SdhU/LfVbbOgUutVBdbwSLefacdZWCOxs930x0aieJOJ AFww== 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=bZKs5Bgk2ezqvSIU9xoCKvujM0jmJSyhAW7KruCoZKI=; b=DM7UGKmEK3nroWavbREqN6dj+f36mj7EXPzYLY3p89usx7055OeZnoCOhh1+gajRZ2 x/tVSTiUIwXGKq0cV1+xFUc5mq0o0EtRhj4p4oix7GUPKQX9NIc7goBv/tEl2PoVwBxz SsSn2LVxobaZjgiYrsxW8gwN/MUoxJBKqzQTwfprQu8Y5mYkuJLRKRqzIzKdCwtbcuzZ XOkf4wI3VLQ/Re724e68yopN5H4jRqTa1L7Ccz7SzPw7ULxQVtTtWHCo9k9VxYAZI/hX +MF9WH2eMJtanaor+4v4W5biQ25N6PwBNG0oG2eR/iG/ptUuEu+Zql/44yfvCgfx3JTO ZQ0w== X-Gm-Message-State: ALyK8tL2ZU1uuJqjdYAgd3lGGjsbPb0QN6DweRO98XKC1+Z+alm+d1R/rHyhBR9CPthfpjYr1U5i5JC5dExHLA== X-Received: by 10.157.14.115 with SMTP id n48mr14818117otd.106.1466509038610; Tue, 21 Jun 2016 04:37:18 -0700 (PDT) MIME-Version: 1.0 Sender: chriscolombouom@gmail.com Received: by 10.157.5.10 with HTTP; Tue, 21 Jun 2016 04:36:59 -0700 (PDT) From: Christian Colombo Date: Tue, 21 Jun 2016 13:36:59 +0200 X-Google-Sender-Auth: y0IpAQ63UAvufCz1rQxUb6wJ3Bg Message-ID: To: Ylies Falcone , Christian Colombo Content-Type: multipart/alternative; boundary=001a113e30364e749a0535c83ea0 X-Validation-by: christian.colombo@um.edu.mt Subject: [Caml-list] 2nd CfP: ARVI COST Summer School on Runtime Verification 2016 --001a113e30364e749a0535c83ea0 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. *Grants:* ARVI COST action is supporting the Summer School in several ways including the granting of =E2=82=AC550 to 20 participants who qualify . *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 including the programme can be found at: https://rv2016.imag.fr. Enquiries can be sent to Ylies.Falcone@imag.fr or Christian.Colombo@um.edu.mt. Best Regards, Ylies Falcone and Christian Colombo --001a113e30364e749a0535c83ea0 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

Dear Colleagues,


We are excited to announce th= e first edition of the ARVI COST Summer School on Runtime Verification: Bra= nches of Practical Topics Rooted in Theory. As the name suggests, the summe= r school promises to provide a balance of theory and practice: In the theor= etical aspect, while all the core concepts will be thoroughly covered, part= icipants 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 follo= w up with practical work in the evenings so that by the end of the summer s= chool, participants will have their own basic runtime verification (RV) too= l. =C2=A0

The summer school will be co-located with the 16th International Confe= rence on Runtime Verification in Madrid and organised over three days with = a series of lectures from international experts in the field. For Ph.D. stu= dents 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 distin= guished scholars, and to establish contacts that may lead to research colla= borations in the future. For people coming from industry, the school will p= rovide 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.


<= span style=3D"font-size:12.6667px;font-family:Arial;color:rgb(0,0,0);vertic= al-align:baseline;white-space:pre-wrap">Topics:

The basics of runtime ver= ification

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

Confirm= ed Speakers:

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

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

> Prof. Borzoo Bonakdarpour =E2=80=93 Uni= versity 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).

> D= r. Adrian Francalanza =E2=80=93 University of Malta (Malta).

> Dr. Klaus Have= lund =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 Technica= l University of Vienna (Austria).

> Prof. Gordon Pace =E2=80=93 University o= f 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-stud= ents. Registration includes lunches and coffee breaks from Friday 23rd thro= ugh Sunday 25th September, as well as a reception. =C2=A0


Grants:

ARVI COST action is supporting the Summer School in = several ways including the granting of =E2=82=AC550 to 20 participants who = qualify= .


<= span style=3D"font-size:12.6667px;font-family:Arial;color:rgb(0,0,0);vertic= al-align:baseline;white-space:pre-wrap">Application Procedure and Import= ant 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' sta= ff.


To express your interest in participating in the Summer School, kindly f= ill in th= is form.

More details includ= ing the programme can= be found at: https://rv2016.imag.fr.

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


Best Regards,

Ylies Falcone and Christian Colombo
--001a113e30364e749a0535c83ea0--