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



Trier, Germany, May 24-28, 2010


Early registration deadline: February 15, 2010 !!!

Please visit:



John Brzozowski
Complexity in Convex Languages

Alexander Clark
Three Learnable Models for the Description of Language

Lauri Karttunen
to be announced (tutorial)

Borivoj Melichar
Arbology: Trees and Pushdown Automata

Anca Muscholl
Analysis of Communicating Automata (tutorial)


Vincent Aravantinos, Ricardo Caferra, and Nicolas Peltier
Complexity of the Satisfiability Problem for a Class of Propositional Schemata

Pablo Arrighi and Jonathan Grattage
A Simple n-dimensional Intrinsically Universal Quantum Cellular Automata

Abdullah N. Arslan
A Fast Longest Common Subsequence Algorithm for Similar Strings

Francine Blanchet-Sadri, Jane Kim, Robert Mercas, William Severa, and Sean Simmons
Abelian Square-Free Partial Words

Francine Blanchet-Sadri, Robert Mercas, Sean Simmons, and Eric Weissenstein
Avoidable Binary Patterns in Partial Words

Nicolas Bousquet and Christof Loeding
Equivalence and Inclusion Problem for Strongly Unambiguous Bchi Automata

Wojciech Buszkowski and Lin Zhe
Pregroup Grammars with Letter Promotions

Jrmie Cabessa and Alessandro Villa
A Hierarchical Classification of First-Order Recurrent Neural Networks

Rafael Carrascosa, Franois Coste, Matthias Gall, and Gabriel Infante-Lpez
Choosing Word Occurrences for the Smallest Grammar Problem

Claudia Casadio
Agreement and Cliticization in Italian: a Pregroup Analysis

Jean-Marc Champarnaud, Jean-Philippe Dubernard, and Hadrien Jeanne
Geometricity of Binary Regular Languages

Christian Choffrut, Andreas Malcher, Carlo Mereghetti, and Beatrice Palano
On the Expressive Power of FO[+]

Christophe Costa Florencio and Henning Fernau
Finding Consistent Categorial Grammars of Bounded Value: a Parameterized Approach

Stefano Crespi Reghizzi and Dino Mandrioli
Operator Precedence and the Visibly Pushdown Property

Maxime Crochemore, Costas Iliopoulos, Marcin Kubica, Jakub Radoszewski, Wojciech Rytter, and Tomasz Walen
On the Maximal Number of Cubic Runs in a String

William de la Cruz de los Santos and Guillermo Morales Luna
On the Hamiltonian Operators for Adiabatic Quantum Reduction of SAT

Barbara Di Giampaolo, Salvatore La Torre, and Margherita Napoli
Parametric Metric Interval Temporal Logic

Rdiger Ehlers
Short Witnesses and Accepting Lassos in omega-automata

Travis Gagie and Pawel Gawrychowski
Grammar-Based Compression in a Streaming Model

Hermann Gruber and Stefan Gulan
Simplifying Regular Expressions. A Quantitative Perspective

Reinhard Hemmerling, Katarina Smolenova, and Winfried Kurth
A Programming Language Tailored to the Specification and Solution of Differential Equations Describing Processes on Networks

Dag Hovland
The Inclusion Problem for Regular Expressions

Sanjay Jain, Qinglong Luo, and Frank Stephan
Learnability of Automatic Classes

Charles Jordan and Thomas Zeugmann
Untestable First-Order Sentences: Four Universal and One Existential Quantifier

Makoto Kanazawa and Sylvain Salvati
The Copying Power of Well-nested Multiple Context-free Grammars

Barbara Klunder and Wojciech Rytter
Post Correspondence Problem with Partially Commutative Alphabets

Timo Ktzing and Anna Kasprzik
String Extension Learning using Lattices

Martin Kutrib and Andreas Malcher
Reversible Pushdown Automata

Alexander Letichevsky, Arsen Shoukourian, and Samvel Shoukourian
The Equivalence Problem of Deterministic Multitape Finite Automata. A New Proof of Solvability Using A Multidimensional Tape

Peter Leupold
Primitive Words Are Unavoidable for Context-Free Languages

Florin Manea and Catalin Tiseanu
Hard Counting Problems for Partial Words

Tobias Marschall and Sven Rahmann
Exact Analysis of Horspool's and Sunday's Pattern Matching Algorithms with Probabilistic Arithmetic Automata

Nimrod Milo, Tamar Pinhas, and Michal Ziv-Ukelson
SAPC - Sequence Alignment with Path Constraints

Sakthi Muthiah and Parameswaran Seshan
Incremental Building in Peptide Computing to Solve Hamiltonian Path Problem

Benedek Nagy and Friedrich Otto
CD-Systems of Stateless Deterministic R(1)-Automata Accept all Rational Trace Languages

Turlough Neary
A Boundary Between Universality and Non-universality in Extended Spiking Neural P Systems

Rafael Pealoza
Using Sums-of-products for Non-standard Reasoning

Martin Platek, Frantisek Mraz, and Marketa Lopatkova
Restarting Automata with Structured Output and Functional Generative Description

Alberto Policriti, Alexandru I. Tomescu, and Francesco Vezzi
A Randomized Numerical Aligner (rNA)

Fernando Rosa-Velardo and Giorgio Delzanno
A Language-based Comparison of Nets with Black Tokens, Pure Names and Ordered Data

Neda Saeedloei and Gopal Gupta
Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)

Sarai Sheinvald, Orna Grumberg, and Orna Kupferman
Variable Automata over Infinite Alphabets

Hellis Tamm
Some Minimality Results on BiRFSA and Biseparable Automata

Frank Weinberg and Markus Nebel
Extending Stochastic Context-Free Grammars for an Application in Bioinformatics

Ryo Yoshinaka, Yuichi Kaji, and Hiroyuki Seki
Chomsky-Schtzenberger-Type Characterization of Multiple Context-Free Languages

Hans Zantema
Complexity of Guided Insertion-Deletion in RNA-editing

Lin Zhe
Modal Nonassociative Lambek Calculus with Assumptions: Complexity and Context-freeness