Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


Rose wins the Loebne...

After 2 hours of judging at Bletchley Park, 'Rose' by Bruce Wilcox was declared the winner of the Loebner Prize 2014, held in conjunction with the AISB.  The event was well attended, film live by Sky News and the special guest jud...


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


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


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: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

CFP: ISCL 2011: 3rd international ALP/GULP Spring School on Computational Logic

Bertinoro, Italy, April 10-15, 2011
co-located with DALT School 2011



Computational Logic has many applications, including the modeling of intelligent systems, verification of software, and the support of systems for solving computationally hard problems. Moreover, being founded on mathematical logic, tools based on CL are themselves amenable to safe optimization and verification techniques.

ISCL 2011 aims at giving a comprehensive introduction to this exciting research domain and disseminate the results of research with a perspective on the future. The school will provide a rich programme of lectures on different aspects of CL, covering both the theoretical framework and relevant practical perspectives, techniques and tools. Each lecture will provide the basic notions of its topic before proceeding to more advanced issues. The school will include sessions dedicated to PhD students, mentoring activities, focussed discussions and guided brainstorming. Final exams in the topics studied will be available to participants on request.


- Constraint Languages for Parameterized Verification: Bags, Words, Trees, and Graphs, by Giorgio Delzanno.
Giorgio Delzanno is Associate Professor the University of Genoa. He has given many important contributions in automated verification, model checking, infinite-state systems, models for concurrent and biological systems. He has been the recipient of several research grants and international awards.

- Description Logics, by Enrico Franconi.
Enrico Franconi is the Director of the European Masters Program in Computational Logic at the Free University of Bozen-Bolzano, and Principal Investigator in many EU-funded actions, networks of excellence and large-scale projects on topics related to the semantic web, networked knowledge, business processes and integration of ontological and rule-based reasoning.

- Computational Logic and Human Thinking: How to be Artificially Intelligent, by Robert Kowalski.
Robert Kowalski is Professor Emeritus at Imperial College London, and one of the first developers of logic programming. He made important contributions to various areas such as automated reasoning, representing and reasoning about time, abductive logic programming and intelligent agents. His current research focuses on the application of computational logic to cognitive science.

- Unity in Computational Logic, by Dale Miller.
Dale Miller is the Director of Research at INRIA Saclay and leader of the Parsifal team working on foundational aspects of proof theory as well as on the design and implementation of systems that exploit that foundational work. His main interests are in programming language theory, proof theory, linear logic, and automated deduction.

- Constraint Programming and Optimization Systems, by Pascal Van Hentenryck.
Pascal Van Hentenryck is Professor of computer science at Brown University, and the Director of the optimization laboratory. He was the main designer and implementor of the CHIP programming system. He leads many research projects funded by public and private institutions, in which his research is applied to a large number of domains.


The School targets graduate students as well as other interested researchers, both from university and industry. It will allow graduate students to get a thorough overview of cutting-edge research and technologies, obtain feedback from leading scientists, and to participate in valuable discussions that will likely contribute in shaping and focussing their research interests.

The school aims to be truly international with a strong participation from regions all around the world. This will help students make connections with international participants and set the base for potentially long-term cooperations.


Thanks to sponsor support, ISCL 2011 will help participation of students at all levels.
The next scholarship application is December 15, 2010.
Please consult the School Web site to know how to apply.


Send your inquires to . We will answer you in 2 business days.