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...


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...


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...


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...


Lighthill Debates

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



AISB event Bulletin Item

CALL FOR PAPERS: Formal Ontologies in Information Systems, 24-27 July 2012, Graz, AUSTRIA


FOIS 2012


Seventh International Conference on
    Formal Ontologies in Information Systems (FOIS 2012)
                                July, 24-27, 2012 in Graz, Austria

                held together with the

Third International Conference on Biomedical Ontology (ICBO 2012)


Ontology, originally a fundamental part of philosophical enquiry, is concerned with the analysis 
and categorization of what exists. In recent years, however, a complementary focus of ontological 
inquiry gained significant momentum fueled by the advent of complex information systems which rely 
on robust and coherent representations of their subject matter. The systematic study of such 
representations, their reasoning techniques and their relations to reality, are at the center of 
the modern discipline of formal ontology.

Formal ontology in this modern sense is now a research focus in such diverse domains as conceptual 
modeling, database design, software engineering, organizational modeling, artificial intelligence, 
computational linguistics, the life sciences, bioinformatics, geographic information science, 
knowledge engineering, information retrieval, and the semantic web. Researchers in all these areas 
increasingly recognize the need for serious engagement with ontology, understood as a general 
theory of the types of entities and relations making up their respective domains of enquiry, in 
providing a solid foundation for their work.

The FOIS conference is designed to provide a meeting point for researchers from all disciplines 
with an interest in formal ontology. The conference encourages submission of high quality articles 
on both theoretical issues and concrete applications. As in previous years, FOIS 2012 is intended 
as a nexus of interdisciplinary research and communication [1].

The FOIS conference series [2] began with the first meeting in Trento, Italy in June 1998 followed 
by meetings in 2001, 2004, 2006, 2008, and 2010.  The seventh FOIS conference will be held in Graz,
Austria July 24-27, 2012, in conjunction with the third International Conference on Biomedical 
Ontology (ICBO 2012) [1].

FOIS is the flagship conference of the International Association for Ontology and its Applications
(IAOA) [3], which is a non-profit organization the purpose of which is to promote interdisciplinary
research and international collaboration at the intersection of philosophical ontology, linguistics,
logic, cognitive science, and computer science, as well as in the applications of ontological 
analysis to conceptual modeling, knowledge engineering, knowledge management, information-systems 
development, library and information science, scientific research, and semantic technologies in 


We seek high-quality papers on a wide range of topics. While authors may focus on fairly narrow 
and specific issues, all papers should emphasize the relevance of the work described to formal 
ontology and to information systems. Papers that completely ignore one or the other of these 
aspects will be considered as lying outside the scope of the meeting.
Topic areas of particular interest to the conference are:

Foundational Issues

* Kinds of entity:
   particulars/universals, continuants/occurrents,
   abstracta/concreta, dependent/independent entities,
   natural objects/artifacts
* Formal relations: parthood, identity, connection, dependence,
   constitution, subsumption, instantiation
* Vagueness and granularity
* Identity and change
* Formal comparison among ontologies
* Ontology of physical reality (matter, space, time, motion, ...)
* Ontology of biological reality (genes, proteins, cells,
   organisms, ...)
* Ontology of artifacts, functions and roles
* Ontology of mental reality and agency (beliefs, intentions,
   emotions, ...)
* Ontology of social reality (institutions, organizations, norms,
   social relationships, artistic expressions, ...)
* Ontology of the information society (information, communication,
   meaning negotiation, ...)
* Ontology and Natural Language Semantics, Ontology and Cognition

Methodologies and Applications

* Top-level vs application ontologies
* Ontology integration and alignment; role of reference ontologies
* Ontology-driven information systems design
* Ontological foundations for conceptual modeling
* Ontology-based application systems
* Requirements engineering
* Knowledge engineering
* Knowledge management and organization
* Knowledge representation; Qualitative modeling
* Computational lexicons; Terminology
* Information retrieval; Question-answering
* Semantic Web; Web services; Grid computing
* Domain-specific ontologies, especially for:
   Biomedical science, E-business, Enterprise integration,
   Engineering, Geography, Law, Library science, Linguistics, ...


Steven R. Ray   (Carnegie Mellon Silicon Valley, California, USA)
Laure Vieu      (CNRS-IRIT, Toulouse, France)
Edward N. Zalta (Stanford University, California, USA)


We are calling for papers to be considered for inclusion in FOIS 2012.

Conference paper submission:      Jan 31, 2012  <--
Conference paper notification:    Mar 08, 2012
Camera-ready conference papers:   Mar 24, 2012

Workshop paper submission:     Mar 15, 2012
Workshop paper notification:   Apr 15, 2012
Camera-ready workshop papers:  Jun 30, 2012

Conference dates:    Jul 24-27, 2012


Submitted papers must not exceed 14 pages, including the bibliography and an abstract of no more 
than 300 words. Papers should be submitted electronically as PDF files prepared in accordance with 
the IOS formatting guidelines [4].

Submissions should be made via Easychair at the following address:

[5] https://www.easychair.org/account/signin.cgi?conf=fois2012

Proceedings will be published by IOS Press and will be available at the time of the conference. 
Please note that at least one author must register for the conference in order for an accepted 
paper to be published in the proceedings.


Conference chair:
    Michael Gruninger   (University of Toronto, Canada)

