<META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=utf-8">
<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta name=Generator content="Microsoft Word 11 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:10.0pt;
font-family:Arial;}
a:link, span.MsoHyperlink
{color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{color:purple;
text-decoration:underline;}
span.EstiloCorreo17
{mso-style-type:personal-compose;
font-family:Arial;
color:windowtext;}
@page Section1
{size:595.3pt 841.9pt;
margin:70.85pt 3.0cm 70.85pt 3.0cm;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=ES link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal align=center style='text-align:center'><font size=3
face=Calibri><span style='font-size:12.0pt;font-family:Calibri'>*To be removed
from our mailing list, please respond to this message with UNSUBSCRIBE in the
subject*<o:p></o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=3
face=Calibri><span style='font-size:12.0pt;font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=3
face=Calibri><span style='font-size:12.0pt;font-family:Calibri'>-----------------------------------------------------------------------------------------------------------<o:p></o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'>6th
INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS<o:p></o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'>LATA 2012<o:p></o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'>A Coruña, Spain<o:p></o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'>March 5-9, 2012<o:p></o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:14.0pt;font-family:Calibri'>http://grammars.grlmc.com/LATA2012/<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=3
face=Calibri><span style='font-size:12.0pt;font-family:Calibri'>----------------------------------------------------------------------------------------------------------<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal align=center style='text-align:center'><font size=4
face=Calibri><span style='font-size:13.0pt;font-family:Calibri'>PROGRAMME<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Monday, March 5:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>15:00 - 16:00 Registration<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>16:00 - 16:10 Opening<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>16:10 - 17:10<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Bernard Boigelot: Automata-based Symbolic Representations
of Polyhedra - Invited Talk<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:10 - 17:40 Coffee Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:40 - 18:30<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Eric Rowland and Jeffrey Shallit: k-Automatic Sets of
Rational Numbers<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Daniela Genova: Forbidding Sets and Normal Forms for
Language Forbidding-Enforcing Systems<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Tuesday, March 6:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>8:30 - 10:00<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Gilles Dowek: Around the Physical Church-Turing Thesis:
Cellular Automata, Formal Languages, and the Principles of Quantum Theory (I) -
Invited Tutorial<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:00 - 10:15 Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:15 - 11:55<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Oscar H. Ibarra and Nicholas Q. Tran: Weak Synchronization
and Synchronizability of Multitape Pushdown Automata and Turing Machines<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Tang Van Nguyen and Hitoshi Ohsaki: On Model Checking for
Visibly Pushdown Automata<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Jari
Stenman: The Minimal Cost Reachability Problem in Priced Timed Pushdown Systems<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Alexander Krassovitskiy and Peter Leupold: Computing by
Observing Insertion<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>11:55 - 12:25 Coffee Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>12:25 - 14:05<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Alexei Miasnikov and Zoran Šunić: Cayley Graph
Automatic Groups are not necessarily Cayley Graph Biautomatic<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Julien Cervelle: Covering Space in the Besicovitch
Topology<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Adam Woryna: Automaton Ranks of some Self-similar Groups<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Danny Dubé, Mario Latendresse, and Pascal Tesson:
Conservative Groupoids Recognize only Regular Languages<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>14:05 - 16:00 Lunch<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>16:00 - 17:40<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Max Rabkin: Ogden's Lemma for ET0L Languages<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Daniel Reidenbach and Markus L. Schmid: Patterns with
Bounded Treewidth<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Mikhail Barash and Alexander Okhotin: Defining Contexts in
Context-free Grammars<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Laura Bozzelli: Strong Termination for Gap-order
Constraint Abstractions of Counter Systems<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:40 - 17:50 Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:50 - 18:50<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Eugene Asarin: Measuring Information in Timed Languages -
Invited Talk<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Wednesday, March 7:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>8:30 - 10:00<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Gilles Dowek: Around the Physical Church-Turing Thesis:
Cellular Automata, Formal Languages, and the Principles of Quantum Theory (II)
- Invited Tutorial<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:00 - 10:15 Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:15 - 11:55<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Dag Hovland: The Membership Problem for Regular
Expressions with Unordered Concatenation and Numerical Constraints<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Jean-Marc Champarnaud, Hadrien Jeanne, and Ludovic Mignot:
Approximate Regular Expressions and their Derivatives<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Viliam Geffert, Bruno Guillon, and Giovanni Pighizzini:
Two-way Automata Making Choices only at the Endmarkers<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Holger Bock Axelsen: Reversible Multi-head Finite Automata
Characterize Reversible Logarithmic Space<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>11:55 - 12:25 Coffee Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>12:25 - 14:05<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Stefan Hetzl: Applying Tree Languages in Proof Theory<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Siva Anantharaman, Christopher Bouchard, Paliath
Narendran, and Michael Rusinowitch: Unification Modulo Chaining<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Beate Bollig and Tobias Pröger: An Efficient Implicit
OBDD-based Algorithm for Maximal Matchings<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Travis Gagie, Paweł Gawrychowski, Juha Kärkkäinen,
Yakov Nekrich, and Simon J. Puglisi: A Faster Grammar-based Self-index<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>14:05 - 16:00 Lunch<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>16:00 - 17:40<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Tomoyuki Yamakami: One-way Reversible and Quantum Finite
Automata with Advice<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Gabriel Ciobanu and G. Michele Pinna: Catalytic Petri Nets
are Turing Complete<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Ville Salo and Ilkka Törmä: On Stable and Unstable Limit
Sets of Finite Families of Cellular Automata<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Alberto Dennunzio, Enrico Formenti, and Julien Provillard:
Computational Complexity of Rule Distributions of Non-uniform Cellular Automata<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:45 Visit of the city<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Thursday, March 8:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>8:30 - 10:00<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Rod Downey: A Parameterized Complexity Tutorial (I) -
Invited Tutorial<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:00 - 10:15 Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:15 - 11:55<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Adam Roman: P-NP Threshold for Synchronizing Road Coloring<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Arne Meier, Johannes Schmidt, Michael Thomas, and Heribert
Vollmer: On the Parameterized Complexity of Default Logic and Autoepistemic
Logic<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Michal Forišek, Lucia Keller, and Monika Steinová:
Advice Complexity of Online Coloring for Paths<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Mateus de Oliveira Oliveira: Canonizable Partial Order
Generators<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>11:55 - 12:25 Coffee Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>12:25 - 14:05<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Mathilde Noual: Dynamics of Circuits and Intersecting
Circuits<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Norbert Hundeshagen and Friedrich Otto: Characterizing the
Rational Functions by Restarting Transducers<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Ahmet Kara, Thomas Schwentick, and Tony Tan: Feasible
Automata for Two-variable Logic with Successor on Data Words<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Miroslav Klimoš, Kim G. Larsen, Filip
Štefaňák, and Jeppe Thaarup: Nash Equilibria in Concurrent Priced
Games<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>14:05 - 16:00 Lunch<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>16:00 - 17:15<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Ryo Yoshinaka: Integration of the Dual Approaches in the
Distributional Learning of Context-free Grammars<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Ziyuan Gao and Frank Stephan: Learnability of Co-r.e.
Classes<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Michael Geilke and Sandra Zilles: Polynomial-time
Algorithms for Learning Typed Pattern Languages<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:15 - 17:30 Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>17:30 - 18:30<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Jack H. Lutz: The Computer Science of DNA Nanotechnology -
Invited Talk<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Friday, March 9:<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>8:30 - 10:00<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Rod Downey: A Parameterized Complexity Tutorial (II) -
Invited Tutorial<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:00 - 10:15 Break<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>10:15 - 11:55<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Philip Bille, Inge Li Gørtz, and Jesper Kristensen:
Longest Common Extensions via Fingerprinting<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Vikraman Arvind and Yadu Vasudev: Isomorphism Testing of
Boolean Functions Computable by Constant-depth Circuits<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Đurica Nikolić and Fausto Spoto: Automaton-based
Array Initialization Analysis<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>Philip Bille and Morten Stöckel: Fast and Cache-oblivious
Dynamic Programming with Local Dependencies<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'><o:p> </o:p></span></font></p>
<p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt;
font-family:Calibri'>11:55 Closing<o:p></o:p></span></font></p>
<p class=MsoNormal><font size=2 face=Arial><span style='font-size:10.0pt'><o:p> </o:p></span></font></p>
</div>
</body>
</html>