AISB Convention 2015

The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Convention will be held at the Uni...


Read More...

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

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 PAPERS: Trends in Logic XIV, 8-11 Jul 2014, Gent, BELGIUM


Theme

 Logicians have devoted considerable effort to applying formal methods to 
what are now considered core disciplines of analytic philosophy: 
philosophy of mathematics, philosophy of language and metaphysics. 
Researchers in these fields have been accused of sharpening their knives 
without actually cutting anything of interest to those outside of 
philosophy. The focus of formal methods is changing and our intent for 
this conference is to further counter the impression of idleness with 
respect to philosophy at large. The focus of the workshop is to be on 
those applications of formal methods in philosophy which might be of 
interest to people working on philosophical questions of more direct 
relevance to human life.

 We plan three sessions with the following invited speakers:

 Session 1 Applications of formal methods in philosophy
 Diderik Batens, Centre for Logic and Philosophy of Science, Ghent University (Belgium)
 Krister Segerberg, Uppsala University (Sweden)
 Katie Steele, London School of Economics and Political Science (UK)

 Session 2 Applications of formal methods in social philosophy
 Gabriella Pigozzi, Universite Paris-Dauphine (France)
 Martin van Hees, University of Amsterdam (Netherlands)
 John F. Horty, University of Maryland (USA)

 Session 3 Applications of Bayesian methods in philosophy
 Luc Bovens, London School of Economics and Political Science (UK)
 Lara Buchak, University of California, Berkeley (USA)
 Richard Pettigrew, Bristol University, (UK)

 Format

 Authors of contributed papers are asked to submit extended abstracts and 
full papers, prepared for blind-review by January 6, 2014. Extended 
abstracts should be no more than 2000 words. Authors of accepted papers 
will have 30-60 minutes to present their work, depending on the length of 
their papers. Each paper will be followed by two commentaries from other 
participants. Accepted participants might be asked to comment on at least 
one talk. 5-10 minute commentaries will be followed by 10-15 minutes of 
discussion. All accepted papers will be made available to the participants 
ahead of the conference.


 More details


http://entiaetnomina.blogspot.be/p/trends-in-logic-xiv.html

https://docs.google.com/file/d/0B2KkZCQhKIFmM3VmeFoyV29BVmM/edit?usp=sharing

 trendsinlogic2014@gmail.com