CFProposal AISB2018

  The Society for the Study of Artificial Intelligence and Simulation for Behaviour (AISB) is soliciting proposals for symposia to be held at the AISB 2018 convention.The longest running convention on Artificial Intelligence, A...


Insurance AI Analy...

Insurance AI Analytics Summit, October 9-10, London Join us for Europe’s only AI event dedicated to insurance where 300 attendees will unite from analytics, pricing, marketing, claims and underwriting. You’ll find out how advan...


AISB 2018 Convention

  The longest running convention on Artificial Intelligence, AISB 2018 will be held at the University of Liverpool, chaired by Floriana Grasso and Louise Dennis. As in the past years, AISB 2018 will provide a unique forum for p...


AI Summit London

     The AI Summit London: The World’s Number One AI Event for Business  Date: 9-10 May 2017 Venue: Business Design Centre, London. The AI Summit is the world’s first and largest/number one conference exhibition dedicated to t...


AISB Wired Health

    AISB and WIRED events have partnered to bring together inspirational high-profile speakers. Join hundreds of healthcare, pharmaceutical and technology influencers and leaders at the 4th Annual WIRED Health event, taking pl...


Hugh Gene Loebner

  The AISB were sad to learn last week of the passing of philanthropist and inventor Hugh Gene Loebner PhD, who died peacefully in his home in New York at the age of 74.  Hugh was founder and sponsor of The Loebner Prize, an an...


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



AISB event Bulletin Item

CF Short Papers: Logic, Rationality and Intelligent Interaction ESSLLI 2010 Workshop


                            ESSLLI 2010 WORKSHOP

                     Copenhagen, August 15 - 20, 2010


About the Workshop

In recent years there has been a good deal of interest in
developing two perspectives in tandem: logics that analyze
agent interaction, and introducing interactive viewpoints into
logic itself. While this has generated much new research,
many broad questions remain.

This workshop will systematically cover a number of major
issues that arise here, in the form of 5 meetings on different
interfaces. The format for each will be the same:

- relevant material will be posted beforehand on this website;
- a short introduction to the theme by one of the organizers;
- a brief issue-oriented invited lecture by a prominent colleague
  of the 'interface', either alone, or in pairs where suitable; and
- discussion including the audience, geared toward clarification
  and identifying further research questions.

We solicit short pieces (5 pages) about at least one of the
themes described below. The accepted pieces will be
made available on the website before the conference,
and we will select a number of them for a short presentation
(10 minutes) during the workshop.

The workshop will take place during the second week of
ESSLLI 2010 in Copenhagen.

Workshop Format

The workshop will focus on 5 different themes:

Day 1: Interactive Agency: the dynamic turn in logic
  What does it mean for logic itself to take this new stance? Where
  do we stand today? Which paradigms are available, in addition
  to dynamic epistemic logic and its ilk?

Day 2: Modeling agency: a view from computer science
  A discussion of new contacts and new methods. For example,
  modeling fine-structure of agents via automata theory, and
  related computational and game techniques.   What do these new
  techniques contribute to the broader issues surrounding the
  logical modeling of rational agents?

Day 3: Interactive agency: a view from philosophy
  There is growing interest in using mathematical methods to
  study classic questions in epistemology (eg., formal
  epistemology).  What can logic contribute, and in doing so,
  can it regain some of its former importance in philosophy?

Day 4: Strategic interaction: a view from game theory
Given some striking differences in perspective, what are the
significant cooperations that can be expected between logic
(as understood here) and game theory?

Day 5: Strategic interaction: a view from cognitive science
The move toward agency has a more 'empirical' ring, even
though the logics that have been produced so far are as
normative as their more classical counterparts. What significant
new issues can be profitably explored at the interface of logic
and cognitive reality?

The workshop will consist of talks by the organizers and
invited speakers (one expert for each day), supported by
material on the workshop webpage. There will also be a
discussion part including contributed short research statements:

20 minutes, introduction to subject by the organizers
40 minutes, invited talk
20 minutes, 1-2 short research statements
10 minutes, general discussion

We solicit short pieces (5 pages) about at least one of the
themes described above. The accepted pieces will be
made available on the website before the conference,
and we will select a number of them for a short presentation
(10 minutes) during the workshop.

Please email submissions to by
April 1, 2010.

Invited Speakers


Workshop Organizers

Johan van Benthem
Institute for Logic, Language and Computation
University of Amsterdam
Department of Philosophy
Stanford University
email: johan.vanbenthem at

Eric Pacuit
Department of Philosophy
Center for Logic and Philosophy of Science
Tilburg University
email: e.j.pacuit at

Programme Committee

The program committee will consist of the organizers and the
invited speakers.

Important Dates

Paper submission:  April 1, 2010
Author notification:  May 1, 2010
Final paper due:     June 1, 2010
Workshop dates:    August 16 - 20, 2010