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: PhDs in Logic IV, 12-13 April 2012, Gent, BELGIUM

PhDs in Logic IV is a graduate conference organized by and for PhD-students. 
This edition is the fourth one of an annual Belgian?Dutch happening; earlier 
editions took place in Ghent (2009), Tilburg (2010), and Brussels (2011).
As all previous PhDs in Logic conferences, this two-day graduate conference 
follows this threefold plan:
* Four established tutorial speakers will each give two one-hour tutorial 
sessions on a relevant topic in logic.
* Ten to twenty PhD students are given the opportunity to do a presentation on 
their own work.
* Networking will be encouraged by providing for generous breaks and by having 
lunch with the entire group.

The invited tutorial speakers for this year's edition are Valentin Goranko 
(Technical University of Denmark), Alessandra Palmigiano (University of 
Amsterdam), Heinrich Wansing (Ruhr University Bochum), and Andreas Weiermann 
(Ghent University). We can already provide the topics of two tuturials:

Valentin Goranko - Temporal Logics for Reasoning about Computations in 
Transition Systems
Alessandra Palmigiano - Algebraic Modal Correspondence

Titles and abstracts for all tutorials will soon be announced through the 

PhD students interested in doing a talk should send a 500-1000 word abstract to by January 15th, 2012. We welcome PhD students in logic 
with a background in philosophy, computer science or mathematics. Exceptions 
can be made for master students and first-year postdocs.

For more information, visit our website at

Submission deadline January, 15, 2012
Notification February, 13, 2012
Conference April, 12-13, 2012

Organizing Committee
Mathieu Beirlaen
Tjerk Gauderis
Bruno Leclercq

Scientific Committee
Diderik Batens
Leon Horsten
Benedikt Lwe
Joke Meheus
Jean Paul Van Bendegem

Doctoral School Arts and Humanities, University Ghent, Belgium

Centre National de Recherches de Logique - Nationaal Centrum voor Navorsingen 
in de Logica (CNRL-NCNL), Belgium