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: Computability in Europe, 23-27 June 2014, Budapest, HUNGARY

CiE 2014


 Submission Deadline for LNCS:                   10 January 2014
 Notification of authors:                         3 March 2014
 Deadline for final revisions:                   31 March 2014

 CiE 2014 is the tenth conference organized by CiE (Computability in
 Europe), a European association of mathematicians, logicians, computer
 scientists, philosophers, physicists and others interested in  new
 developments in computability and their underlying significance for the
 real world. Previous meetings have taken place in Amsterdam (2005),
 Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
 Dalgada (2010), Sofia (2011), Cambridge (2012), and Milan (2013).

 The motto of CiE 2014 "Language, Life, Limits" intends to put a special
 focus on  relations  between computational linguistics, natural and
 biological computing, and more traditional fields of computability theory.

 This is to be understood in its broadest sense including computational
 aspects of problems in linguistics, studying models of computation and
 algorithms inspired by physical and biological approaches as well as
 exhibiting limits (and non-limits) of computability when considering
 different models of computation arising from such approaches.

 As with previous CiE conferences the allover glueing perspective is to
 strengthen the mutual benefits of analyzing traditional and new
 computational paradigms in their corresponding frameworks both with
 respect to practical applications and a deeper theoretical understanding.


 Wolfgang Thomas (RWTH Aachen)
 Peter Gruenwald  (CWI, Amsterdam)


 Lev Beklemishev           (Steklov Mathematical Institute, Moscow)
 Alessandra Carbone        (Universite Pierre et Marie Curie and CNRS Paris)
 Maribel Fernandez         (King's College London)
 Przemyslaw Prusinkiewicz  (University of Calgary)
 Eva Tardos                (Cornell University)
 Albert Visser             (Utrecht University)


 History and Philosophy of Computing   (organizers: Liesbeth de Mol,
 Giuseppe Primiero)
 Computational Linguistics             (organizers: Maria Dolores
 Jimenez-Lopez, Gabor Proszeky)
 Computability Theory                  (organizers: Karen Lange, Barbara
 Bio-inspired Computation              (organizers: Marian Gheorghe,
 Florin Manea)
 Online Algorithms                     (organizers: Joan Boyar, Csan??d Imreh)
 Complexity in Automata Theory         (organizers: Markus Lohrey,
 Giovanni Pighizzini)

 CiE 2014 conference topics include, but not exclusively:

         * Admissible sets
         * Algebraic models of computation
         * Algorithms
         * Analog computation
         * Artificial intelligence
         * Automata theory
         * Bioinformatics and Bio-inspired computation
         * Bounded arithmetic
         * Classical computability and degree structures
         * Cognitive science and modelling
         * Complexity classes
         * Computability theoretic aspects of programs
         * Computable analysis and real computation
         * Computable structures and models
         * Computational and proof complexity
         * Computational biology
         * Computational creativity
         * Computational learning and complexity
         * Computational linguistics
         * Concurrency and distributed computation
         * Constructive mathematics
         * Cryptographic complexity
         * Decidability of theories
         * Derandomization
         * DNA computing
         * Domain theory and computability
         * Dynamical systems and computational models
         * Effective descriptive set theory
         * Emerging and non-standard models of computation
         * Finite model theory
         * Formal aspects of program analysis
         * Formal methods
         * Foundations of computer science
         * Games
         * Generalized recursion theory
         * History of computation
         * Hybrid systems
         * Higher type computability
         * Hypercomputational models
         * Infinite time Turing machines
         * Kolmogorov complexity
         * Lambda and combinatory calculi
         * L-systems and membrane computation
         * Machine learning
         * Mathematical models of emergence
         * Membrane computing
         * Molecular computation
         * Morphogenesis and developmental biology
         * Multi-agent systems
         * Natural computation
         * Neural nets and connectionist models
         * Philosophy of science and computation
         * Physics and computability
         * Probabilistic systems
         * Process algebras and concurrent systems
         * Programming language semantics
         * Proof mining and applications
         * Proof theory and computability
         * Proof complexity
         * Quantum computing and complexity
         * Randomness
         * Reducibilities and relative computation
         * Relativistic computation
         * Reverse mathematics
         * Semantics and logic of computation
         * Swarm intelligence and self-organisation
         * Type systems and type theory
         * Uncertain reasoning
         * Weak systems of arithmetic and applications

 We particularly welcome submissions in emergent areas, such as
 bioinformatics and natural computation, where they have a basic
 connection with computability.

 Contributed papers will be selected from submissions received by the
 PROGRAM COMMITTEE consisting of:

 * Gerard Alberts (Amsterdam)          * Sandra Alves (Porto)
 * Hajnal Andreka (Budapest)           * Luis Antunes (Porto)
 * Arnold Beckmann (Swansea)           * Laurent Bienvenu (Paris)
 * Paola Bonizzoni (Milan)             * Olivier Bournez (Palaiseau)
 * Vasco Brattka (Munich)              * Bruno Codenotti (Pisa)
 * Barry Cooper (Leeds)                * Erzsebet Csuhaj-Varju (Budapest, co-chair)
 * Michael J. Dinneen (Auckland)       * Erich Gr??del (Aachen)
 * Marie Hicks (Chicago IL)            * Natasha Jonoska (Tampa FL)
 * Jarkko Kari (Turku)                 * Elham Kashefi (Edinburgh)
 * Viv Kendon (Leeds)                  * Satoshi Kobayashi (Tokyo)
 * Andras Kornai (Budapest)            * Marcus Kracht (Bielefeld)
 * Benedikt Loewe (Amsterdam & Hamburg)* Klaus Meer (Cottbus, co-chair)
 * Joseph R. Mileti (Grinnell IA)      * Georg Moser (Innsbruck)
 * Benedek Nagy (Debrecen)             * Sara Negri (Helsinki)
 * Thomas Schwentick (Dortmund)        * Neil Thapen (Prague)
 * Peter van Emde Boas (Amsterdam)     * Xizhong Zheng (Glenside PA)

 The PROGRAMME COMMITTEE cordially invites all researchers (European and
 non-European) in computability related areas to submit their papers (in
 PDF format, max 10 pages using the LNCS style) for presentation at CiE 2014.

 The submission site
 is open.

 For submission instructions consult

 We particularly invite papers that build bridges between different parts
 of the research community.

 The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.

 Contact: Erzsebet Csuhaj-Varju       - csuhaj[at]

   CiE Conference Series               
   CiE 2014: Language, Life, Limits    
   CiE Membership Application Form
   AssociationCiE on Twitter    
   ALAN TURING YEAR                 
   AlanTuringYears on Twitter