Events
Submission deadline (extended): 13 April 2012
Notification of acceptance: 28 May 2012
Deadline for revised papers: 18 June 2012
Workshop: 29–31 August 2012
See the CNL 2012 website at http://attempto.ifi.uzh.ch/site/cnl2012/
For previous workshops in the CNL workshop series see:
Third Workshop on Controlled Natural Language (CNL 2012)
The main aim of the conference is to provide a forum for the sharing of new ideas and recent advances in human language processing and to promote cooperation between the research communities of computer science and linguistics from the Baltic countries and the rest of the world.
The conference aims to bring together scientists, developers, providers and users to discuss state-of-the-art of HLT in the Baltic countries, to exchange information and to discuss problems, to find new synergies and to promote initiatives for international cooperation.
Main topics of the conference are (but not
http://pastehtml.com/view/bt43mrlnd.html
The Department of Modern Languages, Faculty of Arts, invites applications for the position of
POST-DOCTORAL RESEARCHER
for the period of June 1, 2012 – May 30, 2013 in the EU project MOLTO supervised by Professor Lauri Carlson.
MOLTO started in 2010 and runs through the end of the hiring period.
MOLTO (http://molto-project.eu) is a multinational project that develops tools for translating constrained language texts into multiple languages in real time with high quality.
A few members of the MOLTO team will be attending the 13th Conference of the European Chapter of the Association for computational Linguistics (EACL) meeting in Avignon, between April 23-27, 2012. They are Aarne Ranta and Grégoire Détrez from UGOT, and from UPC, Lluís Màrquez and Cristina España. Be sure to talk to them if you want to get the latest news from the MOLTO project.
A few members of the MOLTO team will be attending the 13th Conference of the European Chapter of the Association for computational Linguistics (EACL) meeting in Avignon, between April 23-27, 2012. They are Aarne Ranta and Grégoire Détrez from UGOT, and from UPC, Lluís Màrquez and Cristina España. Be sure to talk to them if you want to get the latest news from the MOLTO project.
A few members of the MOLTO team will be attending the 13th Conference of the European Chapter of the Association for computational Linguistics (EACL) meeting in Avignon, between April 23-27, 2012. They are Aarne Ranta and Grégoire Détrez from UGOT, and from UPC, Lluís Màrquez and Cristina España. Be sure to talk to them if you want to get the latest news from the MOLTO project.
A few members of the MOLTO team will be attending the 13th Conference of the European Chapter of the Association for computational Linguistics (EACL) meeting in Avignon, between April 23-27, 2012. They are Aarne Ranta and Grégoire Détrez from UGOT, and from UPC, Lluís Màrquez and Cristina España. Be sure to talk to them if you want to get the latest news from the MOLTO project.
A few members of the MOLTO team will be attending the 13th Conference of the European Chapter of the Association for computational Linguistics (EACL) meeting in Avignon, between April 23-27, 2012. They are Aarne Ranta and Grégoire Détrez from UGOT, and from UPC, Lluís Màrquez and Cristina España. Be sure to talk to them if you want to get the latest news from the MOLTO project.
The third IPWARE-SUMMIT (www.ipware-summit.com) will take place in Saint-Raphael, France 3 - 5 October 2012, in the beautiful environment of the French Riviera between Cannes and Saint-Tropez.
The IPWARE-SUMMIT event is an international conference on Information Processing including but not limited to intellectual property handling. The conference is accompanied by a software exhibition.
IPWARE-SUMMIT 2012 will survey the international state of the art and practice in information processing with
*.
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.
