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

OMCS 2020   3rd IEEE Conference on Optimization and Modeling of Complex Systems
CAV 2020   Computer Aided Verification
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
IJCAR 2020   10th International Joint Conference on Automated Reasoning
SIUSAI 2021-Ei Compendex 2021   2021 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2021)
FormaliSE 2020   8th International Conference on Formal Methods in Software Engineering
AAAI-MAKE 2020   AAAI 2020 Spring Symposium on Combining Machine Learning and Knowledge Engineering in Practice
ABZ 2020   ABZ 2020 – 7th International Conference on Rigorous State Based Methods
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação