BEGIN:VCALENDAR
PRODID:-//WikiCFP//researcher007 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20101020
DTEND;VALUE=DATE:20101024
SUMMARY:FMCAD 2010
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175&copyown
 erid=24338
UID:cfp169261-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100505
SUMMARY:FMCAD 2010 Deadline
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175&copyown
 erid=24338
UID:cfp169261-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100707
SUMMARY:FMCAD 2010 Notification Due
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175&copyown
 erid=24338
UID:cfp169261-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100728
SUMMARY:FMCAD 2010 Final Version Due
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8175&copyown
 erid=24338
UID:cfp169261-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20101108
DTEND;VALUE=DATE:20101111
SUMMARY:ICTSS 2010
DESCRIPTION:22nd IFIP International Conference on Testing Software and Sy
 stems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8778&copyown
 erid=24338
UID:cfp169262-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100430
SUMMARY:ICTSS 2010 Abstract Due
DESCRIPTION:22nd IFIP International Conference on Testing Software and Sy
 stems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8778&copyown
 erid=24338
UID:cfp169262-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100510
SUMMARY:ICTSS 2010 Deadline
DESCRIPTION:22nd IFIP International Conference on Testing Software and Sy
 stems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8778&copyown
 erid=24338
UID:cfp169262-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100701
SUMMARY:ICTSS 2010 Notification Due
DESCRIPTION:22nd IFIP International Conference on Testing Software and Sy
 stems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8778&copyown
 erid=24338
UID:cfp169262-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100715
SUMMARY:ICTSS 2010 Final Version Due
DESCRIPTION:22nd IFIP International Conference on Testing Software and Sy
 stems
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=8778&copyown
 erid=24338
UID:cfp169262-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20101004
DTEND;VALUE=DATE:20101006
SUMMARY:SAM 2010
DESCRIPTION:6th WORKSHOP ON SYSTEM ANALYSIS AND MODELLING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10386&copyow
 nerid=24338
UID:cfp169263-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100809
SUMMARY:SAM 2010 Deadline
DESCRIPTION:6th WORKSHOP ON SYSTEM ANALYSIS AND MODELLING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10386&copyow
 nerid=24338
UID:cfp169263-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100830
SUMMARY:SAM 2010 Notification Due
DESCRIPTION:6th WORKSHOP ON SYSTEM ANALYSIS AND MODELLING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10386&copyow
 nerid=24338
UID:cfp169263-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20100920
SUMMARY:SAM 2010 Final Version Due
DESCRIPTION:6th WORKSHOP ON SYSTEM ANALYSIS AND MODELLING
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=10386&copyow
 nerid=24338
UID:cfp169263-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110615
DTEND;VALUE=DATE:20110617
SUMMARY:CSSE 2011
DESCRIPTION:The 2011 CSI International Symposium on Computer Science and 
 Software Engineering 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12168&copyow
 nerid=24338
UID:cfp169265-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110115
SUMMARY:CSSE 2011 Deadline
DESCRIPTION:The 2011 CSI International Symposium on Computer Science and 
 Software Engineering 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12168&copyow
 nerid=24338
UID:cfp169265-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110401
SUMMARY:CSSE 2011 Notification Due
DESCRIPTION:The 2011 CSI International Symposium on Computer Science and 
 Software Engineering 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12168&copyow
 nerid=24338
UID:cfp169265-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110501
SUMMARY:CSSE 2011 Final Version Due
DESCRIPTION:The 2011 CSI International Symposium on Computer Science and 
 Software Engineering 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12168&copyow
 nerid=24338
UID:cfp169265-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110714
DTEND;VALUE=DATE:20110721
SUMMARY:CAV 2011
DESCRIPTION:23rd International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317&copyow
 nerid=24338
UID:cfp169264-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110114
SUMMARY:CAV 2011 Abstract Due
DESCRIPTION:23rd International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317&copyow
 nerid=24338
UID:cfp169264-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110121
SUMMARY:CAV 2011 Deadline
DESCRIPTION:23rd International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317&copyow
 nerid=24338
UID:cfp169264-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110319
SUMMARY:CAV 2011 Notification Due
DESCRIPTION:23rd International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317&copyow
 nerid=24338
