Event | When | Where | Deadline | |
CARDIS 2013 |
CARDIS 2013: Twelfth Smart Card Research and Advanced Application Conference | |
Dec 27, 2013 - Dec 29, 2013 |
Berlin, Germany |
Sep 10, 2013 |
ICAPS 2014 |
24th International Conference on Automated Planning and Scheduling | |
Jun 21, 2014 - Jun 26, 2014 |
Portsmouth, NH, USA |
Nov 5, 2013 (Oct 29, 2013) |
IJCAR 2014 |
International Joint Conference on Automated Reasoning (IJCAR) | |
Jul 19, 2014 - Jul 22, 2014 |
Vienna, Austria |
Jan 22, 2014 (Jan 15, 2014) |
ATVA 2014 |
International Symposium on Automated Technology for Verification and Analysis | |
Nov 3, 2014 - Nov 7, 2014 |
Sydney |
Apr 15, 2014 |
OASIS 2014 |
Ontology of Accounting Systems and Information Security | |
Oct 5, 2014 - Oct 7, 2014 |
Sultanate of Oman |
Apr 30, 2014 (Mar 31, 2014) |
|