alhe314's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
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)
POPL 2017 44th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 18, 2017 - Jan 20, 2017 Paris, France Jul 6, 2016 (Jul 1, 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
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 Dec 10, 2017
FM 2018 22nd International Symposium on Formal Methods
Jul 15, 2018 - Jul 17, 2018 Oxford, UK Jan 22, 2018 (Jan 8, 2018)
LICS 2018 Logic in Computer Science
Jul 9, 2018 - Jul 12, 2018 Oxford Jan 31, 2018 (Jan 24, 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)
first | previous | Page 1 | next | last Total of 18 CFPs in 1 pages