posted by organizer: aturrini || 1955 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

ATVA 2021   The 19th International Symposium on Automated Technology for Verification and Analysis
FM 2021   Formal Methods 2021
ECSQARU 2021   16th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science
AAAI-MAKE 2021   AAAI 2021 Spring Symposium on Combining Machine Learning and Knowledge Engineering
FMICS 2021   Formal Methods for Industrial Critical Systems
IEEE COINS 2021   Internet of Things IoT | Artificial Intelligence | Machine Learning | Big Data | Blockchain | Edge & Cloud Computing | Security | Embedded Systems |
WiL 2021   5th Women in Logic Workshop
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
WAISE 2021   4th International Workshop on Artificial Intelligence Safety Engineering