## AI Europe 2016

Partnership between AISB and AI Europe 2016: Next December 5th and 6th in London, AI Europe will bring together the European AI eco-system by gathering new tools and future technologies appearing in professional fields for th...

Read More...

## AISB convention 2017

In the run up to AISB2017 convention (http://aisb2017.cs.bath.ac.uk/index.html), I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...

Read More...

## Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87 Harold Cohen at the Tate (1983) Aaron image in background Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...

Read More...

## Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...

Read More...

## Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...

Read More...

## Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...

Read More...

## Notice

# AISB event Bulletin Item

## Call for participation: Towards Digital Mathematics Library (DML 2008)

Call for participation: Towards Digital Mathematics Library (DML 2008) July 27th, 2008, Birmingham, UK c/o MKM 2008 Workshop webpage: http://www.fi.muni.cz/~sojka/dml-2008.xhtml Registration: http://events.cs.bham.ac.uk/cicm08/registration.php Travel: http://events.cs.bham.ac.uk/cicm08/travel.php Accomodation: http://events.cs.bham.ac.uk/cicm08/accommodation.php Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model])? Proceedings: (200+ pages) was published by Masaryk University and will be available on site. Papers and Posters selected for presentation at the workshop: Part I Towards Digital Mathematics Library * Some Thoughts on the Near-Future Digital Mathematics Library Thierry Bouche (Universit de Grenoble I, France) * From Pixels and Minds to the Mathematical Knowledge in a Digital Library Petr Sojka (Masaryk University, Brno, Czech Republic) Jiř Rkosnk (Institute of Mathematics AS CR, Praha, Czech Republic) * Mathematical Document Classification via Symbol Frequency Analysis Stephen M. Watt (University of Western Ontario, London Ontario, Canada) Part II Towards Mathematical OCR and Search * Lexical Error Compensation in Handwritten-based Mathematical Information Retrieval Seyed Ali Ahmadi (George Washington University, United States) Abdou Youssef (George Washington University, United States) * Extending Full Text Search Engine for Mathematical Content Jozef Miutka (Charles University in Prague, Czech Republic) Leo Galambo (Charles University in Prague, Czech Republic) * Mathematical Formulae Recognition Daniel Průa (Czech Technical University, Prague, Czech Republic) Vclav Hlavč (Czech Technical University, Prague, Czech Republic) * Extracting Precise Data on the Mathematical Content of PDF Documents Josef B. Baker (University of Birmingham, United Kingdom) Alan P. Sexton (University of Birmingham, United Kingdom) Volker Sorge (University of Birmingham, United Kingdom) Part III Digitization Reports * RusDML 2008 Bernd Wegner (Mathematisches Institut, TU Berlin, Germany) * Digitization of Mathematical Editions in Serbia arko Mijajlović (Faculty of Mathematics, Belgrade, Serbia) Zoran Ognjanović (Mathematical Institute, Belgrade, Serbia) * Current Status of Mathematical Publications in Japan Takao Namiki (Hokkaido University, Sapporo, Japan) * Small Scale Retrodigitization Michael Doob (The University of Manitoba, Canada) Part IV Digitization Technologies and Platforms * Building the Czech Digital Mathematics Library upon DSpace System Vlastimil Krejčř (Masaryk University, Brno, Czech Republic) * Migration of the Mathematical Collection of Polish Virtual Library of Science to the YADDA Platform Katarzyna Zamlynska (University of Warsaw, Poland) Lukasz Bolikowski (University of Warsaw, Poland) Tomasz Rosiek (University of Warsaw, Poland) * A Language Engineering Architecture for Processing Informal Mathematical Discourse Magdalena Wolska (Saarland University, Germany) Part V Digitization Tools * DML-CZ Metadata Editor Miroslav Bartoek (Masaryk University, Brno, Czech Republic) Petr Kovř (Masaryk University, Brno, Czech Republic) Martin rfy (Masaryk University, Brno, Czech Republic) * CEDRICS: When CEDRAM Meets Tralics (Keynote) Thierry Bouche (Universit de Grenoble I & CNRS, France) * Automated Processing of TEX-Typeset Articles for a Digital Library Michal Růička (Masaryk University, Brno, Czech Republic) * Ideas from Oz, for New and Retro-Born Digital Mathematics Ross Moore (Macquarie University, Sydney, Australia) Workshop Overview: Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked and validated/verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. The workshop's objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects, asking such questions as: # What technologies, standards, algorithms and formats should be used and what metadata should be shared? # What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? # Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? # What is the best practice for * retrodigitized mathematics (from images via OCR to MathML and/or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML and/or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM model])? Topics: (include, but are not limited to) o search, indexing and retrieval of mathematical documents o ranking of mathematical papers, similarity of mathematical documents o math OCR with MathML/TeX output o document conversions from/to MathML, OpenMath, LaTeX, PostScript and [tagged] PDF o conversions between various mathematical formalisms o mathematical document compression o processing of scanned images o algorithms for crosslinking of bibliographical items, intext citations search o mathematical document classification, MSC 2010 o mathematical text mining o mathematical documents metadata exchange via OAI-PMH and/or OAI-ORE o long term archiving, data migration o reports and experience from math digitization projects o math publishing with long term archival goal o software engineering aspects of creating, handling MathML, OMDoc, OpenMath documents, and displaying them in web browsers Programme Committee: Jose Borbinha (Technical University of Lisbon, IST, PT) Thierry Bouche (University Grenoble, Cellule Mathdoc, FR) Thomas Fischer (Goettingen University, Digitization Center, DE) Vaclav Hlavac (Czech Technical University, Faculty of Engineering, Prague, CZ) Janka Chlebikova (Comenius University, MFF, Bratislava, SK) Enrique Macias-Virgos (University of Santiago de Compostella, ES) Jiri Rakosnik (Academy of Sciences, Mathematical Institute, Prague, CZ) Eugenio Rocha (University of Aveiro, Dept. of Mathematics, PT) David Ruddy (Cornell University, Library, US) Petr Sojka (Masaryk University, Faculty of Informatics, Brno, CZ) [chair] Volker Sorge (University of Birmingham, UK) Masakazu Suzuki (Kyushu University, Faculty of Mathematics, JP) Bernd Wegner (Technical University & Zentralblatt MATH, Berlin, DE) Organizing Committee: Adam Rambousek, Michal Ruzicka, Petr Sojka, Volker Sorge Questions/inquiries: mail to dml2008 at easychair dot org CFP distribution: Please, distribute at your place. And apologies for multiple postings! |