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 AB93A7FCD9 for ; Mon, 15 Feb 2016 15:30:30 +0100 (CET) IronPort-PHdr: 9a23:Sz9BAR3q+psKEQPGsmDT+DRfVm0co7zxezQtwd8Zse8ULvad9pjvdHbS+e9qxAeQG96LtLQY0qGI6ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6NyZjunL7os7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cY6Loc8dVdW/D/dqU8UbsKEXJ7bz1svJez60HKFVLW6yNGCj5LzUcZW1ed4jnnWIzsuDDxrOt31W+fNMzyV70wUCXn7rktRQS7tSEcKjRs8H3Lkp43y61BpBeq4Rl2worObYWcJb9/YOXQZpQRTm8GQ8BKSiZaCZm9ZYZIBO0HM+dCqs7wolIPqVz7QFHzXLu2x2YV2iKr0fA3ir54SVqdgQF4FotQ6CiJ9Ir5bKpLCri+lKSVl2iTMqkOhm/3sIOQK0h8+anRA+osLMaJlBUmS1OdhA3P9NK9Ym6Zj7pV6TDBt7A9Wbr10DR/oVkt+mH3mYAnjYXEwd8YmguZ+Dxwl4NgeIDlEx1HZovwG5JVs2SeNpBqasIkWWBh/iggnO48tIa/bRQNnd4I/Tr6QLbPJ4eS5hfofOmLJTJzwnlifeTsqQy19B3q5dfYc+L+mAJFtC5AmfHDrHQI3FrY7c3RGag1xVuoxTvaj1Ob0epDO01hzac= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=grlmc@grlmc.com; spf=SoftFail smtp.mailfrom=grlmc@grlmc.com; spf=None smtp.helo=postmaster@s3mt8p.consultorpc.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of grlmc@grlmc.com) identity=pra; client-ip=93.159.213.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@grlmc.com"; x-sender="grlmc@grlmc.com"; x-conformance=sidf_compatible Received-SPF: SoftFail (mail3-smtp-sop.national.inria.fr: domain of grlmc@grlmc.com is inclined to not designate 93.159.213.8 as permitted sender) identity=mailfrom; client-ip=93.159.213.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@grlmc.com"; x-sender="grlmc@grlmc.com"; 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@s3mt8p.consultorpc.com) identity=helo; client-ip=93.159.213.8; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="grlmc@grlmc.com"; x-sender="postmaster@s3mt8p.consultorpc.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0ApCwAs4MFWYwjVn11egzoeNG2CcIVKni+ILoVLhzAXAQWHIjwQAQEBAQEBAQEFGAsJCCAwQRIBgVmCHgkRBh0DAQIIAhgGDAEFEjYOAgIfEg8dGxUEh30KkFqcLGeERQKBWYhHAQaGEIVsglYQgl4LLROBJ5JghBABDQESV4EQg1WJYkqDeYQdNIQEjnWBYQEBAQcBAQEBAQE6gWQ7LoJkhFsBH4EZAQEB X-IPAS-Result: A0ApCwAs4MFWYwjVn11egzoeNG2CcIVKni+ILoVLhzAXAQWHIjwQAQEBAQEBAQEFGAsJCCAwQRIBgVmCHgkRBh0DAQIIAhgGDAEFEjYOAgIfEg8dGxUEh30KkFqcLGeERQKBWYhHAQaGEIVsglYQgl4LLROBJ5JghBABDQESV4EQg1WJYkqDeYQdNIQEjnWBYQEBAQcBAQEBAQE6gWQ7LoJkhFsBH4EZAQEB X-IronPort-AV: E=Sophos;i="5.22,450,1449529200"; d="scan'208,217";a="164784059" Received: from s3mt8p.consultorpc.com ([93.159.213.8]) by mail3-smtp-sop.national.inria.fr with ESMTP; 15 Feb 2016 15:30:29 +0100 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; s=dkim; d=grlmc.com; h=To:From:Reply-To:Date:Message-ID:List-Unsubscribe:Subject:MIME-Version:Content-Type:Content-Transfer-Encoding; i=grlmc@grlmc.com; bh=4rfoAOjk5KR8MtT3lO+7mFtz94c=; b=TuRD6r6gWbRmIP0Ewvobw7S8owx30C034QzY2SPa92SOARS3fgnBX3Xjyaou6hUQi+x+sYT6skJZ bBibOhlSFG5HrzhcsaQc4D0bUbeg2nnVKSOfD2QGJrPbNQKtO7CQJb0Agbl+4ozP5AmtnsCIbwPi NM5FZn6rZwZ8x3ZSbQM= DomainKey-Signature: a=rsa-sha1; c=nofws; q=dns; s=dkim; d=grlmc.com; b=wyErPVnj8ObJtHlWC/KCClSRVefrTr9iJIYWGlinYuD6PkJVNWaWS6NuifEZXQmXax8Qknu3jlUO CojzmA+ef1yoxzChOWF63PRPcUy8wR9vzY+b8IAJHTQPXZn7k30j0KrvfL150AtFArk00zyOLD56 6hvqw/ngOksiteuKKao=; Received: by s3mt8p.consultorpc.com id ho7gg816r3g9 for ; Sun, 14 Feb 2016 22:36:32 +0100 (envelope-from ) To: From: "GRLMC" Reply-To: "GRLMC" Date: Sun, 14 Feb 2016 22:36:25 +0100 Message-ID: <545102060a010b02035759070f0952515655035504020e53550b0a505504025751530753035d0550040254510f00@grlmc_ip-zone_com-6> X-CcmId: 0213595a506659431d1c0e5c536d020a0f5d04520309035808020b Feedback-ID: 107198:107198-12:1:Mailrelay X-Report-Abuse: Please report abuse for this campaign here http://grlmc.mailrelay-iv.es/ccm/abuse?a=107198&m=12&s=6793 X-OriginalSender: grlmc@grlmc.com List-Unsubscribe: , MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="-------56c0f35929f94" Content-Transfer-Encoding: 7bit X-Validation-by: grlmc@grlmc.com Subject: [Caml-list] LATA 2016: call for participation This is a multi-part message in MIME format ---------56c0f35929f94 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable LATA 2016: call for participation*To be removed from our mailing list, plea= se respond to this message with UNSUBSCRIBE in the subject line* ***************************************************************************= ******* 10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATI= ONS LATA 2016 Prague, Czech Republic March 14-18, 2016 Organized by: Department of Theoretical Computer Science Faculty of Information Technology Czech Technical University in Prague and Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/lata2016/ ***************************************************************************= ******* PROGRAM Monday, March 14 08:55 - 09:40=C2=A0=C2=A0 =C2=A0Registration 09:40 - 09:55=C2=A0=C2=A0 =C2=A0Opening 09:55 - 10:45=C2=A0=C2=A0 =C2=A0Avrim Blum: Reconstructing Preferences from= Opaque Transactions - Invited Lecture 10:45 - 11:15=C2=A0=C2=A0 =C2=A0Coffee Break 11:15 - 12:30 Franz Baader, Andreas Ecke: Reasoning with Prototypes in the Description Lo= gic ALC using Weighted Tree Automata Parvaneh Babari, Nicole Schweikardt: +=CF=89-Picture Languages Recognizable= by B=C3=BCchi-Tiling Systems Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade= , Ashutosh Trivedi: A Logical Characterization for Dense-Time Visibly Pushdown Automata 12:30 - 14:00=C2=A0=C2=A0 =C2=A0Lunch 14:00 - 15:15 Dana Fisman: A Complexity Measure on B=C3=BCchi Automata Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Pio= tr Wojciechowski: Compositional Bisimulation Minimization for Interval Markov Decision Proces= ses Heiko Vogler, Manfred Droste, Luisa Herrmann: A Weighted MSO Logic with Sto= rage Behaviour and its B=C3=BCchi-Elgot-Trakhtenbrot Theorem 15:15 - 15:30=C2=A0=C2=A0 =C2=A0Break 15:30 - 16:45 Rajeev Alur, Dana Fisman: Colored Nested Words Martin Kutrib, Andreas Malcher, Matthias Wendlandt: Input-Driven Queue Auto= mata with Internal Transductions Klaus Meer, Ameen Naif: Periodic Generalized Automata over the Reals Tuesday, March 15 09:00 - 09:50 =C2=A0=C2=A0 =C2=A0Martin Grohe: Tangles and Connectivity in = Graphs - Invited Lecture 09:50 - 10:05=C2=A0=C2=A0 =C2=A0Break 10:05 - 11:20 Rick Smetsers, Joshua Moerman, David N. Jansen: Minimal Separating Sequence= s for All Pairs of States Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions H=C3=A9l=C3=A8ne Touzet: On the Levenshtein Automaton and the Size of the N= eighbourhood of a Word 11:20 - 11:50=C2=A0=C2=A0 =C2=A0Coffee Break 11:50 - 13:05 Alexandre Blondin Mass=C3=A9, M=C3=A9lodie Lapointe, Hugo Tremblay: Paralle= logram Morphisms and Circular Codes Ananda Chandra Nayak, Amit K. Srivastava: On Del-Robust Primitive Partial W= ords with One Hole Maxime Crochemore, Roman Kolpakov, Gregory Kucherov: Optimal Bounds for Com= puting =CE=B1-gapped Repeats 13:05 - 14:35=C2=A0=C2=A0 =C2=A0Lunch 14:35 - 15:50 Kazuyuki Amano: On XOR Lemma for Polynomial Threshold Weight and Length Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao: The Beachcombers' Problem: Walk= ing and Searching from an Inner Point of a Line Silke Czarnetzki, Andreas Krebs: Using Duality in Circuit Complexity 15:50 - 16:05=C2=A0=C2=A0 =C2=A0Break 16:05 - 17:20 Gabriel Istrate, Cosmin Bonchi=C5=9F, Liviu Dinu: The Minimum Entropy Submo= dular Set Cover Problem Orna Kupferman, Sarai Sheinvald: On the Capacity of Capacitated Automata Holger Spakowski: On Limited Nondeterminism and ACC Circuit Lower Bounds Wednesday, March 16 09:00 - 09:50=C2=A0=C2=A0 =C2=A0Frank Wolter: Automata for Ontologies - Inv= ited Lecture 09:50 - 10:05=C2=A0=C2=A0 =C2=A0Break 10:05 - 11:20 Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura: The Complexity of Induce= d Tree Reconfiguration Problems Stefano Crespi Reghizzi, Pierluigi San Pietro: The Missing Case in Chomsky-= Sch=C3=BCtzenberger Theorem S=C3=A9verine Fratani, El Makki Voundy: Homomorphic Characterizations of In= dexed Languages 11:20 - 11:50=C2=A0=C2=A0 =C2=A0Group Photo and Coffee Break 11:50 - 13:05 Makoto Kanazawa: Ogden's Lemma, Multiple Context-Free Grammars, and the Con= trol Language Hierarchy Sebastian Berndt, R=C3=BCdiger Reischuk: Steganography Based on Pattern Lan= guages Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han: Inferring a Relax NG Schema from XML = Documents 13:05 - 14:35=C2=A0=C2=A0 =C2=A0Lunch 14:35 - 15:50 Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth: Noise Free Multi= -armed Bandit Game Johannes Blum, Frank Drewes: Properties of Regular DAG Languages Adrien Boiret: Normal Form on Linear Tree-to-Word Transducers 16:00 - 18:00=C2=A0=C2=A0 =C2=A0Touristic Visit Thursday, March 17 09:00 - 09:50=C2=A0=C2=A0 =C2=A0Romain Brenguier, Lorenzo Clemente, Paul Hu= nter, Guillermo A. P=C3=A9rez, Mickael Randour, Jean-Fran=C3=A7ois Raskin, Ocan Sankur, Mathieu Sassolas: Non-zero= Sum Games for Reactive Synthesis - Invited Lecture 09:50 - 10:05=C2=A0=C2=A0 =C2=A0Break 10:05 - 11:20 Manfred Droste, Zolt=C3=A1n F=C3=BCl=C3=B6p, Doreen G=C3=B6tze: A Kleene Th= eorem for Weighted Tree Automata over Tree Valuation Monoids Nadia Labai, Johann A. Makowsky: Hankel Matrices for Weighted Visibly Pushd= own Automata Johannes Osterholzer, Toni Dietze, Luisa Herrmann: Linear Context-Free Tree= Languages and Inverse Homomorphisms 11:20 - 11:50=C2=A0=C2=A0 =C2=A0Coffee Break 11:50 - 13:05 Paul C. Bell, Shang Chen, Lisa Jackson: Scalar Ambiguity and Freeness in Ma= trix Semigroups over Bounded Languages Tatiana Baginov=C3=A1 Jajcayov=C3=A1: The Word Problem for HNN-Extensions o= f Free Inverse Semigroups Henrik Bj=C3=B6rklund, Frank Drewes, Petter Ericson: Between a Rock and a H= ard Place - Uniform Parsing for Hyperedge Replacement DAG Grammars 13:05 - 14:35=C2=A0=C2=A0 =C2=A0Lunch 14:35 - 16:05=C2=A0=C2=A0 =C2=A0Giovanni Pighizzini: Restricted Turing Mach= ines and Language Recognition (I) - Invited Tutorial 16:05 - 16:20=C2=A0=C2=A0 =C2=A0Break 16:20 - 17:10 Sanguthevar Rajasekaran, Marius Nicolae: An Error Correcting Parser for Con= text-Free Grammars that Takes Less than Cubic Time Nathalie Bertrand, Serge Haddad, Engel Lefaucheux: Accurate Approximate Dia= gnosability of Stochastic Systems Friday, March 18 09:00 - 10:30=C2=A0=C2=A0 =C2=A0Giovanni Pighizzini: Restricted Turing Mach= ines and Language Recognition (II) - Invited Tutorial 10:30 - 10:45=C2=A0=C2=A0 =C2=A0Break 10:45 - 11:35 Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Proof-Based Synthesis of= Sorting Algorithms for Trees Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher: Reversi= ble Shrinking Two-pushdown Automata 11:35 - 12:05=C2=A0=C2=A0 =C2=A0Coffee Break 12:05 - 12:55 Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca: Reach= ability in Resource-Bounded Reaction Systems Hans-J=C3=B6rg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-target To= ffoli Circuits 12:55 - 13:10=C2=A0=C2=A0 =C2=A0Closing ---------56c0f35929f94 Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable LATA 2016: call for participation*To = be removed from our mailing list, please respond to this message with UNSUB= SCRIBE in the
subject line*

