Event | When | Where | Deadline | |
DCFS 2010 |
Workshop on Descriptional Complexity of Formal Systems | |
Aug 8, 2010 - Aug 10, 2010 |
Saskatoon, SK, Canada |
TBD |
ECCAD 2010 |
East Coast Computer Algebra Day | |
May 15, 2010 - May 15, 2010 |
Atlanta, USA |
TBD |
PLDI 2010 |
Programming Language Design and Implementation | |
Jun 5, 2010 - Jun 10, 2010 |
Toronto, Canada |
Nov 20, 2009 (Nov 13, 2009) |
ECOOP 2010 |
24th European Conference on Object-Oriented Programming | |
Jun 21, 2010 - Jun 25, 2010 |
Maribor, Slovenia |
Dec 14, 2009 |
DAS 2010 |
International Workshop on Document Analysis Systems | |
Jun 9, 2010 - Jun 11, 2010 |
Boston, MA, USA |
Dec 15, 2009 |
ISSAC 2010 |
35th International Symposium on Symbolic and Algebraic Computation | |
Jul 25, 2010 - Jul 28, 2010 |
Munich, Germany |
Jan 21, 2010 (Jan 14, 2010) |
PCA 2010 |
Polynomial Computer Algebra | |
Apr 2, 2010 - Apr 7, 2010 |
St Petersburg, Russia |
Mar 2, 2010 |
MKM 2010 |
The 9th International Conference on Mathematical Knowledge Management | |
Jul 8, 2010 - Jul 10, 2010 |
Paris, France |
Mar 10, 2010 (Mar 3, 2010) |
AISC 2010 |
10th International Conference on Artificial Intelligence and Symbolic Computation | |
Jul 5, 2010 - Jul 6, 2010 |
CNAM, Paris, France |
Mar 12, 2010 (Mar 9, 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) |
ICFHR 2010 |
International Conference on Frontiers in Handwriting Recognition | |
Nov 16, 2010 - Nov 18, 2010 |
Kolkata, India |
Mar 15, 2010 |
DML 2010 |
Towards a Digital Mathematics Library | |
Jul 7, 2010 - Jul 8, 2010 |
Paris, France |
Mar 18, 2010 (Mar 11, 2010) |
DLT 2010 |
14th International Conference on Developments in Language Theory | |
Aug 17, 2010 - Aug 20, 2010 |
London, Ontario, Canada |
Mar 20, 2010 |
SPLASH (OOPSLA) 2010 |
Systems, Programming, Languages, and Applications: Software for Humanity. | |
Oct 10, 2010 - Oct 17, 2010 |
Reno, NV, USA |
Mar 25, 2010 |
PARCA 2010 |
Parallel Computer Algebra 2010 | |
Jun 29, 2010 - Jul 3, 2010 |
Tambov, Russia |
Apr 2, 2010 |
ANB 2010 |
International Conference on Algebraic and Numeric Biology | |
Jul 31, 2010 - Aug 2, 2010 |
Castle of Hagenberg, Austria |
Apr 4, 2010 |
CIAA 2010 |
The 15th International Conference on Implementation and Application of Automata | |
Aug 12, 2010 - Aug 15, 2010 |
Winnipeg, Manitoba, Canada |
Apr 9, 2010 |
PLMMS 2010 |
Programming Languages for Mechanized Mathematics Systems | |
Jul 8, 2010 - Jul 8, 2010 |
Paris, France |
Apr 9, 2010 (Mar 26, 2010) |
WODA 2010 |
International Workshop on Dynamic Analysis | |
Jul 12, 2010 - Jul 13, 2010 |
Trento, Italy |
Apr 12, 2010 |
CASC 2010 |
Computer Algebra in Scientific Computing | |
Sep 5, 2010 - Sep 12, 2010 |
Tsakhkadzor, Armenia |
Apr 12, 2010 |
|