Events

Select event terms to filter by
Select event type to filter by
Sunday December 02, 2012
(event)
Call for Book Chapter: "Towards the Multilingual Semantic Web" (to be published by Springer, autumn 2013)

Call for Book Chapters

"Towards the Multilingual Semantic Web" (to be published by Springer, autumn 2013)

Editors: Paul Buitelaar (DERI, National University of Ireland, Galway, Ireland) and Philipp Cimiano (CITEC, University of Bielefeld, Germany)

We invite submissions of book chapter abstracts for a new book "Towards the Multilingual Semantic Web" to be published by Springer.

Motivation

The amount of Internet users with native languages other than English has seen a substantial growth in recent years.

Saturday December 15, 2012
(event)
CfP: User Interfaces for Theorem Provers UITP'12 Post-Proceedings

--- Call for Papers ---

Post-Proceedings of the 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/

The User Interfaces for Theorem Provers workshop series provides a forum for researchers interested in improving human interaction with interactive proof systems, be it theorem provers, formal method tools, and other tools manipulating and presenting mathematical formulas.

UITP 2012 has taken place in Bremen on July 11th, 2012.

Add to iCalendar
Syndicate content