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

WPHS-ATVA 2015 : Workshop on Probabilistic and Hybrid Systems


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

HIS 2018   The 18th International Conference on Hybrid Intelligent Systems
FACS 2018   15th International Conference on Formal Aspects of Component Software
ATVA 2018   International Symposium on Automated Technology for Verification and Analysis
SBMF 2018   21st Brazilian Symposium on Formal Methods
ISNN 2018   15th International Symposium on Neural Networks
FTSCS 2018   6th International Workshop on Formal Techniques for Safety-Critical Systems
CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
FVPS 2018   Formal Verification of Physical Systems
COPA 2018   The 7th Symposium on Conformal and Probabilistic Prediction with Applications
DVMCS 2018   International Workshop on Design and Verification Techniques for Mixed Critical Systems