LICS — PROGRAM

Days: Monday, 20 July 2026 Tuesday, 21 July 2026 Wednesday, 22 July 2026 Thursday, 23 July 2026

Monday, 20 July 2026
10:00-10:20 Coffee Break LICS
Location: B1.04
10:00-10:20 Coffee Break LICS
Location: C1.03
10:20-10:30 Opening & welcome (room A) LICS
Location: B1.04
10:20-10:30 Opening & welcome (room B) LICS
Location: C1.03
10:30-12:30 Session 1B Automata on Infinite Words and MSO LICS
Session Chair:
Anuj Dawar
Location: C1.03
10:30-11:00
A Naturally-Colored Translation from LTL to Parity and COCOA (abstract) 30 min
Rüdiger Ehlers1, Ayrat Khalimov1
1 TU Clausthal
11:00-11:30
Layered automata: A canonical model for automata over infinite words (abstract) 30 min
Antonio Casares1, Christof Löding2, Igor Walukiewicz3
1 University of Kaiserslautern-Landau
2 RWTH Aachen University
3 CNRS, University of Bordeaux
11:30-12:00
The uniformisation of monadic second-order logic over countable ordinals (abstract) 30 min
Thomas Colcombet1, Alexander Rabinovich2
1 IRIF
2 Tel Aviv University
12:00-12:30
Automata for MSO over infinite trees with quantification over Borel sets of branches (abstract) 30 min
Mikołaj Bojańczyk1, Antonio Casares2, Sven Manthe3, Paweł Parys1
1 MIMUW, University of Warsaw
2 University of Kaiserslautern-Landau
3 University of Bonn
10:30-12:30 Session 1A Lambda Calculi and Abstract Syntax LICS
Session Chair:
Delia Kesner
Location: B1.04
10:30-11:00
A Machine-Independent, Log-Sensitive Space-Cost Measure for the Weak Lambda-Calculus (abstract) 30 min
Thibaut Balabonski1
1 Université Paris-Saclay, LMF
11:00-11:30
A Pointfree Algebraic Metatheory of Syntax-Based Systems (abstract) 30 min
francesco Gavazzo1
1 University of Padova
11:30-12:00
Oracles Just for Fan: A Robust Computational Interpretation of the Fan Theorem (abstract) 30 min
Titouan Leclercq1, Étienne Miquey1
1 Aix-Marseille Université
12:00-12:30
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on (abstract) 30 min
Fabian Lenke1, Stefan Milius1, Henning Urbat1
1 FAU Erlangen-Nürnberg
12:30-13:30 Lunch LICS
Location: B1.04
12:30-13:30 Lunch LICS
Location: C1.03
13:30-15:00 Session 2A Proof Theory and Linear Logic LICS
Session Chair:
Anupam Das
Location: B1.04
13:30-14:00
The logic of bunched implications is undecidable (abstract) 30 min
Søren Brinck Knudstorp1, Nick Galatos2, Revantha Ramanayake3, Peter Jipsen4
1 University of Amsterdam
2 University of Denver
3 University of Groningen
4 Chapman University
14:00-14:30
Hypersequent calculi have Ackermannian upper bounds (abstract) 30 min
AR Balasubramanian1, Vitor Greati2, Revantha Ramanayake2
1 Max Planck Institute for Software Systems (MPI-SWS)
2 University of Groningen
14:30-15:00
The Logic of Intersection Subtyping (abstract) 30 min
Olivier Laurent1
1 ENS de Lyon
13:30-15:00 Session 2B Automata LICS
Session Chair:
Mahsa Shirmohammadi
Location: C1.03
13:30-14:00
Checking History-Determinism for Parity Automata is in NP (abstract) 30 min
Karoliina Lehtinen1, Keya Prakash2, Michał Skrzypczak3
1 CNRS, Aix Marseille Univ., LIS
2 Aix Marseille Univ., CNRS, LIS
3 University of Warsaw
14:00-14:30
Commutative algebras of series (abstract) 30 min
Lorenzo Clemente1
1 University of Warsaw
14:30-15:00
Minimization of streaming transducers (abstract) 30 min
Gabriele Puppis1, Christian Bianchini1
1 Udine University
15:00-15:30 Coffee Break LICS
Location: B1.04
15:00-15:30 Coffee Break LICS
Location: C1.03
15:30-16:30 Session 3B Automata LICS
Session Chair:
S. Akshay
Location: C1.03
15:30-16:00
A Complexity Bound for Determinisation of Min-Plus Weighted Automata (abstract) 30 min
Shaull Almagor1, Guy Arbel1, Sarai Sheinvald1
1 Technion
16:00-16:30
Differential Tree Automata (abstract) 30 min
Mahsa Shirmohammadi1, Rida Ait El Manssour2, Vincent Cheval2, James Worrell2
1 IRIF, CNRS
2 University of Oxford
15:30-16:30 Session 3A Type Systems LICS
Session Chair:
Luis Caires
Location: B1.04
15:30-16:00
LFPL: Revisited and Mechanized (abstract) 30 min
Nathaniel Glover1, Jan Hoffmann1
1 Carnegie Mellon University
16:00-16:30
Layered Modal ML: Syntax and Full Abstraction (abstract) 30 min
Haoxuan Yin1, Andrzej Murawski1, Luke Ong2
1 University of Oxford
2 Nanyang Technological University
16:30-17:00 Test of Time Awards LICS
Location: B1.04
Tuesday, 21 July 2026
09:00-10:00 Keynote by Nada Amin LICS
Session Chair:
Claudia Faggian
Location: B1.04
09:00-10:00
A Rational Defense of Reasonable Reflection (abstract) 60 min
Nada Amin1
1 Harvard
10:00-10:30 Coffee Break LICS
Location: B1.04
10:00-10:30 Coffee Break LICS
Location: C1.03
10:30-12:30 Session 4A Verification & Foundations of Probabilistic Systems LICS
Session Chair:
Ichiro Hasuo
Location: B1.04
10:30-11:00
Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic (abstract) 30 min
Markus de Medeiros1, Puming Liu2, Kwing Hei Li3, Alejandro Aguirre3, Lars Birkedal3, Joseph Tassarotti1
1 New York University
2 NYU Shanghai
3 Aarhus University
11:00-11:30
Complete Supermartingale Certificates for ω-Regular Properties (abstract) 30 min
Alessandro Abate1, Mirco Giacobbe2, Sergey Ichtchenko1, Diptarko Roy2
1 University of Oxford
2 University of Birmingham
11:30-12:00
On Higher-Order Probabilistic Verification via the Weighted Relational Model of Linear Logic (abstract) 30 min
Ugo Dal Lago1, Guido Fiorillo2, Paolo Pistone2
1 Università di Bologna
2 Université Claude Bernard Lyon 1
12:00-12:30
Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability (abstract) 30 min
Giorgio Bacci1, Rasmus Ejlers Møgelberg2
1 Aalborg University
2 IT University of Copenhagen
10:30-12:30 Session 4B Logic and Structural Graph Theory LICS
Session Chair:
Daniel Neuen
Location: C1.03
10:30-11:00
Existential Positive Transductions of Sparse Graphs (abstract) 30 min
Nikolas Mählmann1, Sebastian Siebertz2
1 University of Warsaw
2 University of Bremen
11:00-11:30
Low Rank MSO (abstract) 30 min
Mikołaj Bojańczyk1, Michał Pilipczuk1, Wojciech Przybyszewski1, Marek Sokołowski2, Giannos Stamoulis3
1 University of Warsaw
2 Max Planck Institute for Informatics, Saarland Informatics Campus
3 IRIF, Université Paris Cité, CNRS, Paris
11:30-12:00
Model checking for low monodimensionality fragments of CMSO on topological-minor-free graph classes (abstract) 30 min
Ignasi Sau1, Nicole Schirrmacher2, Sebastian Siebertz2, Giannos Stamoulis3, Dimitrios Thilikos1, Alexangre Vigny4
1 LIRMM, Univ Montpellier, CNRS
2 University of Bremen
3 IRIF, Université Paris Cité, CNRS, France
4 Univ Clermont Auvergne
12:00-12:30
Well-Quasi-Ordered Classes of Bounded Clique-Width (abstract) 30 min
Aliaume Lopez1, Maël Dumas2
1 INP Bordeaux, LaBRI, CNRS
2 University of Warsaw
12:30-14:00 Lunch LICS
Location: B1.04
12:30-14:00 Lunch LICS
Location: C1.03
14:00-16:00 Session 5A Logical Aspects of Quantum Computation LICS
Session Chair:
Romain Péchoux
Location: B1.04
14:00-14:30
Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi (abstract) 30 min
Dichuan Gao1, Razin A. Shaikh1, Aleks Kissinger1
1 University of Oxford
14:30-15:00
A Complete Equational Theory for Real-Clifford+CH Quantum Circuits (abstract) 30 min
Alexandre Clément1
1 Université Paris-Saclay, LMF
15:00-15:30
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions (abstract) 30 min
Gilles Barthe1, Minbo Gao2,5, Jam Kabeer Ali Khan3, Matthijs Muis3, Ivan Renison3, Keiya Sakabe4, Michael Walter4, Yingte Xu3, Tianshi Yu2, Li Zhou2
1 MPI-SP & IMDEA Software Institute
2 Institute of Software, Chinese Academy of Sciences
3 MPI-SP
4 RUB
5 University of Chinese Academy of Sciences
15:30-16:00
Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras (abstract) 30 min
Anuj Dawar1, Nihil Shah1
1 University of Cambridge
14:00-16:00 Session 5B Counter and Vector Addition Systems LICS
Session Chair:
Joost-Pieter Katoen
Location: C1.03
14:00-14:30
PVASS Reachability is Decidable (abstract) 30 min
Roland Guttenberg1, Eren Keskin2, Roland Meyer2
1 University of Warsaw
2 TU Braunschweig
14:30-15:00
Reachability in VASS Extended with Integer Counters (abstract) 30 min
Clotilde Bizière1, Wojciech Czerwiński2, Roland Guttenberg2, Jérôme Leroux1, Vincent Michielini1, Łukasz Orlikowski2, Antoni Puch2, Henry Sinclair-Banks2
1 University of Bordeaux
2 University of Warsaw
15:00-15:30
The Complexity of Nested Reset Counter Systems (abstract) 30 min
A. R. Balasubramanian1, Franzisco Schmidt2
1 Max Planck Institute for Software Systems
2 Technical University of Munich
15:30-16:00
The complexity of downward closures of indexed languages (abstract) 30 min
Richard Mandel1, Corto Mascle1, Georg Zetzsche1
1 Max Planck Institute for Software Systems
16:00-16:30 Coffee Break LICS
Location: B1.04
16:00-16:30 Coffee Break LICS
Location: C1.03
16:30-18:00 Session 6A Logical aspects of Quantum computation LICS
Session Chair:
Claudia Faggian
Location: B1.04
16:30-17:00
Quantum Control and General Recursion beyond the Unitary Case (abstract) 30 min
Kathleen Barsse1, Romain Péchoux1, Simon Perdrix1
1 LORIA, CNRS, INRIA, Université de Lorraine, France
17:00-17:30
Causality in Pure Quantum Computation with Quantum Control (abstract) 30 min
Kengo Hirata1, Takeshi Tsukada2
1 University of Edinburgh, Kyoto University
2 Chiba University
17:30-18:00
One rig to control them all (abstract) 30 min
Chris Heunen1, Robin Kaarsgaard2, Louis Lemonnier1
1 University of Edinburgh
2 University of Southern Denmark
16:30-18:00 Session 6B Quantitative and Analytical Properties of Formal Languages LICS
Session Chair:
Igor Walukiewicz
Location: C1.03
16:30-17:00
Randomness Extraction Fails for Finite-State Dimension (abstract) 30 min
Subin Pulari1, Akhil S2
1 National Research University Higher School of Economics Moscow
2 Indian Institute of Technology Kanpur
17:00-17:30
Unbounded data nesting for loops in higher-order programs (abstract) 30 min
Adriana Baldacchino1, Andrzej Murawski2
1 University of Birmingham
2 University of Oxford
17:30-18:00
Star Complexity of Parikh Images of Languages over Infinite Alphabets (abstract) 30 min
Yoav Danieli1
1 Technion -- Israel Institute of Technology, Haifa, Israel
18:10-18:50 LICS General Assembly LICS
Location: B1.04
Wednesday, 22 July 2026
10:00-10:30 Coffee Break LICS
Location: B1.04
10:00-10:30 Coffee Break LICS
Location: C1.03
10:30-12:30 Session 7A Categorical models: effects, automata & model theory LICS
Session Chair:
Ohad Kammar
Location: B1.04
10:30-11:00
A categorical perspective on constraint satisfaction: The wonderland of adjunctions (abstract) 30 min
Maximilian Hadek1, Tomáš Jakl2, Jakub Opršal3
1 Charles University
2 Czech Technical University
3 University of Birmingham
11:00-11:30
Forgetting Event Order in Higher-Dimensional Automata (abstract) 30 min
SAFA ZOUARI1
1 Norwegian University of Science and Technology (NTNU)
11:30-12:00
A cartesian closed fibration of regular languages (abstract) 30 min
Paul-André Melliès1, Vincent Moreau2
1 CNRS, Université Paris Cité, INRIA
2 Tallinn University of Technology
12:00-12:30
Monads and Distributive Laws in Substructural Contexts (abstract) 30 min
Soichiro Fujii1, Yun Chen Tsai2, Yoàv Montacute1, Ichiro Hasuo3
1 National Institute of Informatics
2 National Institute of Informatics and SOKENDAI
3 National Institute of Informatics, SOKENDAI, and Imiron
10:30-12:30 Session 7B Decidability in Arithmetic and Linear Theories LICS
Session Chair:
Laura Kovacs
Location: C1.03
10:30-11:00
Constructing Small Monadic Decompositions in Presburger Arithmetic (abstract) 30 min
Moses Ganardi1, Marin Ricros1
1 RPTU Kaiserslautern-Landau
11:00-11:30
On Variable-Bounded Non-Linear Expansions of Presburger Arithmetic (abstract) 30 min
Piotr Bacik1,2, Joris Nieuwveld1, Joël Ouaknine2, Mihir Vahanwala2, Madhavan Venkatesh2, Emil Rugaard Wieser2
1 University of Oxford
2 Max Planck Institute for Software Systems, Saarland Informatics Campus
11:30-12:00
Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property (abstract) 30 min
Neta Elad1, Sharon Shoham1
1 Tel Aviv University
12:00-12:30
On the Subspace Orbit Problem and the Simultaneous Skolem Problem (abstract) 30 min
Piotr Bacik1,3, Anton Varonka2
1 University of Oxford
2 TU Wien
3 Max Planck Institute for Software Systems, Saarland Informatics Campus
12:30-14:00 Lunch LICS
Location: B1.04
12:30-14:00 Lunch LICS
Location: C1.03
14:00-16:00 Session 8A Foundations of Probabilistic Computation LICS
Session Chair:
Hugo Paquet
Location: B1.04
14:00-14:30
Fixed-parameter tractable inference for discrete probabilistic programs, via string diagram algebraisation (abstract) 30 min
Benedikt Peterseim1, Milan Lopuhaä-Zwakenberg1
1 University of Twente
14:30-15:00
A synthetic account of Metropolis--Hastings via categorical probability (abstract) 30 min
Rob Cornish1, Andi Wang2
1 Nanyang Technological University
2 University of Warwick
15:00-15:30
Interpreting De Finetti's Theorem in the Category of Integrable Cones (abstract) 30 min
Raphaëlle Crubillé1
1 LIS, Aix-Marseille Université
15:30-16:00
A convenient fibration for dependently-typed probability theory (abstract) 30 min
Danel Ahman1, Ohad Kammar2, Rasmus Ejlers Møgelberg3
1 University of Tartu
2 University of Edinburgh
3 IT University of Copenhagen
14:00-16:00 Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants LICS
Session Chair:
Martin Grohe
Location: C1.03
14:00-14:30
Local combinatorial analogues for bounded VC dimension (abstract) 30 min
Olga Medrano Martin del Campo1
1 The University of Chicago
14:30-15:00
Dynamic Planar Graph Isomorphism is in DynFO (abstract) 30 min
Samir Datta1, Asif Khan1, Felix Tschirbs2, Nils Vortmeier2, Thomas Zeume2
1 Chennai Mathematical Institute, India
2 Ruhr University Bochum, Germany
15:00-15:30
The Finite Length Property of the Rado graph and Friends (abstract) 30 min
Jingjie Yang1, Mikołaj Bojańczyk2, Bartek Klin1
1 University of Oxford
2 University of Warsaw
15:30-16:00
Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs (abstract) 30 min
Daniel Neuen1, Tim Seppelt2
1 Max Planck Institute for Informatics
2 IT-University of Copenhagen
16:00-16:30 Coffee Break LICS
Location: B1.04
16:00-16:30 Coffee Break LICS
Location: C1.03
16:30-17:30 Session 9A Semantics of Programming Languages LICS
Session Chair:
Andrzej Murawski
Location: B1.04
16:30-17:00
Lazy Intermediate Representations for Algebraic Effects (abstract) 30 min
Simon Castellan1, Hugo Paquet2
1 Inria, IRISA, Univ. Rennes
2 Inria, École Normale Supérieure
17:00-17:30
Wiring the Pi-calculus to Denotational Semantics (abstract) 30 min
Ken Sakayori1, Davide Sangiorgi2, Simon Castellan3, Pierre Clairambault4
1 The University of Tokyo
2 Bologna University, Inria
3 Inria
4 CNRS, Aix-Marseille Université
16:30-17:30 Session 9B Games and Strategies under Uncertainty LICS
Session Chair:
Nir Piterman
Location: C1.03
16:30-17:00
Dicey Games: Shared Sources of Randomness in Distributed Systems (abstract) 30 min
Léonard Brice1, Thomas A. Henzinger1, K. S. Thejaswini2
1 Institute of Science and Technology Austria
2 Université Libre de Bruxelles
17:00-17:30
Mixing Any Cocktail with Limited Ingredients: On the Structure of Payoff Sets in Multi-Objective POMDPs and its Impact on Randomised Strategies (abstract) 30 min
James C. A. Main1, Mickael Randour2
1 University of Oxford
2 F.R.S.-FNRS & UMONS - Université de Mons
Thursday, 23 July 2026
09:00-10:00 Keynote by Stéphanie Delaune LICS
Session Chair:
Joost-Pieter Katoen
Location: B1.04
09:00-10:00
Formal Verification of Security Protocols: 25 Years of ProVerif (abstract) 60 min
Stephanie Delaune1
1 CNRS
10:00-10:30 Coffee Break LICS
Location: B1.04
10:00-10:30 Coffee Break LICS
Location: C1.03
10:30-12:30 Session 10B Constraint Satisfaction LICS
Session Chair:
Maria Paola Bonacina
Location: C1.03
10:30-11:00
On the Computational Power of Extensional ESO (abstract) 30 min
Manuel Bodirsky1, Santiago Guzman Pro1
1 Institut für Algebra, TU Dresden
11:00-11:30
Towards infinite PCSP: a dichotomy for monochromatic cliques (abstract) 30 min
Demian Banakh1, Alexey Barsukov2, Tamio-Vesa Nakajima3
1 Jagiellonian University
2 Charles University
3 Philipps-University Marburg
11:30-12:00
Decidability of Interpretability (abstract) 30 min
Roman Feller1, Michael Pinsker1
1 TU Wien
12:00-12:30
Complexity Classes Arising from Circuits over Finite Algebraic Structures (abstract) 30 min
Piotr Kawałek1, Jacek Krzaczkowski2
1 TU Wien
2 Maria Curie-Sklodowska University, Lublin
10:30-12:30 Session 10A Constructive Mathematics & Type Theory LICS
Session Chair:
Marie Kerjane
Location: B1.04
10:30-11:00
The infinity category of infinity categories in simplicial type theory (abstract) 30 min
Daniel Gratzer1, Jonathan Weinberger2, Ulrik Buchholtz3
1 Aarhus University
2 Chapman University
3 University of Nottingham
11:00-11:30
Generalized Decidability via Brouwer Trees (abstract) 30 min
Tom de Jong1, Nicolai Kraus1, Aref Mohammadzadeh1, Fredrik Nordvall Forsberg2
1 University of Nottingham
2 University of Strathclyde
11:30-12:00
Eliminating reversals from cubical type theories (abstract) 30 min
Evan Cavallo1, Christian Sattler1
1 University of Gothenburg and Chalmers University of Technology
12:00-12:30
Fat cell structures and generalized algebraic theories (abstract) 30 min
Xu Huang1, Carlo Angiuli1
1 Indiana University
12:30-14:00 Lunch LICS
Location: B1.04
12:30-14:00 Lunch LICS
Location: C1.03
14:00-16:00 Session 11B Modal and Guarded Logics LICS
Session Chair:
Christel Baier
Location: C1.03
14:00-14:30
The Size of Interpolants in Modal Logics (abstract) 30 min
Balder ten Cate1, Louwe Kuijer2, Frank Wolter2
1 Universiteit van Amsterdam
2 University of Liverpool
14:30-15:00
Computation and Size of Interpolants for Hybrid Modal Logics (abstract) 30 min
Jean Christoph Jung1, Jędrzej Kołodziejski2, Frank Wolter3
1 TU Dortmund University
2 University of Warsaw
3 University of Liverpool
15:00-15:30
Guarded Negation Transitive Closure Logic (abstract) 30 min
Diego Figueira1, Santiago Figueira2, Yoshiki Nakamura3
1 CNRS & Univ Bordeaux
2 University of Buenos Aires & CONICET
3 Chiba University, Institute of Science Tokyo
15:30-16:00
The Guarded Fragment with Nested Equivalence Relations (abstract) 30 min
Oskar Fiuk1
1 University of Wrocław
14:00-16:00 Session 11A Constructive Mathematics & Type Theory LICS
Session Chair:
Ulrik Buchholtz
Location: B1.04
14:00-14:30
Constructive higher sheaf models of type theory with applications to synthetic mathematics (abstract) 30 min
Thierry Coquand1, Jonas Höfer1, Christian Sattler1
1 University of Gothenburg and Chalmers University of Technology
14:30-15:00
Classifying 2-Groups in Homotopy Type Theory (abstract) 30 min
Perry Hart1, Owen Milner2
1 University of Minnesota, Twin Cities
2 Carnegie Mellon University
15:00-15:30
Cellular Methods in Homotopy Type Theory (abstract) 30 min
Axel Ljungström1, Loïc Pujet2
1 University of Nottingham
2 University of Strasbourg
15:30-16:00
A computer formalisation of the Serre finiteness theorem (abstract) 30 min
Reid Barton1, Axel Ljungström2, Owen Milner1, Anders Mörtberg3
1 Carnegie Mellon University
2 University of Nottingham
3 Stockholm University
16:00-16:30 Coffee Break LICS
Location: B1.04
16:00-16:30 Coffee Break LICS
Location: C1.03
16:30-18:00 Session 12B Proof Theory, Fixed Points, and Meta-Complexity LICS
Session Chair:
Joel Ouaknine
Location: C1.03
16:30-17:00
The Algebra of Iterative Constructions (abstract) 30 min
Kevin Batz1, Benjamin Lucien Kaminski2, Lucas Kehrer3, Gerwin Klein4, Todd Schmid5, Henning Urbat6
1 Cornell University
2 Saarland University and University College London
3 Saarland University
4 Proofcraft & UNSW Sydney
5 Bucknell University
6 Friedrich-Alexander-Universität Erlangen-Nürnberg
17:00-17:30
Meta-mathematics of Algebraic Complexity (abstract) 30 min
Michal Garlik1, Svyatoslav Gryaznov1, Jiaqi Lu1, Rahul Santhanam2, Iddo Tzameret1
1 Imperial College London
2 University of Oxford
17:30-18:00
Axiomatisability of Alexandrov Dynamic Topological Logic (abstract) 30 min
Niels Vooijs1, David Fernández-Duque2
1 Universität Bern
2 University of Barcelona
16:30-18:00 Session 12A Constructive Mathematics & Type Theory LICS
Session Chair:
Rasmus Ejlers Møgelberg
Location: B1.04
16:30-17:00
Definitional Proof Irrelevance Made Accessible (abstract) 30 min
Thiago Felicissimo1, Yann Leray2, Loïc Pujet3, Nicolas Tabareau1, Éric Tanter4, Théo Winterhalter1
1 INRIA
2 Nantes Université
3 Université de Strasbourg
4 University of Chile
17:00-17:30
Problems with Fixpoints of Polynomials of Polynomials (abstract) 30 min
Cécilia Pradic1, Ian Price1
1 Swansea University
17:30-18:00
From Co-Coverages to Radicals in Complete Lattices (abstract) 30 min
Daniel Misselbeck-Wessel1
1 LMU Munich
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