***************************************************************************= *******

10th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATI= ONS

LATA 2016

Prague, Czech Republic

March 14-18, 2016

Organized by:

Department of Theoretical Computer Science
Faculty of Information Technology
Czech Technical University in Prague

and

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

http://grammars.grlmc.com/lata2016/

***************************************************************************= *******

PROGRAM


Monday, March 14


08:55 - 09:40=C2=A0=C2=A0 =C2=A0Registration

09:40 - 09:55=C2=A0=C2=A0 =C2=A0Opening

09:55 - 10:45=C2=A0=C2=A0 =C2=A0Avrim Blum: Reconstructing Preferences from= Opaque Transactions - Invited
Lecture

10:45 - 11:15=C2=A0=C2=A0 =C2=A0Coffee Break

11:15 - 12:30

Franz Baader, Andreas Ecke: Reasoning with Prototypes in the Description Lo= gic ALC using
Weighted Tree Automata

Parvaneh Babari, Nicole Schweikardt: +=CF=89-Picture Languages Recognizable= by B=C3=BCchi-Tiling
Systems

Devendra Bhave, Vrunda Dave, Krishna Shankara Narayanan, Ramchandra Phawade= , Ashutosh
Trivedi: A Logical Characterization for Dense-Time Visibly Pushdown Automat= a

