BEGIN:VCALENDAR PRODID:-//WikiCFP//merzoug 1.0//EN VERSION:2.0 CALSCALE:GREGORIAN BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20150718 DTEND;VALUE=DATE:20150725 SUMMARY:CAV 2015 DESCRIPTION:27th International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=41235©ow nerid=83203 UID:cfp563314-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20150206 SUMMARY:CAV 2015 Deadline DESCRIPTION:27th International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=41235©ow nerid=83203 UID:cfp563314-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20150417 SUMMARY:CAV 2015 Notification Due DESCRIPTION:27th International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=41235©ow nerid=83203 UID:cfp563314-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20150501 SUMMARY:CAV 2015 Final Version Due DESCRIPTION:27th International Conference on Computer Aided Verification URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=41235©ow nerid=83203 UID:cfp563314-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160514 DTEND;VALUE=DATE:20160523 SUMMARY:ICSE 2016 DESCRIPTION:The 38th International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=44430©ow nerid=83203 UID:cfp563327-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20150828 SUMMARY:ICSE 2016 Deadline DESCRIPTION:The 38th International Conference on Software Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=44430©ow nerid=83203 UID:cfp563327-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160601 DTEND;VALUE=DATE:20160604 SUMMARY:iFM 2016 DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=83203 UID:cfp563312-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20151221 SUMMARY:iFM 2016 Abstract Due DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=83203 UID:cfp563312-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160106 SUMMARY:iFM 2016 Deadline DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=83203 UID:cfp563312-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160229 SUMMARY:iFM 2016 Notification Due DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=83203 UID:cfp563312-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160314 SUMMARY:iFM 2016 Final Version Due DESCRIPTION:12th International Conference on integrated Formal Methods URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47553©ow nerid=83203 UID:cfp563312-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160606 DTEND;VALUE=DATE:20160610 SUMMARY:FORTE 2016 DESCRIPTION:36th IFIP International Conference on Formal Techniques for D istributed Objects\, Components and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49308©ow nerid=83203 UID:cfp563310-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160201 SUMMARY:FORTE 2016 Abstract Due DESCRIPTION:36th IFIP International Conference on Formal Techniques for D istributed Objects\, Components and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49308©ow nerid=83203 UID:cfp563310-A@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160208 SUMMARY:FORTE 2016 Deadline DESCRIPTION:36th IFIP International Conference on Formal Techniques for D istributed Objects\, Components and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49308©ow nerid=83203 UID:cfp563310-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160321 SUMMARY:FORTE 2016 Notification Due DESCRIPTION:36th IFIP International Conference on Formal Techniques for D istributed Objects\, Components and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49308©ow nerid=83203 UID:cfp563310-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160404 SUMMARY:FORTE 2016 Final Version Due DESCRIPTION:36th IFIP International Conference on Formal Techniques for D istributed Objects\, Components and Systems URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49308©ow nerid=83203 UID:cfp563310-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160705 DTEND;VALUE=DATE:20160709 SUMMARY:ECRTS 2016 DESCRIPTION:28th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49254©ow nerid=83203 UID:cfp563322-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160225 SUMMARY:ECRTS 2016 Deadline DESCRIPTION:28th EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49254©ow nerid=83203 UID:cfp563322-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160701 DTEND;VALUE=DATE:20160704 SUMMARY:SEKE 2016 DESCRIPTION:Software Engineering and Knowledge Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49163©ow nerid=83203 UID:cfp563334-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160301 SUMMARY:SEKE 2016 Deadline DESCRIPTION:Software Engineering and Knowledge Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49163©ow nerid=83203 UID:cfp563334-D@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160420 SUMMARY:SEKE 2016 Notification Due DESCRIPTION:Software Engineering and Knowledge Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49163©ow nerid=83203 UID:cfp563334-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160501 SUMMARY:SEKE 2016 Final Version Due DESCRIPTION:Software Engineering and Knowledge Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=49163©ow nerid=83203 UID:cfp563334-N@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20161115 DTEND;VALUE=DATE:20161118 SUMMARY:ESEC/FSE 2016 DESCRIPTION:ACM SIGSOFT International Symposium on the Foundations of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=48923©ow nerid=83203 UID:cfp563326-E@wikicfp.com END:VEVENT BEGIN:VEVENT DTSTAMP:20260421T134857Z DTSTART;VALUE=DATE:20160311 SUMMARY:ESEC/FSE 2016 Deadline DESCRIPTION:ACM SIGSOFT International Symposium on the Foundations of Sof tware Engineering URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=48923©ow nerid=83203 UID:cfp563326-D@wikicfp.com END:VEVENT END:VCALENDAR