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

IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
NFM 2017   The 9th NASA Formal Methods Symposium
ATVA 2016   14th International Symposium on Automated Technology for Verification and Analysis
FSEN 2017   Fundamentals of Software Engineering
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
ACC 2017   American Control Conference
ISNN 2017   Fourteenth International Symposium on Neural Networks
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
ACIRS 2017   2nd IEEE Asia-Pacific Conference on Intelligent Robot Systems (ACIRS 2017)-IEEE Xplore, Ei Compendex