BEGIN:VCALENDAR
PRODID:-//WikiCFP//mknapik 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20170627
DTEND;VALUE=DATE:20170628
SUMMARY:PARAMVERIFTUTORIAL 2017
DESCRIPTION:Tutorial on Parametric Verification  (A tutorial of Petri Net
 s 2017) 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=64006&copyow
 nerid=52005
UID:cfp665667-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140624
DTEND;VALUE=DATE:20140628
SUMMARY:ECC 2014
DESCRIPTION:European Control Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31569&copyow
 nerid=52005
UID:cfp415636-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131007
SUMMARY:ECC 2014 Deadline
DESCRIPTION:European Control Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31569&copyow
 nerid=52005
UID:cfp415636-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140303
SUMMARY:ECC 2014 Notification Due
DESCRIPTION:European Control Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31569&copyow
 nerid=52005
UID:cfp415636-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140428
SUMMARY:ECC 2014 Final Version Due
DESCRIPTION:European Control Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31569&copyow
 nerid=52005
UID:cfp415636-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140405
DTEND;VALUE=DATE:20140414
SUMMARY:TACAS 2014
DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29851&copyow
 nerid=52005
UID:cfp365063-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131004
SUMMARY:TACAS 2014 Abstract Due
DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29851&copyow
 nerid=52005
UID:cfp365063-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131011
SUMMARY:TACAS 2014 Deadline
DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29851&copyow
 nerid=52005
UID:cfp365063-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131220
SUMMARY:TACAS 2014 Notification Due
DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29851&copyow
 nerid=52005
UID:cfp365063-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140117
SUMMARY:TACAS 2014 Final Version Due
DESCRIPTION:Tools and Algorithms for Construction and Analysis of Systems
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29851&copyow
 nerid=52005
UID:cfp365063-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140405
DTEND;VALUE=DATE:20140414
SUMMARY:FoSSaCS 2014
DESCRIPTION:17th International Conference on Foundations of Software Scie
 nce and Computation Structures
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32369&copyow
 nerid=52005
UID:cfp415637-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131004
SUMMARY:FoSSaCS 2014 Abstract Due
DESCRIPTION:17th International Conference on Foundations of Software Scie
 nce and Computation Structures
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32369&copyow
 nerid=52005
UID:cfp415637-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131011
SUMMARY:FoSSaCS 2014 Deadline
DESCRIPTION:17th International Conference on Foundations of Software Scie
 nce and Computation Structures
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32369&copyow
 nerid=52005
UID:cfp415637-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131220
SUMMARY:FoSSaCS 2014 Notification Due
DESCRIPTION:17th International Conference on Foundations of Software Scie
 nce and Computation Structures
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32369&copyow
 nerid=52005
UID:cfp415637-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140117
SUMMARY:FoSSaCS 2014 Final Version Due
DESCRIPTION:17th International Conference on Foundations of Software Scie
 nce and Computation Structures
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32369&copyow
 nerid=52005
UID:cfp415637-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140415
DTEND;VALUE=DATE:20140418
SUMMARY:HSCC 2014
DESCRIPTION: International Conference on Hybrid Systems: Computation and 
 Control 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33059&copyow
 nerid=52005
UID:cfp415635-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131014
SUMMARY:HSCC 2014 Deadline
DESCRIPTION: International Conference on Hybrid Systems: Computation and 
 Control 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33059&copyow
 nerid=52005
UID:cfp415635-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131217
SUMMARY:HSCC 2014 Notification Due
DESCRIPTION: International Conference on Hybrid Systems: Computation and 
 Control 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33059&copyow
 nerid=52005
UID:cfp415635-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140203
SUMMARY:HSCC 2014 Final Version Due
DESCRIPTION: International Conference on Hybrid Systems: Computation and 
 Control 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33059&copyow
 nerid=52005
UID:cfp415635-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140720
DTEND;VALUE=DATE:20140725
SUMMARY:KR&R 2014
DESCRIPTION:Knowledge Representation and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31840&copyow
 nerid=52005
UID:cfp395657-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131128
SUMMARY:KR&R 2014 Abstract Due
DESCRIPTION:Knowledge Representation and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31840&copyow
 nerid=52005
UID:cfp395657-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131205
SUMMARY:KR&R 2014 Deadline
DESCRIPTION:Knowledge Representation and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31840&copyow
 nerid=52005
UID:cfp395657-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140127
SUMMARY:KR&R 2014 Notification Due
DESCRIPTION:Knowledge Representation and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31840&copyow
 nerid=52005
UID:cfp395657-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140304
SUMMARY:KR&R 2014 Final Version Due
DESCRIPTION:Knowledge Representation and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31840&copyow
 nerid=52005
UID:cfp395657-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140405
DTEND;VALUE=DATE:20140407
SUMMARY:SR 2014
DESCRIPTION:Second International Workshop on Strategic Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33328&copyow
 nerid=52005
UID:cfp395655-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131227
SUMMARY:SR 2014 Abstract Due
DESCRIPTION:Second International Workshop on Strategic Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33328&copyow
 nerid=52005
