| Tuesday, March 11 |
| 9:00 - 9:50
| Sanjeev Khanna:
Matchings, Random Walks, and Sampling - Invited Lecture |
| 10:00 - 11:15
| Niko Beerenwinkel, Stefano Beretta, Paola Bonizzoni, Riccardo 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ía Martos-Salgado, Fernando Rosa-Velardo:
Expressiveness of Dynamic Networks of Timed Petri Nets |
| 11:45 - 13:00
| Bireswar Das, Patrick Scharpfenecker, Jacobo Torán:
Succinct Encodings of Graph Isomorphism |
| Matthias Gallé, Matías Tealdi:
On Context-Diverse Repeats and their Incremental Computation |
| Marcella Anselmo, Dora Giammarresi, Maria Madonia:
Picture Codes with Finite Deciphering Delay |
14:30 - 15:45
| Paul Tarau:
Computing with Catalan Families |
| Joan Boyar, Shahin Kamali, Kim S. Larsen, Alejandro López-Ortiz:
On the List Update Problem with Advice |
| Rob Gysel:
Minimal Triangulation Algorithms for Perfect Phylogeny Problems |
| 16:00 - 17:15
| Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Sławek Staworko, Marc Tommasi:
Learning Sequential Tree-to-word Transducers |
| Dariusz Kalociński:
On Computability and Learnability of the Pumping Lemma Function |
| Slimane Bellaouar, Hadda Cherroun, Djelloul Ziadi:
Efficient List-based Computation of the String Subsequence Kernel |
| Thursday, March 13 |
| 9:00 - 9:50 | Javier Esparza:
A Brief History of Strahler Numbers (I and II, second part presented Friday, March 14) - Invited Tutorial |
| 10:00 - 11:15
| Zeinab Mazadi, Ziyuan Gao, Sandra Zilles:
Distinguishing Pattern Languages with Membership Examples |
| Francine Blanchet-Sadri, Andrew Lohr, Sean Simmons, Brent Woodhouse:
Computing Depths of Patterns |
| Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche:
Solving Equations on Words with Morphisms and Antimorphisms |
| 11:45 - 13:00
| Anton Cerný:
Solutions to the Multi-Dimensional Equal Powers Problem Constructed by Composition of Rectangular Morphisms |
| Enrico Formenti, Markus Holzer, Martin Kutrib, Julien Provillard:
ω-rational Languages: High Complexity Classes vs. Borel Hierarchy |
| Thomas Weidner:
Probabilistic ω-Regular Expressions |
| 14:30 - 15:45
| Haizhou Li, François Pinet, Farouk Toumani:
Probabilistic Simulation for Probabilistic Data-aware Business Processes |
| Daniel Bundala, Jakub Závodný:
Optimal Sorting Networks |
| Etienne Dubourg, David Janin:
Algebraic Tools for the Overlapping Tile Product |
| 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:
Formulae for Polyominoes on Twisted Cylinders |
| Alexandre Blondin Massé, Amadou Makhtar Tall, Hugo Tremblay:
On the Arithmetics of Discrete Figures |
![[Valid RSS]](images/valid-rss-rogers.jpg "[Valid RSS]")
