Skip to Content.
Sympa Menu

coq-club - [Coq-Club] LATA 2017: call for participation

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LATA 2017: call for participation


Chronological Thread 
  • From: "GRLMC" <grlmc AT grlmc.com>
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] LATA 2017: call for participation
  • Date: Sun, 05 Feb 2017 20:50:18 +0100
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=grlmc AT grlmc.com; spf=Pass smtp.mailfrom=grlmc AT grlmc.com; spf=None smtp.helo=postmaster AT s3mt9p.consultorpc.com
  • Feedback-id: 107198:107198-63:1:Mailrelay
  • Ironport-phdr: 9a23:5jrZfRcI6fX1h0As+WzgiyaclGMj4u6mDksu8pMizoh2WeGdxcWzZR7h7PlgxGXEQZ/co6odzbGH7+awASdZuN6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCzbL52Ixi6twbcutUZjYd/N6o61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzoBOjUk8m/Yl9ZwgbpFrhyhvRxxzY3aboOIOvVxYqzTcsgXSnBDU8tLTSFNHp+wYokJAuEcPehYtY79p14WoBewBAeiGOXhxDhWi3P4wKY31OshERvC3AwlA90Dq3vUrM/xNKcXTe+51rXHzTLGb/5P3zr29YbGchckof6WXLJwd9LcyUY1FwPBi1WftZbpMC+S1uQItWWQ8uluVfq3hmMjpQx9uCWjy8coh4XTmI4Z117J+T99zYszONa2UlR0YcS+H5tVryyaN5V5QsclQ2xwoyY3xLgGuYK/cSgS0pgo2xnfa/qcc4iV5hLjSOGRIS1ghH15Yr6wmxGy8U24xu39UMm7zkpKozJBn9TCrHwByhze58ydRvdj40us1yyD2gTL5uFBO080lK7bK5A7wr43k5oeqUvDHjXymEXzkKCbbUok+vKs6+TifrrqvIOTN4hxig3mKKQhhtS/AfgkMggJR2WU5eO81KT68ULlRLVKk+Y5n7LCsJHaIMQbvrS2DxVU0oYl8Ra/Di2p3M4WnXkdfxp4fgmahd3sMlDKPPeqELHi3wn1yG0zmajPZuS4D82UdiWeyeq/JeoltxZV4Bc11s1V/JlOC7sMZvf6W0vrudjRH1o4LUq52LXaDs5g3NYeRX6XUOjeP7nWtFTO4+suJ/OBYIYE/TfjbfU+oPXliDgkn0QAd7Kix5odZTezGfJoIl+cJnfpi9YFViJP5lVmQbSw1QHaW2NfOyzqBPhgvzhmWdv4VYubTdmj2+HY1XqxRsEOazgZUl7RTi+yL9TZUa9RNXzPfZc7ymFZWeX5F9V920yl7FWnkeI4drWNonVC6Mi7jYV+v7CNn0w+qGcsAoOW1G2ACGRahDtXei1ri6Uq/BYgkAS/1v0siPtBUNdX+vlhUwEgNJeawfYsWOr/QgbQQtDcAnmcZvCNS3llQcg1xtQmbFx5Ht7khRfGiXmEGbgQwvakPrgR2eiUi3frI8N243nc0KwqyVIhR50cZiWdmqdj+l2LVMbymEKDmvPyeA==

Title: LATA 2017: call for participation
******************************************************************************

11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS

LATA 2017

Umeå, Sweden

March 6-9, 2017

Organized by:
    
Department of Computing Science
Umeå University

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

http://grammars.grlmc.com/LATA2017/

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

PROGRAM

Monday, March 6

09:00 - 09:30    Registration

09:30 - 09:40    Opening

09:40 - 10:30

Thomas Wilke: Finite Backward Deterministic Automata on Infinite Words - Invited Lecture

10:30 - 11:00    Coffee Break

11:00 - 12:15

Thomas Troels Hildebrandt, Christian Johansen, Håkon Normann: A Stable Non-interleaving Early Operational Semantics for the Pi-calculus
Adam Jardine, Kevin McMullin: Efficient Learning of Tier-based Strictly k-Local Languages
Makoto Kanazawa, Ryo Yoshinaka: The Strong, Weak, and Very Weak Finite Context and Kernel Properties

12:15 - 13:45    Lunch

13:45 - 15:00