12:30 - 14:00=C2=A0=C2=A0 =C2=A0Lunch

14:00 - 15:15

Dana Fisman: A Complexity Measure on B=C3=BCchi Automata

Vahid Hashemi, Holger Hermanns, Lei Song, K. Subramani, Andrea Turrini, Pio= tr Wojciechowski:
Compositional Bisimulation Minimization for Interval Markov Decision Proces= ses

Heiko Vogler, Manfred Droste, Luisa Herrmann: A Weighted MSO Logic with Sto= rage Behaviour
and its B=C3=BCchi-Elgot-Trakhtenbrot Theorem

15:15 - 15:30=C2=A0=C2=A0 =C2=A0Break

15:30 - 16:45

Rajeev Alur, Dana Fisman: Colored Nested Words

Martin Kutrib, Andreas Malcher, Matthias Wendlandt: Input-Driven Queue Auto= mata with
Internal Transductions

Klaus Meer, Ameen Naif: Periodic Generalized Automata over the Reals

Tuesday, March 15


09:00 - 09:50 =C2=A0=C2=A0 =C2=A0Martin Grohe: Tangles and Connectivity in = Graphs - Invited Lecture

09:50 - 10:05=C2=A0=C2=A0 =C2=A0Break

10:05 - 11:20

Rick Smetsers, Joshua Moerman, David N. Jansen: Minimal Separating Sequence= s for All Pairs
of States

