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) |