Benedikt Brütsch, Patrick Landwehr, Wolfgang Thomas: N-Memory Automata Over the Alphabet N
Lisa Hutschenreiter, Rafael Peñaloza: An Automata View to Goal-directed Methods
Ruggero Lanotte, Massimo Merro: A Calculus of Cyber-Physical Systems

15:00 - 15:15    Break

15:15 - 16:30

Costas S. Iliopoulos, Ritu Kundu, Solon P. Pissis: Efficient Pattern Matching in Elastic-Degenerate Texts
Shmuel Tomi Klein, Dana Shapira: Integrated Encryption in Dynamic Arithmetic Compression
Manasi S. Kulkarni, Kalpana Mahalingam: Two-Dimensional Palindromes and Their Properties

---

Tuesday, March 7

09:00 - 09:50

Georg Gottlob, Christoph Koch, Andreas Pieris: Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data - Invited Lecture

09:50 - 10:20    Coffee Break

10:20 - 11:35

Janusz A. Brzozowski, Corwin Sinnamon: Complexity of Left-Ideal, Suffix-Closed and Suffix-Free Regular Languages
Nadia Creignou, Markus Kröll, Reinhard Pichler, Sebastian Skritek, Heribert Vollmer: On the Complexity of Hard Enumeration Problems
Yo-Sub Han, Sang-Ki Ko, Timothy Ng, Kai Salomaa: Consensus String Problem for Multiple Regular Languages

11:35 - 13:05    Lunch

13:05 - 14:20

Johannes Schmidt: The Weight in Enumeration
Johanna Björklund, Loek Cleophas: Minimization of Finite State Automata Through Partition Aggregation
Haiming Chen, Ping Lu: Derivatives and Finite Automata of Expressions in Star Normal Form

14:20 - 14:35    Break and Group Photo

14:35 - 15:50

Henk Don, Hans Zantema: Finding DFAs with Maximal Shortest Synchronizing Word Length
Hellis Tamm, Brink Van Der Merwe: Lower Bound Methods for the Size of Nondeterministic Finite Automata Revisited
Dusan Knop: Partitioning Graphs into Induced Subgraphs

16:00 - 18:00    Touristic Visit

---

Wednesday, March 8

09:00 - 09:50

Franz Baader, Oliver Fernández Gil, Pavlos Marantidis: Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in FL0 - Invited Lecture

09:50 - 10:20    Coffee Break

10:20 - 11:35

Nariyoshi Chida, Kimio Kuramitsu: Linear Parsing _expression_ Grammars
Flavio D'Alessandro, Oscar H. Ibarra, Ian McQuillan: On Finite-Index Indexed Grammars and Their Restrictions
Mark-Jan Nederhof, Anssi Yli-Jyrä: A Derivational Model of Discontinuous Parsing

11:35 - 13:05    Lunch

13:05 - 14:20

Jirí Síma, Petr Savický: Cut Languages in Rational Bases
Giovanni Casu, G. Michele Pinna: Merging Relations: a Way to Compact Petri Nets' Behaviors Uniformly
Vidhya Ramaswamy, Jayalal Sarma, K. S. Sunil: Space Complexity of Reachability Testing in Labelled Graphs

14:20 - 14:35    Break

14:35 - 15:50

Dick Grune, Wan Fokkink, Evangelos Chatzikalymnios, Brinio Hond, Peter Rutgers: Detecting Useless Transitions in Pushdown Automata
Chunmiao Li, Xiaojuan Cai: Hardness Results for Coverability Problem of Well-Structured Pushdown Systems
Adrien Pommellet, Marcio Diaz, Tayssir Touili: Reachability Analysis of Pushdown Systems with an Upper Stack

---

Thursday, March 9

09:00 - 09:50

Harald Beck, Minh Dao-Tran, Thomas Eiter: LARS Stream Reasoning and Temporal Logic - Invited Lecture

09:50 - 10:20    Coffee Break

10:20 - 11:10

Davide Bresolin, Ivan Lanese: Most General Property-Preserving Updates
Bernd Gärtner, Ahad Noori Zehmakan: Color War: Cellular Automata with Majority Rule

11:10 - 11:25    Break

11:25 - 12:15

Stefan Gerdjikov, Stoyan Mihov: Over which Monoids is the Transducer Determinization Procedure Applicable?
Mika Hirvensalo, Etienne Moutot and Abuzer Yakarylmaz: On the Computational Power of Affine Automata

12:15 - 12:25    Closing

12:25 - 13:55    Lunch

  • [Coq-Club] LATA 2017: call for participation, GRLMC, 02/07/2017

Archive powered by MHonArc 2.6.18.

Top of Page