UID:cfp169264-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110419
SUMMARY:CAV 2011 Final Version Due
DESCRIPTION:23rd International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=11317&copyow
 nerid=24338
UID:cfp169264-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110620
DTEND;VALUE=DATE:20110625
SUMMARY:ACSD 2011
DESCRIPTION:Eleventh International Conference on Application of Concurren
 cy to System Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=13471&copyow
 nerid=24338
UID:cfp169266-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110117
SUMMARY:ACSD 2011 Abstract Due
DESCRIPTION:Eleventh International Conference on Application of Concurren
 cy to System Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=13471&copyow
 nerid=24338
UID:cfp169266-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110124
SUMMARY:ACSD 2011 Deadline
DESCRIPTION:Eleventh International Conference on Application of Concurren
 cy to System Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=13471&copyow
 nerid=24338
UID:cfp169266-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110314
SUMMARY:ACSD 2011 Notification Due
DESCRIPTION:Eleventh International Conference on Application of Concurren
 cy to System Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=13471&copyow
 nerid=24338
UID:cfp169266-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110411
SUMMARY:ACSD 2011 Final Version Due
DESCRIPTION:Eleventh International Conference on Application of Concurren
 cy to System Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=13471&copyow
 nerid=24338
UID:cfp169266-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20111025
DTEND;VALUE=DATE:20111029
SUMMARY:ICFEM 2011
DESCRIPTION:13th International Conference on Formal Engineering Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14021&copyow
 nerid=24338
UID:cfp169255-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110331
SUMMARY:ICFEM 2011 Abstract Due
DESCRIPTION:13th International Conference on Formal Engineering Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14021&copyow
 nerid=24338
UID:cfp169255-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110407
SUMMARY:ICFEM 2011 Deadline
DESCRIPTION:13th International Conference on Formal Engineering Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14021&copyow
 nerid=24338
UID:cfp169255-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110608
SUMMARY:ICFEM 2011 Notification Due
DESCRIPTION:13th International Conference on Formal Engineering Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14021&copyow
 nerid=24338
UID:cfp169255-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110706
SUMMARY:ICFEM 2011 Final Version Due
DESCRIPTION:13th International Conference on Formal Engineering Methods
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14021&copyow
 nerid=24338
UID:cfp169255-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110906
DTEND;VALUE=DATE:20110910
SUMMARY:CONCUR 2011
DESCRIPTION:22nd International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12475&copyow
 nerid=24338
UID:cfp169254-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110401
SUMMARY:CONCUR 2011 Abstract Due
DESCRIPTION:22nd International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12475&copyow
 nerid=24338
UID:cfp169254-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110408
SUMMARY:CONCUR 2011 Deadline
DESCRIPTION:22nd International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12475&copyow
 nerid=24338
UID:cfp169254-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110525
SUMMARY:CONCUR 2011 Notification Due
DESCRIPTION:22nd International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12475&copyow
 nerid=24338
UID:cfp169254-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110610
SUMMARY:CONCUR 2011 Final Version Due
DESCRIPTION:22nd International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=12475&copyow
 nerid=24338
UID:cfp169254-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110630
DTEND;VALUE=DATE:20110701
SUMMARY:AMMSE 2011
DESCRIPTION:2nd Intl. Workshop on Algebraic Methods in Model-Based Softwa
 re Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14880&copyow
 nerid=24338
UID:cfp169256-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110413
SUMMARY:AMMSE 2011 Deadline
DESCRIPTION:2nd Intl. Workshop on Algebraic Methods in Model-Based Softwa
 re Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14880&copyow
 nerid=24338
UID:cfp169256-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110529
SUMMARY:AMMSE 2011 Notification Due
DESCRIPTION:2nd Intl. Workshop on Algebraic Methods in Model-Based Softwa
 re Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14880&copyow
 nerid=24338
UID:cfp169256-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110612
SUMMARY:AMMSE 2011 Final Version Due
DESCRIPTION:2nd Intl. Workshop on Algebraic Methods in Model-Based Softwa
 re Engineering
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14880&copyow
 nerid=24338
