Events
10th International Workshop on User Interfaces for Theorem Provers (UITP 2012)
11.07.2012, Bremen, Germany, Part of CICM 2012
http://www.informatik.uni-bremen.de/uitp12/
While interactive theorem provers have found many new application areas in the last years, the system interfaces have often not enjoyed the same attention as the proof engines themselves. In many cases, interfaces remain relatively basic and under-designed.
CALL FOR PAPERS
THedu'12
TP components for educational software
11 July 2012
http://www.uc.pt/en/congressos/thedu
Workshop at CICM 2012
Conferences on Intelligent Computer Mathematics
9-14.
11 - 13 June 2012, Dublin http://www.multilingualweb.eu/documents/dublin-workshop
__If you wish to speak at the workshop, please fill in the registration form as soon as possible and provide a position statement about the topic of Linked (Open) Data and Multilingual Technologies (to be discused 11 June), or about MultilingualWeb-LT requirements (12 - 13 June).
Subject: [HLT] Call for Paper: Special Issue on NLP in the Web Era
Call for papers
Special issue on Natural Language Processing in the Web Era
Intelligenza Artificiale, Volume 6.2, scheduled for December 2012
Guest editors: Roberto Basili and Bernardo Magnini
THEMES
Natural Language is still the main carrier for the definition, synthesis and exchange of knowledge in the real world, and this is entirely reflected in the Web contents.
http://amta2012.amtaweb.org/CFP.aspx
Machine Translation is one of the oldest and most challenging problems in Natural Language Processing. In the last decade, remarkable progress has been achieved through a combination of data-influenced approaches, automatic metrics, and open comparative evaluations. Applications of MT technology, such as post-editing, are becoming increasingly viable.
AMTA-2012
The Tenth Biennial Conference
of the Association for Machine Translation in the Americas
Catamaran Hotel, San Diego, California
October 28 - November 1, 2012
http://amta2012.amtaweb.org
On May 28th, Jeroen van Grondelle delivered a keynote at the Extended Semantic Web Conference 2012, with the title New Audiences for Ontologies. In his talk, he presented Be Informed's business process platform, how it exposes new audiences to ontologies and how technologies from both Molto and Monnet projects are used to support these audiences in understanding and taking ownership of these ontologies.
On May 28th, Jeroen van Grondelle delivered a keynote at the Extended Semantic Web Conference 2012, with the title New Audiences for Ontologies. In his talk, he presented Be Informed's business process platform, how it exposes new audiences to ontologies and how technologies from both Molto and Monnet projects are used to support these audiences in understanding and taking ownership of these ontologies.
On May 28th, Jeroen van Grondelle delivered a keynote at the Extended Semantic Web Conference 2012, with the title New Audiences for Ontologies. In his talk, he presented Be Informed's business process platform, how it exposes new audiences to ontologies and how technologies from both Molto and Monnet projects are used to support these audiences in understanding and taking ownership of these ontologies.
On May 28th, Jeroen van Grondelle delivered a keynote at the Extended Semantic Web Conference 2012, with the title New Audiences for Ontologies. In his talk, he presented Be Informed's business process platform, how it exposes new audiences to ontologies and how technologies from both Molto and Monnet projects are used to support these audiences in understanding and taking ownership of these ontologies.
