BEGIN:VCALENDAR PRODID:-//WikiCFP//alex_ren 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20101018 DTEND;VALUE=DATE:20101021 SUMMARY:ISOLA 2010 DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=38164 UID:cfp270393-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20100328 SUMMARY:ISOLA 2010 Deadline DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=38164 UID:cfp270393-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20100516 SUMMARY:ISOLA 2010 Notification Due DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=38164 UID:cfp270393-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20100627 SUMMARY:ISOLA 2010 Final Version Due DESCRIPTION:4th International Symposium On Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8425©own erid=38164 UID:cfp270393-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110604 DTEND;VALUE=DATE:20110609 SUMMARY:PLDI 2011 DESCRIPTION:The 32nd ACM SIGPLAN conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11254©ow nerid=38164 UID:cfp267321-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20101112 SUMMARY:PLDI 2011 Abstract Due DESCRIPTION:The 32nd ACM SIGPLAN conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11254©ow nerid=38164 UID:cfp267321-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20101119 SUMMARY:PLDI 2011 Deadline DESCRIPTION:The 32nd ACM SIGPLAN conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11254©ow nerid=38164 UID:cfp267321-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110203 SUMMARY:PLDI 2011 Notification Due DESCRIPTION:The 32nd ACM SIGPLAN conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11254©ow nerid=38164 UID:cfp267321-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110620 DTEND;VALUE=DATE:20110625 SUMMARY:Ada-Europe 2011 DESCRIPTION:16th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10157©ow nerid=38164 UID:cfp267320-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20101128 SUMMARY:Ada-Europe 2011 Deadline DESCRIPTION:16th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10157©ow nerid=38164 UID:cfp267320-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110208 SUMMARY:Ada-Europe 2011 Notification Due DESCRIPTION:16th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10157©ow nerid=38164 UID:cfp267320-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110308 SUMMARY:Ada-Europe 2011 Final Version Due DESCRIPTION:16th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10157©ow nerid=38164 UID:cfp267320-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110418 DTEND;VALUE=DATE:20110421 SUMMARY:NFM 2011 DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=38164 UID:cfp267328-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20101226 SUMMARY:NFM 2011 Deadline DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=38164 UID:cfp267328-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110128 SUMMARY:NFM 2011 Notification Due DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=38164 UID:cfp267328-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110218 SUMMARY:NFM 2011 Final Version Due DESCRIPTION:Third NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10763©ow nerid=38164 UID:cfp267328-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110704 DTEND;VALUE=DATE:20110709 SUMMARY:ICALP 2011 DESCRIPTION:The 38th International Colloquium on Automata\, Languages and Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12072©ow nerid=38164 UID:cfp267319-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110215 SUMMARY:ICALP 2011 Deadline DESCRIPTION:The 38th International Colloquium on Automata\, Languages and Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12072©ow nerid=38164 UID:cfp267319-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110412 SUMMARY:ICALP 2011 Notification Due DESCRIPTION:The 38th International Colloquium on Automata\, Languages and Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12072©ow nerid=38164 UID:cfp267319-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110428 SUMMARY:ICALP 2011 Final Version Due DESCRIPTION:The 38th International Colloquium on Automata\, Languages and Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12072©ow nerid=38164 UID:cfp267319-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110919 DTEND;VALUE=DATE:20110922 SUMMARY:ICFP 2011 DESCRIPTION:The 16th ACM SIGPLAN International Conference on Functional P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14583©ow nerid=38164 UID:cfp267318-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110317 SUMMARY:ICFP 2011 Abstract Due DESCRIPTION:The 16th ACM SIGPLAN International Conference on Functional P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14583©ow nerid=38164 UID:cfp267318-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110324 SUMMARY:ICFP 2011 Deadline DESCRIPTION:The 16th ACM SIGPLAN International Conference on Functional P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14583©ow nerid=38164 UID:cfp267318-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110530 SUMMARY:ICFP 2011 Notification Due DESCRIPTION:The 16th ACM SIGPLAN International Conference on Functional P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14583©ow nerid=38164 UID:cfp267318-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110701 SUMMARY:ICFP 2011 Final Version Due DESCRIPTION:The 16th ACM SIGPLAN International Conference on Functional P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14583©ow nerid=38164 UID:cfp267318-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111114 DTEND;VALUE=DATE:20111119 SUMMARY:SEFM 2011 DESCRIPTION:9th International Conference on Software Engineering and Form al Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15351©ow nerid=38164 UID:cfp267327-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110423 SUMMARY:SEFM 2011 Abstract Due DESCRIPTION:9th International Conference on Software Engineering and Form al Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15351©ow nerid=38164 UID:cfp267327-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110430 SUMMARY:SEFM 2011 Deadline DESCRIPTION:9th International Conference on Software Engineering and Form al Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15351©ow nerid=38164 UID:cfp267327-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110615 SUMMARY:SEFM 2011 Notification Due DESCRIPTION:9th International Conference on Software Engineering and Form al Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15351©ow nerid=38164 UID:cfp267327-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110715 SUMMARY:SEFM 2011 Final Version Due DESCRIPTION:9th International Conference on Software Engineering and Form al Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15351©ow nerid=38164 UID:cfp267327-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111103 DTEND;VALUE=DATE:20111104 SUMMARY:DIFTS 2011 DESCRIPTION:First International Workshop on Design and Implementation of Formal Tools and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14887©ow nerid=38164 UID:cfp267325-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110530 SUMMARY:DIFTS 2011 Abstract Due DESCRIPTION:First International Workshop on Design and Implementation of Formal Tools and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14887©ow nerid=38164 UID:cfp267325-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110606 SUMMARY:DIFTS 2011 Deadline DESCRIPTION:First International Workshop on Design and Implementation of Formal Tools and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14887©ow nerid=38164 UID:cfp267325-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110706 SUMMARY:DIFTS 2011 Notification Due DESCRIPTION:First International Workshop on Design and Implementation of Formal Tools and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14887©ow nerid=38164 UID:cfp267325-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110905 SUMMARY:DIFTS 2011 Final Version Due DESCRIPTION:First International Workshop on Design and Implementation of Formal Tools and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14887©ow nerid=38164 UID:cfp267325-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111023 DTEND;VALUE=DATE:20111024 SUMMARY:PLOS 2011 DESCRIPTION:6th Workshop on Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14781©ow nerid=38164 UID:cfp267317-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110617 SUMMARY:PLOS 2011 Deadline DESCRIPTION:6th Workshop on Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14781©ow nerid=38164 UID:cfp267317-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110731 SUMMARY:PLOS 2011 Notification Due DESCRIPTION:6th Workshop on Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14781©ow nerid=38164 UID:cfp267317-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110909 SUMMARY:PLOS 2011 Final Version Due DESCRIPTION:6th Workshop on Programming Languages and Operating Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14781©ow nerid=38164 UID:cfp267317-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120125 DTEND;VALUE=DATE:20120128 SUMMARY:POPL 2012 DESCRIPTION:The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15647©ow nerid=38164 UID:cfp267301-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110708 SUMMARY:POPL 2012 Abstract Due DESCRIPTION:The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15647©ow nerid=38164 UID:cfp267301-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110712 SUMMARY:POPL 2012 Deadline DESCRIPTION:The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15647©ow nerid=38164 UID:cfp267301-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111003 SUMMARY:POPL 2012 Notification Due DESCRIPTION:The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15647©ow nerid=38164 UID:cfp267301-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111108 SUMMARY:POPL 2012 Final Version Due DESCRIPTION:The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15647©ow nerid=38164 UID:cfp267301-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120122 DTEND;VALUE=DATE:20120125 SUMMARY:VMCAI 2012 DESCRIPTION:13th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17126©ow nerid=38164 UID:cfp267323-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110812 SUMMARY:VMCAI 2012 Abstract Due DESCRIPTION:13th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17126©ow nerid=38164 UID:cfp267323-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110819 SUMMARY:VMCAI 2012 Deadline DESCRIPTION:13th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17126©ow nerid=38164 UID:cfp267323-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111010 SUMMARY:VMCAI 2012 Notification Due DESCRIPTION:13th International Conference on Verification\, Model Checkin g\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17126©ow nerid=38164 UID:cfp267323-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120128 DTEND;VALUE=DATE:20120130 SUMMARY:VSTTE 2012 DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17477©ow nerid=38164 UID:cfp267324-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20110831 SUMMARY:VSTTE 2012 Deadline DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17477©ow nerid=38164 UID:cfp267324-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111020 SUMMARY:VSTTE 2012 Notification Due DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17477©ow nerid=38164 UID:cfp267324-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111115 SUMMARY:VSTTE 2012 Final Version Due DESCRIPTION:Verified Software: Theories\, Tools and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17477©ow nerid=38164 UID:cfp267324-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120611 DTEND;VALUE=DATE:20120617 SUMMARY:PLDI 2012 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18676©ow nerid=38164 UID:cfp267316-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111106 SUMMARY:PLDI 2012 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18676©ow nerid=38164 UID:cfp267316-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120202 SUMMARY:PLDI 2012 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18676©ow nerid=38164 UID:cfp267316-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120523 DTEND;VALUE=DATE:20120526 SUMMARY:FLOPS 2012 DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18085©ow nerid=38164 UID:cfp267315-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111209 SUMMARY:FLOPS 2012 Deadline DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18085©ow nerid=38164 UID:cfp267315-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120203 SUMMARY:FLOPS 2012 Notification Due DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18085©ow nerid=38164 UID:cfp267315-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120302 SUMMARY:FLOPS 2012 Final Version Due DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18085©ow nerid=38164 UID:cfp267315-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120403 DTEND;VALUE=DATE:20120406 SUMMARY:NFM 2012 DESCRIPTION:Fourth NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18563©ow nerid=38164 UID:cfp267302-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20111211 SUMMARY:NFM 2012 Deadline DESCRIPTION:Fourth NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18563©ow nerid=38164 UID:cfp267302-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120121 SUMMARY:NFM 2012 Notification Due DESCRIPTION:Fourth NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18563©ow nerid=38164 UID:cfp267302-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120204 SUMMARY:NFM 2012 Final Version Due DESCRIPTION:Fourth NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18563©ow nerid=38164 UID:cfp267302-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120704 DTEND;VALUE=DATE:20120707 SUMMARY:TASE 2012 DESCRIPTION:6th IEEE International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19083©ow nerid=38164 UID:cfp267322-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120113 SUMMARY:TASE 2012 Abstract Due DESCRIPTION:6th IEEE International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19083©ow nerid=38164 UID:cfp267322-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120120 SUMMARY:TASE 2012 Deadline DESCRIPTION:6th IEEE International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19083©ow nerid=38164 UID:cfp267322-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120323 SUMMARY:TASE 2012 Notification Due DESCRIPTION:6th IEEE International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19083©ow nerid=38164 UID:cfp267322-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120413 SUMMARY:TASE 2012 Final Version Due DESCRIPTION:6th IEEE International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19083©ow nerid=38164 UID:cfp267322-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120612 DTEND;VALUE=DATE:20120614 SUMMARY:LCTES 2012 DESCRIPTION:SIGPLAN/SIGBED Conference on Languages\, Compilers and Tools for Embedded Systems 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17365©ow nerid=38164 UID:cfp267313-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120210 SUMMARY:LCTES 2012 Deadline DESCRIPTION:SIGPLAN/SIGBED Conference on Languages\, Compilers and Tools for Embedded Systems 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=17365©ow nerid=38164 UID:cfp267313-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120709 DTEND;VALUE=DATE:20120714 SUMMARY:ICALP 2012 DESCRIPTION:39th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20819©ow nerid=38164 UID:cfp267303-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120221 SUMMARY:ICALP 2012 Deadline DESCRIPTION:39th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20819©ow nerid=38164 UID:cfp267303-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120417 SUMMARY:ICALP 2012 Notification Due DESCRIPTION:39th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20819©ow nerid=38164 UID:cfp267303-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120508 SUMMARY:ICALP 2012 Final Version Due DESCRIPTION:39th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20819©ow nerid=38164 UID:cfp267303-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120615 DTEND;VALUE=DATE:20120616 SUMMARY:PLAS 2012 DESCRIPTION:Programming Languages and Analysis for Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18931©ow nerid=38164 UID:cfp267314-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120302 SUMMARY:PLAS 2012 Deadline DESCRIPTION:Programming Languages and Analysis for Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18931©ow nerid=38164 UID:cfp267314-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120404 SUMMARY:PLAS 2012 Notification Due DESCRIPTION:Programming Languages and Analysis for Security URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18931©ow nerid=38164 UID:cfp267314-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120827 DTEND;VALUE=DATE:20120901 SUMMARY:FM 2012 DESCRIPTION:18th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20438©ow nerid=38164 UID:cfp267299-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120305 SUMMARY:FM 2012 Deadline DESCRIPTION:18th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20438©ow nerid=38164 UID:cfp267299-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120507 SUMMARY:FM 2012 Notification Due DESCRIPTION:18th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20438©ow nerid=38164 UID:cfp267299-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120604 SUMMARY:FM 2012 Final Version Due DESCRIPTION:18th International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20438©ow nerid=38164 UID:cfp267299-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120716 DTEND;VALUE=DATE:20120719 SUMMARY:MEMOCODE 2012 DESCRIPTION:ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20627©ow nerid=38164 UID:cfp267309-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120302 SUMMARY:MEMOCODE 2012 Abstract Due DESCRIPTION:ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20627©ow nerid=38164 UID:cfp267309-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120309 SUMMARY:MEMOCODE 2012 Deadline DESCRIPTION:ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20627©ow nerid=38164 UID:cfp267309-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120504 SUMMARY:MEMOCODE 2012 Notification Due DESCRIPTION:ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20627©ow nerid=38164 UID:cfp267309-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120518 SUMMARY:MEMOCODE 2012 Final Version Due DESCRIPTION:ACM/IEEE Tenth International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20627©ow nerid=38164 UID:cfp267309-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120904 DTEND;VALUE=DATE:20120909 SUMMARY:ICLP 2012 DESCRIPTION:28th International Conference on Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20370©ow nerid=38164 UID:cfp267312-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120311 SUMMARY:ICLP 2012 Abstract Due DESCRIPTION:28th International Conference on Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20370©ow nerid=38164 UID:cfp267312-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120318 SUMMARY:ICLP 2012 Deadline DESCRIPTION:28th International Conference on Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20370©ow nerid=38164 UID:cfp267312-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120428 SUMMARY:ICLP 2012 Notification Due DESCRIPTION:28th International Conference on Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20370©ow nerid=38164 UID:cfp267312-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120610 SUMMARY:ICLP 2012 Final Version Due DESCRIPTION:28th International Conference on Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20370©ow nerid=38164 UID:cfp267312-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120723 DTEND;VALUE=DATE:20120725 SUMMARY:SPIN 2012 DESCRIPTION:19th International Workshop on Model Checking Software - SPIN 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21573©ow nerid=38164 UID:cfp267545-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120326 SUMMARY:SPIN 2012 Abstract Due DESCRIPTION:19th International Workshop on Model Checking Software - SPIN 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21573©ow nerid=38164 UID:cfp267545-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120330 SUMMARY:SPIN 2012 Deadline DESCRIPTION:19th International Workshop on Model Checking Software - SPIN 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21573©ow nerid=38164 UID:cfp267545-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120507 SUMMARY:SPIN 2012 Notification Due DESCRIPTION:19th International Workshop on Model Checking Software - SPIN 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21573©ow nerid=38164 UID:cfp267545-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120514 SUMMARY:SPIN 2012 Final Version Due DESCRIPTION:19th International Workshop on Model Checking Software - SPIN 2012 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21573©ow nerid=38164 UID:cfp267545-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120827 DTEND;VALUE=DATE:20120829 SUMMARY:FMICS 2012 DESCRIPTION:17th International Workshop on Formal Methods for Industrial Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20343©ow nerid=38164 UID:cfp267298-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120328 SUMMARY:FMICS 2012 Abstract Due DESCRIPTION:17th International Workshop on Formal Methods for Industrial Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20343©ow nerid=38164 UID:cfp267298-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120404 SUMMARY:FMICS 2012 Deadline DESCRIPTION:17th International Workshop on Formal Methods for Industrial Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20343©ow nerid=38164 UID:cfp267298-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120525 SUMMARY:FMICS 2012 Notification Due DESCRIPTION:17th International Workshop on Formal Methods for Industrial Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20343©ow nerid=38164 UID:cfp267298-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120608 SUMMARY:FMICS 2012 Final Version Due DESCRIPTION:17th International Workshop on Formal Methods for Industrial Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20343©ow nerid=38164 UID:cfp267298-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121001 DTEND;VALUE=DATE:20121006 SUMMARY:SEFM 2012 DESCRIPTION:10th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20596©ow nerid=38164 UID:cfp267297-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120404 SUMMARY:SEFM 2012 Abstract Due DESCRIPTION:10th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20596©ow nerid=38164 UID:cfp267297-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120419 SUMMARY:SEFM 2012 Deadline DESCRIPTION:10th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20596©ow nerid=38164 UID:cfp267297-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120524 SUMMARY:SEFM 2012 Notification Due DESCRIPTION:10th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20596©ow nerid=38164 UID:cfp267297-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120605 SUMMARY:SEFM 2012 Final Version Due DESCRIPTION:10th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20596©ow nerid=38164 UID:cfp267297-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121003 DTEND;VALUE=DATE:20121007 SUMMARY:ATVA 2012 DESCRIPTION:10th International Symposium on Automated Technology for Veri fication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21100©ow nerid=38164 UID:cfp267293-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120430 SUMMARY:ATVA 2012 Deadline DESCRIPTION:10th International Symposium on Automated Technology for Veri fication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21100©ow nerid=38164 UID:cfp267293-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120618 SUMMARY:ATVA 2012 Notification Due DESCRIPTION:10th International Symposium on Automated Technology for Veri fication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21100©ow nerid=38164 UID:cfp267293-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120702 SUMMARY:ATVA 2012 Final Version Due DESCRIPTION:10th International Symposium on Automated Technology for Veri fication and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21100©ow nerid=38164 UID:cfp267293-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121112 DTEND;VALUE=DATE:20121117 SUMMARY:ICFEM 2012 DESCRIPTION:14th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22631©ow nerid=38164 UID:cfp267305-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120416 SUMMARY:ICFEM 2012 Abstract Due DESCRIPTION:14th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22631©ow nerid=38164 UID:cfp267305-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120430 SUMMARY:ICFEM 2012 Deadline DESCRIPTION:14th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22631©ow nerid=38164 UID:cfp267305-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120618 SUMMARY:ICFEM 2012 Notification Due DESCRIPTION:14th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22631©ow nerid=38164 UID:cfp267305-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120716 SUMMARY:ICFEM 2012 Final Version Due DESCRIPTION:14th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22631©ow nerid=38164 UID:cfp267305-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120918 DTEND;VALUE=DATE:20120921 SUMMARY:FORMATS 2012 DESCRIPTION:10th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21222©ow nerid=38164 UID:cfp267294-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120507 SUMMARY:FORMATS 2012 Abstract Due DESCRIPTION:10th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21222©ow nerid=38164 UID:cfp267294-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120511 SUMMARY:FORMATS 2012 Deadline DESCRIPTION:10th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21222©ow nerid=38164 UID:cfp267294-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120615 SUMMARY:FORMATS 2012 Notification Due DESCRIPTION:10th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21222©ow nerid=38164 UID:cfp267294-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120707 SUMMARY:FORMATS 2012 Final Version Due DESCRIPTION:10th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21222©ow nerid=38164 UID:cfp267294-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121022 DTEND;VALUE=DATE:20121026 SUMMARY:FMCAD 2012 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21521©ow nerid=38164 UID:cfp267295-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120509 SUMMARY:FMCAD 2012 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21521©ow nerid=38164 UID:cfp267295-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120520 SUMMARY:FMCAD 2012 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21521©ow nerid=38164 UID:cfp267295-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120713 SUMMARY:FMCAD 2012 Notification Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21521©ow nerid=38164 UID:cfp267295-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120810 SUMMARY:FMCAD 2012 Final Version Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21521©ow nerid=38164 UID:cfp267295-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120906 DTEND;VALUE=DATE:20120909 SUMMARY:GandALF 2012 DESCRIPTION:Third International Symposium on Games\, Automata\, Logics\, and Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21840©ow nerid=38164 UID:cfp267300-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120516 SUMMARY:GandALF 2012 Abstract Due DESCRIPTION:Third International Symposium on Games\, Automata\, Logics\, and Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21840©ow nerid=38164 UID:cfp267300-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120522 SUMMARY:GandALF 2012 Deadline DESCRIPTION:Third International Symposium on Games\, Automata\, Logics\, and Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21840©ow nerid=38164 UID:cfp267300-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120627 SUMMARY:GandALF 2012 Notification Due DESCRIPTION:Third International Symposium on Games\, Automata\, Logics\, and Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21840©ow nerid=38164 UID:cfp267300-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120715 SUMMARY:GandALF 2012 Final Version Due DESCRIPTION:Third International Symposium on Games\, Automata\, Logics\, and Formal Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21840©ow nerid=38164 UID:cfp267300-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120919 DTEND;VALUE=DATE:20120922 SUMMARY:PPDP 2012 DESCRIPTION:14th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21373©ow nerid=38164 UID:cfp267310-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120528 SUMMARY:PPDP 2012 Abstract Due DESCRIPTION:14th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21373©ow nerid=38164 UID:cfp267310-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120531 SUMMARY:PPDP 2012 Deadline DESCRIPTION:14th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21373©ow nerid=38164 UID:cfp267310-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120706 SUMMARY:PPDP 2012 Notification Due DESCRIPTION:14th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21373©ow nerid=38164 UID:cfp267310-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120718 SUMMARY:PPDP 2012 Final Version Due DESCRIPTION:14th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21373©ow nerid=38164 UID:cfp267310-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120902 DTEND;VALUE=DATE:20120903 SUMMARY:FMSPLE 2012 DESCRIPTION:Third Workshop on Formal Methods and Analysis in Software Pro duct Line Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22670©ow nerid=38164 UID:cfp267292-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120601 SUMMARY:FMSPLE 2012 Deadline DESCRIPTION:Third Workshop on Formal Methods and Analysis in Software Pro duct Line Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22670©ow nerid=38164 UID:cfp267292-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120615 SUMMARY:FMSPLE 2012 Notification Due DESCRIPTION:Third Workshop on Formal Methods and Analysis in Software Pro duct Line Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22670©ow nerid=38164 UID:cfp267292-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120629 SUMMARY:FMSPLE 2012 Final Version Due DESCRIPTION:Third Workshop on Formal Methods and Analysis in Software Pro duct Line Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22670©ow nerid=38164 UID:cfp267292-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120918 DTEND;VALUE=DATE:20120921 SUMMARY:AVOCS 2012 DESCRIPTION:International Workshop on Automated Verification of Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24148©ow nerid=38164 UID:cfp279551-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120606 SUMMARY:AVOCS 2012 Deadline DESCRIPTION:International Workshop on Automated Verification of Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24148©ow nerid=38164 UID:cfp279551-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120716 SUMMARY:AVOCS 2012 Notification Due DESCRIPTION:International Workshop on Automated Verification of Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24148©ow nerid=38164 UID:cfp279551-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120803 SUMMARY:AVOCS 2012 Final Version Due DESCRIPTION:International Workshop on Automated Verification of Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24148©ow nerid=38164 UID:cfp279551-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120906 DTEND;VALUE=DATE:20120908 SUMMARY:WS-FM 2012 DESCRIPTION:9th International Workshop on Web Services and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22000©ow nerid=38164 UID:cfp267296-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120602 SUMMARY:WS-FM 2012 Abstract Due DESCRIPTION:9th International Workshop on Web Services and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22000©ow nerid=38164 UID:cfp267296-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120609 SUMMARY:WS-FM 2012 Deadline DESCRIPTION:9th International Workshop on Web Services and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22000©ow nerid=38164 UID:cfp267296-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120721 SUMMARY:WS-FM 2012 Notification Due DESCRIPTION:9th International Workshop on Web Services and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22000©ow nerid=38164 UID:cfp267296-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120804 SUMMARY:WS-FM 2012 Final Version Due DESCRIPTION:9th International Workshop on Web Services and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22000©ow nerid=38164 UID:cfp267296-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120925 DTEND;VALUE=DATE:20120929 SUMMARY:SLE 2012 DESCRIPTION:5th International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20977©ow nerid=38164 UID:cfp267326-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120604 SUMMARY:SLE 2012 Abstract Due DESCRIPTION:5th International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20977©ow nerid=38164 UID:cfp267326-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120611 SUMMARY:SLE 2012 Deadline DESCRIPTION:5th International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20977©ow nerid=38164 UID:cfp267326-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120803 SUMMARY:SLE 2012 Notification Due DESCRIPTION:5th International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20977©ow nerid=38164 UID:cfp267326-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120903 SUMMARY:SLE 2012 Final Version Due DESCRIPTION:5th International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20977©ow nerid=38164 UID:cfp267326-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121213 DTEND;VALUE=DATE:20121216 SUMMARY:CPP 2012 DESCRIPTION:The Second International Conference on Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22751©ow nerid=38164 UID:cfp267307-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120608 SUMMARY:CPP 2012 Abstract Due DESCRIPTION:The Second International Conference on Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22751©ow nerid=38164 UID:cfp267307-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120615 SUMMARY:CPP 2012 Deadline DESCRIPTION:The Second International Conference on Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22751©ow nerid=38164 UID:cfp267307-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120827 SUMMARY:CPP 2012 Notification Due DESCRIPTION:The Second International Conference on Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22751©ow nerid=38164 UID:cfp267307-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120917 SUMMARY:CPP 2012 Final Version Due DESCRIPTION:The Second International Conference on Certified Programs and Proofs URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22751©ow nerid=38164 UID:cfp267307-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120826 DTEND;VALUE=DATE:20120830 SUMMARY:CPA 2012 DESCRIPTION:Communicating Process Architectures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24149©ow nerid=38164 UID:cfp279553-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120617 SUMMARY:CPA 2012 Deadline DESCRIPTION:Communicating Process Architectures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24149©ow nerid=38164 UID:cfp279553-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120709 SUMMARY:CPA 2012 Notification Due DESCRIPTION:Communicating Process Architectures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24149©ow nerid=38164 UID:cfp279553-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120723 SUMMARY:CPA 2012 Final Version Due DESCRIPTION:Communicating Process Architectures URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24149©ow nerid=38164 UID:cfp279553-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120618 DTEND;VALUE=DATE:20120622 SUMMARY:TTSDP 2012 DESCRIPTION:4th International Workshop on “Tools and Techniques in Soft ware Development Process URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21240©ow nerid=38164 UID:cfp279552-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120220 SUMMARY:TTSDP 2012 Abstract Due DESCRIPTION:4th International Workshop on “Tools and Techniques in Soft ware Development Process URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21240©ow nerid=38164 UID:cfp279552-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120620 SUMMARY:TTSDP 2012 Deadline DESCRIPTION:4th International Workshop on “Tools and Techniques in Soft ware Development Process URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21240©ow nerid=38164 UID:cfp279552-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120315 SUMMARY:TTSDP 2012 Notification Due DESCRIPTION:4th International Workshop on “Tools and Techniques in Soft ware Development Process URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21240©ow nerid=38164 UID:cfp279552-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120404 SUMMARY:TTSDP 2012 Final Version Due DESCRIPTION:4th International Workshop on “Tools and Techniques in Soft ware Development Process URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21240©ow nerid=38164 UID:cfp279552-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121012 DTEND;VALUE=DATE:20121014 SUMMARY:SEW 2012 DESCRIPTION:35th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23037©ow nerid=38164 UID:cfp267306-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120701 SUMMARY:SEW 2012 Deadline DESCRIPTION:35th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23037©ow nerid=38164 UID:cfp267306-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120817 SUMMARY:SEW 2012 Notification Due DESCRIPTION:35th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23037©ow nerid=38164 UID:cfp267306-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121212 SUMMARY:SEW 2012 Final Version Due DESCRIPTION:35th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23037©ow nerid=38164 UID:cfp267306-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130123 DTEND;VALUE=DATE:20130126 SUMMARY:POPL 2013 DESCRIPTION:The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21374©ow nerid=38164 UID:cfp267311-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120706 SUMMARY:POPL 2013 Abstract Due DESCRIPTION:The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21374©ow nerid=38164 UID:cfp267311-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120710 SUMMARY:POPL 2013 Deadline DESCRIPTION:The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21374©ow nerid=38164 UID:cfp267311-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121001 SUMMARY:POPL 2013 Notification Due DESCRIPTION:The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21374©ow nerid=38164 UID:cfp267311-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121101 SUMMARY:POPL 2013 Final Version Due DESCRIPTION:The 40th ACM SIGPLAN-SIGACT Symposium on Principles of Progra mming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=21374©ow nerid=38164 UID:cfp267311-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121215 DTEND;VALUE=DATE:20121218 SUMMARY:FSTTCS 2012 DESCRIPTION:IARCS Annual Conference on Foundations of Software Technolog y and Theoretical Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22922©ow nerid=38164 UID:cfp267304-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120713 SUMMARY:FSTTCS 2012 Deadline DESCRIPTION:IARCS Annual Conference on Foundations of Software Technolog y and Theoretical Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22922©ow nerid=38164 UID:cfp267304-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120912 SUMMARY:FSTTCS 2012 Notification Due DESCRIPTION:IARCS Annual Conference on Foundations of Software Technolog y and Theoretical Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22922©ow nerid=38164 UID:cfp267304-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121010 SUMMARY:FSTTCS 2012 Final Version Due DESCRIPTION:IARCS Annual Conference on Foundations of Software Technolog y and Theoretical Computer Science URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22922©ow nerid=38164 UID:cfp267304-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120718 SUMMARY:IEICE FA 2012 Deadline DESCRIPTION:Special Section on Formal Approach\, IEICE Trans URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22946©ow nerid=38164 UID:cfp267308-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121222 SUMMARY:IEICE FA 2012 Notification Due DESCRIPTION:Special Section on Formal Approach\, IEICE Trans URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=22946©ow nerid=38164 UID:cfp267308-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121112 DTEND;VALUE=DATE:20121113 SUMMARY:FTSCS 2012 DESCRIPTION:First International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23308©ow nerid=38164 UID:cfp279550-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20120908 SUMMARY:FTSCS 2012 Deadline DESCRIPTION:First International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23308©ow nerid=38164 UID:cfp279550-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121001 SUMMARY:FTSCS 2012 Notification Due DESCRIPTION:First International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23308©ow nerid=38164 UID:cfp279550-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130616 DTEND;VALUE=DATE:20130622 SUMMARY:PLDI 2013 DESCRIPTION:34th Annual ACM SIGPLAN Conference on Programming Language De sign and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25758©ow nerid=38164 UID:cfp303803-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121111 SUMMARY:PLDI 2013 Deadline DESCRIPTION:34th Annual ACM SIGPLAN Conference on Programming Language De sign and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25758©ow nerid=38164 UID:cfp303803-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130205 SUMMARY:PLDI 2013 Notification Due DESCRIPTION:34th Annual ACM SIGPLAN Conference on Programming Language De sign and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25758©ow nerid=38164 UID:cfp303803-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130610 DTEND;VALUE=DATE:20130615 SUMMARY:Ada-Europe 2013 DESCRIPTION:18th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26017©ow nerid=38164 UID:cfp303804-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121203 SUMMARY:Ada-Europe 2013 Deadline DESCRIPTION:18th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26017©ow nerid=38164 UID:cfp303804-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130211 SUMMARY:Ada-Europe 2013 Notification Due DESCRIPTION:18th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26017©ow nerid=38164 UID:cfp303804-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130310 SUMMARY:Ada-Europe 2013 Final Version Due DESCRIPTION:18th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26017©ow nerid=38164 UID:cfp303804-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130514 DTEND;VALUE=DATE:20130517 SUMMARY:NFM 2013 DESCRIPTION:5th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27039©ow nerid=38164 UID:cfp314027-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121207 SUMMARY:NFM 2013 Abstract Due DESCRIPTION:5th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27039©ow nerid=38164 UID:cfp314027-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20121216 SUMMARY:NFM 2013 Deadline DESCRIPTION:5th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27039©ow nerid=38164 UID:cfp314027-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130215 SUMMARY:NFM 2013 Notification Due DESCRIPTION:5th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27039©ow nerid=38164 UID:cfp314027-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130315 SUMMARY:NFM 2013 Final Version Due DESCRIPTION:5th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27039©ow nerid=38164 UID:cfp314027-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130520 DTEND;VALUE=DATE:20130522 SUMMARY:SEAMS 2013 DESCRIPTION:8th International Symposium on Software Engineering for Adapt ive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23903©ow nerid=38164 UID:cfp291650-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130121 SUMMARY:SEAMS 2013 Deadline DESCRIPTION:8th International Symposium on Software Engineering for Adapt ive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23903©ow nerid=38164 UID:cfp291650-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130228 SUMMARY:SEAMS 2013 Notification Due DESCRIPTION:8th International Symposium on Software Engineering for Adapt ive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23903©ow nerid=38164 UID:cfp291650-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130325 SUMMARY:SEAMS 2013 Final Version Due DESCRIPTION:8th International Symposium on Software Engineering for Adapt ive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=23903©ow nerid=38164 UID:cfp291650-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130701 DTEND;VALUE=DATE:20130704 SUMMARY:TASE 2013 DESCRIPTION:7th International Symposium on Theoretical Aspects of Softwar e Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26089©ow nerid=38164 UID:cfp303802-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130118 SUMMARY:TASE 2013 Abstract Due DESCRIPTION:7th International Symposium on Theoretical Aspects of Softwar e Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26089©ow nerid=38164 UID:cfp303802-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130125 SUMMARY:TASE 2013 Deadline DESCRIPTION:7th International Symposium on Theoretical Aspects of Softwar e Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26089©ow nerid=38164 UID:cfp303802-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130322 SUMMARY:TASE 2013 Notification Due DESCRIPTION:7th International Symposium on Theoretical Aspects of Softwar e Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26089©ow nerid=38164 UID:cfp303802-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130426 SUMMARY:TASE 2013 Final Version Due DESCRIPTION:7th International Symposium on Theoretical Aspects of Softwar e Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26089©ow nerid=38164 UID:cfp303802-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130616 DTEND;VALUE=DATE:20130624 SUMMARY:LCTES 2013 DESCRIPTION:Languages\, Compilers and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27059©ow nerid=38164 UID:cfp314284-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130208 SUMMARY:LCTES 2013 Deadline DESCRIPTION:Languages\, Compilers and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27059©ow nerid=38164 UID:cfp314284-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130331 SUMMARY:LCTES 2013 Notification Due DESCRIPTION:Languages\, Compilers and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27059©ow nerid=38164 UID:cfp314284-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130418 SUMMARY:LCTES 2013 Final Version Due DESCRIPTION:Languages\, Compilers and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27059©ow nerid=38164 UID:cfp314284-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130708 DTEND;VALUE=DATE:20130713 SUMMARY:ICALP 2013 DESCRIPTION:40th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25224©ow nerid=38164 UID:cfp303805-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130215 SUMMARY:ICALP 2013 Deadline DESCRIPTION:40th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25224©ow nerid=38164 UID:cfp303805-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130412 SUMMARY:ICALP 2013 Notification Due DESCRIPTION:40th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25224©ow nerid=38164 UID:cfp303805-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130428 SUMMARY:ICALP 2013 Final Version Due DESCRIPTION:40th International Colloquium on Automata\, Languages and Pro gramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25224©ow nerid=38164 UID:cfp303805-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130517 DTEND;VALUE=DATE:20130520 SUMMARY:VSTTE 2013 DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28399©ow nerid=38164 UID:cfp329857-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130222 SUMMARY:VSTTE 2013 Abstract Due DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28399©ow nerid=38164 UID:cfp329857-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130301 SUMMARY:VSTTE 2013 Deadline DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28399©ow nerid=38164 UID:cfp329857-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130329 SUMMARY:VSTTE 2013 Notification Due DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28399©ow nerid=38164 UID:cfp329857-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130628 SUMMARY:VSTTE 2013 Final Version Due DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28399©ow nerid=38164 UID:cfp329857-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130925 DTEND;VALUE=DATE:20130928 SUMMARY:ICFP 2013 DESCRIPTION:ACM SIGPLAN International Conference on Functional Programmin g URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26482©ow nerid=38164 UID:cfp308144-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130328 SUMMARY:ICFP 2013 Deadline DESCRIPTION:ACM SIGPLAN International Conference on Functional Programmin g URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=26482©ow nerid=38164 UID:cfp308144-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130923 DTEND;VALUE=DATE:20130928 SUMMARY:SEFM 2013 DESCRIPTION:International Conference on Software Engineering and Formal M ethods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27179©ow nerid=38164 UID:cfp315212-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130325 SUMMARY:SEFM 2013 Abstract Due DESCRIPTION:International Conference on Software Engineering and Formal M ethods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27179©ow nerid=38164 UID:cfp315212-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130401 SUMMARY:SEFM 2013 Deadline DESCRIPTION:International Conference on Software Engineering and Formal M ethods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27179©ow nerid=38164 UID:cfp315212-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130603 SUMMARY:SEFM 2013 Notification Due DESCRIPTION:International Conference on Software Engineering and Formal M ethods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27179©ow nerid=38164 UID:cfp315212-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131015 DTEND;VALUE=DATE:20131019 SUMMARY:ATVA 2013 DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27180©ow nerid=38164 UID:cfp315214-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130406 SUMMARY:ATVA 2013 Deadline DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27180©ow nerid=38164 UID:cfp315214-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130601 SUMMARY:ATVA 2013 Notification Due DESCRIPTION:International Symposium on Automated Technology for Verificat ion and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27180©ow nerid=38164 UID:cfp315214-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130829 DTEND;VALUE=DATE:20130901 SUMMARY:FORMATS 2013 DESCRIPTION:11th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28666©ow nerid=38164 UID:cfp332696-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130401 SUMMARY:FORMATS 2013 Abstract Due DESCRIPTION:11th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28666©ow nerid=38164 UID:cfp332696-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130408 SUMMARY:FORMATS 2013 Deadline DESCRIPTION:11th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28666©ow nerid=38164 UID:cfp332696-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130527 SUMMARY:FORMATS 2013 Notification Due DESCRIPTION:11th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28666©ow nerid=38164 UID:cfp332696-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130610 SUMMARY:FORMATS 2013 Final Version Due DESCRIPTION:11th International Conference on Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28666©ow nerid=38164 UID:cfp332696-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131029 DTEND;VALUE=DATE:20131102 SUMMARY:ICFEM 2013 DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27181©ow nerid=38164 UID:cfp315213-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130415 SUMMARY:ICFEM 2013 Abstract Due DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27181©ow nerid=38164 UID:cfp315213-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130422 SUMMARY:ICFEM 2013 Deadline DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27181©ow nerid=38164 UID:cfp315213-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130618 SUMMARY:ICFEM 2013 Notification Due DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27181©ow nerid=38164 UID:cfp315213-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131020 DTEND;VALUE=DATE:20131024 SUMMARY:FMCAD 2013 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29263©ow nerid=38164 UID:cfp340074-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130508 SUMMARY:FMCAD 2013 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29263©ow nerid=38164 UID:cfp340074-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130515 SUMMARY:FMCAD 2013 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29263©ow nerid=38164 UID:cfp340074-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130717 SUMMARY:FMCAD 2013 Notification Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29263©ow nerid=38164 UID:cfp340074-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130814 SUMMARY:FMCAD 2013 Final Version Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29263©ow nerid=38164 UID:cfp340074-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130916 DTEND;VALUE=DATE:20130919 SUMMARY:PPDP 2013 DESCRIPTION:15th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29595©ow nerid=38164 UID:cfp344465-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130527 SUMMARY:PPDP 2013 Abstract Due DESCRIPTION:15th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29595©ow nerid=38164 UID:cfp344465-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130530 SUMMARY:PPDP 2013 Deadline DESCRIPTION:15th International Symposium on Principles and Practice of De clarative Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29595©ow nerid=38164 UID:cfp344465-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130829 DTEND;VALUE=DATE:20130830 SUMMARY:WS-FM 2013 DESCRIPTION:10th International Workshop on Web Services and Formal Method s (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28985©ow nerid=38164 UID:cfp336613-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130524 SUMMARY:WS-FM 2013 Abstract Due DESCRIPTION:10th International Workshop on Web Services and Formal Method s (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28985©ow nerid=38164 UID:cfp336613-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130602 SUMMARY:WS-FM 2013 Deadline DESCRIPTION:10th International Workshop on Web Services and Formal Method s (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28985©ow nerid=38164 UID:cfp336613-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130610 SUMMARY:WS-FM 2013 Notification Due DESCRIPTION:10th International Workshop on Web Services and Formal Method s (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28985©ow nerid=38164 UID:cfp336613-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130724 SUMMARY:WS-FM 2013 Final Version Due DESCRIPTION:10th International Workshop on Web Services and Formal Method s (WS-FM 2013): Formal Aspects of Service-Oriented and Cloud Computing URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28985©ow nerid=38164 UID:cfp336613-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131026 DTEND;VALUE=DATE:20131029 SUMMARY:SLE 2013 DESCRIPTION:International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29332©ow nerid=38164 UID:cfp340884-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130607 SUMMARY:SLE 2013 Abstract Due DESCRIPTION:International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29332©ow nerid=38164 UID:cfp340884-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130614 SUMMARY:SLE 2013 Deadline DESCRIPTION:International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29332©ow nerid=38164 UID:cfp340884-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130803 SUMMARY:SLE 2013 Notification Due DESCRIPTION:International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29332©ow nerid=38164 UID:cfp340884-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130816 SUMMARY:SLE 2013 Final Version Due DESCRIPTION:International Conference on Software Language Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29332©ow nerid=38164 UID:cfp340884-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140122 DTEND;VALUE=DATE:20140125 SUMMARY:POPL 2014 DESCRIPTION:Symposium on Principles of Programming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29277©ow nerid=38164 UID:cfp340073-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130705 SUMMARY:POPL 2014 Abstract Due DESCRIPTION:Symposium on Principles of Programming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29277©ow nerid=38164 UID:cfp340073-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130712 SUMMARY:POPL 2014 Deadline DESCRIPTION:Symposium on Principles of Programming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29277©ow nerid=38164 UID:cfp340073-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131002 SUMMARY:POPL 2014 Notification Due DESCRIPTION:Symposium on Principles of Programming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29277©ow nerid=38164 UID:cfp340073-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131018 DTEND;VALUE=DATE:20131021 SUMMARY:MEMOCODE 2013 DESCRIPTION:Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29852©ow nerid=38164 UID:cfp348312-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130717 SUMMARY:MEMOCODE 2013 Abstract Due DESCRIPTION:Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29852©ow nerid=38164 UID:cfp348312-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130724 SUMMARY:MEMOCODE 2013 Deadline DESCRIPTION:Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29852©ow nerid=38164 UID:cfp348312-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130821 SUMMARY:MEMOCODE 2013 Notification Due DESCRIPTION:Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29852©ow nerid=38164 UID:cfp348312-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130918 SUMMARY:MEMOCODE 2013 Final Version Due DESCRIPTION:Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29852©ow nerid=38164 UID:cfp348312-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140119 DTEND;VALUE=DATE:20140122 SUMMARY:VMCAI 2014 DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340©ow nerid=38164 UID:cfp366491-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130911 SUMMARY:VMCAI 2014 Abstract Due DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340©ow nerid=38164 UID:cfp366491-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20130918 SUMMARY:VMCAI 2014 Deadline DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340©ow nerid=38164 UID:cfp366491-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131025 SUMMARY:VMCAI 2014 Notification Due DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340©ow nerid=38164 UID:cfp366491-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131115 SUMMARY:VMCAI 2014 Final Version Due DESCRIPTION:Verification\, Model Checking\, and Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31340©ow nerid=38164 UID:cfp366491-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140512 DTEND;VALUE=DATE:20140517 SUMMARY:FM 2014 DESCRIPTION:International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31364©ow nerid=38164 UID:cfp367095-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131107 SUMMARY:FM 2014 Abstract Due DESCRIPTION:International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31364©ow nerid=38164 UID:cfp367095-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131114 SUMMARY:FM 2014 Deadline DESCRIPTION:International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31364©ow nerid=38164 UID:cfp367095-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140609 DTEND;VALUE=DATE:20140612 SUMMARY:PLDI 2014 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31801©ow nerid=38164 UID:cfp372571-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131108 SUMMARY:PLDI 2014 Abstract Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31801©ow nerid=38164 UID:cfp372571-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131115 SUMMARY:PLDI 2014 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31801©ow nerid=38164 UID:cfp372571-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140205 SUMMARY:PLDI 2014 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31801©ow nerid=38164 UID:cfp372571-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140320 SUMMARY:PLDI 2014 Final Version Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31801©ow nerid=38164 UID:cfp372571-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140623 DTEND;VALUE=DATE:20140628 SUMMARY:Ada-Europe 2014 DESCRIPTION:19th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33415©ow nerid=38164 UID:cfp392709-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131208 SUMMARY:Ada-Europe 2014 Deadline DESCRIPTION:19th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33415©ow nerid=38164 UID:cfp392709-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140216 SUMMARY:Ada-Europe 2014 Notification Due DESCRIPTION:19th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33415©ow nerid=38164 UID:cfp392709-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140316 SUMMARY:Ada-Europe 2014 Final Version Due DESCRIPTION:19th International Conference on Reliable Software Technologi es URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33415©ow nerid=38164 UID:cfp392709-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140604 DTEND;VALUE=DATE:20140607 SUMMARY:FLOPS 2014 DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31871©ow nerid=38164 UID:cfp373244-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20131213 SUMMARY:FLOPS 2014 Deadline DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31871©ow nerid=38164 UID:cfp373244-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140612 DTEND;VALUE=DATE:20140614 SUMMARY:LCTES 2014 DESCRIPTION:ACM SIGPLAN conference on languages\, compilers\, and tools f or embedded systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33822©ow nerid=38164 UID:cfp401016-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140131 SUMMARY:LCTES 2014 Deadline DESCRIPTION:ACM SIGPLAN conference on languages\, compilers\, and tools f or embedded systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33822©ow nerid=38164 UID:cfp401016-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140314 SUMMARY:LCTES 2014 Notification Due DESCRIPTION:ACM SIGPLAN conference on languages\, compilers\, and tools f or embedded systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=33822©ow nerid=38164 UID:cfp401016-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140901 DTEND;VALUE=DATE:20140904 SUMMARY:TASE 2014 DESCRIPTION:The 8th International Symposium on Theoretical Aspects of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=35188©ow nerid=38164 UID:cfp439628-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140228 SUMMARY:TASE 2014 Abstract Due DESCRIPTION:The 8th International Symposium on Theoretical Aspects of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=35188©ow nerid=38164 UID:cfp439628-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140307 SUMMARY:TASE 2014 Deadline DESCRIPTION:The 8th International Symposium on Theoretical Aspects of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=35188©ow nerid=38164 UID:cfp439628-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140428 SUMMARY:TASE 2014 Notification Due DESCRIPTION:The 8th International Symposium on Theoretical Aspects of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=35188©ow nerid=38164 UID:cfp439628-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140519 SUMMARY:TASE 2014 Final Version Due DESCRIPTION:The 8th International Symposium on Theoretical Aspects of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=35188©ow nerid=38164 UID:cfp439628-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z 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©ow nerid=38164 UID:cfp396939-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z 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©ow nerid=38164 UID:cfp396939-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z 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©ow nerid=38164 UID:cfp396939-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20141021 DTEND;VALUE=DATE:20141025 SUMMARY:FMCAD 2014 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=37371©ow nerid=38164 UID:cfp440051-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140506 SUMMARY:FMCAD 2014 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=37371©ow nerid=38164 UID:cfp440051-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140516 SUMMARY:FMCAD 2014 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=37371©ow nerid=38164 UID:cfp440051-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20141018 DTEND;VALUE=DATE:20141022 SUMMARY:MEMOCODE 2014 DESCRIPTION:12th ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=37047©ow nerid=38164 UID:cfp436801-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140710 SUMMARY:MEMOCODE 2014 Abstract Due DESCRIPTION:12th ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=37047©ow nerid=38164 UID:cfp436801-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20140717 SUMMARY:MEMOCODE 2014 Deadline DESCRIPTION:12th ACM/IEEE International Conference on Formal Methods and Models for Codesign URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=37047©ow nerid=38164 UID:cfp436801-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150427 DTEND;VALUE=DATE:20150430 SUMMARY:NFM 2015 DESCRIPTION:NASA Formal Methods Symposium 2015 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39563©ow nerid=38164 UID:cfp462928-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20141110 SUMMARY:NFM 2015 Deadline DESCRIPTION:NASA Formal Methods Symposium 2015 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39563©ow nerid=38164 UID:cfp462928-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150112 SUMMARY:NFM 2015 Notification Due DESCRIPTION:NASA Formal Methods Symposium 2015 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39563©ow nerid=38164 UID:cfp462928-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150209 SUMMARY:NFM 2015 Final Version Due DESCRIPTION:NASA Formal Methods Symposium 2015 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39563©ow nerid=38164 UID:cfp462928-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150613 DTEND;VALUE=DATE:20150618 SUMMARY:PLDI 2015 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=40880©ow nerid=38164 UID:cfp477402-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20141113 SUMMARY:PLDI 2015 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=40880©ow nerid=38164 UID:cfp477402-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150205 SUMMARY:PLDI 2015 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=40880©ow nerid=38164 UID:cfp477402-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150518 DTEND;VALUE=DATE:20150520 SUMMARY:SEAMS 2015 DESCRIPTION:10th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39801©ow nerid=38164 UID:cfp464935-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150109 SUMMARY:SEAMS 2015 Abstract Due DESCRIPTION:10th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39801©ow nerid=38164 UID:cfp464935-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150116 SUMMARY:SEAMS 2015 Deadline DESCRIPTION:10th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39801©ow nerid=38164 UID:cfp464935-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150218 SUMMARY:SEAMS 2015 Notification Due DESCRIPTION:10th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39801©ow nerid=38164 UID:cfp464935-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150227 SUMMARY:SEAMS 2015 Final Version Due DESCRIPTION:10th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=39801©ow nerid=38164 UID:cfp464935-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150618 DTEND;VALUE=DATE:20150620 SUMMARY:LCTES 2015 DESCRIPTION:ACM SIGPLAN/SIGBED Conference on Languages\, Compilers\, Too ls and Theory for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43869©ow nerid=38164 UID:cfp508854-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150215 SUMMARY:LCTES 2015 Deadline DESCRIPTION:ACM SIGPLAN/SIGBED Conference on Languages\, Compilers\, Too ls and Theory for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43869©ow nerid=38164 UID:cfp508854-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150401 SUMMARY:LCTES 2015 Notification Due DESCRIPTION:ACM SIGPLAN/SIGBED Conference on Languages\, Compilers\, Too ls and Theory for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43869©ow nerid=38164 UID:cfp508854-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150411 SUMMARY:LCTES 2015 Final Version Due DESCRIPTION:ACM SIGPLAN/SIGBED Conference on Languages\, Compilers\, Too ls and Theory for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43869©ow nerid=38164 UID:cfp508854-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150718 DTEND;VALUE=DATE:20150720 SUMMARY:VSTTE 2015 DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43486©ow nerid=38164 UID:cfp504460-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150427 SUMMARY:VSTTE 2015 Abstract Due DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43486©ow nerid=38164 UID:cfp504460-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150504 SUMMARY:VSTTE 2015 Deadline DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43486©ow nerid=38164 UID:cfp504460-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20141208 SUMMARY:VSTTE 2015 Notification Due DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43486©ow nerid=38164 UID:cfp504460-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150828 SUMMARY:VSTTE 2015 Final Version Due DESCRIPTION:Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=43486©ow nerid=38164 UID:cfp504460-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150921 DTEND;VALUE=DATE:20150924 SUMMARY:MEMOCODE 2015 DESCRIPTION:Thirteenth ACM/IEEE International Conference on Formal Method s and Models for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45444©ow nerid=38164 UID:cfp524208-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150605 SUMMARY:MEMOCODE 2015 Abstract Due DESCRIPTION:Thirteenth ACM/IEEE International Conference on Formal Method s and Models for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45444©ow nerid=38164 UID:cfp524208-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150612 SUMMARY:MEMOCODE 2015 Deadline DESCRIPTION:Thirteenth ACM/IEEE International Conference on Formal Method s and Models for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45444©ow nerid=38164 UID:cfp524208-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150717 SUMMARY:MEMOCODE 2015 Notification Due DESCRIPTION:Thirteenth ACM/IEEE International Conference on Formal Method s and Models for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45444©ow nerid=38164 UID:cfp524208-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150807 SUMMARY:MEMOCODE 2015 Final Version Due DESCRIPTION:Thirteenth ACM/IEEE International Conference on Formal Method s and Models for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45444©ow nerid=38164 UID:cfp524208-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160120 DTEND;VALUE=DATE:20160123 SUMMARY:POPL 2016 DESCRIPTION:43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45646©ow nerid=38164 UID:cfp525022-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150703 SUMMARY:POPL 2016 Abstract Due DESCRIPTION:43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45646©ow nerid=38164 UID:cfp525022-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20150710 SUMMARY:POPL 2016 Deadline DESCRIPTION:43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programmin g Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=45646©ow nerid=38164 UID:cfp525022-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160407 DTEND;VALUE=DATE:20160409 SUMMARY:SPIN 2016 DESCRIPTION:23rd International SPIN symposium on Model Checking of Softwa re URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50444©ow nerid=38164 UID:cfp611322-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160108 SUMMARY:SPIN 2016 Deadline DESCRIPTION:23rd International SPIN symposium on Model Checking of Softwa re URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50444©ow nerid=38164 UID:cfp611322-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160212 SUMMARY:SPIN 2016 Notification Due DESCRIPTION:23rd International SPIN symposium on Model Checking of Softwa re URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50444©ow nerid=38164 UID:cfp611322-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160224 SUMMARY:SPIN 2016 Final Version Due DESCRIPTION:23rd International SPIN symposium on Model Checking of Softwa re URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50444©ow nerid=38164 UID:cfp611322-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160607 DTEND;VALUE=DATE:20160610 SUMMARY:NFM 2016 DESCRIPTION:NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50036©ow nerid=38164 UID:cfp569035-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160219 SUMMARY:NFM 2016 Deadline DESCRIPTION:NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50036©ow nerid=38164 UID:cfp569035-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160408 SUMMARY:NFM 2016 Notification Due DESCRIPTION:NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50036©ow nerid=38164 UID:cfp569035-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160427 SUMMARY:NFM 2016 Final Version Due DESCRIPTION:NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50036©ow nerid=38164 UID:cfp569035-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160704 DTEND;VALUE=DATE:20160709 SUMMARY:SEFM 2016 DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=38164 UID:cfp569034-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160222 SUMMARY:SEFM 2016 Abstract Due DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=38164 UID:cfp569034-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160229 SUMMARY:SEFM 2016 Deadline DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=38164 UID:cfp569034-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160413 SUMMARY:SEFM 2016 Notification Due DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=38164 UID:cfp569034-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160422 SUMMARY:SEFM 2016 Final Version Due DESCRIPTION:14th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50216©ow nerid=38164 UID:cfp569034-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160911 DTEND;VALUE=DATE:20160915 SUMMARY:SEW 2016 DESCRIPTION:The 36th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52714©ow nerid=38164 UID:cfp587576-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160418 SUMMARY:SEW 2016 Deadline DESCRIPTION:The 36th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52714©ow nerid=38164 UID:cfp587576-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160613 SUMMARY:SEW 2016 Notification Due DESCRIPTION:The 36th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52714©ow nerid=38164 UID:cfp587576-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160704 SUMMARY:SEW 2016 Final Version Due DESCRIPTION:The 36th IEEE Software Engineering Workshop URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52714©ow nerid=38164 UID:cfp587576-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161114 DTEND;VALUE=DATE:20161119 SUMMARY:ICFEM 2016 DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51302©ow nerid=38164 UID:cfp577374-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160422 SUMMARY:ICFEM 2016 Abstract Due DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51302©ow nerid=38164 UID:cfp577374-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160430 SUMMARY:ICFEM 2016 Deadline DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51302©ow nerid=38164 UID:cfp577374-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160618 SUMMARY:ICFEM 2016 Notification Due DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51302©ow nerid=38164 UID:cfp577374-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160715 SUMMARY:ICFEM 2016 Final Version Due DESCRIPTION:International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51302©ow nerid=38164 UID:cfp577374-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160717 DTEND;VALUE=DATE:20160719 SUMMARY:VSTTE 2016 DESCRIPTION:Verified Software: Theories\, Tools\, Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53417©ow nerid=38164 UID:cfp597337-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160425 SUMMARY:VSTTE 2016 Abstract Due DESCRIPTION:Verified Software: Theories\, Tools\, Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53417©ow nerid=38164 UID:cfp597337-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160502 SUMMARY:VSTTE 2016 Deadline DESCRIPTION:Verified Software: Theories\, Tools\, Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53417©ow nerid=38164 UID:cfp597337-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160606 SUMMARY:VSTTE 2016 Notification Due DESCRIPTION:Verified Software: Theories\, Tools\, Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53417©ow nerid=38164 UID:cfp597337-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160828 SUMMARY:VSTTE 2016 Final Version Due DESCRIPTION:Verified Software: Theories\, Tools\, Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53417©ow nerid=38164 UID:cfp597337-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161005 DTEND;VALUE=DATE:20161015 SUMMARY:ISOLA 2016 DESCRIPTION:7th International Symposium on Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54164©ow nerid=38164 UID:cfp597336-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160425 SUMMARY:ISOLA 2016 Abstract Due DESCRIPTION:7th International Symposium on Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54164©ow nerid=38164 UID:cfp597336-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160502 SUMMARY:ISOLA 2016 Deadline DESCRIPTION:7th International Symposium on Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54164©ow nerid=38164 UID:cfp597336-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160610 SUMMARY:ISOLA 2016 Notification Due DESCRIPTION:7th International Symposium on Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54164©ow nerid=38164 UID:cfp597336-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160710 SUMMARY:ISOLA 2016 Final Version Due DESCRIPTION:7th International Symposium on Leveraging Applications of For mal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54164©ow nerid=38164 UID:cfp597336-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161004 DTEND;VALUE=DATE:20161007 SUMMARY:FMCAD 2016 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52439©ow nerid=38164 UID:cfp585362-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160502 SUMMARY:FMCAD 2016 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52439©ow nerid=38164 UID:cfp585362-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160509 SUMMARY:FMCAD 2016 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52439©ow nerid=38164 UID:cfp585362-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160709 SUMMARY:FMCAD 2016 Notification Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52439©ow nerid=38164 UID:cfp585362-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160809 SUMMARY:FMCAD 2016 Final Version Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=52439©ow nerid=38164 UID:cfp585362-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161107 DTEND;VALUE=DATE:20161112 SUMMARY:FM 2016 DESCRIPTION:21st International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50393©ow nerid=38164 UID:cfp568437-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160516 SUMMARY:FM 2016 Abstract Due DESCRIPTION:21st International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50393©ow nerid=38164 UID:cfp568437-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160530 SUMMARY:FM 2016 Deadline DESCRIPTION:21st International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50393©ow nerid=38164 UID:cfp568437-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160808 SUMMARY:FM 2016 Notification Due DESCRIPTION:21st International Symposium on Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50393©ow nerid=38164 UID:cfp568437-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161118 DTEND;VALUE=DATE:20161121 SUMMARY:MEMOCODE 2016 DESCRIPTION:ACM-IEEE International Conference on Formal Methods and Model s for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53558©ow nerid=38164 UID:cfp593146-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160722 SUMMARY:MEMOCODE 2016 Abstract Due DESCRIPTION:ACM-IEEE International Conference on Formal Methods and Model s for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53558©ow nerid=38164 UID:cfp593146-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160729 SUMMARY:MEMOCODE 2016 Deadline DESCRIPTION:ACM-IEEE International Conference on Formal Methods and Model s for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53558©ow nerid=38164 UID:cfp593146-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160909 SUMMARY:MEMOCODE 2016 Notification Due DESCRIPTION:ACM-IEEE International Conference on Formal Methods and Model s for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53558©ow nerid=38164 UID:cfp593146-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161007 SUMMARY:MEMOCODE 2016 Final Version Due DESCRIPTION:ACM-IEEE International Conference on Formal Methods and Model s for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53558©ow nerid=38164 UID:cfp593146-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161114 DTEND;VALUE=DATE:20161116 SUMMARY:FTSCS 2016 DESCRIPTION:Fifth International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54061©ow nerid=38164 UID:cfp597338-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160904 SUMMARY:FTSCS 2016 Deadline DESCRIPTION:Fifth International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54061©ow nerid=38164 UID:cfp597338-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161007 SUMMARY:FTSCS 2016 Notification Due DESCRIPTION:Fifth International Workshop on Formal Techniques for Safety- Critical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=54061©ow nerid=38164 UID:cfp597338-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170115 DTEND;VALUE=DATE:20170118 SUMMARY:VMCAI 2017 DESCRIPTION:International Conference on Verification\, Model Checking\,an d Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56268©ow nerid=38164 UID:cfp611321-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160918 SUMMARY:VMCAI 2017 Abstract Due DESCRIPTION:International Conference on Verification\, Model Checking\,an d Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56268©ow nerid=38164 UID:cfp611321-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20160921 SUMMARY:VMCAI 2017 Deadline DESCRIPTION:International Conference on Verification\, Model Checking\,an d Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56268©ow nerid=38164 UID:cfp611321-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161114 SUMMARY:VMCAI 2017 Notification Due DESCRIPTION:International Conference on Verification\, Model Checking\,an d Abstract Interpretation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56268©ow nerid=38164 UID:cfp611321-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170619 DTEND;VALUE=DATE:20170624 SUMMARY:PLDI 2017 DESCRIPTION:ACM SIGPLAN Symposium on Programming Language Design &Impleme ntation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56258©ow nerid=38164 UID:cfp611345-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20161115 SUMMARY:PLDI 2017 Deadline DESCRIPTION:ACM SIGPLAN Symposium on Programming Language Design &Impleme ntation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56258©ow nerid=38164 UID:cfp611345-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170412 SUMMARY:PLDI 2017 Notification Due DESCRIPTION:ACM SIGPLAN Symposium on Programming Language Design &Impleme ntation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=56258©ow nerid=38164 UID:cfp611345-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170522 DTEND;VALUE=DATE:20170524 SUMMARY:SEAMS 2017 DESCRIPTION:12th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59363©ow nerid=38164 UID:cfp634327-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170106 SUMMARY:SEAMS 2017 Abstract Due DESCRIPTION:12th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59363©ow nerid=38164 UID:cfp634327-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170113 SUMMARY:SEAMS 2017 Deadline DESCRIPTION:12th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59363©ow nerid=38164 UID:cfp634327-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170221 SUMMARY:SEAMS 2017 Notification Due DESCRIPTION:12th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59363©ow nerid=38164 UID:cfp634327-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170306 SUMMARY:SEAMS 2017 Final Version Due DESCRIPTION:12th International Symposium on Software Engineering for Adap tive and Self-Managing Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59363©ow nerid=38164 UID:cfp634327-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170612 DTEND;VALUE=DATE:20170617 SUMMARY:Ada-Europe 2017 DESCRIPTION:International Conference on Reliable Software Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58355©ow nerid=38164 UID:cfp627698-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170115 SUMMARY:Ada-Europe 2017 Deadline DESCRIPTION:International Conference on Reliable Software Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58355©ow nerid=38164 UID:cfp627698-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170226 SUMMARY:Ada-Europe 2017 Notification Due DESCRIPTION:International Conference on Reliable Software Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58355©ow nerid=38164 UID:cfp627698-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170430 SUMMARY:Ada-Europe 2017 Final Version Due DESCRIPTION:International Conference on Reliable Software Technologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58355©ow nerid=38164 UID:cfp627698-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170710 DTEND;VALUE=DATE:20170715 SUMMARY:ICALP 2017 DESCRIPTION:44th International Colloquium on Automata\, Languages\, and P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59138©ow nerid=38164 UID:cfp632862-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170217 SUMMARY:ICALP 2017 Deadline DESCRIPTION:44th International Colloquium on Automata\, Languages\, and P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59138©ow nerid=38164 UID:cfp632862-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170414 SUMMARY:ICALP 2017 Notification Due DESCRIPTION:44th International Colloquium on Automata\, Languages\, and P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59138©ow nerid=38164 UID:cfp632862-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170430 SUMMARY:ICALP 2017 Final Version Due DESCRIPTION:44th International Colloquium on Automata\, Languages\, and P rogramming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=59138©ow nerid=38164 UID:cfp632862-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170904 DTEND;VALUE=DATE:20170909 SUMMARY:SEFM 2017 DESCRIPTION:15th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63073©ow nerid=38164 UID:cfp660085-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170406 SUMMARY:SEFM 2017 Abstract Due DESCRIPTION:15th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63073©ow nerid=38164 UID:cfp660085-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170413 SUMMARY:SEFM 2017 Deadline DESCRIPTION:15th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63073©ow nerid=38164 UID:cfp660085-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170529 SUMMARY:SEFM 2017 Notification Due DESCRIPTION:15th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=63073©ow nerid=38164 UID:cfp660085-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20171113 DTEND;VALUE=DATE:20171118 SUMMARY:ICFEM 2017 DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=38164 UID:cfp628172-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170430 SUMMARY:ICFEM 2017 Abstract Due DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=38164 UID:cfp628172-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170507 SUMMARY:ICFEM 2017 Deadline DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=38164 UID:cfp628172-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170629 SUMMARY:ICFEM 2017 Notification Due DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=38164 UID:cfp628172-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170729 SUMMARY:ICFEM 2017 Final Version Due DESCRIPTION:19th International Conference on Formal Engineering Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=58442©ow nerid=38164 UID:cfp628172-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20171002 DTEND;VALUE=DATE:20171007 SUMMARY:FMCAD 2017 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=38164 UID:cfp650082-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170501 SUMMARY:FMCAD 2017 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=38164 UID:cfp650082-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170508 SUMMARY:FMCAD 2017 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=38164 UID:cfp650082-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170714 SUMMARY:FMCAD 2017 Notification Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=38164 UID:cfp650082-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20170809 SUMMARY:FMCAD 2017 Final Version Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=60526©ow nerid=38164 UID:cfp650082-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20180509 DTEND;VALUE=DATE:20180512 SUMMARY:FLOPS 2018 DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65962©ow nerid=38164 UID:cfp675983-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20171113 SUMMARY:FLOPS 2018 Abstract Due DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65962©ow nerid=38164 UID:cfp675983-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20171120 SUMMARY:FLOPS 2018 Deadline DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65962©ow nerid=38164 UID:cfp675983-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20180115 SUMMARY:FLOPS 2018 Notification Due DESCRIPTION:International Symposium on Functional and Logic Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=65962©ow nerid=38164 UID:cfp675983-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190624 DTEND;VALUE=DATE:20190627 SUMMARY:PLDI 2019 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79760©ow nerid=38164 UID:cfp740580-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20181116 SUMMARY:PLDI 2019 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79760©ow nerid=38164 UID:cfp740580-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190215 SUMMARY:PLDI 2019 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79760©ow nerid=38164 UID:cfp740580-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190416 SUMMARY:PLDI 2019 Final Version Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=79760©ow nerid=38164 UID:cfp740580-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190818 DTEND;VALUE=DATE:20190824 SUMMARY:ICFP 2019 DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=38164 UID:cfp774321-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190301 SUMMARY:ICFP 2019 Deadline DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=38164 UID:cfp774321-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190416 SUMMARY:ICFP 2019 Notification Due DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=38164 UID:cfp774321-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20190622 SUMMARY:ICFP 2019 Final Version Due DESCRIPTION:International Conference on Functional Programming URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=85455©ow nerid=38164 UID:cfp774321-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200615 DTEND;VALUE=DATE:20200621 SUMMARY:PLDI 2020 DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=38164 UID:cfp793480-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20191122 SUMMARY:PLDI 2020 Deadline DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=38164 UID:cfp793480-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200221 SUMMARY:PLDI 2020 Notification Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=38164 UID:cfp793480-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200406 SUMMARY:PLDI 2020 Final Version Due DESCRIPTION:Programming Language Design and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=91145©ow nerid=38164 UID:cfp793480-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200615 DTEND;VALUE=DATE:20200621 SUMMARY:LCTES 2020 DESCRIPTION:The 21st ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96698©ow nerid=38164 UID:cfp816847-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200228 SUMMARY:LCTES 2020 Deadline DESCRIPTION:The 21st ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96698©ow nerid=38164 UID:cfp816847-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200330 SUMMARY:LCTES 2020 Notification Due DESCRIPTION:The 21st ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96698©ow nerid=38164 UID:cfp816847-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200426 SUMMARY:LCTES 2020 Final Version Due DESCRIPTION:The 21st ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96698©ow nerid=38164 UID:cfp816847-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200901 DTEND;VALUE=DATE:20200904 SUMMARY:FORMATS 2020 DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=38164 UID:cfp819014-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200406 SUMMARY:FORMATS 2020 Abstract Due DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=38164 UID:cfp819014-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200413 SUMMARY:FORMATS 2020 Deadline DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=38164 UID:cfp819014-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200629 SUMMARY:FORMATS 2020 Notification Due DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=38164 UID:cfp819014-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200708 SUMMARY:FORMATS 2020 Final Version Due DESCRIPTION:Formal Modeling and Analysis of Timed Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96936©ow nerid=38164 UID:cfp819014-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200914 DTEND;VALUE=DATE:20200919 SUMMARY:SEFM 2020 DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=38164 UID:cfp819013-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200427 SUMMARY:SEFM 2020 Abstract Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=38164 UID:cfp819013-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200504 SUMMARY:SEFM 2020 Deadline DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=38164 UID:cfp819013-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200626 SUMMARY:SEFM 2020 Notification Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=38164 UID:cfp819013-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20200707 SUMMARY:SEFM 2020 Final Version Due DESCRIPTION:Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=96931©ow nerid=38164 UID:cfp819013-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210524 DTEND;VALUE=DATE:20210529 SUMMARY:NFM 2021 DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=38164 UID:cfp862272-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20201127 SUMMARY:NFM 2021 Abstract Due DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=38164 UID:cfp862272-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20201204 SUMMARY:NFM 2021 Deadline DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=38164 UID:cfp862272-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210219 SUMMARY:NFM 2021 Notification Due DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=38164 UID:cfp862272-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210319 SUMMARY:NFM 2021 Final Version Due DESCRIPTION:13th NASA Formal Methods Symposium URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=117805©o wnerid=38164 UID:cfp862272-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210825 DTEND;VALUE=DATE:20210828 SUMMARY:TASE 2021 DESCRIPTION:The 15th International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120840©o wnerid=38164 UID:cfp867159-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210228 SUMMARY:TASE 2021 Abstract Due DESCRIPTION:The 15th International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120840©o wnerid=38164 UID:cfp867159-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210307 SUMMARY:TASE 2021 Deadline DESCRIPTION:The 15th International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120840©o wnerid=38164 UID:cfp867159-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210507 SUMMARY:TASE 2021 Notification Due DESCRIPTION:The 15th International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120840©o wnerid=38164 UID:cfp867159-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210531 SUMMARY:TASE 2021 Final Version Due DESCRIPTION:The 15th International Symposium on Theoretical Aspects of So ftware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=120840©o wnerid=38164 UID:cfp867159-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220116 DTEND;VALUE=DATE:20220122 SUMMARY:POPL 2022 DESCRIPTION:Symposium on Principles of Programming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135511©o wnerid=38164 UID:cfp889849-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210708 SUMMARY:POPL 2022 Deadline DESCRIPTION:Symposium on Principles of Programming Languages URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135511©o wnerid=38164 UID:cfp889849-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20211018 DTEND;VALUE=DATE:20211020 SUMMARY:VSTTE 2021 DESCRIPTION:VSTTE'21: Working Conference on Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135485©o wnerid=38164 UID:cfp889850-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210710 SUMMARY:VSTTE 2021 Abstract Due DESCRIPTION:VSTTE'21: Working Conference on Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135485©o wnerid=38164 UID:cfp889850-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210717 SUMMARY:VSTTE 2021 Deadline DESCRIPTION:VSTTE'21: Working Conference on Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135485©o wnerid=38164 UID:cfp889850-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210901 SUMMARY:VSTTE 2021 Notification Due DESCRIPTION:VSTTE'21: Working Conference on Verified Software: Theories\, Tools\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135485©o wnerid=38164 UID:cfp889850-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20211206 DTEND;VALUE=DATE:20211211 SUMMARY:SEFM 2021 DESCRIPTION:The 19th edition of the International Conference on Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135351©o wnerid=38164 UID:cfp889851-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210719 SUMMARY:SEFM 2021 Abstract Due DESCRIPTION:The 19th edition of the International Conference on Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135351©o wnerid=38164 UID:cfp889851-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210723 SUMMARY:SEFM 2021 Deadline DESCRIPTION:The 19th edition of the International Conference on Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135351©o wnerid=38164 UID:cfp889851-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20210924 SUMMARY:SEFM 2021 Notification Due DESCRIPTION:The 19th edition of the International Conference on Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135351©o wnerid=38164 UID:cfp889851-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20211008 SUMMARY:SEFM 2021 Final Version Due DESCRIPTION:The 19th edition of the International Conference on Software Engineering and Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=135351©o wnerid=38164 UID:cfp889851-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220613 DTEND;VALUE=DATE:20220618 SUMMARY:PLDI 2022 DESCRIPTION:The 43rd ACM SIGPLAN Conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=143762©o wnerid=38164 UID:cfp906721-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20211119 SUMMARY:PLDI 2022 Deadline DESCRIPTION:The 43rd ACM SIGPLAN Conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=143762©o wnerid=38164 UID:cfp906721-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220225 SUMMARY:PLDI 2022 Notification Due DESCRIPTION:The 43rd ACM SIGPLAN Conference on Programming Language Desig n and Implementation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=143762©o wnerid=38164 UID:cfp906721-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220524 DTEND;VALUE=DATE:20220528 SUMMARY:NFM 2022 DESCRIPTION:NASA Formal Methods 2022 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=152963©o wnerid=38164 UID:cfp916482-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220103 SUMMARY:NFM 2022 Abstract Due DESCRIPTION:NASA Formal Methods 2022 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=152963©o wnerid=38164 UID:cfp916482-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220110 SUMMARY:NFM 2022 Deadline DESCRIPTION:NASA Formal Methods 2022 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=152963©o wnerid=38164 UID:cfp916482-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220228 SUMMARY:NFM 2022 Notification Due DESCRIPTION:NASA Formal Methods 2022 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=152963©o wnerid=38164 UID:cfp916482-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220328 SUMMARY:NFM 2022 Final Version Due DESCRIPTION:NASA Formal Methods 2022 URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=152963©o wnerid=38164 UID:cfp916482-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220614 DTEND;VALUE=DATE:20220618 SUMMARY:Ada-Europe 2022 DESCRIPTION:Ada-Europe International Conference on Reliable Software Tech nologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153872©o wnerid=38164 UID:cfp920593-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220116 SUMMARY:Ada-Europe 2022 Deadline DESCRIPTION:Ada-Europe International Conference on Reliable Software Tech nologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153872©o wnerid=38164 UID:cfp920593-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220314 SUMMARY:Ada-Europe 2022 Notification Due DESCRIPTION:Ada-Europe International Conference on Reliable Software Tech nologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153872©o wnerid=38164 UID:cfp920593-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220314 SUMMARY:Ada-Europe 2022 Final Version Due DESCRIPTION:Ada-Europe International Conference on Reliable Software Tech nologies URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153872©o wnerid=38164 UID:cfp920593-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220708 DTEND;VALUE=DATE:20220711 SUMMARY:TASE 2022 DESCRIPTION:Theoretical Aspects of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153572©o wnerid=38164 UID:cfp917708-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220131 SUMMARY:TASE 2022 Abstract Due DESCRIPTION:Theoretical Aspects of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153572©o wnerid=38164 UID:cfp917708-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220213 SUMMARY:TASE 2022 Deadline DESCRIPTION:Theoretical Aspects of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153572©o wnerid=38164 UID:cfp917708-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220410 SUMMARY:TASE 2022 Notification Due DESCRIPTION:Theoretical Aspects of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153572©o wnerid=38164 UID:cfp917708-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220501 SUMMARY:TASE 2022 Final Version Due DESCRIPTION:Theoretical Aspects of Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153572©o wnerid=38164 UID:cfp917708-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220614 DTEND;VALUE=DATE:20220615 SUMMARY:LCTES 2022 DESCRIPTION:The 23rd ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154678©o wnerid=38164 UID:cfp920594-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220307 SUMMARY:LCTES 2022 Deadline DESCRIPTION:The 23rd ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154678©o wnerid=38164 UID:cfp920594-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220408 SUMMARY:LCTES 2022 Notification Due DESCRIPTION:The 23rd ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154678©o wnerid=38164 UID:cfp920594-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220506 SUMMARY:LCTES 2022 Final Version Due DESCRIPTION:The 23rd ACM SIGPLAN/SIGBED International Conference on Langu ages\, Compilers\, and Tools for Embedded Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154678©o wnerid=38164 UID:cfp920594-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20221024 DTEND;VALUE=DATE:20221029 SUMMARY:ISoLA 2022 DESCRIPTION:11th International Symposium On Leveraging Applications of Fo rmal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155838©o wnerid=38164 UID:cfp923846-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220430 SUMMARY:ISoLA 2022 Deadline DESCRIPTION:11th International Symposium On Leveraging Applications of Fo rmal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155838©o wnerid=38164 UID:cfp923846-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220430 SUMMARY:ISoLA 2022 Notification Due DESCRIPTION:11th International Symposium On Leveraging Applications of Fo rmal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155838©o wnerid=38164 UID:cfp923846-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220612 SUMMARY:ISoLA 2022 Final Version Due DESCRIPTION:11th International Symposium On Leveraging Applications of Fo rmal Methods\, Verification and Validation URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155838©o wnerid=38164 UID:cfp923846-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20221025 DTEND;VALUE=DATE:20221029 SUMMARY:ATVA 2022 DESCRIPTION:The 20th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153594©o wnerid=38164 UID:cfp917706-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220424 SUMMARY:ATVA 2022 Abstract Due DESCRIPTION:The 20th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153594©o wnerid=38164 UID:cfp917706-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220501 SUMMARY:ATVA 2022 Deadline DESCRIPTION:The 20th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153594©o wnerid=38164 UID:cfp917706-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220617 SUMMARY:ATVA 2022 Notification Due DESCRIPTION:The 20th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153594©o wnerid=38164 UID:cfp917706-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220715 SUMMARY:ATVA 2022 Final Version Due DESCRIPTION:The 20th International Symposium on Automated Technology for Verification and Analysis URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153594©o wnerid=38164 UID:cfp917706-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220914 DTEND;VALUE=DATE:20220917 SUMMARY:FMICS 2022 DESCRIPTION:International Conference on Formal Methods for Industrial Cri tical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153588©o wnerid=38164 UID:cfp917707-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220505 SUMMARY:FMICS 2022 Abstract Due DESCRIPTION:International Conference on Formal Methods for Industrial Cri tical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153588©o wnerid=38164 UID:cfp917707-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220512 SUMMARY:FMICS 2022 Deadline DESCRIPTION:International Conference on Formal Methods for Industrial Cri tical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153588©o wnerid=38164 UID:cfp917707-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220624 SUMMARY:FMICS 2022 Notification Due DESCRIPTION:International Conference on Formal Methods for Industrial Cri tical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153588©o wnerid=38164 UID:cfp917707-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220705 SUMMARY:FMICS 2022 Final Version Due DESCRIPTION:International Conference on Formal Methods for Industrial Cri tical Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=153588©o wnerid=38164 UID:cfp917707-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20221018 DTEND;VALUE=DATE:20221022 SUMMARY:FMCAD 2022 DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154472©o wnerid=38164 UID:cfp920592-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220508 SUMMARY:FMCAD 2022 Abstract Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154472©o wnerid=38164 UID:cfp920592-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220515 SUMMARY:FMCAD 2022 Deadline DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154472©o wnerid=38164 UID:cfp920592-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220701 SUMMARY:FMCAD 2022 Notification Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154472©o wnerid=38164 UID:cfp920592-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220816 SUMMARY:FMCAD 2022 Final Version Due DESCRIPTION:Formal Methods in Computer-Aided Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=154472©o wnerid=38164 UID:cfp920592-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20221013 DTEND;VALUE=DATE:20221015 SUMMARY:MEMOCODE 2022 DESCRIPTION:20th ACM/IEEE International Symposium on Formal Methods and M odels for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=158080©o wnerid=38164 UID:cfp928850-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220527 SUMMARY:MEMOCODE 2022 Abstract Due DESCRIPTION:20th ACM/IEEE International Symposium on Formal Methods and M odels for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=158080©o wnerid=38164 UID:cfp928850-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220603 SUMMARY:MEMOCODE 2022 Deadline DESCRIPTION:20th ACM/IEEE International Symposium on Formal Methods and M odels for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=158080©o wnerid=38164 UID:cfp928850-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220729 SUMMARY:MEMOCODE 2022 Notification Due DESCRIPTION:20th ACM/IEEE International Symposium on Formal Methods and M odels for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=158080©o wnerid=38164 UID:cfp928850-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220826 SUMMARY:MEMOCODE 2022 Final Version Due DESCRIPTION:20th ACM/IEEE International Symposium on Formal Methods and M odels for System Design URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=158080©o wnerid=38164 UID:cfp928850-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220928 DTEND;VALUE=DATE:20221001 SUMMARY:SEFM 2022 DESCRIPTION:20th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155643©o wnerid=38164 UID:cfp923847-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220620 SUMMARY:SEFM 2022 Abstract Due DESCRIPTION:20th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155643©o wnerid=38164 UID:cfp923847-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220626 SUMMARY:SEFM 2022 Deadline DESCRIPTION:20th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155643©o wnerid=38164 UID:cfp923847-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220807 SUMMARY:SEFM 2022 Notification Due DESCRIPTION:20th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155643©o wnerid=38164 UID:cfp923847-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220828 SUMMARY:SEFM 2022 Final Version Due DESCRIPTION:20th International Conference on Software Engineering and For mal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=155643©o wnerid=38164 UID:cfp923847-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20230307 DTEND;VALUE=DATE:20230310 SUMMARY:FM 2023 DESCRIPTION:Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=159325©o wnerid=38164 UID:cfp932487-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220904 SUMMARY:FM 2023 Abstract Due DESCRIPTION:Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=159325©o wnerid=38164 UID:cfp932487-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20220911 SUMMARY:FM 2023 Deadline DESCRIPTION:Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=159325©o wnerid=38164 UID:cfp932487-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20221115 SUMMARY:FM 2023 Notification Due DESCRIPTION:Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=159325©o wnerid=38164 UID:cfp932487-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20230921 DTEND;VALUE=DATE:20230926 SUMMARY:VSTTE 2023 DESCRIPTION:International Conference on Verified Software: Theories\, Too ls\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=173693©o wnerid=38164 UID:cfp966137-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20230721 SUMMARY:VSTTE 2023 Abstract Due DESCRIPTION:International Conference on Verified Software: Theories\, Too ls\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=173693©o wnerid=38164 UID:cfp966137-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20230728 SUMMARY:VSTTE 2023 Deadline DESCRIPTION:International Conference on Verified Software: Theories\, Too ls\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=173693©o wnerid=38164 UID:cfp966137-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20230904 SUMMARY:VSTTE 2023 Notification Due DESCRIPTION:International Conference on Verified Software: Theories\, Too ls\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=173693©o wnerid=38164 UID:cfp966137-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260415T113810Z DTSTART;VALUE=DATE:20231009 SUMMARY:VSTTE 2023 Final Version Due DESCRIPTION:International Conference on Verified Software: Theories\, Too ls\, and Experiments URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=173693©o wnerid=38164 UID:cfp966137-N@wikicfp.com END:VEVENT END:VCALENDAR