Event | When | Where | Deadline | |
ACHI 2018 |
The Eleventh International Conference on Advances in Computer-Human Interactions | |
Mar 25, 2018 - Mar 29, 2018 |
Rome, Italy |
Nov 23, 2017 |
IROS 2018 |
Intelligent RObots and Systems | |
Oct 1, 2018 - Oct 5, 2018 |
Madrid, Spain |
Mar 1, 2018 |
FDG 2018 |
Foundations of Digital Games | |
Aug 7, 2018 - Aug 10, 2018 |
Malmö, Sweden |
Mar 12, 2018 |
FACJ-SI-Robotics 2019 |
Special Issue on Formal Methods for Robotics, Formal Aspects of Computing (FACJ) | |
N/A |
N/A |
Mar 31, 2019 |
FMIS 2019 |
8th Formal Methods for Interactive Systems | |
Oct 7, 2019 - Oct 7, 2019 |
Porto, Portugal |
Jun 21, 2019 |
|