The workshop DRV 2016 will discuss current trends, and explore future directions for distributed fault-tolerant runtime verification. It will gather researchers who have studied runtime monitoring problems from different perspectives, including formal methods and distributed computing.
The workshop will include introductory talks about the different types of techniques that have been used in DRV, which range from formal methods techniques related to LTL and multi-valued logics, on the one hand, to fault-tolerant distributed algorithms, on the other hand. RV and DRV are exemplary areas for interdisciplinary research opportunities, given that logic and algorithmic techniques converge.
The workshop is expected to gather a mix of researchers from formal verification, distributed computing, logics, and distributed systems.
For more information:
www.labri.fr/perso/travers/DRV2016/
Local organizer: Jessica Bazzoli jbazzoli@ceub.it – phone: +39 0543 446500; fax: +39 0543 443557
REGISTRATION DEADLINE: APRIL 1ST 2016
Registration fees:
– € 475,00
It includes full board accommodation in single room at the University Residential Center of Bertinoro (4 nights: from May 16th to 20th), and coffee breaks.
Some useful information concerning your registration on line:
– “ID CODE” field: if you haven’t it, please write no code or 0000;
– “BILLING ADDRESS” field: you have to choose your surname/name or your institution. Only one field is admitted;
– “VAT n/Italian fiscal code number” field: if you haven’t it, please write no code or 0000
-IF YOUR ARRIVAL/DEPARTURE DATES ARE DIFFERENT FROM THE ONES STATED ABOVE (IN: MAY 16TH – OUT: MAY 20TH) PLEASE CONTACT: jbazzoli@ceub.it BEFORE STARTING YOUR REGISTRATION PROCEDURE.
PAYMENTS FOR EXTRA NIGHTS CAN BE MADE ON SITE BY CASH OR CREDIT CARD.
Please, proceed with your registration, by clicking the bottom “BOOK ON LINE” , below.