ndisp's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

Formal Methods in Computer Science

 Sort by 
 
Event When Where Deadline
STOC 2016 Symposium on the Theory of Computing
Jun 19, 2016 - Jun 21, 2016 Cambridge, MA, USA Nov 2, 2015
PLDI 2016 Programming Language Design and Implementation
Jun 13, 2016 - Jun 17, 2016 Santa Barbara, California, United States Nov 20, 2015
CSR 2016 11th International Computer Science Symposium in Russia
Jun 9, 2016 - Jun 13, 2016 St. Petersburg, Russia Dec 11, 2015
CiE 2016 Computability in Europe
Jun 27, 2016 - Jul 1, 2016 Paris, France Dec 15, 2015
iFM 2016 12th International Conference on integrated Formal Methods
Jun 1, 2016 - Jun 3, 2016 Reykjavik, Iceland Jan 6, 2016 (Dec 21, 2015)
QAPL 2016 Fourteenth International Workshop on Quantitative Aspects of Programming Languages and Systems
Apr 2, 2016 - Apr 3, 2016 Eindhoven, The Netherlands Jan 8, 2016
SPIN 2016 23rd International SPIN symposium on Model Checking of Software
Apr 7, 2016 - Apr 8, 2016 Eindhoven, The Netherlands Jan 8, 2016
Petri Nets 2016 ICATPN-16: 37th International Conference on Application and Theory of Petri Nets and Concurrency
Jun 19, 2016 - Jun 24, 2016 Toruń, Poland Jan 15, 2016 (Jan 10, 2016)
CREST 2016 1st Workshop on Causal-based Reasoning for Embedded and safety-critical Systems Technologies
Apr 8, 2016 - Apr 8, 2016 Eindhoven, The Netherlands Jan 17, 2016 (Jan 10, 2016)
TASE 2016 10th International Symposium on Theoretical Aspects of Software Engineering
Jul 17, 2016 - Jul 19, 2016 Shanghai, China Jan 17, 2016 (Jan 10, 2016)
LICS 2016 Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science
Jul 5, 2016 - Jul 8, 2016 New York City, USA Jan 18, 2016 (Jan 11, 2016)
RSSR 2016 International Conference on Reliability, Safety and Security of Railway Systems
Jun 28, 2016 - Jun 30, 2016 Paris, France Jan 20, 2016
ACSD 2016 16th International Conference on Application of Concurrency to System Design
Jun 19, 2016 - Jun 21, 2016 Toruń, Poland Jan 25, 2016 (Jan 12, 2016)
ISSTA 2016 International Symposium on Software Testing and Analysis
Jul 18, 2016 - Jul 20, 2016 Saarland University, Saarbrücken, German Jan 29, 2016
CAV 2016 International Conference on Computer Aided Verification
Jul 17, 2016 - Jul 23, 2016 Toronto, Canada Jan 29, 2016 (Jan 24, 2016)
IJCAI 2016 Twenty-Fifth International Joint Conference on Artificial Intelligence
Jul 9, 2016 - Jul 15, 2016 New York City, US Feb 2, 2016 (Jan 27, 2016)
FORTE 2016 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Jun 6, 2016 - Jun 9, 2016 Heraklion, Crete, Greece Feb 8, 2016 (Feb 1, 2016)
PODC 2016 ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing
Jul 25, 2016 - Jul 28, 2016 Chicago, Illinois Feb 12, 2016
ICALP 2016 43rd International Colloquium on Automata, Languages, and Programming
Jul 11, 2016 - Jul 15, 2016 Rome Feb 17, 2016
NFM 2016 NASA Formal Methods Symposium
Jun 7, 2016 - Jun 9, 2016 Mineapolis, MN, USA Feb 19, 2016
first | previous | Page 1 | next | last Total of 83 CFPs in 5 pages