sefie's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
ICCPS 2013 4th ACM/IEEE International Conference on Cyber-Physical Systems
Apr 8, 2013 - Apr 11, 2013 Philadelphia, USA Oct 15, 2012
FMCAD 2013 Formal Methods in Computer-Aided Design
Oct 20, 2013 - Oct 23, 2013 Portland, Oregon May 15, 2013 (May 8, 2013)
IWCPS 2013 International Workshop on Cyber-Physical Systems
Sep 8, 2013 - Sep 11, 2013 Krakow May 21, 2013
PRIMA 2013 16th International Conference on Principles and Practice of Multi-Agent Systems
Dec 3, 2013 - Dec 6, 2013 Dunedin, New Zealand Jul 1, 2013
TACAS 2014 Tools and Algorithms for Construction and Analysis of Systems
Apr 5, 2014 - Apr 13, 2014 Grenoble Oct 11, 2013 (Oct 4, 2013)
EUMAS 2013 11th European Workshop on Multi-Agent Systems
Dec 12, 2013 - Dec 13, 2013 Toulouse, France Oct 18, 2013 (Oct 14, 2013)
SR 2014 Second International Workshop on Strategic Reasoning
Apr 5, 2014 - Apr 6, 2014 Grenoble, France Dec 30, 2013 (Dec 27, 2013)
EMAS 2014 The 2nd International Workshop on Engineering Multi-Agent Systems
May 5, 2014 - May 6, 2014 Paris, France (collocated with AAMAS'14) Jan 22, 2014
FMTV 2014 Formal Methods for Timing Verification
May 12, 2014 - May 12, 2014 Singapore Mar 4, 2014
ATVA 2014 International Symposium on Automated Technology for Verification and Analysis
Nov 3, 2014 - Nov 7, 2014 Sydney Apr 15, 2014
FORMATS 2014 International Conference on Formal Modeling and Analysis of Timed Systems
Sep 8, 2014 - Sep 10, 2014 Florence, Italy Apr 21, 2014 (Apr 14, 2014)
MATES 2014 12th German Conference on Multiagent System Technologies
Sep 22, 2014 - Sep 26, 2014 Stuttgart, Germany Apr 30, 2014
AVOCS 2014 Automated Verification of Critical Systems
N/A N/A May 31, 2014
SaFoMe 2014 1st International Workshop on Safety and Formal Methods
Sep 1, 2014 - Sep 1, 2014 Grenoble Jun 6, 2014 (May 23, 2014)
RTNS 2014 22nd International Conference on Real-Time Networks and Systems
Oct 8, 2014 - Oct 14, 2014 Versailles Jun 27, 2014
PRIMA 2014 17th International Conference on Principles and Practice of Multi-Agent Systems
Dec 1, 2014 - Dec 5, 2014 Gold Coast, Queensland, Australia Jul 1, 2014
DIFTS 2014 DESIGN and IMPLEMENTATION of FORMAL TOOLS and SYSTEMS
Oct 20, 2014 - Oct 20, 2014 Lausanne, Switzerland Aug 10, 2014 (Aug 4, 2014)
FTSCS 2014 Third International Workshop on Formal Techniques for Safety-Critical Systems
Nov 6, 2014 - Nov 7, 2014 Luxembourg Sep 12, 2014
IRMAS 2015 ACM SAC 2015 track on Intelligent Robotics and Multi-Agent Systems (IRMAS)
Apr 13, 2015 - Apr 17, 2015 Salamanca, Spain Sep 12, 2014
VMCAI 2015 16th International Conference on Verification, Model Checking, and Abstract Interpretation
Jan 12, 2015 - Jan 14, 2015 Mumbai, India Sep 12, 2014 (Sep 5, 2014)
first | previous | Page 1 | next | last Total of 30 CFPs in 2 pages