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

CALL FOR PAPERS: Developments in Implicit Complexity, 31 Mar - 1 Apr 2012, ESTONIA

DICE 2012 - 3rd Workshop on Developments in Implicit Complexity Tallinn (Estonia)


The area of Implicit Computational Complexity (ICC) has grown out from several proposals to use 
logic and formal methods to provide languages for complexity-bounded computation (e.g. polytime 
or logspace computation). It aims at studying computational complexity without referring to 
external measuring conditions or a particular machine model, but only by considering language 
restrictions or logical principles implying complexity properties.

This workshop focuses on ICC methods related to programs (rather than descriptive methods). 
In this approach one relates complexity classes to restrictions on programming paradigms 
(functional programs, lambda calculi, rewriting systems), such as ramified recurrence, weak 
polymorphic types, linear logic and linear types, and interpretative measures. The two main 
objectives of this area
. to find natural implicit characterizations of various complexity
   classes of functions, thereby illuminating their nature and
. to design methods suitable for static verification of program

Therefore ICC is related on the one hand to the study of complexity classes, and on the other 
hand to static program analysis. The workshop will be open to contributions on various aspects 
of ICC including (but not exclusively):
. types for controlling complexity,
. logical systems for implicit computational complexity, . linear logic, . semantics of 
complexity-bounded computation, . rewriting and termination orderings, . interpretation-based 
methods for implicit complexity, . programming languages for complexity-bounded computation, . 
certification of complexity properties of programs, . application of implicit complexity to 
other programming paradigms
   (e.g. imperative or object-oriented languages).

The first two DICE workshops were held in 2010 in Cyprus and in 2011 in Germany, both as part of 
ETAPS conferences. Before that, several meetings on this topic had already been held with success 
in Paris (WICC 2008), and Marseille (GEOCAL 2006 workshop on Implicit computational complexity).


. Yuri Gurevich (Microsoft Research and University of Michigan) . Ulrich Schoepp (LMU Munich) _______________________________________________________________


The following deadlines are strict:

. Paper Submission (full papers): December 23rd, 2011; . 
Notification (full papers): January 20th, 2012; . 
Final Version (full papers): February 5th, 2012; . 
Submission (extended abstracts): February 18th, 2012; . 
Notification (extended abstracts): February 28th, 2012.

There will be two categories of submissions:
. Full papers, of up to 15 pages;
. Extended abstracts for short presentations (not included in the
   proceedings), of up to 3 pages.
Authors must indicate if their submission belongs to the second category (by adding 
"(Extended Abstract)" in the title). Papers must be submitted electronically, as pdf files, 
at the following
Submissions of the first category (full papers) should not have been published before or 
submitted simultaneously to another conference or journal. This restriction does not hold 
for the second category (extended abstracts). Submissions of papers authored by PC members 
are allowed and encouraged. Proceedings will be published in EPTCS.


. Guillaume Bonfante (Nancy)
. Ugo Dal Lago (Bologna, chair)
. Marco Gaboardi (Bologna and UPenn)
. Nao Hirokawa (JAIST)
. Martin Hofmann (Munchen)
. Olivier Laurent (ENS Lyon)
. Jean-Yves Moyen (Paris Nord)
. Isabel Oitavem (Lisboa)
. German Puebla (Madrid)
. Simona Ronchi Della Rocca (Torino)