CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


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


AISB convention 2017

  In the run up to AISB2017 convention (, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid...


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


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



AISB event Bulletin Item

CALL FOR PAPERS: "Numbers and Truth", 19-21 Oct 2012, Gothenburg, SWEDEN

Conference "Numbers and truth - the philosophy and mathematics of arithmetic and truth" A Marcus Wallenberg Symposium

The conference "Numbers and truth - the philosophy and mathematics of arithmetic and truth" 
( will be held at the University of Gothenburg, Sweden, on 
October 19-21, 2012. Its main objective is to permit an exchange of ideas between truth theorists, 
philosophers and mathematicians interested in the foundations of mathematics. It will give the 
researchers an opportunity both to present technical results and to diagnose their philosophical 

* Conference Description

Natural numbers belong to the most commonly known mathematical entities and are studied and 
discussed from various angles. Philosophers, mathematicians, cognitive scientists, computer 
scientists among others conduct research having for its aim a deeper understanding of these 
objects. The present conference Numbers and truth will contribute to these efforts and bring 
together researchers and traditions from all these areas to construct common ground for new 

Within recent philosophy of mathematics a couple of competitive philosophical schools came to 
the foreground; importantly, structuralism and neo-Fregeanism. Both of them espouse realism 
about mathematical objects: these objects exist independently of our minds. In addition, both 
espouse realism about truth: arithmetical sentences have objective truth values. In this context 
a natural question arises whether theories of arithmetical truth provide us a better understanding 
of what is true of natural numbers, and in consequence, of what natural numbers are. What is the 
relation between a choice of a particular conception of arithmetical truth and one's overall 
standpoint in the philosophy of mathematics, or maybe even one's preferred way of doing mathematics?
On a general level, the aim of the conference is to address issues of this sort. This will be 
achieved by bringing together both the acknowledged experts and outstanding younger researchers, 
in order to facilitate discussion between philosophers of mathematics, truth theorists and 

The conference will contain 10 invited and 4 contributed talks.

The invited speakers who have confirmed their participation are (in alphabetic order):

* Martin Fischer (Munich)
* Volker Halbach (Oxford)
* Leon Horsten (Bristol)
* Richard Kaye (Birmingham)
* Juliette Kennedy (Helsinki)
* Roman Kossak (New York)
* Rafal Urbaniak (Gdansk/Ghent)
* Albert Visser (Utrecht)
* Sean Walsh (Irvine)
* Konrad Zdanowski (Warsaw)

* Submissions Details

We invite submissions presenting novel contributions to the area of philosophy of mathematics, 
arithmetic together with its meta-mathematics and model theory, and formal theory of truth. Both 
philosophical and technical submissions are welcome; especially ones contributing to the discussion
of how truth in mathematics should be properly explained.

Extended abstracts of 3-4 pages should be emailed as attached pdf files to the address . Abstracts for submission should be prepared for double-blind 
reviewing, please remove names and affiliations, and any other identifying material. Contact 
details should be given separately. Presentations should not exceed 45 minutes, including 
discussion time. The deadline for submitting extended abstracts is August 8, 2012.

The organizers will cover the cost of accommodation and dinners for all contributed speakers. 
We are negotiating with the sponsors with the intention to be able to pay for traveling as well.

*Important Dates:

Submission deadline: August 8, 2012
Notification of acceptance: August 31, 2012
Conference: October 19-21, 2012

*Conference Website:

*Organizers: Fredrik Engstrom (Gothenburg), Cezary Cieslinski (Warsaw), and Paula Quinon (Lund)

*Sponsors: Riksbankens Jubileumsfond, Marcus Wallenbergs Stiftelse fr 
Internationellt Vetenskapligt Samarbete, Wenner-Gren Foundations, and the 
Department of Philosophy, Linguistics and Theory of Science, University of