Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Read More...

AISB Convention 2014

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
01234

Notice

AISB event Bulletin Item

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

http://www.fi.muni.cz/~sojka/dml-2008.xhtml

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!