BEGIN:VCALENDAR
PRODID:-//WikiCFP//darkmanppt 1.0//EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369532-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369532-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369532-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369532-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369532-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130625
DTEND;VALUE=DATE:20130629
SUMMARY:LICS 2013
DESCRIPTION:28th Annual ACM/IEEE Symposium on Logic In Computer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25798&copyow
 nerid=52748
UID:cfp369533-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130107
SUMMARY:LICS 2013 Abstract Due
DESCRIPTION:28th Annual ACM/IEEE Symposium on Logic In Computer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25798&copyow
 nerid=52748
UID:cfp369533-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130114
SUMMARY:LICS 2013 Deadline
DESCRIPTION:28th Annual ACM/IEEE Symposium on Logic In Computer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25798&copyow
 nerid=52748
UID:cfp369533-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130322
SUMMARY:LICS 2013 Notification Due
DESCRIPTION:28th Annual ACM/IEEE Symposium on Logic In Computer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25798&copyow
 nerid=52748
UID:cfp369533-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130426
SUMMARY:LICS 2013 Final Version Due
DESCRIPTION:28th Annual ACM/IEEE Symposium on Logic In Computer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=25798&copyow
 nerid=52748
UID:cfp369533-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369528-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369528-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369528-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
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&copyow
 nerid=52748
UID:cfp369528-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130708
DTEND;VALUE=DATE:20130713
SUMMARY:EATCS 2013
DESCRIPTION:Annual Meeting of the European Association for Theoretical Co
 mputer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27931&copyow
 nerid=52748
UID:cfp369529-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130215
SUMMARY:EATCS 2013 Deadline
DESCRIPTION:Annual Meeting of the European Association for Theoretical Co
 mputer Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27931&copyow
 nerid=52748
UID:cfp369529-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130423
DTEND;VALUE=DATE:20130427
SUMMARY:TYPES 2013
DESCRIPTION:Types for Proofs and Programs
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24253&copyow
 nerid=52748
UID:cfp369527-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130225
SUMMARY:TYPES 2013 Deadline
DESCRIPTION:Types for Proofs and Programs
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24253&copyow
 nerid=52748
UID:cfp369527-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130308
SUMMARY:TYPES 2013 Notification Due
DESCRIPTION:Types for Proofs and Programs
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=24253&copyow
 nerid=52748
UID:cfp369527-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130902
DTEND;VALUE=DATE:20130906
SUMMARY:CSL 2013
DESCRIPTION:22nd EACSL Annual Conference on Computer Science Logic
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27837&copyow
 nerid=52748
UID:cfp369524-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130401
SUMMARY:CSL 2013 Abstract Due
DESCRIPTION:22nd EACSL Annual Conference on Computer Science Logic
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27837&copyow
 nerid=52748
UID:cfp369524-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130408
SUMMARY:CSL 2013 Deadline
DESCRIPTION:22nd EACSL Annual Conference on Computer Science Logic
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27837&copyow
 nerid=52748
UID:cfp369524-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130610
SUMMARY:CSL 2013 Notification Due
DESCRIPTION:22nd EACSL Annual Conference on Computer Science Logic
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27837&copyow
 nerid=52748
UID:cfp369524-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130701
SUMMARY:CSL 2013 Final Version Due
DESCRIPTION:22nd EACSL Annual Conference on Computer Science Logic
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=27837&copyow
 nerid=52748
UID:cfp369524-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130826
DTEND;VALUE=DATE:20130831
SUMMARY:MFCS  2013
DESCRIPTION:38 International Symposium on Mathematical Foundations of Com
 puter Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29563&copyow
 nerid=52748
UID:cfp369713-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130419
SUMMARY:MFCS  2013 Deadline
DESCRIPTION:38 International Symposium on Mathematical Foundations of Com
 puter Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29563&copyow
 nerid=52748
UID:cfp369713-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130604
SUMMARY:MFCS  2013 Notification Due
DESCRIPTION:38 International Symposium on Mathematical Foundations of Com
 puter Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29563&copyow
 nerid=52748
UID:cfp369713-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130616
SUMMARY:MFCS  2013 Final Version Due
DESCRIPTION:38 International Symposium on Mathematical Foundations of Com
 puter Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=29563&copyow
 nerid=52748
UID:cfp369713-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130829
DTEND;VALUE=DATE:20130901
SUMMARY:GandALF  2013
DESCRIPTION:4th International Symposium on Games\, Automata\, Logics\, an
 d Formal Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28028&copyow
 nerid=52748