Martin Sulzmann, Peter Thiemann: Forkable Regular Expressions

H=C3=A9l=C3=A8ne Touzet: On the Levenshtein Automaton and the Size of the N= eighbourhood of a Word

11:20 - 11:50=C2=A0=C2=A0 =C2=A0Coffee Break

11:50 - 13:05

Alexandre Blondin Mass=C3=A9, M=C3=A9lodie Lapointe, Hugo Tremblay: Paralle= logram Morphisms and
Circular Codes

Ananda Chandra Nayak, Amit K. Srivastava: On Del-Robust Primitive Partial W= ords with One
Hole

Maxime Crochemore, Roman Kolpakov, Gregory Kucherov: Optimal Bounds for Com= puting =CE=B1-gapped
Repeats

13:05 - 14:35=C2=A0=C2=A0 =C2=A0Lunch

14:35 - 15:50

Kazuyuki Amano: On XOR Lemma for Polynomial Threshold Weight and Length
=
Yu Chen, Xiaotie Deng, Ziwei Ji, Chao Liao: The Beachcombers' Problem: Walk= ing and Searching
from an Inner Point of a Line

Silke Czarnetzki, Andreas Krebs: Using Duality in Circuit Complexity

15:50 - 16:05=C2=A0=C2=A0 =C2=A0Break

16:05 - 17:20

Gabriel Istrate, Cosmin Bonchi=C5=9F, Liviu Dinu: The Minimum Entropy Submo= dular Set Cover
Problem

Orna Kupferman, Sarai Sheinvald: On the Capacity of Capacitated Automata
Holger Spakowski: On Limited Nondeterminism and ACC Circuit Lower Bounds

Wednesday, March 16


09:00 - 09:50=C2=A0=C2=A0 =C2=A0Frank Wolter: Automata for Ontologies - Inv= ited Lecture

09:50 - 10:05=C2=A0=C2=A0 =C2=A0Break

10:05 - 11:20

Kunihiro Wasa, Katsuhisa Yamanaka, Hiroki Arimura: The Complexity of Induce= d Tree
Reconfiguration Problems

Stefano Crespi Reghizzi, Pierluigi San Pietro: The Missing Case in Chomsky-= Sch=C3=BCtzenberger
Theorem

S=C3=A9verine Fratani, El Makki Voundy: Homomorphic Characterizations of In= dexed Languages

11:20 - 11:50=C2=A0=C2=A0 =C2=A0Group Photo and Coffee Break

11:50 - 13:05

Makoto Kanazawa: Ogden's Lemma, Multiple Context-Free Grammars, and the Con= trol Language
Hierarchy

