Events

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.

http://icfpconference.org/icfp2012/

http://www.grammaticalframework.org/gf-tutorial-icfp-2012/

[Note: Submission Deadline is 15 September 2012]

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

https://php.radford.edu/~ejmt/

Scope

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 http://www.springer.com/computer/artificial/journal/10590

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.