Events

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.

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.