huitseeker's list | timeline 

FacebookTwitterLinkedInGoogle AddThis Feed Button iCalendar
 Sort by 
 
Event When Where Deadline
MKM 2010 The 9th International Conference on Mathematical Knowledge Management
Jul 8, 2010 - Jul 10, 2010 Paris, France Mar 10, 2010 (Mar 3, 2010)
Calculemus 2010 17th Symposium on the Integration of Symbolic Computation and Mechanised Reasoning
Jul 6, 2010 - Jul 7, 2010 Paris, France Mar 15, 2010 (Mar 12, 2010)
PLMMS 2010 Programming Languages for Mechanized Mathematics Systems
Jul 8, 2010 - Jul 8, 2010 Paris, France Apr 9, 2010 (Mar 26, 2010)
PLDI 2011 The 32nd ACM SIGPLAN conference on Programming Language Design and Implementation
Jun 4, 2011 - Jun 8, 2011 San Jose, California Nov 19, 2010 (Nov 12, 2010)
TLCA 2011 10th Conference on Typed Lambda Calculi and Applications
Jun 1, 2011 - Jun 3, 2011 Novi Sad Feb 2, 2011 (Jan 26, 2011)
ITP 2011 2nd International Conference on Interactive Theorem Proving
Aug 22, 2011 - Aug 25, 2011 Nijmegen, The Netherlands Feb 20, 2011 (Feb 13, 2011)
CSL 2011 20th Annual Conference of the European Association for Computer Science Logic
Sep 12, 2011 - Sep 15, 2011 Bergen, Norway Apr 3, 2011 (Mar 27, 2011)
Onward! 2011 Onward! 2011
Oct 22, 2011 - Oct 27, 2011 Portland, Oregon Apr 8, 2011 (Apr 1, 2011)
POPL 2012 The 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
Jan 25, 2012 - Jan 27, 2012 Philadelphia, USA Jul 12, 2011 (Jul 8, 2011)
TLDI 2011 The Sixth ACM SIGPLAN Workshop on Types in Language Design and Implementation
Jan 25, 2011 - Jan 25, 2011 Austin, Texas, USA Oct 11, 2011
FLOPS 2012 International Symposium on Functional and Logic Programming
May 23, 2012 - May 25, 2012 Kobe, Japan Dec 9, 2011
MPC 2012 Mathematics of Program Construction
Jun 25, 2012 - Jun 27, 2012 Madrid Jan 16, 2012 (Jan 9, 2012)
first | previous | Page 1 | next | last Total of 13 CFPs in 1 pages