Logic List Mailing Archive

CPS: 2nd PhD workshop on Cyber-Physical Systems

23 Sep 2019
Alghero, Italy

------------------------------------------------------------------------------
2nd PhD Workshop on Cyber-Physical Systems

Porto Conte Ricerche - Alghero - Sardinia - Italy
September 23, 2019

http://www.cpsschool.eu/cps-workshop/
------------------------------------------------------------------------------

The PhD Workshop on Cyber-Physical Systems (CPS) is an initiative of the CPS 
Summer School community to offer participants a close contact with leading 
experts on the field,  as well as the opportunity to present and discuss their 
ideas in a dynamic and friendly setting. We invite PhD students to submit 
papers describing their research on any of the topics of interest of the 
school.

Topics of Interest
Models, methods, tools, and architectures for CPS
Testing, modelling, and validation of CPS
Verification and formal methods for CPS
Intelligent methods and algorithms for CPS
Reactive and real-time systems
Reconfigurable and self-aware systems
On-line monitoring and management of CPS
Security, trust and dependability of CPS
Examples of CPS applications


Submission
The submissions should contain a description of the problem being addressed, 
your motivation for addressing the problem, proposed plan of research, the 
progress to date (what you have already achieved and what remains to be done), 
and related work. The accepted papers will be presented during the evening on 
the September 23th to an interested audience and will be discussed with a panel 
of senior researchers from academia and the industry. Participants will present 
their work with brief oral presentations and poster session. Papers are 
expected to be 6-10 pages (excluding references), written in English following 
the LNCS format and submitted electronically in PDF format via EasyChair 
(https://easychair.org/conferences/?conf=cpsws19).

Important deadlines
Submission by 21 June 2019
Notification by 28 June 2019
Camera-ready by 5 July 2019

Proceedings
Accepted papers will be published online as part of CEUR- WS Proceedings, which 
are broadly indexed, e.g., by SCOPUS and listed in standard bibliographic 
databases such as DBLP. N.B. Papers accepted will only be included in the 
published Proceedings under the condition that at least one author attend the 
workshop to present it.

Fees
Workshop only: 30 ? for PhD student, and 50 ? for others.

Workshop Chair
Luca Pulina, University of Sassari
--
[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