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 PARTICIPATION: 8th International Conference on Language and Automata Theory and Applications,March 10-14, 2014, Madrid, SPAIN

LATA 2014


Monday, March 10:

9:30 - 10:30     Registration

10:30 - 10:40    Opening

10:40 - 11:30   Helmut Seidl: Interprocedural Information Flow Analysis of XML Processors - 
Invited Lecture

11:30 - 11:45    Break

11:45 - 13:00    Alberto Dennunzio, Enrico Formenti, Luca Manzoni: Extremal Combinatorics of 
Reaction Systems

Fernando Arroyo, Sandra Gmez Canaval, Victor Mitrana, Ștefan Popescu: Networks of Polarized 
Evolutionary Processors are Computationally Complete

Liang Ding, Abdul Samad, Xingran Xue, Xiuzhen Huang, Russell L. Malmberg, Liming Cai: Stochastic 
k-Tree Grammar and its Application in Biomolecular Structure Modeling

13:00 - 14:30    Lunch

14:30 - 15:45    Batrice Brard, Olivier Carton: Channel Synthesis Revisited

Daniel Průa: Weight-reducing Hennie Machines and Their Descriptional Complexity

Manfred Droste, Stefan Dck: Weighted Automata and Logics for Infinite Nested Words

15:45 - 16:00    Break

16:00 - 17:15    Friedrich Otto, Frantiek Mrz: Extended Two-Way Ordered Restarting Automata for 
Picture Languages

Sang-Ki Ko, Yo-Sub Han, Kai Salomaa: Top-Down Tree Edit-Distance of Regular Tree Languages

Bertram Felgenhauer, Ren Thiemann: Reachability Analysis with State-Compatible Automata

17:15 - 17:45    Coffee Break

17:45 - 18:35    Leslie A. Goldberg: The Complexity of Approximate Counting - Invited Lecture

Tuesday, March 11:

9:00 - 9:50      Sanjeev Khanna: Matchings, Random Walks, and Sampling - Invited Lecture

9:50 - 10:00     Break

10:00 - 11:15    Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccardo Dondi, Yuri Pirola: 
Covering Pairs in Directed Acyclic Graphs

Eike Best, Raymond Devillers: Characterisation of the State Spaces of Live and Bounded Marked 
Graph Petri Nets

Mara Martos-Salgado, Fernando Rosa-Velardo: Expressiveness of Dynamic Networks of Timed Petri Nets

11:15 - 11:45    Coffee Break

11:45 - 13:00    Bireswar Das, Patrick Scharpfenecker, Jacobo Torn: Succinct Encodings of Graph 

Matthias Gall, Matas Tealdi: On Context-Diverse Repeats and their Incremental Computation

Marcella Anselmo, Dora Giammarresi, Maria Madonia: Picture Codes with Finite Deciphering Delay

13:00 - 14:30    Lunch

14:30 - 15:45    Paul Tarau: Computing with Catalan Families

Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro Lpez-Ortiz: On the List Update Problem with Advice

Rob Gysel: Minimal Triangulation Algorithms for Perfect Phylogeny Problems

15:45 - 16:00    Break

16:00 - 17:15    Grgoire Laurence, Aurlien Lemay, Joachim Niehren, Sławek Staworko, Marc Tommasi: Learning Sequential Tree-to-word Transducers

Dariusz Kalociński: On Computability and Learnability of the Pumping Lemma Function

Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi: Efficient List-based Computation of the String 
Subsequence Kernel

Wednesday, March 12:

9:00 - 9:50      Oscar H. Ibarra: On the Parikh Membership Problem for FAs, PDAs, and CMs - 
Invited Lecture

9:50 - 10:00     Break

10:00 - 11:15    Marius Konitzer, Hans Ulrich Simon: DFA with a Bounded Activity Level

Shenggen Zheng, Jozef Gruska, Daowen Qiu: On the State Complexity of Semi-Quantum Finite Automata

Vojtěch Vorel: Complexity of a Problem Concerning Reset Words for Eulerian Binary Automata

11:15 - 11:45    Coffee Break

11:45 - 13:00    Pascal Caron, Marianne Flouret, Ludovic Mignot: (k,l)-Unambiguity and 
Quasi-Deterministic Structures: an Alternative for the Determinization

Zuzana Bednrov, Viliam Geffert: Two Double-Exponential Gaps for Automata with a Limited Pushdown

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman: Computing Optimal Reachability Costs in 
Priced Dense-Timed Pushdown Automata

13:00 - 14:30    Lunch

15:45 - 17:45    Sightseeing in Madrid by Bus

Thursday, March 13:

9:00 - 9:50      Javier Esparza: A Brief History of Strahler Numbers (I) - Invited Tutorial

9:50 - 10:00     Break

10:00 - 11:15    Zeinab Mazadi, Ziyuan Gao, Sandra Zilles: Distinguishing Pattern Languages with 
Membership Examples

Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse: Computing Depths of Patterns

Alexandre Blondin Mass, Sbastien Gaboury, Sylvain Hall, Michal Larouche: Solving Equations on 
Words with Morphisms and Antimorphisms

11:15 - 11:45    Coffee Break

11:45 - 13:00    Anton Cern: Solutions to the Multi-Dimensional Equal Powers Problem Constructed 
by Composition of Rectangular Morphisms

Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard: ω-rational Languages: High 
Complexity Classes vs. Borel Hierarchy

Thomas Weidner: Probabilistic ω-Regular Expressions

13:00 - 14:30    Lunch

14:30 - 15:45    Haizhou Li, Franois Pinet, Farouk Toumani: Probabilistic Simulation for 
Probabilistic Data-aware Business Processes

Daniel Bundala, Jakub Zvodn: Optimal Sorting Networks

Etienne Dubourg, David Janin: Algebraic Tools for the Overlapping Tile Product

15:45 - 16:00    Break

16:00 - 17:15    Luca Breveglieri, Stefano Crespi Reghizzi, Angelo Morzenti: Shift-Reduce Parsers 
for Transition Networks

Gadi Aleksandrowicz, Andrei Asinowski, Gill Barequet, Ronnie Barequet: Formulae for Polyominoes on 
Twisted Cylinders

Alexandre Blondin Mass, Amadou Makhtar Tall, Hugo Tremblay: On the Arithmetics of Discrete Figures

Friday, March 14:

9:00 - 9:50      Javier Esparza: A Brief History of Strahler Numbers (II) - Invited Tutorial

9:50 - 10:00     Break

10:00 - 11:15    Hanna Klaudel, Maciej Koutny, Zhenhua Duan: Interval Temporal Logic Semantics of 
Box Algebra

Pierre Ganty, Ahmed Rezine: Ordered Counter-Abstraction: Refinable Subword Relations for 
Parameterized Verification

Matthew Gwynne, Oliver Kullmann: On SAT Representations of XOR Constraints

11:15 - 11:45    Coffee Break

11:45 - 13:00    Bernd Finkbeiner, Hazem Torfah: Counting Models of Linear-time Temporal Logic

Claudia Carapelle, Shiguang Feng, Oliver Fernndez Gil, Karin Quaas: Satisfiability for MTL and 
TPTL over Non-Monotonic Data Words

Joachim Klein, David Mller, Christel Baier, Sascha Klppelholz: Are Good-for-games Automata Good 
for Probabilistic Model Checking?

13:00            Closing