mknapik's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
PARAMVERIFTUTORIAL 2017 Tutorial on Parametric Verification (A tutorial of Petri Nets 2017)
Jun 27, 2017 - Jun 27, 2017 Zaragoza, Spain TBD
ECC 2014 European Control Conference
Jun 24, 2014 - Jun 27, 2014 Strasbourg France Oct 7, 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)
HSCC 2014 International Conference on Hybrid Systems: Computation and Control
Apr 15, 2014 - Apr 17, 2014 Berlin Oct 14, 2013
KR&R 2014 Knowledge Representation and Reasoning
Jul 20, 2014 - Jul 24, 2014 VIENNA, AUSTRIA Dec 5, 2013 (Nov 28, 2013)
SR 2014 Second International Workshop on Strategic Reasoning
Apr 5, 2014 - Apr 6, 2014 Grenoble, France Dec 30, 2013 (Dec 27, 2013)
ACSD 2014 International Conference on Application of Concurrency to System Design
Jun 25, 2014 - Jun 27, 2014 Tunis, Tunisia Jan 17, 2014 (Jan 10, 2014)
IJCAR 2014 International Joint Conference on Automated Reasoning (IJCAR)
Jul 19, 2014 - Jul 22, 2014 Vienna, Austria Jan 22, 2014 (Jan 15, 2014)
PSI 2014 Ershov Informatics Conference
Jun 24, 2014 - Jun 27, 2014 Peterhof, St. Petersburg, Russia Feb 3, 2014 (Jan 27, 2014)
ATVA 2014 International Symposium on Automated Technology for Verification and Analysis
Nov 3, 2014 - Nov 7, 2014 Sydney Apr 15, 2014
first | previous | Page 1 | next | last Total of 12 CFPs in 1 pages