posted by organizer: aturrini || 1057 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 2017   15th International Symposium on Automated Technology for Verification and Analysis
HVC 2017   Haifa Verification Conference
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
The 15th Overture Workshop 2017   The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
IEICE Trans D Form Appr 2018   Special Section on Formal Approaches at IEICE Transactions on Information and Systems
PLP 2017   Probabilistic logic programming 2017
Correctness 2017   First International Workshop on Software Correctness for HPC Applications
CISC 2017   1st Workshop on Computational Intelligence & Soft Computing
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems