Select event terms to filter by
Select event type to filter by
« Saturday September 15, 2012 »

ICFP 2012, the 17th ACM SIGPLAN International Conference on Functional Programming, starts tomorrow in Copenhagen with the affiliated events, and lasts between 9-15 September 2012. On the last day, next Saturday 15 September 2012 there will be a tutorial on GF held by A. Ranta, Thomas Hallgren and Krasimir Angelov. If you want to talk about MOLTO, be sure to meet them there.

[Note: Submission Deadline is 15 September 2012]

Special Issue of The Electronic Journal of Mathematics & Technology (eJMT) on Theorem-Prover based Systems for Education


CADGME, the Conference on Computer Algebra and Dynamic Geometry Systems in Mathematics Education, has a working group on Theorem-Prover (TP) based Systems since 2009.

Special Issue on Quality Estimation

Guest editors: Lucia Specia (University of Sheffield) Radu Soricut (SDL Language Weaver)

Quality estimation is a topic of increasing interest in the field of Machine Translation (MT). It aims at providing a quality indicator for unseen translated texts at various granularity levels.

Syndicate content