Mark Bishop on CITY ...
"During the last decade robots have begun to permeate everyday life (robotic lawn mowers; floor cleaners, autonomous cars etc); equally, closely related technologies are beginning to permeate the military– already US naval sh...
Read More...
ICO Alan Turing Lect...
 To celebrate the 100 year anniversary of the birth of the world renowned mathematician, code breaker, logician and computer scientist, the first ICO Alan Turing Lecture was held at the Museum of Science and Industry in Manchest...
Read More...
AISB Workshop: Senso...
Poster: http://aisb.org.uk/media/files/stw2012.pdf (media/files/stw2012.pdf) A day of discussion on the Sensorimotor account of Perception, Consciousness  and Robotics, its development and contemporary state. The first in a seri...
Read More...
Ms Pac-Man vs Ghosts...
This year's Ms Pac-man vs Ghosts Competition is now open for submissions. The competition allows you to develop AI controllers for the classical arcade game Ms Pac-Man. However, this year the competition takes a unique look at the...
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...
New AISB Website
Happy New Year! Welcome to the new AISB website. Over the coming weeks and months we will be making additional changes to the website, introducing some new content and so on. Please check back regularly to see what's new! During...
Read More...
AISB Website Beta
The AISB's new website is now gone beta. Some of the new features member's can look forward to enjoying will be better integration with the AISB LinkedIn group, frequent news updates, a new member's section and up-to-date AI med...
Read More...
AISB 2011 Convention
The AISB'11 Convention (http://www.aisb.org.uk/convention/aisb11/) was held from 4-7 April at York, organised by Dimitar Kazakov and George Tsoulas.
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...
Alan Turing Year
2012 marks the centenary of Alan Turing's birth. Alan Turing Year (http://www.turingcentenary.eu/), seeks to bring together news of all the events and organisations which will be marking the occasion.
Read More...
Notice
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" (http://www.numbersandtruth.org/) 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 significance. * 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 research. 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 mathematicians. 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 organizers@numbersandtruth.org . 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 Contact: organizers@numbersandtruth.org *Conference Website: http://www.numbersandtruth.org/ *Organizers: Fredrik Engstrom (Gothenburg), Cezary Cieslinski (Warsaw), and Paula Quinon (Lund) *Sponsors: Riksbankens Jubileumsfond, Marcus Wallenbergs Stiftelse för Internationellt Vetenskapligt Samarbete, Wenner-Gren Foundations, and the Department of Philosophy, Linguistics and Theory of Science, University of Gothenburg. |



