17th Latin American Theoretical Informatics Symposium

Important Dates for Papers

Attention: all deadlines are at 11:59pm AoE (Anywhere on Earth) time zone.

Paper Submission

Submissions are limited to fifteen (15) single-column letter-size pages in Springer LNCS format; see the LNCS author guidelines.

This page limit includes figures and references, but it does not include an optional appendix. Proofs omitted due to space constraints must be placed in the appendix, which will be read by the program committee members at their discretion. In particular, appendices of accepted papers are not going to be published in the proceedings. The main part of the submission should therefore contain a clear technical presentation of the merits of the paper, including a discussion of the paper's importance within the context of prior work and a description of the key technical and conceptual ideas used to achieve its main claims. The conference employs a lightweight double-blind reviewing process. Submissions should not reveal the identity of the authors in any way. In particular, authors' names, affiliations, and email addresses should not appear at the beginning or in the body of the submission. Authors should ensure that any references to their own related work is in the third person (e.g., not "We build on our previous work..." but rather "We build on the work of..."). Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, references should not be omitted or anonymized.

Papers must be submitted electronically via the EasyChair submission system.

The submissions will be open one month before the abstract submission due date. Submit your abstract via EasyChair, before the abstract submission deadline. For full paper submission the deadline is one week later than that of the abstract submission.

Simultaneous submission of papers to any other conference with published proceedings, as well as the submission of previously published papers, is not allowed. Papers must be written in English. For each accepted paper at least one author must register and attend the symposium (in person) to present it. Moreover, an author cannot register for multiple papers. That is, each accepted paper must have its own registrant.

Proceedings

Accepted papers will appear in the proceedings of LATIN, which will be published in Springer Lecture Notes in Computer Science. Accepted papers need to be presented in-person in order to appear in the proceedings of LATIN. There must be a full registration associated with every accepted paper (even if the speaker qualifies for a discounted registration).

Special Issue

A special issue dedicated to selected papers of LATIN 2026 will be published in the journal Theoretical Computer Science.

Awards

Imre Simon Test of Time Award

As of 2012, the Imre Simon Test-of-Time Award is given to the LATIN paper deemed most influential among all those published at least ten years prior to the current edition of the conference.
Papers published in the LATIN proceedings up to and including 2016 are eligible for the 2026 award.

For more information on the nomination process see the permanent website on the award.

Best Paper Award

Papers presented at the conference will be considered for the LATIN 2026 Alejandro López-Ortiz Best Paper Award.

Important Dates for Posters

Attention: all deadlines are at 11:59pm AoE (Anywhere on Earth) time zone.

Poster Submission

LATIN 2026 will have poster sessions to facilitate and promote attendance. We especially encourage students and young researchers to submit their preliminary findings and ongoing work covering all the subjects of LATIN.

Authors of posters must submit a two-page abstract prepared using the Springer LNCS format. Detailed formatting instructions are available in the LNCS author guidelines.

All submissions will undergo peer review. At least one author of each accepted abstract is required to attend LATIN 2026 and present the work in person during the poster session. A template for the final poster can be downloaded here.

Abstracts of posters must be submitted electronically via the EasyChair submission system.

Accepted papers

Each paper is followed by its corresponding presentation session. In case of discrepancies, the Google Calendar should be considered the authoritative source, as it is updated more frequently than the website.

