posted by organizer: aturrini || 2451 views || tracked by 3 users: [display]

WPHS-ATVA 2015 : Workshop on Probabilistic and Hybrid Systems

FacebookTwitterLinkedInGoogle

Link: http://iscasmc.ios.ac.cn/?page_id=468
 
When Oct 12, 2015 - Oct 15, 2015
Where Shanghai, China
Submission Deadline Jul 1, 2015
Notification Due Jul 31, 2015
Final Version Due Aug 15, 2015
Categories    probabilistic system   hybrid systems   formal methods   verification and analysis
 

Call For Papers

The purpose of the Workshop on Probabilistic and Hybrid Systems, a satellite event of ATVA 2015, is to promote the meeting of people working on probabilistic and hybrid systems and the discussion of their ideas and results.
The workshop is open to everyone desiring to discuss their own work, as well as to establish new collaborations with other experienced researchers on the topic.
WPHS ATVA 2015 solicits the submission of a short abstract describing the topic of the talk; the talk can be about both published and unpublished work. The workshop has no official proceedings; for participants’ convenience, a copy of the abstracts will be distributed.

Related Resources

ICML 2022   39th International Conference on Machine Learning
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ATVA 2022   The 20th International Symposium on Automated Technology for Verification and Analysis
ESOP 2023   32st European Symposium on Programming
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
TFP 2023   Trends in Functional Programming
COPA 2022   11th Symposium on Conformal and Probabilistic Prediction with Applications
ICLA 2022   10th Indian Conference on Logic and its Applications
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
RTNS 2023   International conference on Real-Time Networks and Systems