Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
VaVAS 2018 - International Workshop on the Verification and Validation of Autonomous Systems
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