• Majority Boolean networks classifying density: structural characterization and complexity. Marius Rolland and Kévin Perrot (Session 1A)
• Graph Exploration with Edge Weight Estimates. Matthias Gehnen, Ralf Klasing, and Emile Naquin (Session 2B)
• Computing Dominating Sets in Disk Graphs with Centers in Convex Position. Anastasiia Tkachenko and Haitao Wang (Session 5A)
• A (4/3 + ε)-Approximation for Preemptive Scheduling with Batch Setup Times. Max A. Deppert, David Fischer and Klaus Jansen (Session 1C)
• Launching Identity Testing into (Bounded) Space. Pranav Bisht, Nikhil Gupta, Prajakta Nimbhorkar and Ilya Volkovich (Session 2A)
• On the near-tightness of chi ≤ 2r: a general sigma-ary construction and a binary case via LFSRs. Vinicius Tikara Venturi Date and Leandro Miranda Zatesko (Session 1B)
• Fair Correlation Clustering Meets Graph Parameters. Johannes Blaha, Robert Ganian, Katharina Gillig, Jonathan Højlev and Simon Wietheger (Session 3A)
• Online computation of normalized substring complexity. Gregory Kucherov and Yakov Nekrich (Session 1B)
• Spirals and Beyond: Competitive Plane Search with Multi-Speed Agents. Konstantinos Georgiou, Caleb Jones and Matthew Madej (Session 5A)
• Constructing alphabet reduction pairs of arrays. Sophie Toulouse (Session 1B)
• Complexity of the Possible and the Necessary President Problem in Schulze Voting. Jörg Rothe and Jana Woitaschik (Session 2A)
• Generating 2-Gray codes for grand Motzkin paths and grand Dyck paths with air pockets in constant amortized time. Lei Dong, Bowie Liu, Dennis Wong, Lin Chen, Chan-Tong Lam and Sio-Kei Im (Session 1B)
• Quantum Circuit for Quantum Fourier Transform for Arbitrary Qubit Connectivity Graphs. Kamil Khadiev, Aliya Khadieva, Vadim Sagitov and Kamil Khasanov (Session 3A)
• How many times can two minimum spanning trees cross?. Todor Antic, Morteza Saghafian, Maria Saumell, Felix Schröder, Josef Tkadlec and Pavel Valtr (Session 5A)
• A 9/5-Approximation Algorithm for the Maximum Edge 2-Coloring Problem on Bipartite Graphs. Alexandru Popa (Session 1C)
• Two Complexity Results on Spanning-Tree Congestion Problems. Sunny Atalig, Marek Chrobak, Christoph Durr, Petr Kolman, Huong Luu, Jiri Sgall and Gregory Zhou (Session 1C)
• Homogeneous substructures in random ordered uniform matchings. Andrzej Dudek, Jarek Grytczuk, Jakub Przybylo and Andrzej Rucinski (Session 2B)
• Local Resilience for Containment of Bounded Degree Spanning Subgraphs. Peter Allen, Julia Böttcher, Yoshiharu Kohayakawa and Mihir Neve (Session 2B)
• Multihead Finite-State Compression. Neil Lutz (Session 1A)
• Optimized 2-approximation of Treewidth. Mahdi Belbasi, Martin Fürer and Medha Kumar (Session 3A)
• Not all (semi)rings are strong. David Madore and Jacques Sakarovitch (Session 1A)
• Computational Complexity of Covers and Partial Covers of 2-in-2-out-regular Digraphs. Jiri Fiala, Samuel Gardelle, Jan Kratochvil and Andrzej Proskurowski (Session 2A)
• Compressed Set Representations based on Set Difference. Meng He, Travis Gagie and Gonzalo Navarro (Session 4A)
• On Numbers of Simplicial Walks and Equivalent Canonizations for Graph Recognition. Marek Cerný (Session 2A)
• Coresets for Farthest Point Problems in Hyperbolic Space. Eunku Park and Antoine Vigneron (Session 5A)
• How to Sort in a Refrigerator: Simple Entropy-Sensitive Strictly In-Place Sorting Algorithms. Michael T. Goodrich, Ofek Gila and Vinesh Sridhar (Session 4A)
• Square root of split graphs: linear algorithms for threshold and split-indifference graphs. Aleffer Rocha, Renato Carmo and André L. P. Guedes (Session 3A)
• Computing fixed point free automorphisms of graphs. Emanuel Juliano Morais Silva, Gabriel Coutinho, Vinicius Fernandes dos Santos, Sjanne Zeijlemaker and Aida Abiad (Session 2A)
• A lower bound of 4 for online graph exploration. Julia Baligacs (Session 2B)
• Hitting all longest paths in H-free graphs and H-graphs. Paloma de Lima, Amir Nikabadi and Pawel Rzazewski (Session 3A)
• Dynamic data structures for twin-ordered matrices. Bartlomiej Bosek, Jadwiga Czyzewska, Evangelos Kipouridis, Wojciech Nadara, Michal Pilipczuk, Karol Wegrzycki and Anna Zych-Pawlewicz (Session 1B)
• A Markov-Chain Characterization of Finite-State Dimension and a Generalization of Agafonov's Theorem. Laurent Bienvenu, Hugo Gimbert and Subin Pulari (Session 1A)
• Combinatorial ranking algorithms for the general linear group. Gustavo Zambonin, Tiago Siqueira, Larissa Gremelmaier Rosa, Rodrigo Alois Muhr Stefanes, Ricardo Custódio and Daniel Panario (Session 4A)
• Towards Succinct Beer Proper Interval Graphs. Meng He and Kaiyu Wu (Session 4A)
• Inapproximability of H-Coloring Problems. Kamyar Khodamoradi and Arash Rafiey (Session 3A)
• Splittable Spanning Trees and Balanced Forests in Random Graphs. David Gillman, Jacob Platnick and Dana Randall (Session 2B)
• On the Computational Complexity of Asymmetric Median Consensus Trees. Daniel Harvey, Jesper Jansson and Yutong Yang (Session 1C)
• Improvement of the Size of Control Alphabet for Controlled Generation of Unary Strings of Specified Length. Daihei Ise and Satoshi Kobayashi (Session 1A)
• The Parameterized Complexity of Geometric 1-Planarity. Alexander Firbas (Session 5A)
• Algorithms and Complexity of Connectivity Switching in Graphs. Christoph Kern, Alexander Firbas and Manuel Sorge (Session 2B)
• Partition-based Simple Heaps. Gerth Stølting Brodal, John Iacono, Casper Rysgaard and Sebastian Wild (Session 4A)
• Limits of Kernelization and Parametrization for Phylogenetic Diversity with Dependencies. Niels Holtgrefe, Jannik Schestag and Norbert Zeh (Session 1C)

Accepted posters

• Practical Implementation of Unbounded Cover-Free Families. Luiz Roberto Pereira Scolari and Thaís Bardini Idalino
• Using SAT Solvers for Generating Cover-free Families. Gustavo Viana and Thaís Bardini
• Listing bicliques and cliques: Bipartite Permutation and Proper 2-Thin Graphs. Gabriel Godinho, Marina Groshaus and André L. P. Guedes
• Algebraic Elements of a Theoretical Computer. Gian Ferrari and Álvaro Junio Pereira Franco
• Generating Guitar Solos as an Optimization Problem. Sergio Bonini and Pedro Castellucci
• Anamorphic Construction For The Winternitz One-Time Signature Scheme. Bruno Bianchi Pagani, João Gabriel Feres and Lucas Mayr
• Nearly Acyclic Edge-Colouring for Graphs with Maximum Degree 3. Ariana Maite Quispe Porras and Cláudio Leonardo Lucchesi
• On the Symbolic Pfaffian Number. Enrique Junchaya Heredia, Cláudio Leonardo Lucchesi and Alberto Alexandre Assis Miranda
• A multi-objective schedule-oriented model for the next release problem. Rudson Mendes, Rafael De Santiago and Pedro Belin Castellucci