UID:cfp169256-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20111011
DTEND;VALUE=DATE:20111015
SUMMARY:ATVA 2011
DESCRIPTION:9th International Symposium on Automated Technology for Verif
 ication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15249&copyow
 nerid=24338
UID:cfp169259-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110502
SUMMARY:ATVA 2011 Abstract Due
DESCRIPTION:9th International Symposium on Automated Technology for Verif
 ication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15249&copyow
 nerid=24338
UID:cfp169259-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110506
SUMMARY:ATVA 2011 Deadline
DESCRIPTION:9th International Symposium on Automated Technology for Verif
 ication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15249&copyow
 nerid=24338
UID:cfp169259-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110617
SUMMARY:ATVA 2011 Notification Due
DESCRIPTION:9th International Symposium on Automated Technology for Verif
 ication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15249&copyow
 nerid=24338
UID:cfp169259-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110708
SUMMARY:ATVA 2011 Final Version Due
DESCRIPTION:9th International Symposium on Automated Technology for Verif
 ication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15249&copyow
 nerid=24338
UID:cfp169259-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20111030
DTEND;VALUE=DATE:20111103
SUMMARY:FMCAD 2011
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14907&copyow
 nerid=24338
UID:cfp169258-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110511
SUMMARY:FMCAD 2011 Abstract Due
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14907&copyow
 nerid=24338
UID:cfp169258-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110518
SUMMARY:FMCAD 2011 Deadline
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14907&copyow
 nerid=24338
UID:cfp169258-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110715
SUMMARY:FMCAD 2011 Notification Due
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14907&copyow
 nerid=24338
UID:cfp169258-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110805
SUMMARY:FMCAD 2011 Final Version Due
DESCRIPTION:International Conference on Formal Methods in Computer-Aided 
 Design
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=14907&copyow
 nerid=24338
UID:cfp169258-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20111023
DTEND;VALUE=DATE:20111029
SUMMARY:VALID 2011
DESCRIPTION:The Third International Conference on Advances in System Test
 ing and Validation Lifecycle
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15584&copyow
 nerid=24338
UID:cfp169260-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110520
SUMMARY:VALID 2011 Deadline
DESCRIPTION:The Third International Conference on Advances in System Test
 ing and Validation Lifecycle
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15584&copyow
 nerid=24338
UID:cfp169260-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110625
SUMMARY:VALID 2011 Notification Due
DESCRIPTION:The Third International Conference on Advances in System Test
 ing and Validation Lifecycle
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15584&copyow
 nerid=24338
UID:cfp169260-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20110715
SUMMARY:VALID 2011 Final Version Due
DESCRIPTION:The Third International Conference on Advances in System Test
 ing and Validation Lifecycle
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=15584&copyow
 nerid=24338
UID:cfp169260-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
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&copyow
 nerid=24338
UID:cfp169257-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
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&copyow
 nerid=24338
UID:cfp169257-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
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&copyow
 nerid=24338
UID:cfp169257-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
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&copyow
 nerid=24338
UID:cfp169257-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
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&copyow
 nerid=24338
UID:cfp169257-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20130215
DTEND;VALUE=DATE:20130216
SUMMARY:AUCDI 2013
DESCRIPTION:Agile and User Centred Design Integration-What Lies Beneath a
 nd What Lies Ahead 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27440&copyow
 nerid=24338
UID:cfp318859-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20130107
SUMMARY:AUCDI 2013 Deadline
DESCRIPTION:Agile and User Centred Design Integration-What Lies Beneath a
 nd What Lies Ahead 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27440&copyow
 nerid=24338
UID:cfp318859-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20130121
SUMMARY:AUCDI 2013 Notification Due
DESCRIPTION:Agile and User Centred Design Integration-What Lies Beneath a
 nd What Lies Ahead 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27440&copyow
 nerid=24338
UID:cfp318859-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260419T184051Z
DTSTART;VALUE=DATE:20130131
SUMMARY:AUCDI 2013 Final Version Due
DESCRIPTION:Agile and User Centred Design Integration-What Lies Beneath a
 nd What Lies Ahead 
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27440&copyow
 nerid=24338
UID:cfp318859-N@wikicfp.com
END:VEVENT
END:VCALENDAR