Event | When | Where | Deadline | |
QBFEVAL 2017 |
QBFEVAL'17 - Competitive Evaluation of QBF Solvers | |
Aug 28, 2017 - Sep 1, 2017 |
Melbourne |
May 22, 2017 |
AIIA 2019 |
The 18th International Conference of the Italian Association for Artificial Intelligence | |
Nov 19, 2019 - Nov 22, 2019 |
Rende, ITALY |
Jun 4, 2019 (May 28, 2019) |
CPS WS 2019 |
2nd PhD Workshop on Cyber-Physical Systems | |
Sep 23, 2019 - Sep 23, 2019 |
Alghero (Italy) |
Jun 21, 2019 |
|