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
SafeThings 2018 2nd ACM Workshop on the Internet of Safe Things
Nov 4, 2018 - Nov 4, 2018 Shenzhen, China Aug 13, 2018 (Aug 6, 2018)
FAT* 2019 2019 Conference on Fairness, Accountability, and Transparency
Jan 20, 2019 - Feb 10, 2019 Atlanta, USA Aug 23, 2018 (Aug 16, 2018)
ICSE 2019 International Conference on Software Engineering
May 25, 2019 - Jun 1, 2019 Montreal, QC Canada Aug 24, 2018
DARWiN 2018 The International Workshop on Distributed, Autonomic and Robust Wireless Networks (collocated with IEEE SITIS 2018)
Nov 26, 2018 - Nov 29, 2018 Las Palmas de Gran Canaria, Spain Sep 3, 2018
hase 2019 High-Assurance Systems Engineering
Jan 3, 2019 - Jan 5, 2019 HangZhou,China Sep 9, 2018
ICAART 2019 11th International Conference on Agents and Artificial Intelligence
Feb 19, 2019 - Feb 21, 2019 Prague, Czech Republic Oct 1, 2018
VMCAI 2019 International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 13, 2019 - Jan 15, 2019 Cascais/Lisbon, Portugal Oct 1, 2018
ICSE NIER 2019 ICSE New Ideas and Emerging Results
May 29, 2019 - May 31, 2019 Montreal, QC Canada Oct 1, 2018
REFSQ 2019 25th International Working Conference on Requirements Engineering: Foundation for Software Quality
Mar 18, 2019 - Mar 21, 2019 Essen, Germany. Oct 2, 2018 (Sep 24, 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)
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)
ICAPS 2019 21st International Conference on Automated Planning and Scheduling
Oct 23, 2019 - Oct 24, 2019 London, UK Dec 23, 2018
first | previous | Page 1 | next | last Total of 16 CFPs in 1 pages