Event | When | Where | Deadline | |
Diagrams 2018 |
Diagrams | |
Jun 18, 2018 - Jun 22, 2018 |
Edinburgh |
TBD |
ICCS 2016 |
22nd International Conference on Conceptual Structures | |
Jul 5, 2016 - Jul 7, 2016 |
Annecy, France |
Feb 11, 2016 (Feb 4, 2016) |
CAV 2017 |
29th International Conference on Computer-Aided Verification | |
Jul 22, 2017 - Jul 28, 2017 |
Heidelberg, Germany |
Jan 24, 2017 |
VL/HCC 2017 |
IEEE Symposium on Visual Languages and Human-Centric Computing | |
Oct 11, 2017 - Oct 14, 2017 |
Raleigh, NC |
Apr 13, 2017 (Apr 6, 2017) |
FMCAD 2017 |
Formal Methods in Computer-Aided Design | |
Oct 2, 2017 - Oct 6, 2017 |
Vienna, Austria |
May 8, 2017 (May 1, 2017) |
DeCPS 2017 |
DeCPS 2017 - DeCPS Workshop on Challenges and New Approaches for Dependable and Cyber-Physical System Engineering Focus on Transportation of the Future | |
Jun 16, 2017 - Jun 16, 2017 |
Vienna, Austria |
May 10, 2017 |
FMICS-AVOCS 2017 |
International Workshop on Formal Methods for Industrial Critical Systems (FMICS) and Automated Verification of Critical Systems (AVoCS) | |
Sep 18, 2017 - Sep 20, 2017 |
University of Torino, Italy |
May 21, 2017 (May 14, 2017) |
KEOD 2017 |
9th International Conference on Knowledge Engineering and Ontology Development | |
Nov 1, 2017 - Nov 3, 2017 |
Funchal, Madeira, Portugal |
May 22, 2017 |
GandALF 2017 |
Symposium on Games, Automata, Logics, and Formal Verification | |
Sep 20, 2017 - Sep 22, 2017 |
Rome (Italy) |
May 26, 2017 (May 19, 2017) |
ICCS - IEEE 2017 |
The UND-SCIEI International Conference on Cyber-Security in Aerospace, Computer Science, and Electrical Engineering (ICCS 2017)--IEEE, Ei Compendex and Scopus | |
Sep 21, 2017 - Sep 23, 2017 |
Grand Forks, ND |
Jul 30, 2017 |
InfQ 2017 |
New Frontiers in Quantitative Methods in Informatics | |
Dec 4, 2017 - Dec 4, 2017 |
Venice |
Oct 14, 2017 |
ETAPS 2018 |
ETAPS 2018: European Joint Conferences on Theory and Practice of Software | |
Apr 14, 2018 - Apr 21, 2018 |
Thessaloniki, Greece |
Oct 20, 2017 (Oct 13, 2017) |
eKNOW 2018 |
The Tenth International Conference on Information, Process, and Knowledge Management | |
Mar 25, 2018 - Mar 29, 2018 |
Rome, Italy |
Nov 23, 2017 |
LICS 2018 |
Logic in Computer Science | |
Jul 9, 2018 - Jul 12, 2018 |
Oxford |
Jan 31, 2018 (Jan 24, 2018) |
ACM--ICKMS--Ei and Scopus 2018 |
ACM--2018 International Conference on Knowledge Management Systems (ICKMS 2018)--Ei Compendex and Scopus | |
Apr 9, 2018 - Apr 11, 2018 |
Florida, USA |
Feb 10, 2018 |
KR 2018 |
16th International Conference on Principles of Knowledge Representation and Reasoning | |
Oct 30, 2018 - Nov 2, 2018 |
Tempe, Arizona |
May 20, 2018 (May 13, 2018) |