12-16 Sep 2017
Verona, Italy
--------------------------------------------------------------------- CALL FOR PARTICIPATION 1st Summer School on Formal Methods for Cyber-Physical Systems Edition 2017: Automatic Synthesis of Controllers for Hybrid Systems Sponsored by: PhD School in Natural Sciences and Engineering, University of Verona Department of Computer Science, University of Verona 12-16 September 2017 Department of Computer Science University of Verona, Italy https://cps-2017.di.univr.it/school-editions/2017 General enquiries: marta.capiluppi@univr.it, pietro.sala@univr.it, tiziano.villa@univr.it ---------------------------------------------------------------------- The 1st Summer School on Formal Methods for Cyber-Physical Systems (FM-CPS) is a new summer school to be held at University of Verona from September 12th to 16th. The 2017 edition of FM-CPS 2017 focuses on the foundations, techniques, and tools for analysis, verification, control, synthesis, implementation, and applications of cyber-physical systems (CPS). Applications deal broadly with engineering and natural systems, including signal circuits, robotics, automotive and avionics, large-scale infrastructure networks, as well as biochemical and physiological processes. THEMES The main themes faced during the school include: ? Design, synthesis, planning and control (including real-time and resource-aware control) ? Analysis, automated verification (Boolean or quantitative), certification, validation, and testing ? Model building from data (via learning) and model simulation) ? Network science and control over networks ? Mathematical foundations, computability and complexity ? Programming languages, specification formalisms ? Software tool engineering and experimentation FOCUS OF THE FIRST EDITION This first edition of the school has the goal of presenting the state of the art of the current techniques in controller synthesis for hybrid systems, to enable doctoral students and young researchers to advance the field and apply the developed methodologies to concrete scenarios promoting their application in the industrial practice. The control synthesis problem will be addressed both in the discrete domain and in the timed/hybrid one with techniques ranging from supervisory control, to synthesizing strategies in a two-player game, and to control-theoretic techniques. Contributions of interest discussed in this edition of the school include: ? Introduction to the the Synthesis Problem; ? Practical Reactive Synthesis; ? Automated synthesis for nonlinear control systems; ? Controller Synthesis for Linear Hybrid Systems; ? Automatic Synthesis of Control Software for Discrete-Time Hybrid Systems; ? Control Synthesis of Piecewise-affine Hybrid Systems on Polytopes. The school will include tutorial presentations as well as laboratory sessions that will allow the students to apply the concepts introduced during the lectures in a laboratory set-up. The list of international speakers includes: ? Davide Bresolin, Dipartimento di Matematica, Università di Padova, Italy ? Rudiger Ehlers, Department of Computer Science, University of Bremen, Germany ? Marco Faella, Dipartimento di Ingegneria Elettrica e delle Tecnologie dell'Informazione, Università di Napoli, Italy ? Salvatore La Torre, Dipartimento d'Informatica, Università di Salerno, Italy ? Leonardo Mangeruca, ALES (UTRC), Roma, Italy ? Federico Mari Dipartimento di Informatica, Università La Sapienza, Roma, Italy ? Angelo Montanari, Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università di Udine, Italy ? Andrea Orlandini, Istituto di Scienze e Tecnologie della Cognizione, CNR, Roma, Italy ? Matthias Rungger, Department of Electrical and Computer Engineering, TU Munchen, Germany ? Pietro Sala, Dipartimento di Informatica, Università di Verona, Italy ? Enrico Tronci, Dipartimento di Informatica, Università La Sapienza, Roma, Italy ? Jan Van Schuppen, Mathematics Department, TU Delft, The Netherlands ? Tiziano Villa, Dipartimento di Informatica, Università di Verona, Italy ? Nina Yevtushenko Department of Radiophysics, Tomsk State University, Russia Please check the website for updates on the detailed technical program and list of speakers. IMPORTANT DATES Early registration fee: 4 August 2017 Regular registration fee: 4 September 2017 School dates: 12-16 September 2017 REGISTRATION Registration details can be found on the school website: https://cps-2017.di.univr.it/register?school_edition=2017 SCIENTIFIC COMMITTEE Paolo Fiorini, Dipartimento d'Informatica, Università di Verona, Italy Angelo Montanari, Dipartimento di Scienze Matematiche, Informatiche e Fisiche, Università di Udine, Italy Riccardo Muradore, Dipartimento d'Informatica, Università di Verona, Italy Tiziano Villa, Dipartimento d'Informatica, Università di Verona, Italy ORGANISERS Marta Capiluppi (Università degli Studi di Verona) Luca Geretti (Università degli Studi di Verona) Pietro Sala (Università degli Studi di Verona) Tiziano Villa (Università degli Studi di Verona) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam