The Coq mailing list

["GRLMC" <grlmc AT urv.cat>]

*To be removed from our mailing list, please respond to this message with 
UNSUBSCRIBE in the subject line*

*****************************************************************************

9th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

LATA 2015

Nice, France

March 2-6, 2015

Organized by:

CNRS, I3S, UMR 7271
Nice Sophia Antipolis University

Research Group on Mathematical Linguistics (GRLMC)
Rovira i Virgili University

http://grammars.grlmc.com/lata2015/

*****************************************************************************

PROGRAM

Monday, March 2

09:15 - 10:15   Registration

10:15 - 10:25   Opening

10:25 - 11:15   Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary 
Kincaid and Andreas Podelski: Automated Program Verification - Invited Lecture

11:15 - 11:45   Coffee Break

11:45 - 13:00

Ala Eddine Ben Salem: Single-pass Testing Automata for LTL Model Checking

Conrad Cotton-Barratt, Andrzej S. Murawski and C.-H. Luke Ong: Weak and 
Nested Class Memory Automata

Joey Eremondi, Oscar H. Ibarra and Ian McQuillan: Insertion Operations on 
Deterministic Reversal-Bounded Counter Machines

13:00 - 14:30   Lunch

14:30 - 16:10

Adrien Boiret, Vincent Hugot, Joachim Niehren and Ralf Treinen: Logics for 
Unordered Trees with Data Constraints on Siblings

François Gonze and Raphaël M. Jungers: On the Synchronizing Probability 
Function and the Triple Rendezvous Time: New Approaches to Cerny's Conjecture

Vesa Halava, Reino Niskanen and Igor Potapov: On Robot Games of Degree Two

Shankara Narayanan Krishna, Lakshmi Manasa and Ashutosh Trivedi: Time-Bounded 
Reachability Problem for Recursive Timed Automata is Undecidable

16:10 - 16:25   Break

16:25 - 18:10

Rui Li and Yiguang Hong: On Observability of Automata Networks via 
Computational Algebra

Nicolas Peltier: Reasoning on Schemas of Formulas: An Automata-Based Approach

Martin Sulzmann and Peter Thiemann: Derivatives for Regular Shuffle 
Expressions

Eric Allender and Ian Mertz: Complexity of Regular Functions

Tuesday, March 3

09:00 - 09:50

Marco Autili, Paola Inverardi, Filippo Mignosi, Romina Spalazzese and Massimo 
Tivoli: Automated Synthesis of Application-layer Connectors from 
Automata-based Specifications - Invited Lecture

09:50 - 10:05   Break

10:05 - 11:20

Peter Thiemann and Martin Sulzmann: From Omega-Regular Expressions to Büchi 
Automata via Partial Derivatives

Guillaume Verdier and Jean-Baptiste Raclet: Quotient of Acceptance 
Specifications under Reachability Constraints

Parvaneh Babari and Manfred Droste: A Nivat Theorem for Weighted Picture 
Automata and Weighted MSO Logics

11:20 - 11:50   Coffee Break

11:50 - 13:05

Luc Boasson and Olivier Carton: Rational Selecting Relations and Selectors

Peter Leupold and Norbert Hundeshagen: A Hierarchy of Transducing Observer 
Systems

Antoine Ndione, Aurélien Lemay and Joachim Niehren: Sublinear DTD Validity

13:05 - 14:35   Lunch

14:35 - 16:15

Carl Barton, Costas S. Iliopoulos and Solon P. Pissis: Average-case Optimal 
Approximate Circular String Matching

Johanna Björklund, Frank Drewes and Niklas Zechner: An Efficient Best-Trees 
Algorithm for Weighted Tree Automata over the Tropical Semiring

Bastien Cazaux, Thierry Lecroq and Eric Rivals: Construction of a de Bruijn 
Graph for Assembly from a Truncated Suffix Tree

Da-Jung Cho, Yo-Sub Han and Hwee Kim: Frequent Pattern Mining with 
Non-overlapping Inversions

16:15 - 16:30   Break

16:30 - 17:45

H.K. Dai and Z. Wang: A Parallel Algorithm for Finding All Minimal Maximum 
Subsequences via Random Walk

Hernán Ponce-De-León and Andrey Mokhov: Building Bridges Between Sets of 
Partial Orders

Vojtěch Vorel and Adam Roman: Complexity of Road Coloring with Prescribed 
Reset Words

Wednesday, March 4

9:00 - 9:50

Antonio Restivo: The Shuffle Product: New Research Directions - Invited 
Lecture

9:50 - 10:05    Break

10:05 - 11:20

Marcella Anselmo, Dora Giammarresi and Maria Madonia: Structure and Measure 
of a Decidable Class of Two-dimensional Codes

Thibault Godin, Ines Klimann and Matthieu Picantin: On Torsion-Free 
Semigroups Generated by Invertible Reversible Mealy Automata