UID:cfp369526-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130513
SUMMARY:GandALF  2013 Abstract Due
DESCRIPTION:4th International Symposium on Games\, Automata\, Logics\, an
 d Formal Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28028&copyow
 nerid=52748
UID:cfp369526-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130519
SUMMARY:GandALF  2013 Deadline
DESCRIPTION:4th International Symposium on Games\, Automata\, Logics\, an
 d Formal Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28028&copyow
 nerid=52748
UID:cfp369526-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130617
SUMMARY:GandALF  2013 Notification Due
DESCRIPTION:4th International Symposium on Games\, Automata\, Logics\, an
 d Formal Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28028&copyow
 nerid=52748
UID:cfp369526-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130626
SUMMARY:GandALF  2013 Final Version Due
DESCRIPTION:4th International Symposium on Games\, Automata\, Logics\, an
 d Formal Verification
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=28028&copyow
 nerid=52748
UID:cfp369526-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130829
DTEND;VALUE=DATE:20130901
SUMMARY:FOPARA 2013
DESCRIPTION:3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPE
 CTS OF RESOURCE ANALYSIS
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30024&copyow
 nerid=52748
UID:cfp369525-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130603
SUMMARY:FOPARA 2013 Deadline
DESCRIPTION:3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPE
 CTS OF RESOURCE ANALYSIS
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30024&copyow
 nerid=52748
UID:cfp369525-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130621
SUMMARY:FOPARA 2013 Notification Due
DESCRIPTION:3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPE
 CTS OF RESOURCE ANALYSIS
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30024&copyow
 nerid=52748
UID:cfp369525-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130705
SUMMARY:FOPARA 2013 Final Version Due
DESCRIPTION:3RD INTERNATIONAL WORKSHOP ON FOUNDATIONAL AND PRACTICAL ASPE
 CTS OF RESOURCE ANALYSIS
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30024&copyow
 nerid=52748
UID:cfp369525-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130824
DTEND;VALUE=DATE:20130826
SUMMARY:WLPE 2013
DESCRIPTION:23rd Workshop on Logic-based methods in Programming Environme
 nts
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30668&copyow
 nerid=52748
UID:cfp369531-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130603
SUMMARY:WLPE 2013 Deadline
DESCRIPTION:23rd Workshop on Logic-based methods in Programming Environme
 nts
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30668&copyow
 nerid=52748
UID:cfp369531-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130624
SUMMARY:WLPE 2013 Notification Due
DESCRIPTION:23rd Workshop on Logic-based methods in Programming Environme
 nts
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30668&copyow
 nerid=52748
UID:cfp369531-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130715
SUMMARY:WLPE 2013 Final Version Due
DESCRIPTION:23rd Workshop on Logic-based methods in Programming Environme
 nts
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=30668&copyow
 nerid=52748
UID:cfp369531-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20131214
DTEND;VALUE=DATE:20131220
SUMMARY:LPAR 2013
DESCRIPTION:Logic for Programming Artificial Intelligence and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31343&copyow
 nerid=52748
UID:cfp369523-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130722
SUMMARY:LPAR 2013 Abstract Due
DESCRIPTION:Logic for Programming Artificial Intelligence and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31343&copyow
 nerid=52748
UID:cfp369523-A@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130802
SUMMARY:LPAR 2013 Deadline
DESCRIPTION:Logic for Programming Artificial Intelligence and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31343&copyow
 nerid=52748
UID:cfp369523-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130927
SUMMARY:LPAR 2013 Notification Due
DESCRIPTION:Logic for Programming Artificial Intelligence and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31343&copyow
 nerid=52748
UID:cfp369523-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20131009
SUMMARY:LPAR 2013 Final Version Due
DESCRIPTION:Logic for Programming Artificial Intelligence and Reasoning
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31343&copyow
 nerid=52748
UID:cfp369523-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20140305
DTEND;VALUE=DATE:20140309
SUMMARY:STACS 2014
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52748
UID:cfp369530-E@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20130920
SUMMARY:STACS 2014 Deadline
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52748
UID:cfp369530-D@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20131206
SUMMARY:STACS 2014 Notification Due
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52748
UID:cfp369530-N@wikicfp.com
END:VEVENT
BEGIN:VEVENT
DTSTAMP:20260629T141954Z
DTSTART;VALUE=DATE:20140108
SUMMARY:STACS 2014 Final Version Due
DESCRIPTION:31st International Symposium on Theoretical Aspects of Comput
 er Science
URL:http://www.wikicfp.com/cfp/servlet/event.showcfp?eventid=31341&copyow
 nerid=52748
UID:cfp369530-N@wikicfp.com
END:VEVENT
END:VCALENDAR