[TYPES/announce] LATA 2007: call for participation
carlos.martin@urv.cat
carlos.martin at urv.cat
Sun Feb 25 07:10:27 EST 2007
1st INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS
LATA 2007
Tarragona, Spain, March 29 - April 4, 2007
http://grammars.grlmc.com/LATA2007/index.html
PROGRAMME
Thursday, March 29
8:00 – 9:00
Registration
9:00 – 9:15
Opening
9:15 – 10:45
Tomas Masopust and Alexander Meduna - Descriptional Complexity of Grammars Regulated by Context Conditions
Guangwu Liu, Carlos Martin-Vide, Arto Salomaa and Sheng Yu - State Complexity of Basic Operations Combined with Reversal
Henning Fernau and Juergen Dassow - Comparison of Some Descriptional Complexities of 0L Systems Obtained by a Unifying Approach
10:45 – 11:15
Coffee Break
11:15 – 12:15
Vinay Choudhary, Anand Kumar Sinha and Somenath Biswas - Universality for Nondeterministic Logspace
Hermann Gruber and Markus Holzer - Computational Complexity of NFA Minimization for Finite and Unary Languages
12:15 – 12:30
Break
12:30 – 14:00
Tutorial Volker Diekert - Equations: From Words to Graph Products (I)
14:00 – 16:00
Lunch
16:00 – 17:30
Grigoriy Povarov - Descriptive Complexity of the Hamming Neighborhood of a Regular Language
Baptiste Blanpain, Jean-Marc Champarnaud and Jean-Philippe Dubernard - Geometrical Languages
Olivier Bodini, Thomas Fernique and Eric Remila - A Characterization of Flip-accessibility for Rhombus Tilings of the Whole Plane
17:30 – 18:00
Coffee Break
18:00 – 19:30
Bernd Borchert and Klaus Reinhardt - Deterministically and Sudoku-deterministically Recognizable Picture Languages
Ralf Stiebe - Slender Siromoney Matrix Languages
Kazuya Ogasawara and Satoshi Kobayashi - Stochastically Approximating Tree Grammars by Regular Grammars and Its Application to Faster ncRNA Family Annotation
Friday, March 30
8:45 – 10:15
Andreas Maletti - Compositions of Extended Top-down Tree Transducers
Ekaterina Komendantskaya - First-order Deduction in Neural Networks
Pal Domosi - Automata Networks without any Letichevsky Criteria
10:15 – 10:45
Coffee Break
10:45 – 12:15
Henning Bordihn and Gyorgy Vaszil - On Leftmost Derivations in CD Grammar Systems
Suna Bensch - An Approach to Parallel Mildly Context-sensitive Grammar Formalisms
Yurii Rogozhin, Carlos Martin-Vide and Artiom Alhazov - Networks of Evolutionary Processors with Two Nodes Are Unpredictable
12:15 – 12:30
Break
12:30 – 14:00
Tutorial Volker Diekert - Equations: From Words to Graph Products (II)
14:00 – 16:00
Lunch
16:00 – 17:30
Victor Selivanov - Classifying Omega-regular Partitions
Paolo Boldi, Violetta Lonati, Roberto Radicioni and Massimo Santini - The Number of Convex Permutominoes
Pawel Baturo and Wojciech Rytter - Occurrence and Lexicographic Properties of Standard Sturmian Words
17:30 – 18:00
Coffee Break
18:00 – 19:00
Invited Talk Neil Immerman - Nested Words
19:30
Visit to the old city
Monday, April 2
9:00 – 10:30
Francine Blanchet-Sadri, Kevin Corcoran and Jenell Nyberg - Fine and Wilf's Periodicity Result on Partial Words and Consequences
Costas Iliopoulos, Borivoj Melichar, Jan Supol and Inuka Jayasekera - Weighted Degenerated Approximate Pattern Matching
Krystyna Stawikowska and Edward Ochmanski - On Star-free Trace Languages and their Lexicographic Representations
10:30 – 11:00
Coffee Break
11:00 – 12:30
Zoltan L. Nemeth - On the Regularity of Binoid Languages: A Comparative Approach
Markus Lohrey and Benjamin Steinberg - The Submonoid and Rational Subset Membership Problems for Graph Groups
Camilo Thorne - Categorial Module Grammars of Bounded Size Have Finite Bounded Density
12:30 – 12:45
Break
12:45 – 13:45
Tutorial Erich Graedel - Infinite Games (I)
13:45 – 15:45
Lunch
15:45 – 17:15
Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould and Philippe Meseure - Topology-based Geometric Modelling for Biological Cellular Processes
Farid Ablayev and Aida Gainutdinova - Classical Simulation Complexity of Quantum Branching Programs
Martin Kochol, Nada Krivonakova, Silvia Smejova and Katarina Srankova - Reductions of Matrices Associated with Nowhere-zero Flows
17:15 – 17:45
Coffee Break
17:45 – 18:45
Juntae Yoon and Seonho Kim - Rule-based Word Spacing in Korean Based on Lexical Information Extracted from a Corpus
Julien Bourdaillet and Jean-Gabriel Ganascia - Practical Block Sequence Alignment with Moves
18:45 – 19:00
Break
19:00 – 20:00
Invited Talk Helmut Juergensen - Synchronization
Tuesday, April 3
9:00 – 10:30
Pavlos Antoniou, Maxime Crochemore, Costas Iliopoulos and Pierre Peterlongo - Application of Suffix Trees for the Acquisition of Common Motifs with Gaps in a Set of Strings
Frantisek Mraz, Friedrich Otto and Martin Platek - Free Word-order and Restarting Automata
Martin Kutrib and Jens Reimann - Succinct Description of Regular Languages by Weak Restarting Automata
10:30 – 11:00
Coffee Break
11:00 – 12:30
Hartmut Messerschmidt and Friedrich Otto - On Determinism Versus Non-determinism for Restarting Automata
Martin Kutrib and Andreas Malcher - Fast Reversible Language Recognition Using Cellular Automata
Pietro Di Lena and Luciano Margara - Computational Complexity of Dynamical Systems: the Case of Cellular Automata
12:30 – 12:45
Break
12:45 – 13:45
Tutorial Erich Graedel - Infinite Games (II)
13:45 – 15:45
Lunch
15:45 – 17:15
Christos Nomikos and Panos Rondogiannis - Locally Stratified Boolean Grammars
Alexander Okhotin - Unambiguous Boolean Grammars
Yo-Sub Han and Derick Wood - Generalizations of One-deterministic Regular Languages
17:15 – 17:45
Coffee Break
17:45 – 18:45
Franz Baader, Jan Hladik and Rafael Penaloza - SI! Automata Can Show PSPACE Results for Description Logics
Liviu P. Dinu, Radu Gramatovici and Florin Manea - On the Syllabification of Words via Go-through Automata
18:45 – 19:00
Break
19:00 – 20:00
Invited Talk Nissim Francez and Michael Kaminski - Extensions of Pregroup Grammars and Their Correlated Automata
20:30
Visit to the City Hall
Wednesday, April 4
9:15 – 10:45
Deian Tabakov and Moshe Vardi - Model Checking Buechi Specifications
Benedikt Bollig and Dietrich Kuske - Muller Message-passing Automata and Logics
Pavel Martjugin - A Series of Slowly Synchronizable Automata with a Zero State Over a Small Alphabet
10:45 – 11:15
Coffee Break
11:15 – 12:15
Gennaro Parlato, Salvatore La Torre, Margherita Napoli and Mimmo Parente - Verification of Succinct Hierarchical State Machines
Miklos Kresz - Nondeterministic Soliton Automata with a Single External Vertex
12:15 – 12:30
Break
12:30 – 13:30
Tutorial Erich Graedel - Infinite Games (III)
13:30
Closing
More information about the Types-announce
mailing list