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


Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...



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.