mfgl's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar

dependability, formal methods, autonomy

 Sort by 
 
Event When Where Deadline
CDC 2018 2018 IEEE Conference on Decision and Control
Dec 17, 2018 - Dec 19, 2018 Florida, USA TBD
ISOLA 2018 8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
Oct 30, 2018 - Nov 13, 2018 Royal Apollonia Beach Hotel, Limassol TBD
ITSC 2019 IEEE Intelligent Transportation Systems Conference
Oct 27, 2019 - Oct 30, 2019 New Zealand TBD
VMCAI 2019 International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 13, 2019 - Jan 15, 2019 Cascais/Lisbon, Portugal Oct 1, 2018
ICST 2019 International Conference on Software Testing, Verification, and Validation
Apr 24, 2019 - Apr 26, 2019 Xi'an, China Oct 12, 2018 (Oct 5, 2018)
HSCC 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control
Apr 16, 2019 - Apr 18, 2019 Montreal, Canada Oct 17, 2018 (Oct 10, 2018)
SANER 2019 IEEE International Conference on Software Analysis, Evolution and Reengineering
Feb 24, 2019 - Feb 27, 2019 Zhejiang University in Hangzhou Oct 19, 2018 (Oct 12, 2018)
Modelica 2019 13th International Modelica Conference 2019
Mar 4, 2019 - Mar 6, 2019 Regensburg, Germany Nov 5, 2018
TACAS 2019 International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Apr 8, 2019 - Apr 11, 2019 Prague, Czech Republic Nov 15, 2018 (Nov 7, 2018)
FASE 2019 Fundamental Approaches to Software Engineering
Apr 8, 2019 - Apr 11, 2019 Prague, Czech Republic Nov 15, 2018 (Nov 7, 2018)
AAMAS 2019 International Conference on Autonomous Agents and Multiagent Systems
May 13, 2019 - May 17, 2019 Montreal Nov 16, 2018 (Nov 12, 2018)
CAiSE 2019 Conference on Advanced Information Systems Engineering
Jun 3, 2019 - Jun 7, 2019 Rome, Italy Nov 30, 2018 (Nov 23, 2018)
ICSA 2019 IEEE International Conference on Software Architecture
Mar 25, 2019 - Mar 29, 2019 Hamburg, Germany Dec 6, 2018 (Nov 29, 2018)
DSN 2019 Dependable Systems and Networks
Jun 24, 2019 - Jun 27, 2019 Portland, Oregon, USA Dec 7, 2018 (Nov 30, 2018)
COGNITIVE 2019 The Eleventh International Conference on Advanced Cognitive Technologies and Applications
May 5, 2019 - May 9, 2019 Venice, Italy Dec 22, 2018
ADAPTIVE 2019 The Eleventh International Conference on Adaptive and Self-Adaptive Systems and Applications
May 5, 2019 - May 9, 2019 Venice, Italy Dec 22, 2018
PATTERNS 2019 The Eleventh International Conference on Pervasive Patterns and Applications
May 5, 2019 - May 9, 2019 Venice, Italy Dec 22, 2018
COMPUTATION TOOLS 2019 The Tenth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
May 5, 2019 - May 9, 2019 Venice, Italy Dec 22, 2018
ICAPS 2019 21st International Conference on Automated Planning and Scheduling
Oct 23, 2019 - Oct 24, 2019 London, UK Dec 23, 2018
ICAS 2019 The Fifteenth International Conference on Autonomic and Autonomous Systems
Jun 2, 2019 - Jun 6, 2019 Athens, Greece Jan 20, 2019
first | previous | Page 1 | next | last Total of 24 CFPs in 2 pages