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

2nd CALL FOR PAPERS: 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, DENMARK

After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first 
major initiative of the newly revived Scandinavian Logic Society (SLS,
and will be held at Roskilde University (RUC), Denmark.

As with previous editions of this conference, the aim of the programme is to reflect current 
activity in logic in our part of the world. So we hope that participants from Scandinavia, the 
Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to 
meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to 
logicians from further afield and plan to present a varied and interesting collection of invited 
and contributed talks.


The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical 
logic, and logical methods in computer science. Suitable topics include (but are not limited to):

  *   Proof Theory and Constructivism
  *   Model Theory (including Finite Model Theory)
  *   Set Theory
  *   Computability Theory
  *   Categorical Logic
  *   Logic and Provability
  *   Logic and Computer Science
  *   Logic and Linguistics
  *   Modal, Hybrid, Temporal, and Description Logic
  *   Logics of Games, Dynamics and Interaction
  *   Philosophy of Mathematics
  *   Philosophy of Computation
  *   Philosophy of Logic
  *   Philosophical Logic


7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 
1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyvskyl 
in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo 
in 1971 1st Scandinavian Logic Symposium: bo in 1968 The proceedings of several of these meetings 
have been published in book form.


The Program Committee is delighted to announce the names of the four invited speakers:

  *   Nikolaj Bjorner
  *   Rosalie Iemhoff (sponsored by The Danish Network for the 
History and Philosophy of Mathematics)
  *   Per Martin-Lf
  *   Boban Velickovic

On August 22nd,  the day after the symposium finishes, a number of tutorials for PhD-students (or 
anyone else who is interested) will be given. These are intended to start from a relatively 
elementary level and lead on to current research problems.
The following tutorial lectures have been confirmed so far:

  *   Lars Kristiansen - "Honest subrecursive degree theory"
  *   Sara Negri   - "Labelled proof systems for modal logic"
  *   M. H. Srensen - "Curry-Howard Isomorphism"

Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, 
Denmark. URL:


Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)

Torben Brauner (Roskilde)
Peter Dybjer (Chalmers)
Lars Kristiansen (Oslo)
ystein Linnebo (Birkbeck)
Sara Negri (Helsinki)
Dag Normann (Oslo)
Asger Trnquist, (Vienna)
Jouko Vnnen (Helsinki)


Patrick Blackburn (RUC), Klaus Frovin Jrgensen (RUC), Stig Andur Petersen (RUC)


Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system
The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.


Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central 
Copenhagen, and five minutes by train from Roskilde.


Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is 
an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees 
will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel 
accommodation can also be found in Roskilde, though there the options are more limited.


The conference website will be found at:
Details concerning registration will be posted there in due course.