BEGIN:VCALENDAR
PRODID:-//WikiCFP//YY 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp218649-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp218649-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp218649-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp218649-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120625
DTEND;VALUE=DATE:20120628
SUMMARY:MPC 2012
DESCRIPTION:Mathematics of Program Construction
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18333&copyow
 nerid=31725
UID:cfp218648-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120109
SUMMARY:MPC 2012 Abstract Due
DESCRIPTION:Mathematics of Program Construction
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18333&copyow
 nerid=31725
UID:cfp218648-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120116
SUMMARY:MPC 2012 Deadline
DESCRIPTION:Mathematics of Program Construction
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18333&copyow
 nerid=31725
UID:cfp218648-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120319
SUMMARY:MPC 2012 Notification Due
DESCRIPTION:Mathematics of Program Construction
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18333&copyow
 nerid=31725
UID:cfp218648-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120416
SUMMARY:MPC 2012 Final Version Due
DESCRIPTION:Mathematics of Program Construction
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18333&copyow
 nerid=31725
UID:cfp218648-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120707
DTEND;VALUE=DATE:20120714
SUMMARY:CAV 2012
DESCRIPTION:24th International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18792&copyow
 nerid=31725
UID:cfp218647-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120115
SUMMARY:CAV 2012 Abstract Due
DESCRIPTION:24th International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18792&copyow
 nerid=31725
UID:cfp218647-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120122
SUMMARY:CAV 2012 Deadline
DESCRIPTION:24th International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18792&copyow
 nerid=31725
UID:cfp218647-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120322
SUMMARY:CAV 2012 Notification Due
DESCRIPTION:24th International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18792&copyow
 nerid=31725
UID:cfp218647-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120420
SUMMARY:CAV 2012 Final Version Due
DESCRIPTION:24th International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=18792&copyow
 nerid=31725
UID:cfp218647-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120421
DTEND;VALUE=DATE:20120422
SUMMARY:CSTVA 2012
DESCRIPTION:CSTVA'12 - 4th International Workshop on Constraints in Softw
 are Testing\, Verification and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19878&copyow
 nerid=31725
UID:cfp238126-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120205
SUMMARY:CSTVA 2012 Deadline
DESCRIPTION:CSTVA'12 - 4th International Workshop on Constraints in Softw
 are Testing\, Verification and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19878&copyow
 nerid=31725
UID:cfp238126-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120221
SUMMARY:CSTVA 2012 Notification Due
DESCRIPTION:CSTVA'12 - 4th International Workshop on Constraints in Softw
 are Testing\, Verification and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19878&copyow
 nerid=31725
UID:cfp238126-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120903
DTEND;VALUE=DATE:20120908
SUMMARY:ASE 2012
DESCRIPTION:The 27th IEEE/ACM International Conference on AUTOMATED SOFTW
 ARE ENGINEERING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19870&copyow
 nerid=31725
UID:cfp238125-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120224
SUMMARY:ASE 2012 Abstract Due
DESCRIPTION:The 27th IEEE/ACM International Conference on AUTOMATED SOFTW
 ARE ENGINEERING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19870&copyow
 nerid=31725
UID:cfp238125-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120302
SUMMARY:ASE 2012 Deadline
DESCRIPTION:The 27th IEEE/ACM International Conference on AUTOMATED SOFTW
 ARE ENGINEERING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19870&copyow
 nerid=31725
UID:cfp238125-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120618
SUMMARY:ASE 2012 Notification Due
DESCRIPTION:The 27th IEEE/ACM International Conference on AUTOMATED SOFTW
 ARE ENGINEERING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19870&copyow
 nerid=31725
UID:cfp238125-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120618
DTEND;VALUE=DATE:20120621
SUMMARY:SE 2012
DESCRIPTION:Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19366&copyow
 nerid=31725
UID:cfp238124-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120315
SUMMARY:SE 2012 Deadline
DESCRIPTION:Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19366&copyow
 nerid=31725
UID:cfp238124-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120409
SUMMARY:SE 2012 Notification Due
DESCRIPTION:Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19366&copyow
 nerid=31725
UID:cfp238124-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120430
SUMMARY:SE 2012 Final Version Due
DESCRIPTION:Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19366&copyow
 nerid=31725
UID:cfp238124-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20121110
DTEND;VALUE=DATE:20121118
SUMMARY:FSE 2012
DESCRIPTION:20th ACM SIGSOFT International Symposium on the Foundations o
 f Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20298&copyow
 nerid=31725
UID:cfp238135-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120316
SUMMARY:FSE 2012 Deadline
DESCRIPTION:20th ACM SIGSOFT International Symposium on the Foundations o
 f Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20298&copyow
 nerid=31725
UID:cfp238135-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120618
SUMMARY:FSE 2012 Notification Due
DESCRIPTION:20th ACM SIGSOFT International Symposium on the Foundations o
 f Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20298&copyow
 nerid=31725
UID:cfp238135-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120716
SUMMARY:FSE 2012 Final Version Due
DESCRIPTION:20th ACM SIGSOFT International Symposium on the Foundations o
 f Software Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=20298&copyow
 nerid=31725
UID:cfp238135-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120330
DTEND;VALUE=DATE:20120331
SUMMARY:ASE Journal 2012
DESCRIPTION:Special Issue of Automated Software Engineering journal on In
 novative ASE Tools
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19938&copyow
 nerid=31725
UID:cfp238134-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20120330
SUMMARY:ASE Journal 2012 Deadline
DESCRIPTION:Special Issue of Automated Software Engineering journal on In
 novative ASE Tools
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=19938&copyow
 nerid=31725
UID:cfp238134-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp238136-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp238136-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp238136-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp238136-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
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&copyow
 nerid=31725
UID:cfp238136-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260408T223217Z
DTSTART;VALUE=DATE:20131230
SUMMARY:SE 2013 Deadline
DESCRIPTION:Software Engineering Journal
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15942&copyow
 nerid=31725
UID:cfp238133-D@wikicfp.com
END:VEVENT
END:VCALENDAR