Events

Select event terms to filter by
Select event type to filter by
« Saturday September 15, 2012 »
Sat
(event)
Grammatical Framework Tutorial - ICFP 2012, Copenhagen 15 September 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.

http://icfpconference.org/icfp2012/

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

(event)
eJMT Special Issue on Theorem-Prover based Systems for Education

[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.

(event)
CFP: Machine Translation Journal

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.
Add to iCalendar
Syndicate content