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

Notice

AISB event Bulletin Item

CFP: IWIL 2010: Implementation of Logics - extended deadline

http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html

IWIL 2010 - The 8th International Workshop on the Implementation of Logics

                  The 17th International Conference on
        Logic for Programming, Artificial Intelligence and Reasoning
             Yogyakarta, Indonesia  -  October 10th-15th, 2010
   ==========================================================================
            http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html

                         ----------------------------
                         EXTENDED SUBMISSION DEADLINE
                         ----------------------------

IWIL has been unusually sucessful in bringing together many talented
developers, and thus in sharing information about successful implementation
techniques for automated reasoning systems and similar programs.  We are
looking for contributions describing implementation techniques for and
implementations of automated reasoning programs, theorem provers for various
logics, logic programming systems, and related technologies.

Researchers interested in participating are invited to submit a position
statement (2 pages), a short paper (up to 5 pages), or a full paper (up to
15 pages), in EasyChair format. Submission is via EasyChair ...
    http://www.easychair.org/conferences/?conf=iwil2010

Submission deadline:  6 September 2010
Notification:        17 September 2010
Workshop:             10 October   2010