UID:cfp395655-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20131230
SUMMARY:SR 2014 Deadline
DESCRIPTION:Second International Workshop on Strategic Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33328&copyow
 nerid=52005
UID:cfp395655-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140130
SUMMARY:SR 2014 Notification Due
DESCRIPTION:Second International Workshop on Strategic Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33328&copyow
 nerid=52005
UID:cfp395655-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140210
SUMMARY:SR 2014 Final Version Due
DESCRIPTION:Second International Workshop on Strategic Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33328&copyow
 nerid=52005
UID:cfp395655-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140625
DTEND;VALUE=DATE:20140628
SUMMARY:ACSD 2014
DESCRIPTION:International Conference on Application of Concurrency to Sys
 tem Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34699&copyow
 nerid=52005
UID:cfp414748-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140110
SUMMARY:ACSD 2014 Abstract Due
DESCRIPTION:International Conference on Application of Concurrency to Sys
 tem Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34699&copyow
 nerid=52005
UID:cfp414748-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140117
SUMMARY:ACSD 2014 Deadline
DESCRIPTION:International Conference on Application of Concurrency to Sys
 tem Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34699&copyow
 nerid=52005
UID:cfp414748-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140308
SUMMARY:ACSD 2014 Notification Due
DESCRIPTION:International Conference on Application of Concurrency to Sys
 tem Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34699&copyow
 nerid=52005
UID:cfp414748-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140408
SUMMARY:ACSD 2014 Final Version Due
DESCRIPTION:International Conference on Application of Concurrency to Sys
 tem Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34699&copyow
 nerid=52005
UID:cfp414748-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140719
DTEND;VALUE=DATE:20140723
SUMMARY:IJCAR 2014
DESCRIPTION:International Joint Conference on Automated Reasoning (IJCAR)
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33419&copyow
 nerid=52005
UID:cfp395654-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140115
SUMMARY:IJCAR 2014 Abstract Due
DESCRIPTION:International Joint Conference on Automated Reasoning (IJCAR)
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33419&copyow
 nerid=52005
UID:cfp395654-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140122
SUMMARY:IJCAR 2014 Deadline
DESCRIPTION:International Joint Conference on Automated Reasoning (IJCAR)
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33419&copyow
 nerid=52005
UID:cfp395654-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140331
SUMMARY:IJCAR 2014 Notification Due
DESCRIPTION:International Joint Conference on Automated Reasoning (IJCAR)
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33419&copyow
 nerid=52005
UID:cfp395654-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140419
SUMMARY:IJCAR 2014 Final Version Due
DESCRIPTION:International Joint Conference on Automated Reasoning (IJCAR)
 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33419&copyow
 nerid=52005
UID:cfp395654-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140624
DTEND;VALUE=DATE:20140628
SUMMARY:PSI 2014
DESCRIPTION:Ershov Informatics Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34747&copyow
 nerid=52005
UID:cfp415634-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140127
SUMMARY:PSI 2014 Abstract Due
DESCRIPTION:Ershov Informatics Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34747&copyow
 nerid=52005
UID:cfp415634-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140203
SUMMARY:PSI 2014 Deadline
DESCRIPTION:Ershov Informatics Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34747&copyow
 nerid=52005
UID:cfp415634-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140401
SUMMARY:PSI 2014 Notification Due
DESCRIPTION:Ershov Informatics Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34747&copyow
 nerid=52005
UID:cfp415634-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140901
SUMMARY:PSI 2014 Final Version Due
DESCRIPTION:Ershov Informatics Conference
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=34747&copyow
 nerid=52005
UID:cfp415634-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140718
DTEND;VALUE=DATE:20140723
SUMMARY:CAV 2014
DESCRIPTION:26th International Conference on Computer Aided Verification 
 (CAV)
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32603&copyow
 nerid=52005
UID:cfp395656-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140131
SUMMARY:CAV 2014 Abstract Due
DESCRIPTION:26th International Conference on Computer Aided Verification 
 (CAV)
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32603&copyow
 nerid=52005
UID:cfp395656-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140207
SUMMARY:CAV 2014 Deadline
DESCRIPTION:26th International Conference on Computer Aided Verification 
 (CAV)
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32603&copyow
 nerid=52005
UID:cfp395656-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140320
SUMMARY:CAV 2014 Notification Due
DESCRIPTION:26th International Conference on Computer Aided Verification 
 (CAV)
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=32603&copyow
 nerid=52005
UID:cfp395656-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20141103
DTEND;VALUE=DATE:20141108
SUMMARY:ATVA 2014
DESCRIPTION:International Symposium on Automated Technology for Verificat
 ion and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33624&copyow
 nerid=52005
UID:cfp415638-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140415
SUMMARY:ATVA 2014 Deadline
DESCRIPTION:International Symposium on Automated Technology for Verificat
 ion and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33624&copyow
 nerid=52005
UID:cfp415638-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260717T160928Z
DTSTART;VALUE=DATE:20140630
SUMMARY:ATVA 2014 Notification Due
DESCRIPTION:International Symposium on Automated Technology for Verificat
 ion and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33624&copyow
 nerid=52005
UID:cfp415638-N@wikicfp.com
END:VEVENT
END:VCALENDAR