BEGIN:VCALENDAR VERSION:2.0 METHOD:PUBLISH X-WR-CALNAME:Multilingual Online Translation | September 10 2012- September 17 2012 PRODID:-//strange bird labs//Drupal iCal API//EN BEGIN:VEVENT DTSTAMP;VALUE=DATE-TIME:20240329T153714Z DTSTART;VALUE=DATE-TIME:20120915T092200Z DTEND;VALUE=DATE-TIME:20020203 UID:http://www.molto-project.eu/event/grammatical-framework-tutorial-icfp-2012-copenhagen-15-september-2012 URL;VALUE=URI:http://www.molto-project.eu/event/grammatical-framework-tutorial-icfp-2012-copenhagen-15-september-2012 SUMMARY:Grammatical Framework Tutorial - ICFP 2012\, Copenhagen 15 September 2012 DESCRIPTION:
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/
END:VEVENT BEGIN:VEVENT DTSTAMP;VALUE=DATE-TIME:20240329T153714Z DTSTART;VALUE=DATE-TIME:20120915T103300Z DTEND;VALUE=DATE-TIME:20020203 UID:http://www.molto-project.eu/event/ejmt-special-issue-theorem-prover-based-systems-education URL;VALUE=URI:http://www.molto-project.eu/event/ejmt-special-issue-theorem-prover-based-systems-education SUMMARY:eJMT Special Issue on Theorem-Prover based Systems for Education DESCRIPTION:[Note\: Submission Deadline is 15 September 2012]
https\://php.radford.edu/~ejmt/
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.
END:VEVENT BEGIN:VEVENT DTSTAMP;VALUE=DATE-TIME:20240329T153714Z DTSTART;VALUE=DATE-TIME:20120915T105500Z DTEND;VALUE=DATE-TIME:20020203 UID:http://www.molto-project.eu/event/cfp-machine-translation-journal URL;VALUE=URI:http://www.molto-project.eu/event/cfp-machine-translation-journal SUMMARY:CFP\: Machine Translation Journal DESCRIPTION: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.
END:VEVENT END:VCALENDAR