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

UAI 2023   Uncertainty in Artificial Intelligence
AVC 2023   Advances in Vision Computing: An International Journal
ICDM 2023   International Conference on Data Mining
CGDEIJ 2023   Computer Game Development and Education: An International Journal
ATVA 2023   Automated Technology for Verification and Analysis
DMS 2023   14th International conference on Database Management Systems
NLDML 2024   3rd International Conference on NLP, Data Mining and Machine Learning
NLP 2023   12th International Conference on Natural Language Processing
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
GIRES_HARLEM Renaissance 2024   Celebrating the Centenary of the Harlem Renaissance: Legacy, Influence, and Contemporary Perspectives