Luis-Miguel Lopez and Philippe Narbel: Coding Non-orientable Laminations

11:20 - 11:50   Group Photo and Coffee Break

11:50 - 13:05

Pavel Panteleev: Preset Distinguishing Sequences and Diameter of 
Transformation Semigroups

Charalampos Zinoviadis: Hierarchy and Expansiveness in 2D Subshifts of Finite 
Type

Stefano Bilotta, Elisa Pergola, Renzo Pinzani and Simone Rinaldi: Recurrence 
Relations, Succession Rules and the Positivity Problem

13:05 - 14:35   Lunch

14:35 - 16:15

Philip Bille, Inge Li Gørtz and Søren Vind: Compressed Data Structures for 
Range Searching

Alberto Policriti, Nicola Gigante and Nicola Prezza: Average Linear Time and 
Compressed Space Construction of the Burrows-Wheeler Transform

Jan Trávníček, Jan Janoušek, Bořivoj Melichar and Loek Cleophas: Backward 
Linearised Tree Pattern Matching

Vladimir Ulyantsev, Ilya Zakirzyanov and Anatoly Shalyto: BFS-based Symmetry 
Breaking Predicates for DFA Identification

17:00 - 20:00   Touristic visit

Thursday, March 5

09:00 - 09:50

Giancarlo Mauri, Alberto Leporati, Luca Manzoni, Antonio E. Porreca and 
Claudio Zandron: Complexity Classes for Membrane Systems - Invited Lecture

09:50 - 10:05   Break

10:05 - 11:20

Davide Bresolin, Dario Della Monica, Angelo Montanari, Pietro Sala and Guido 
Sciavicco: On the Complexity of Fragments of the Modal Logic of Allen's 
Relations over Dense Structures

Nadia Creignou, Raïda Ktari, Arne Meier, Julian-Steffen Müller, Frédéric 
Olive and Heribert Vollmer: Parameterized Enumeration for Modification 
Problems

Martin Lück, Arne Meier and Irena Schindler: Parameterized Complexity of CTL: 
A Generalization of Courcelle's Theorem

11:20 - 11:50   Coffee Break

11:50 - 13:05

Kazuyuki Amano and Atsushi Saito: A Nonuniform Circuit Class with Multilayer 
of Threshold Gates Having Super Quasi Polynomial Size Lower Bounds against 
NEXP

Georg Bachmeier, Michael Luttenberger and Maximilian Schlund: Finite Automata 
for the Sub- and Superword Closure of CFLs: Descriptional and Computational 
Complexity

Olaf Beyersdorff, Leroy Chew and Karteek Sreenivasaiah: A Game 
Characterisation of Tree-like Q-resolution Size

13:05 - 14:35   Lunch

14:35 - 16:15

Alberto Dennunzio, Enrico Formenti, Luca Manzoni and Antonio E. Porreca: 
Preimage Problems for Reaction Systems

Ryo Yoshinaka: Learning Conjunctive Grammars and Contextual Binary Feature 
Grammars

Raphaël Bailly, François Denis and Guillaume Rabusseau: Recognizable Series 
on Hypergraphs

Yohan Boichut, Jacques Chabin and Pierre Réty: Towards More Precise Rewriting 
Approximations

16:15 - 16:30   Break

16:30 - 17:45

Michael Codish, Luís Cruz-Filipe and Peter Schneider-Kamp: Sorting Networks: 
the End Game

Konrad Kazimierz Dabrowski, Shenwei Huang and Daniël Paulusma: Bounding 
Clique-width via Perfect Graphs

Ryszard Janicki, Jetty Kleijn, Maciej Koutny and Łukasz Mikulski: Order 
Structures for Subclasses of Generalised Traces

Friday, March 6

9:00 - 9:50

Johann A. Makowsky and Nadia Labai: Hankel Matrices: From Words to Graphs - 
Invited Lecture

9:50 - 10:05    Break

10:05 - 11:20

Golnaz Badkobeh, Gabriele Fici and Zsuzsanna Lipták: On the Number of Closed 
Factors in a Word

Gabriele Fici, Thierry Lecroq, Arnaud Lefebvre and Élise Prieur-Gaston: 
Online Computation of Abelian Runs

Guilhem Gamard and Gwenaël Richomme: Coverability in Two Dimensions

11:20 - 11:50   Coffee Break

11:50 - 13:05

Jana Hadravová and Štěpán Holub: Equation xiyjxk=uivjuk in Words

Łukasz Mikulski, Marcin Piątkowski and Wojciech Rytter: Square-free Words 
over Partially Commutative Alphabets

Ananda Chandra Nayak and Kalpesh Kapoor: On the Language of Primitive Partial 
Words

13:05 - 13:15   Closing


---
Este mensaje no contiene virus ni malware porque la protección de avast! 
Antivirus está activa.
http://www.avast.com