From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 14D637F84F for ; Sat, 15 Feb 2014 19:34:42 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of grlmc@urv.cat) identity=pra; client-ip=193.144.16.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of grlmc@urv.cat designates 193.144.16.75 as permitted sender) identity=mailfrom; client-ip=193.144.16.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="grlmc@urv.cat"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mta03.urv.cat) identity=helo; client-ip=193.144.16.75; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@urv.cat"; x-sender="postmaster@mta03.urv.cat"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aq4GADay/1LBkBBLnGdsb2JhbABYgz5LAQGDDLw1AwKBDhYOAQEBAQEICwkJFCiCLAgVBisaBQEEFAUHHAIFIQIbBhICJQEEGwMQAgSHaAEIjAeMao8VhGScVYEpjQAngyc1gRQEjGKCAWOKGIYRjB+Bb4Fn X-IPAS-Result: Aq4GADay/1LBkBBLnGdsb2JhbABYgz5LAQGDDLw1AwKBDhYOAQEBAQEICwkJFCiCLAgVBisaBQEEFAUHHAIFIQIbBhICJQEEGwMQAgSHaAEIjAeMao8VhGScVYEpjQAngyc1gRQEjGKCAWOKGIYRjB+Bb4Fn X-IronPort-AV: E=Sophos;i="4.95,851,1384297200"; d="scan'208";a="49219735" Received: from mta03.urv.cat ([193.144.16.75]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Feb 2014 19:34:41 +0100 X-IronPort-AV: E=Sophos;i="4.95,851,1384297200"; d="scan'208";a="47165463" Received: from pmbox2.urv.cat ([193.144.16.41]) by mta.urv.cat with ESMTP; 15 Feb 2014 19:34:41 +0100 Received: from Carlos1 (252.Red-79-152-183.dynamicIP.rima-tde.net [79.152.183.252]) (using TLSv1 with cipher AES128-SHA (128/128 bits)) (No client certificate requested) by pmbox2.urv.cat (Postfix) with ESMTPSA id E0432DF75; Sat, 15 Feb 2014 19:34:33 +0100 (CET) From: "GRLMC" To: "GRLMC" Date: Sat, 15 Feb 2014 19:34:32 +0100 Message-ID: <01C370A63C59439F9FE3540F48521470@Carlos1> MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable X-Mailer: Microsoft Office Outlook 11 Thread-index: Ac8qfJGJbQIiu2cnTYiYwaAD0r0wZg== X-MIMEOLE: Produced By Microsoft MimeOLE V6.0.6000.16669 X-Validation-by: grlmc@urv.cat Subject: [Caml-list] LATA 2014: call for participation *To be removed from our mailing list, please respond to this message with U= NSUBSCRIBE in the subject line* ************************************************************************* 8th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIO= NS LATA 2014 Madrid, Spain March 10-14, 2014 http://grammars.grlmc.com/lata2014/ ********************************************************************* PROGRAM Monday, March 10: 9:30 - 10:30 Registration 10:30 - 10:40 Opening 10:40 - 11:30 Helmut Seidl: Interprocedural Information Flow Analysis of XM= L Processors - Invited Lecture 11:30 - 11:45 Break 11:45 - 13:00 Alberto Dennunzio, Enrico Formenti, Luca Manzoni: Extremal C= ombinatorics of Reaction Systems Fernando Arroyo, Sandra G=C3=B3mez Canaval, Victor Mitrana, =C8=98tefan Pop= escu: Networks of Polarized Evolutionary Processors are Computationally Com= plete Liang Ding, Abdul Samad, Xingran Xue, Xiuzhen Huang, Russell L. Malmberg, L= iming Cai: Stochastic k-Tree Grammar and its Application in Biomolecular St= ructure Modeling 13:00 - 14:30 Lunch 14:30 - 15:45 B=C3=A9atrice B=C3=A9rard, Olivier Carton: Channel Synthesis= Revisited Daniel Pr=C5=AF=C5=A1a: Weight-reducing Hennie Machines and Their Descripti= onal Complexity Manfred Droste, Stefan D=C3=BCck: Weighted Automata and Logics for Infinite= Nested Words 15:45 - 16:00 Break 16:00 - 17:15 Friedrich Otto, Franti=C5=A1ek Mr=C3=A1z: Extended Two-Way O= rdered 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=C3=A9 Thiemann: Reachability Analysis with State-C= ompatible 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 - Invite= d Lecture 9:50 - 10:00 Break 10:00 - 11:15 Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccard= o 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 Mar=C3=ADa 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 Tor=C3=A1n: Suc= cinct Encodings of Graph Isomorphism Matthias Gall=C3=A9, Mat=C3=ADas Tealdi: On Context-Diverse Repeats and the= ir Incremental Computation Marcella Anselmo, Dora Giammarresi, Maria Madonia: Picture Codes with Finit= e 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 L=C3=B3pez-Ortiz: On th= e List Update Problem with Advice Rob Gysel: Minimal Triangulation Algorithms for Perfect Phylogeny Problems 15:45 - 16:00 Break 16:00 - 17:15 Gr=C3=A9goire Laurence, Aur=C3=A9lien Lemay, Joachim Niehren= , S=C5=82awek Staworko, Marc Tommasi: Learning Sequential Tree-to-word Tran= sducers Dariusz Kaloci=C5=84ski: On Computability and Learnability of the Pumping L= emma Function Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi: Efficient List-based Com= putation of the String Subsequence Kernel Wednesday, March 12: 9:00 - 9:50 Oscar H. Ibarra: On the Parikh Membership Problem for FAs, PDA= s, and CMs - Invited Lecture 9:50 - 10:00 Break 10:00 - 11:15 Marius Konitzer, Hans Ulrich Simon: DFA with a Bounded Activ= ity Level Shenggen Zheng, Jozef Gruska, Daowen Qiu: On the State Complexity of Semi-Q= uantum Finite Automata Vojt=C4=9Bch Vorel: Complexity of a Problem Concerning Reset Words for Eule= rian Binary Automata 11:15 - 11:45 Coffee Break 11:45 - 13:00 Pascal Caron, Marianne Flouret, Ludovic Mignot: (k,l)-Unambi= guity and Quasi-Deterministic Structures: an Alternative for the Determiniz= ation Zuzana Bedn=C3=A1rov=C3=A1, Viliam Geffert: Two Double-Exponential Gaps for= Automata with a Limited Pushdown Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman: Computing Optimal R= eachability 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) - Invi= ted Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Zeinab Mazadi, Ziyuan Gao, Sandra Zilles: Distinguishing Pat= tern Languages with Membership Examples Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse: Comput= ing Depths of Patterns Alexandre Blondin Mass=C3=A9, S=C3=A9bastien Gaboury, Sylvain Hall=C3=A9, M= icha=C3=ABl Larouche: Solving Equations on Words with Morphisms and Antimor= phisms 11:15 - 11:45 Coffee Break 11:45 - 13:00 Anton Cern=C3=BD: Solutions to the Multi-Dimensional Equal P= owers Problem Constructed by Composition of Rectangular Morphisms Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard: =CF=89-ra= tional Languages: High Complexity Classes vs. Borel Hierarchy Thomas Weidner: Probabilistic =CF=89-Regular Expressions 13:00 - 14:30 Lunch 14:30 - 15:45 Haizhou Li, Fran=C3=A7ois Pinet, Farouk Toumani: Probabilist= ic Simulation for Probabilistic Data-aware Business Processes Daniel Bundala, Jakub Z=C3=A1vodn=C3=BD: Optimal Sorting Networks Etienne Dubourg, David Janin: Algebraic Tools for the Overlapping Tile Prod= uct 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: Form= ulae for Polyominoes on Twisted Cylinders Alexandre Blondin Mass=C3=A9, Amadou Makhtar Tall, Hugo Tremblay: On the Ar= ithmetics of Discrete Figures Friday, March 14: 9:00 - 9:50 Javier Esparza: A Brief History of Strahler Numbers (II) - Inv= ited Tutorial 9:50 - 10:00 Break 10:00 - 11:15 Hanna Klaudel, Maciej Koutny, Zhenhua Duan: Interval Tempora= l 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-ti= me Temporal Logic Claudia Carapelle, Shiguang Feng, Oliver Fern=C3=A1ndez Gil, Karin Quaas: S= atisfiability for MTL and TPTL over Non-Monotonic Data Words Joachim Klein, David M=C3=BCller, Christel Baier, Sascha Kl=C3=BCppelholz: = Are Good-for-games Automata Good for Probabilistic Model Checking? 13:00 Closing