Sebastian Berndt, R=C3=BCdiger Reischuk: Steganography Based on Pattern Lan= guages

Guen-Hae Kim, Sang-Ki Ko, Yo-Sub Han: Inferring a Relax NG Schema from XML = Documents

13:05 - 14:35=C2=A0=C2=A0 =C2=A0Lunch

14:35 - 15:50

Atsuyoshi Nakamura, David P. Helmbold, Manfred K. Warmuth: Noise Free Multi= -armed Bandit
Game

Johannes Blum, Frank Drewes: Properties of Regular DAG Languages

Adrien Boiret: Normal Form on Linear Tree-to-Word Transducers

16:00 - 18:00=C2=A0=C2=A0 =C2=A0Touristic Visit


Thursday, March 17


09:00 - 09:50=C2=A0=C2=A0 =C2=A0Romain Brenguier, Lorenzo Clemente, Paul Hu= nter, Guillermo A. P=C3=A9rez, Mickael
Randour, Jean-Fran=C3=A7ois Raskin, Ocan Sankur, Mathieu Sassolas: Non-zero= Sum Games for
Reactive Synthesis - Invited Lecture

09:50 - 10:05=C2=A0=C2=A0 =C2=A0Break

10:05 - 11:20

Manfred Droste, Zolt=C3=A1n F=C3=BCl=C3=B6p, Doreen G=C3=B6tze: A Kleene Th= eorem for Weighted Tree Automata over
Tree Valuation Monoids

Nadia Labai, Johann A. Makowsky: Hankel Matrices for Weighted Visibly Pushd= own Automata

Johannes Osterholzer, Toni Dietze, Luisa Herrmann: Linear Context-Free Tree= Languages and
Inverse Homomorphisms

11:20 - 11:50=C2=A0=C2=A0 =C2=A0Coffee Break

11:50 - 13:05

Paul C. Bell, Shang Chen, Lisa Jackson: Scalar Ambiguity and Freeness in Ma= trix Semigroups
over Bounded Languages

Tatiana Baginov=C3=A1 Jajcayov=C3=A1: The Word Problem for HNN-Extensions o= f Free Inverse Semigroups

Henrik Bj=C3=B6rklund, Frank Drewes, Petter Ericson: Between a Rock and a H= ard Place - Uniform
Parsing for Hyperedge Replacement DAG Grammars

13:05 - 14:35=C2=A0=C2=A0 =C2=A0Lunch

14:35 - 16:05=C2=A0=C2=A0 =C2=A0Giovanni Pighizzini: Restricted Turing Mach= ines and Language Recognition (I)
- Invited Tutorial

16:05 - 16:20=C2=A0=C2=A0 =C2=A0Break

16:20 - 17:10

Sanguthevar Rajasekaran, Marius Nicolae: An Error Correcting Parser for Con= text-Free
Grammars that Takes Less than Cubic Time

Nathalie Bertrand, Serge Haddad, Engel Lefaucheux: Accurate Approximate Dia= gnosability of
Stochastic Systems


Friday, March 18


09:00 - 10:30=C2=A0=C2=A0 =C2=A0Giovanni Pighizzini: Restricted Turing Mach= ines and Language Recognition
(II) - Invited Tutorial

10:30 - 10:45=C2=A0=C2=A0 =C2=A0Break

10:45 - 11:35

Isabela Dramnesc, Tudor Jebelean, Sorin Stratulat: Proof-Based Synthesis of= Sorting
Algorithms for Trees

Holger Bock Axelsen, Markus Holzer, Martin Kutrib, Andreas Malcher: Reversi= ble Shrinking
Two-pushdown Automata

11:35 - 12:05=C2=A0=C2=A0 =C2=A0Coffee Break

12:05 - 12:55

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio E. Porreca: Reach= ability in
Resource-Bounded Reaction Systems

Hans-J=C3=B6rg Kreowski, Sabine Kuske, Aaron Lye: Canonical Multi-target To= ffoli Circuits

12:55 - 13:10=C2=A0=C2=A0 =C2=A0Closing ---------56c0f35929f94--