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


LATA 2012, A Corua, Spain


Monday, March 5:

15:00 - 16:00  Registration

16:00 - 16:10  Opening

16:10 - 17:10

Bernard Boigelot: Automata-based Symbolic Representations of Polyhedra - Invited Talk

17:10 - 17:40  Coffee Break

17:40 - 18:30

Eric Rowland and Jeffrey Shallit: k-Automatic Sets of Rational Numbers

Daniela Genova: Forbidding Sets and Normal Forms for Language Forbidding-Enforcing Systems

Tuesday, March 6:

8:30 - 10:00

Gilles Dowek: Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and 
the Principles of Quantum Theory (I) - Invited Tutorial

10:00 - 10:15  Break

10:15 - 11:55

Oscar H. Ibarra and Nicholas Q. Tran: Weak Synchronization and Synchronizability of Multitape 
Pushdown Automata and Turing Machines

Tang Van Nguyen and Hitoshi Ohsaki: On Model Checking for Visibly Pushdown Automata

Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari Stenman: The Minimal Cost Reachability Problem 
in Priced Timed Pushdown Systems

Alexander Krassovitskiy and Peter Leupold: Computing by Observing Insertion

11:55 - 12:25  Coffee Break

12:25 - 14:05

Alexei Miasnikov and Zoran unić: Cayley Graph Automatic Groups are not necessarily Cayley Graph 

Julien Cervelle: Covering Space in the Besicovitch Topology

Adam Woryna: Automaton Ranks of some Self-similar Groups

Danny Dub, Mario Latendresse, and Pascal Tesson: Conservative Groupoids Recognize only Regular 

14:05 - 16:00  Lunch

16:00 - 17:40

Max Rabkin: Ogden's Lemma for ET0L Languages

Daniel Reidenbach and Markus L. Schmid: Patterns with Bounded Treewidth

Mikhail Barash and Alexander Okhotin: defining Contexts in Context-free Grammars

Laura Bozzelli: Strong Termination for Gap-order Constraint Abstractions of Counter Systems

17:40 - 17:50  Break

17:50 - 18:50

Eugene Asarin: Measuring Information in Timed Languages - Invited Talk

Wednesday, March 7:

8:30 - 10:00

Gilles Dowek: Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and 
the Principles of Quantum Theory (II) - Invited Tutorial

10:00 - 10:15  Break

10:15 - 11:55

Dag Hovland: The Membership Problem for Regular Expressions with Unordered Concatenation and 
Numerical Constraints

Jean-Marc Champarnaud, Hadrien Jeanne, and Ludovic Mignot: Approximate Regular Expressions and 
their Derivatives

Viliam Geffert, Bruno Guillon, and Giovanni Pighizzini: Two-way Automata Making Choices only at 
the Endmarkers

Holger Bock Axelsen: Reversible Multi-head Finite Automata Characterize Reversible Logarithmic Space

11:55 - 12:25  Coffee Break

12:25 - 14:05

Stefan Hetzl: Applying Tree Languages in Proof Theory


Siva Anantharaman, Christopher Bouchard, Paliath Narendran, and Michael Rusinowitch: Unification 
Modulo Chaining

Beate Bollig and Tobias Prger: An Efficient Implicit OBDD-based Algorithm for Maximal Matchings

Travis Gagie, Paweł  Gawrychowski, Juha Krkkinen, Yakov Nekrich, and Simon J. Puglisi: A Faster 
Grammar-based Self-index

14:05 - 16:00  Lunch

16:00 - 17:40

Tomoyuki Yamakami: One-way Reversible and Quantum Finite Automata with Advice


Gabriel Ciobanu and G. Michele Pinna: Catalytic Petri Nets are Turing Complete

Ville Salo and Ilkka Trm: On Stable and Unstable Limit Sets of Finite Families of Cellular Automata

Alberto Dennunzio, Enrico Formenti, and Julien Provillard: Computational Complexity of Rule 
Distributions of Non-uniform Cellular Automata

17:45   Visit of the city

Thursday, March 8:

8:30 - 10:00

Rod Downey: A Parameterized Complexity Tutorial (I) - Invited Tutorial

10:00 - 10:15  Break

10:15 - 11:55

Adam Roman: P-NP Threshold for Synchronizing Road Coloring

Arne Meier, Johannes Schmidt, Michael Thomas, and Heribert Vollmer: On the Parameterized 
Complexity of Default Logic and Autoepistemic Logic

Michal Foriek, Lucia Keller, and Monika Steinov: Advice Complexity of Online Coloring for Paths

Mateus de Oliveira Oliveira: Canonizable Partial Order Generators

11:55 - 12:25  Coffee Break

12:25 - 14:05

Mathilde Noual: Dynamics of Circuits and Intersecting Circuits

Norbert Hundeshagen and Friedrich Otto: Characterizing the Rational Functions by Restarting 

Ahmet Kara, Thomas Schwentick, and Tony Tan: Feasible Automata for Two-variable Logic with Successor on Data Words

Miroslav Klimo, Kim G. Larsen, Filip tefaňk, and Jeppe Thaarup: Nash Equilibria in Concurrent 
Priced Games

14:05 - 16:00  Lunch

16:00 - 17:15

Ryo Yoshinaka: Integration of the Dual Approaches in the Distributional Learning of Context-free 

Ziyuan Gao and Frank Stephan: Learnability of Co-r.e. Classes

Michael Geilke and Sandra Zilles: Polynomial-time Algorithms for Learning Typed Pattern Languages

17:15 - 17:30  Break

17:30 - 18:30

Jack H. Lutz: The Computer Science of DNA Nanotechnology - Invited Talk

Friday, March 9:

8:30 - 10:00

Rod Downey: A Parameterized Complexity Tutorial (II) - Invited Tutorial

10:00 - 10:15  Break

10:15 - 11:55

Philip Bille, Inge Li Grtz, and Jesper Kristensen: Longest Common Extensions via Fingerprinting

Vikraman Arvind and Yadu Vasudev: Isomorphism Testing of Boolean Functions Computable by 
Constant-depth Circuits

Đurica Nikolić and Fausto Spoto: Automaton-based Array Initialization Analysis

Philip Bille and Morten Stckel: Fast and Cache-oblivious Dynamic Programming with Local 

11:55   Closing