BEGIN:VCALENDAR
PRODID:-//WikiCFP//shigang 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579702-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579702-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579702-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579710-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579710-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160117
DTEND;VALUE=DATE:20160120
SUMMARY:VMCAI 2016
DESCRIPTION:17th International Conference on Verification\, Model Checkin
 g\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47155&copyow
 nerid=85150
UID:cfp579708-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20150904
SUMMARY:VMCAI 2016 Abstract Due
DESCRIPTION:17th International Conference on Verification\, Model Checkin
 g\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47155&copyow
 nerid=85150
UID:cfp579708-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20150911
SUMMARY:VMCAI 2016 Deadline
DESCRIPTION:17th International Conference on Verification\, Model Checkin
 g\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47155&copyow
 nerid=85150
UID:cfp579708-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20151010
SUMMARY:VMCAI 2016 Notification Due
DESCRIPTION:17th International Conference on Verification\, Model Checkin
 g\, and Abstract Interpretation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47155&copyow
 nerid=85150
UID:cfp579708-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160613
DTEND;VALUE=DATE:20160618
SUMMARY:PLDI 2016
DESCRIPTION:Programming Language Design and Implementation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47224&copyow
 nerid=85150
UID:cfp579704-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20151120
SUMMARY:PLDI 2016 Deadline
DESCRIPTION:Programming Language Design and Implementation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47224&copyow
 nerid=85150
UID:cfp579704-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160120
SUMMARY:PLDI 2016 Notification Due
DESCRIPTION:Programming Language Design and Implementation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47224&copyow
 nerid=85150
UID:cfp579704-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160415
SUMMARY:PLDI 2016 Final Version Due
DESCRIPTION:Programming Language Design and Implementation
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=47224&copyow
 nerid=85150
UID:cfp579704-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160717
DTEND;VALUE=DATE:20160724
SUMMARY:CAV 2016
DESCRIPTION:International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833&copyow
 nerid=85150
UID:cfp579705-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160124
SUMMARY:CAV 2016 Abstract Due
DESCRIPTION:International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833&copyow
 nerid=85150
UID:cfp579705-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160129
SUMMARY:CAV 2016 Deadline
DESCRIPTION:International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833&copyow
 nerid=85150
UID:cfp579705-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160415
SUMMARY:CAV 2016 Notification Due
DESCRIPTION:International Conference on Computer Aided Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50833&copyow
 nerid=85150
UID:cfp579705-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160920
DTEND;VALUE=DATE:20160923
SUMMARY:ICFP 2016
DESCRIPTION:International Conference on Functional Programming
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50494&copyow
 nerid=85150
UID:cfp579703-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160316
SUMMARY:ICFP 2016 Deadline
DESCRIPTION:International Conference on Functional Programming
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50494&copyow
 nerid=85150
UID:cfp579703-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160520
SUMMARY:ICFP 2016 Notification Due
DESCRIPTION:International Conference on Functional Programming
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=50494&copyow
 nerid=85150
UID:cfp579703-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160823
DTEND;VALUE=DATE:20160827
SUMMARY:CONCUR 2016
DESCRIPTION:The 27th International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53348&copyow
 nerid=85150
UID:cfp599023-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160411
SUMMARY:CONCUR 2016 Abstract Due
DESCRIPTION:The 27th International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53348&copyow
 nerid=85150
UID:cfp599023-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160418
SUMMARY:CONCUR 2016 Deadline
DESCRIPTION:The 27th International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53348&copyow
 nerid=85150
UID:cfp599023-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160608
SUMMARY:CONCUR 2016 Notification Due
DESCRIPTION:The 27th International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53348&copyow
 nerid=85150
UID:cfp599023-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160622
SUMMARY:CONCUR 2016 Final Version Due
DESCRIPTION:The 27th International Conference on Concurrency Theory
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=53348&copyow
 nerid=85150
UID:cfp599023-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20161017
DTEND;VALUE=DATE:20161020
SUMMARY:ATVA 2016
DESCRIPTION:14th International Symposium on Automated Technology for Veri
 fication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51420&copyow
 nerid=85150
UID:cfp579711-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160423
SUMMARY:ATVA 2016 Abstract Due
DESCRIPTION:14th International Symposium on Automated Technology for Veri
 fication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51420&copyow
 nerid=85150
UID:cfp579711-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
DTSTART;VALUE=DATE:20160426
SUMMARY:ATVA 2016 Deadline
DESCRIPTION:14th International Symposium on Automated Technology for Veri
 fication and Analysis
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=51420&copyow
 nerid=85150
UID:cfp579711-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579709-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579709-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579709-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579709-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579709-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579707-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579707-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579707-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260623T064231Z
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&copyow
 nerid=85150
UID:cfp579707-N@wikicfp.com
END:VEVENT
END:VCALENDAR