Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
VaVAS 2018 - International Workshop on the Verification and Validation of Autonomous Systems
- 7th International Conference on Intelligent Autonomous Systems (ICoIAS 2025)
- 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)
- 2025 International Symposium on Connected and Autonomous Vehicles (SoCAV 2025)
- 16th International Conference onAd hoc, Sensor & Ubiquitous Computing (ASUC 2025)
- 10th International Conference on Computer and Communication Systems (ICCCS 2025)
Topics/Call fo Papers
Organisation:
General Chair: Michael Fisher
Programme Chairs: Clare Dixon; Brian Logan; Alessio Lomuscio
Call for Papers/Demonstrations: early 2018
Support:
This workshop is supported by the EPSRC Network on the
Verification and Validation of Autonomous Systems - vavas.org
General Chair: Michael Fisher
Programme Chairs: Clare Dixon; Brian Logan; Alessio Lomuscio
Call for Papers/Demonstrations: early 2018
Support:
This workshop is supported by the EPSRC Network on the
Verification and Validation of Autonomous Systems - vavas.org
Other CFPs
- 13th International Workshop on Constraint Based Methods in Bioinformatics (WCB 2018)
- Workshop on Logic and Practice of Programming (LPOP)
- Automated Reasoning in Quantified Non-Classical Logics
- 16th International Colloquium on Implementation of Constraint and LOgic Programming Systems
- INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING - DOCTORAL CONSORTIUM
Last modified: 2017-12-13 10:46:54