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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 52C5C8239C for ; Fri, 19 Jan 2018 17:21:58 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=ylies.falcone@univ-grenoble-alpes.fr; spf=Pass smtp.mailfrom=ylies.falcone@univ-grenoble-alpes.fr; spf=None smtp.helo=postmaster@zm-mta-out-2.u-ga.fr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of ylies.falcone@univ-grenoble-alpes.fr) identity=pra; client-ip=152.77.200.57; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ylies.falcone@univ-grenoble-alpes.fr"; x-sender="ylies.falcone@univ-grenoble-alpes.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of ylies.falcone@univ-grenoble-alpes.fr designates 152.77.200.57 as permitted sender) identity=mailfrom; client-ip=152.77.200.57; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ylies.falcone@univ-grenoble-alpes.fr"; x-sender="ylies.falcone@univ-grenoble-alpes.fr"; 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@zm-mta-out-2.u-ga.fr) identity=helo; client-ip=152.77.200.57; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="ylies.falcone@univ-grenoble-alpes.fr"; x-sender="postmaster@zm-mta-out-2.u-ga.fr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A+BpZOhTiWMniF6oCYbK7++BOs9psv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67ZBSEt8tkgFKBZ4jH8fUM07OQ7/i5HzRYqb+681k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRo?= =?us-ascii?q?LerpBIHSk9631+ev8JHPfglEnjWwba9vIBmssQndqtQdjJd/JKo21hbHuGZDdf?= =?us-ascii?q?5MxWNvK1KTnhL86dm18ZV+7SleuO8v+tBZX6nicKs2UbJXDDI9M2Ao/8LrrgXM?= =?us-ascii?q?TRGO5nQHTGoblAdDDhXf4xH7WpfxtTb6tvZ41SKHM8D6Uaw4VDK/5KhsVRHolT?= =?us-ascii?q?wHNyYn/27Llsx+gqVboBe7qBx+xY7ffYWZOfV6c6/Ye94RWGhPUdtLVyFZAo2z?= =?us-ascii?q?c4QBAOUcM+hboYfzuVwAoACiBQm1AePj1j9IimP00KA8zu8vERvG3AslH98Wsn?= =?us-ascii?q?vUqNT1O7kJUeuozKfH1zHDYO9R2Tf79ofDbxcsoPGIXbJxb8XR0lMjFw3fgVWU?= =?us-ascii?q?tYPlODWV2foWvmiG6epgVPyvh3coqwFrvDevwMAshZLNho0L01zL7yF5wJ4rKt?= =?us-ascii?q?2jUkJ7b8SkHYJWuiqHOYV2RcYiTHtpuCY80rAJooC0fCwQx5Qi3BHfceaIf5KU?= =?us-ascii?q?7RLkUeadOSt3hHV+eLKjnhq961KgyvP9VsWuzllKszJJktbLtnAKzRDT5cyHR/?= =?us-ascii?q?1g9UmiwTaCzx3f5+FaLUwul6fWKYQtzqAsmpYPq0jOHi37lF3rgKKSeUgo4PWk?= =?us-ascii?q?5uDjb7n8uJORN5V4hh//P6koh8exG/43MhIUUGie4em81KPs/Un+QLhSj/w2l7?= =?us-ascii?q?DVsJXGJcsBv6K5BBJV0po65xqhFTumzc0UnXYdI15fdhKHlZDlO1DIIP/mEfey?= =?us-ascii?q?m0mgnTd1y/zcPLDsAI/BImbfnLv9Z7pw60xRxBI2zd9F5pJUDr8BIOj0Wk/0rN?= =?us-ascii?q?HZDhs5Mw2qzOb8Etl92JkRWWaTDa+eNqPdr0SF5v8pI+mNeo8ZoTn9K+I76P7o?= =?us-ascii?q?in82glsdcrew0ZQNbHC4BuppI16DbXrimNcNCX0KsRYmTOz2lF2CViZeaGqoUK?= =?us-ascii?q?I54jE3EYamDYbYRoCxm7GBxye6HphOZm9cEFyMEHHod5+FW/gWci6SLNVhwXQ4?= =?us-ascii?q?Uu29WpcszjmqtRTm0PxsLuPQ/yACrtT42Zw97OTWkVQ29CdoJ8WbyWCECW9u2i?= =?us-ascii?q?sBTDhz2KFkvWR80FaP0KE+nvhSU9VYoflEFk8zLYbHwulSD9HpRhmHYtySDleo?= =?us-ascii?q?Q5OiBCx3Qt9i7cUJZhNMH9SvlVjt1i6hBLkY3+iaAJ056eTS1nz6IMBw42vA1b?= =?us-ascii?q?dkgEMrRMxFMWDjj6pn+hOVCZSfwBbRrLqjaalJhH2Fz2yE12fb4BABAVxAFJ7d?= =?us-ascii?q?VHVaXXP46NHw50fMVbirU+h1Lw1A14uNMKZMbdftgBBPQO/uI5LQeTDowjviNV?= =?us-ascii?q?Oz3rqJKbHSVSAFxiyHVBoZlQENuHmcOA45DCOs5mvaFDF1U1z1MRu1rLtO7Uij?= =?us-ascii?q?R0px9DmkKk1s073voEwHgLmZV/pW2a8Y/X1ntnB7FRCzxYCOBg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AEAwDrGWJahznITZheDhABBgyEKHSDQ?= =?us-ascii?q?kKZBJtLCiOJfEMUAQEBAQEBAQEBARIBAQEKCwkIKC+COAyCcgIVQgQBKBIKAiY?= =?us-ascii?q?CYC2KGAQMkUOdcIInijMLAQEBASOBD4M5ghWBV4IRgg9ABIF7gVsLAgIZgS+DP?= =?us-ascii?q?jGCNAWjdYEScUKFTJluh3GGa4ZhhiqDSIE8NoFxMhoneAGCAAgWIIIhBIE0QIE?= =?us-ascii?q?EAQGKBoJLAQEB?= X-IPAS-Result: =?us-ascii?q?A0AEAwDrGWJahznITZheDhABBgyEKHSDQkKZBJtLCiOJfEM?= =?us-ascii?q?UAQEBAQEBAQEBARIBAQEKCwkIKC+COAyCcgIVQgQBKBIKAiYCYC2KGAQMkUOdc?= =?us-ascii?q?IInijMLAQEBASOBD4M5ghWBV4IRgg9ABIF7gVsLAgIZgS+DPjGCNAWjdYEScUK?= =?us-ascii?q?FTJluh3GGa4ZhhiqDSIE8NoFxMhoneAGCAAgWIIIhBIE0QIEEAQGKBoJLAQEB?= X-IronPort-AV: E=Sophos;i="5.46,381,1511823600"; d="scan'208";a="309847759" Received: from zm-mta-out-2.u-ga.fr ([152.77.200.57]) by mail2-smtp-roc.national.inria.fr with ESMTP; 19 Jan 2018 17:21:57 +0100 Received: from zm-mta-out.u-ga.fr (zm-mta-out.u-ga.fr [152.77.200.58]) by zm-mta-out-2.u-ga.fr (Postfix) with ESMTP id 93141601AA; Fri, 19 Jan 2018 17:22:00 +0100 (CET) Received: from smtps.univ-grenoble-alpes.fr (smtps.univ-grenoble-alpes.fr [152.77.1.30]) by zm-mta-out.u-ga.fr (Postfix) with ESMTP id D278EE0095; Fri, 19 Jan 2018 17:21:58 +0100 (CET) Received: from [10.0.1.2] (falcone-capsule.inrialpes.fr [194.199.25.26]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) (Authenticated sender: falconey@univ-grenoble-alpes.fr) by smtps.univ-grenoble-alpes.fr (Postfix) with ESMTPSA id 7888E125ED4; Fri, 19 Jan 2018 17:21:57 +0100 (CET) From: Ylies Falcone Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Mime-Version: 1.0 (Mac OS X Mail 11.2 \(3445.5.20\)) Message-Id: Date: Fri, 19 Jan 2018 17:21:56 +0100 To: types@lists.chalmers.se, caml-list@inria.fr, aco-list@iridia.ulb.ac.be, appsem@lists.tcs.ifi.lmu.de X-Mailer: Apple Mail (2.3445.5.20) X-Greylist: Whitelist-UGA SMTP Authentifie (falconey@univ-grenoble-alpes.fr) via smtps-465 ACL (111) X-Validation-by: ylies.falcone@univ-grenoble-alpes.fr Subject: [Caml-list] School on Runtime Verification - March 19-21, in the French Alps 2nd ARVI COST School on Runtime Verification Sponsored by COST association, Inria, and Persyval-Lab March 19-21, 2018 Praz sur Arly, in the French Alps https://www.cost-arvi.eu/?page_id=3D1163 =3D=3D=3D Presentation =3D=3D=3D The second edition of the school on Runtime Verification, sponsored by COST= Action IC1402 ArVi, Inria, and Persyval-Lab, will provide a balance on the= oretical and practical aspects of Runtime Verification: In the theoretical= aspect, while all the core concepts will be thoroughly covered, participan= ts will also be exposed to cutting edge advances in the field. At the same = time, the summer school will be hands-on and students will follow up with p= ractical work so that by the end of the school, participants will have thei= r own basic runtime verification tool. For PhD 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 res= earch collaborations in the future. For people coming from industry, the sc= hool will provide an exposition of the major challenges as well as possible= solutions to the application of RV in industry, an exposition to some of t= he major tools, as well as the basics of RV tool-building. =3D=3D=3D Confirmed Speakers =3D=3D=3D =E2=80=A2 Wolfgang Ahrendt (Chalmers University of Technology, Sweden). =E2=80=A2 Christian Colombo (University of Malta, Malta). =E2=80=A2 Alexandre Donze (DECYPHIR Inc., France). =E2=80=A2 Adrian Francalanza (University of Malta, Malta). =E2=80=A2 Nikolai Kosmatov (CEA, France). =E2=80=A2 Martin Leucker (University of Lubeck, Germany). =E2=80=A2 Joao Lourenco (University of Lisbon, Portugal). =E2=80=A2 Gordon Pace (University of Malta, Malta). =E2=80=A2 Laurence Pierre (University of Grenoble, France). =E2=80=A2 C=C3=A9sar Sanchez (IMDEA Madrid, Spain). =E2=80=A2 Gerardo Schneider (Chalmers University of Technology, Sweden). =3D=3D=3D Topics =3D=3D=3D =E2=80=A2 Foundations of runtime verification. =E2=80=A2 Monitoring Cyber-Physical Systems. =E2=80=A2 Stream Runtime Verification. =E2=80=A2 Runtime Verification for concurrency errors. =E2=80=A2 Runtime Verification for Decentralised and Distributed Systems. =E2=80=A2 Combination of Runtime Verification with Static Analysis. =E2=80=A2 Implementation of Runtime Verification Monitor. =E2=80=A2 FPGA-based monitoring. =E2=80=A2 Hardware monitoring. More information on the courses is available on the school Website. =3D=3D=3D Fees =3D=3D=3D Fees include participation fees to the winter school, accommodation in a co= mfortable apartment in the resort hosting the winter school (from Sunday 18= to Wednesday 21), breakfasts, lunches, and dinners. The below fees are indicative and are subject to minor changes. Final fees = will be determined by the end of January. =3D For Students =E2=80=A2 with accommodation in a single room: 540 euro =E2=80=A2 with accommodation in a twin room (to be shared with another par= ticipant): 420 euro per person =3D For non-Students =E2=80=A2 with accommodation in a single room: 660 euro =E2=80=A2 with accommodation in a twin room (to be shared with another par= ticipant): 540 euro per person =3D=3D=3D Registration =3D=3D=3D Registration should be done by filling the form available at https://goo.gl/bw9k79 After filling the form, a link to the registration Website will be later se= nt to the participants for fee payment. The school can only welcome a limit= ed number of participants. A first come first served policy will be applied= once the maximum capacity of school is reached. =3D=3D=3D Student Grants =3D=3D=3D A limited number of grants will be available to students conducting researc= h in countries participating to the COST action. The amount of a grant will= be approximately 200 euro. Students willing to apply to the grant should i= ndicate in the registration form how attending the school will support thei= r research on runtime verification. =3D=3D=3D Location =3D=3D=3D Praz sur Arly in the Pays du Mont-Blanc is an ideal spot for holidays and a= peaceful working environment. Nestled in the heart of the Savoyard Departm= ents, with easy access, this authentic village offers very varied scenery w= ith spectacular views of the Mont Blanc range. The resort puts on its whit= e mantle and offers a vast choice of activities, starting with skiing and o= ther snow sports. It is situated at the beginning of the Espace Diamant dom= ain which connects 6 resorts and offers 185 km of pistes! Praz sur Arly is = the French commune with the most AOC cheeses: six in all (4 AOC : Beaufort,= Reblochon, Abondance and Chevrotin, 2 IGP: Tomme and Savoy Emmental). We s= till have many working farms where you can discover our past heritage. =3D=3D=3D Venue =3D=3D=3D Club Belambra =E2=80=9CL=E2=80=99Alisier=E2=80=9D=E2=80=A8 476 route du Val d=E2=80=99Arly =E2=80=A874120 Praz-sur-Arly =E2=80=A8France=E2=80=A8 +33(0)4 50 21 91 02 =E2=80=A8http://www.belambra.com/club-praz-sur-arly-l-alisier/winter More information on the venue and how to reach it is available on the schoo= l Website. =3D=3D=3D Enquiries =3D=3D=3D Enquiries should be sent to Ylies DOT Falcone AT inria DOT fr.=