Program chairs:
    Maureen Donnelly    (University at Buffalo, USA)
    Giancarlo Guizzardi (Fed. Univ. of Esprito Santo, Brazil)

Local organization:
    Stefan Schulz       (Graz University, Austria)


Achille Varzi   (Columbia University, New York, USA)
Alan Rector     (University of Manchester, UK)
Albert Goldfain (University at Buffalo, USA)
Aldo Gangemi    (ISTC-CNR, Rome, Italy)
Alessandro Lenci  (University of Pisa, Italy)
Antony Galton   (University of Exeter, UK)
Barry Smith     (University at Buffalo, USA)
Bill Andersen   (Highleet, Inc., USA)
Brandon Bennett (University of Leeds, UK) Carola Eschenbach  (University of Hamburg, Germany)
Chris Menzel    (Texas A&M University, USA)
Chris Welty     (IBM Research, Hawthorne, USA)
Christiane Fellbaum  (Princeton University, USA) Claudio Masolo  (ISTC-CNR, Trento, Italy) 
Colin Batchelor (Royal Society of Chemistry, UK)
Daniel Oberle   (SAP Research, CEC Karlsruhe, Germany)
David Mark      (University at Buffalo, USA)
Decio Krause    (Fed. Univ. of Santa Catarina (UFSC), Brazil)
Fabian Neuhaus  (NIST, USA)
Florian Probst  (SAP, Germany)
Frank Loebe     (University of Leipzig, Germany)
Fred Freitas    (Fed. Univ. of Pernambuco, Recife, Brazil)
Frederico Fonseca  (Penn State University, USA)
Gerd Wagner     (Brandenburg University of Technology, Germany)
Heinrich Herre  (University of Leipzig, Germany)
Jan Dietz       (Delft University of Technology, The Netherlands)
Janna Hastings  (University of Geneva, Switzerland) Jeffrey Parsons (Memorial University of 
Newfoundland, Canada) Jerome Euzenat  (INRIA, Grenoble, France)
Jerry Hobbs     (University of Southern California, USA)
Johanna Seibt   (University of Aarhus, Denmark)
John Bateman    (University of Bremen, Germany)
John Mylopoulos (University of Toronto, Canada)
John Sowa       (Vivomind Intelligence Inc., USA)
Joost Breuker   (University of Amsterdam, The Netherlands)
Ken Kaneiwa     (National Institute of Informatics, Tokyo, Japan)
Krzysztof Janowicz,  (UCLA, USA)
Laure Vieu      (CNRS-IRIT, Toulouse, France)
Leo Obrst       (The Mitre Corporation, USA)
Leonardo Lesmo  (University of Torino, Italy) Maria Luiza Machado Campos  (Fed. Univ. of Rio de 
Janeiro, Brazil)
Mark Musen      (Stanford University, USA)
Martin Doerr    (Foundation for Research and Technology, Greece)
Mathias Brochhausen  (Univ. of Arkansas for Medical Sciences, USA)
Mathias Samwald    (Medical University of Vienna, Austria)
Matteo Cristani    (University of Verona, Italy)
Mauricio Barcelos de Almeida  (Fed. Univ. of Minas Gerais, Brazil) Michael F. Uschold (Semantic 
Arts, Canada) Michael Gruninger  (University of Toronto, Canada)
Michael Sintek     (DFKI GmbH, Kaiserslautern, Germany)
Michel Dumontier   (Carleton University, Canada)
Natasha Noy        (Stanford University, USA)
Nicola Guarino     (ISTC-CNR, Trento, Italy)
Olivier Bodenreider  (National Library of Medicine, USA)
Oscar Pastor       (Polytechnic University of Valencia, Spain)
Paul Buitelaar     (National University of Ireland, Galway)
Peter Rittgen      (University College Boras, Sweden)
Pierdaniele Giaretta  (University of Verona, Italy)
Pierre Grenon      (Open University, UK)
Ricardo Falbo      (Federal University of Esprito Santo, Brazil)
Riichiro Mizoguchi (University of Osaka, Japan)
Robert Hoehndorf   (University of Cambridge, UK)
Roberta Ferrario   (ISTC-CNR, Trento, Italy)
Roberto Casati     (CNRS-EHSS, Paris, France)
Stefano Borgo      (ISTC-CNR, Trento, Italy)
Terry Halpin       (LogicBlox, Australia)
Terry Langendoen   (University of Arizona, USA)
Thomas Bittner     (University at Buffalo, USA)
Tony Cohn          (School of Computing, University of Leeds, UK)
Ulrike Sattler     (University of Manchester, UK)
Veda Storey        (Georgia State University, USA)
Werner Ceusters    (University at Buffalo, USA)
Werner Kuhn        (University of Munster, Germany)
William McCarthy   (Michigan State University, USA)
Yair Wand          (University of British Columbia, Canada)


[1] http://purl.org/icbofois2012
  ==  http://www.kr-med.org/icbofois2012
     FOIS and ICBO 2012 website

[2] http://www.formalontology.org/
     FOIS conference series

[3] http://www.iaoa.org
     International Association for Ontology and Its Applications

[4] http://www.iospress.nl/authco/instruction_crc.html
     IOS Press formatting guidelines

[5] https://www.easychair.org/account/signin.cgi?conf=fois2012
     Submission at EasyChair