Call for Participati...

The AISB Convention is an annual conference organised by the ( The 2017 Convention will be held at the University of Bath, UK, with t...


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


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

CALL FOR PAPERS: Formal Structures for Computation and Deduction, 3-6 Sep 2017, Oxford, UK


All deadlines are midnight anywhere-on-earth (AoE) and are firm; late submissions will not be 

Abstract Deadline:          7 April 2017
Submission Deadline:   14 April 2017
Rebuttal:                 29--31 May 2017
Notification:                 14 June  2017
Camera-Ready:              7 July  2017

Suggested, but not exclusive, list of topics for submission are:

1. Calculi: Lambda calculus * Concurrent calculi * Logics * Rewriting
   systems * Proof theory * Type theory and logical frameworks

2. Methods in Computation and Deduction: Type systems * Induction and
   coinduction * Matching, unification, completion, and orderings *
   Strategies * Tree automata * Model checking * Proof search and
   theorem proving * Constraint solving and decision procedures

3. Semantics: Operational semantics * Abstract machines * Game
   Semantics * Domain theory and categorical models * Quantitative

4. Algorithmic Analysis and Transformations of Formal Systems: Type
   Inference and type checking * Abstract Interpretation * Complexity
   analysis and implicit computational complexity * Checking
   termination, confluence, derivational complexity and related
   properties * Symbolic computation

5. Tools and Applications: Programming and proof environments *
   Verification tools * Libraries for proof assistants and interactive
   theorem provers * Case studies in proof assistants and interactive
   theorem provers * Certification

PUBLICATION The proceedings will be published as an electronic volume in the Leibniz International 
Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access.

SUBMISSION GUIDELINES Submissions can be made in two categories.
Regular research papers are limited to 15 pages and must present original research which is 
unpublished and not submitted elsewhere. System descriptions are limited to 10 pages and must 
describe a working system which has not been published or submitted elsewhere.  Submissions 
must be formatted using the LIPIcs style files and submitted via EasyChair.  Complete instructions 
on submitting a paper can be found on the conference web site.

SPECIAL ISSUES Full versions of several accepted papers, to be selected by the program committee, 
will be invited for submission to a special issue of Logical Methods in Computer Science.

BEST PAPER AWARD BY JUNIOR RESEARCHERS The program committee will consider declaring this award 
to a paper in which all authors are junior researchers: a junior researcher is a person who is 
either a student or whose PhD award date is less than three years from the first day of the 

  Dale Miller, Inria Saclay & LIX >

  Andreas Abel, Gothenburg Univ.
  Elvira Albert, Complutense Madrid
  Maria Alpuente, TU Valencia
  Takahito Aoto, Niigata Univ.
  Zena Ariola, Univ. Oregon
  Federico Aschieri, TU Wien
  Stefano Berardi, Univ.  Turin
  Lars Birkedal, Aarhus Univ.
  Filippo Bonchi, CNRS, ENS Lyon
  Pierre Clairambault, CNRS, ENS Lyon
  Ugo Dal Lago, Univ. Bologna
  Herman Geuvers, Radboud Univ.
  Silvia Ghilezan, Univ.  Novi Sad
  Juergen Giesl, RWTH Aachen
  Hugo Herbelin, Inria Paris
  Jan Hoffmann, Carnegie Mellon
  Deepak Kapur, Univ.  New Mexico
  Paul Blain Levy, Univ.  Birmingham
  Paulo Oliva, QMUL, London
  Vincent van Oostrom, Univ. Innsbruck
  Daniela Petrisan, LIAFA, Paris
  Femke van Raamsdonk, VU Univ. Amsterdam
  Grigore Rosu, Univ. Illinois
  Albert Rubio, UPC-BarcelonaTech
  Paula Severi, Univ.  Leicester
  Bas Spitters, Aarhus Univ.
  Aaron Stump, Univ. Iowa
  Kazushige Terui, Kyoto Univ.
  Rene Thiemann, Univ.  Innsbruck
  Sophie Tison, Lille Univ.

  Sam Staton, Univ. of Oxford

  Jamie Vicary, Univ. of Oxford

  Sandra Alves, Univ. of Porto

FSCD STEERING COMMITTEE T. Altenkirch (Univ. Nottingham), S. Alves (Univ. Porto), G. Dowek, 
(Inria), S. Escobar (Univ. Politecnica de Valencia), M. Fernandez (King's College London), H. 
Herbelin (Inria), D. Kesner (Univ. Paris), N. Kobayashi (Univ. Tokyo), L. Ong (Chair, Univ. 
Oxford), B. Pientka (McGill Univ.), R. Thiemann (Univ. Innsbruck).