LICS TALK AUTHOR INDEX
Shortcuts: A B C D E F G H J K L M N O P R S V W Y Z
A
Abate, Alessandro
(LICS)
Session 4A Verification & Foundations of Probabilistic Systems
Ahman, Danel
(LICS)
Session 8A Foundations of Probabilistic Computation
Akshay, S.
(LICS)
Session 3B Automata
Almagor, Shaull
(LICS)
Session 3B Automata
Amin, Nada
(LICS)
Keynote by Nada Amin
B
Bacci, Giorgio
(LICS)
Session 4A Verification & Foundations of Probabilistic Systems
Bacik, Piotr
(LICS)
Session 7B Decidability in Arithmetic and Linear Theories
Baier, Christel
(LICS)
Session 11B Modal and Guarded Logics
Balabonski, Thibaut
(LICS)
Session 1A Lambda Calculi and Abstract Syntax
Balasubramanian, A. R.
(LICS)
Session 5B Counter and Vector Addition Systems
Balasubramanian, AR
(LICS)
Session 2A Proof Theory and Linear Logic
Baldacchino, Adriana
(LICS)
Session 6B Quantitative and Analytical Properties of Formal Languages
Banakh, Demian
(LICS)
Session 10B Constraint Satisfaction
Barsse, Kathleen
(LICS)
Session 6A Logical aspects of Quantum computation
Barthe, Gilles
(LICS)
Session 5A Logical Aspects of Quantum Computation
Barton, Reid
(LICS)
Session 11A Constructive Mathematics & Type Theory
Batz, Kevin
(LICS)
Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Bizière, Clotilde
(LICS)
Session 5B Counter and Vector Addition Systems
Bodirsky, Manuel
(LICS)
Session 10B Constraint Satisfaction
Bojańczyk, Mikołaj
(LICS)
Session 1B Automata on Infinite Words and MSO
(LICS)
Session 4B Logic and Structural Graph Theory
Bonacina, Maria Paola
(LICS)
Session 10B Constraint Satisfaction
Brice, Léonard
(LICS)
Session 9B Games and Strategies under Uncertainty
Buchholtz, Ulrik
(LICS)
Session 11A Constructive Mathematics & Type Theory
C
Caires, Luis
(LICS)
Session 3A Type Systems
Campo, Olga Medrano Martin del
(LICS)
Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Casares, Antonio
(LICS)
Session 1B Automata on Infinite Words and MSO
Castellan, Simon
(LICS)
Session 9A Semantics of Programming Languages
Cate, Balder ten
(LICS)
Session 11B Modal and Guarded Logics
Cavallo, Evan
(LICS)
Session 10A Constructive Mathematics & Type Theory
Clément, Alexandre
(LICS)
Session 5A Logical Aspects of Quantum Computation
Clemente, Lorenzo
(LICS)
Session 2B Automata
Colcombet, Thomas
(LICS)
Session 1B Automata on Infinite Words and MSO
Coquand, Thierry
(LICS)
Session 11A Constructive Mathematics & Type Theory
Cornish, Rob
(LICS)
Session 8A Foundations of Probabilistic Computation
Crubillé, Raphaëlle
(LICS)
Session 8A Foundations of Probabilistic Computation
D
Danieli, Yoav
(LICS)
Session 6B Quantitative and Analytical Properties of Formal Languages
Das, Anupam
(LICS)
Session 2A Proof Theory and Linear Logic
Datta, Samir
(LICS)
Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Dawar, Anuj
(LICS)
Session 1B Automata on Infinite Words and MSO
(LICS)
Session 5A Logical Aspects of Quantum Computation
Delaune, Stephanie
(LICS)
Keynote by Stéphanie Delaune
E
Ehlers, Rüdiger
(LICS)
Session 1B Automata on Infinite Words and MSO
Elad, Neta
(LICS)
Session 7B Decidability in Arithmetic and Linear Theories
F
Faggian, Claudia
(LICS)
Keynote by Nada Amin
(LICS)
Session 6A Logical aspects of Quantum computation
Felicissimo, Thiago
(LICS)
Session 12A Constructive Mathematics & Type Theory
Feller, Roman
(LICS)
Session 10B Constraint Satisfaction
Figueira, Diego
(LICS)
Session 11B Modal and Guarded Logics
Fiuk, Oskar
(LICS)
Session 11B Modal and Guarded Logics
Fujii, Soichiro
(LICS)
Session 7A Categorical models: effects, automata & model theory
G
Ganardi, Moses
(LICS)
Session 7B Decidability in Arithmetic and Linear Theories
Gao, Dichuan
(LICS)
Session 5A Logical Aspects of Quantum Computation
Garlik, Michal
(LICS)
Session 12B Proof Theory, Fixed Points, and Meta-Complexity
Gavazzo, francesco
(LICS)
Session 1A Lambda Calculi and Abstract Syntax
Giacomo, Giuseppe De
(LICS)
Keynote: Symbolic Coding Agents: Temporal Synthesis as a Foundation for Strategic Reasoning in Artificial Intelligence
Glover, Nathaniel
(LICS)
Session 3A Type Systems
Gratzer, Daniel
(LICS)
Session 10A Constructive Mathematics & Type Theory
Grohe, Martin
(LICS)
Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Guttenberg, Roland
(LICS)
Session 5B Counter and Vector Addition Systems
H
Hadek, Maximilian
(LICS)
Session 7A Categorical models: effects, automata & model theory
Hart, Perry
(LICS)
Session 11A Constructive Mathematics & Type Theory
Hasuo, Ichiro
(LICS)
Session 4A Verification & Foundations of Probabilistic Systems
Heunen, Chris
(LICS)
Session 6A Logical aspects of Quantum computation
Hirata, Kengo
(LICS)
Session 6A Logical aspects of Quantum computation
Huang, Xu
(LICS)
Session 10A Constructive Mathematics & Type Theory
J
Jong, Tom de
(LICS)
Session 10A Constructive Mathematics & Type Theory
Jung, Jean Christoph
(LICS)
Session 11B Modal and Guarded Logics
K
Kammar, Ohad
(LICS)
Session 7A Categorical models: effects, automata & model theory
Katoen, Joost-Pieter
(LICS)
Keynote by Stéphanie Delaune
(LICS)
Session 5B Counter and Vector Addition Systems
Kawałek, Piotr
(LICS)
Session 10B Constraint Satisfaction
Kerjane, Marie
(LICS)
Session 10A Constructive Mathematics & Type Theory
Kesner, Delia
(LICS)
Session 1A Lambda Calculi and Abstract Syntax
Knudstorp, Søren Brinck
(LICS)
Session 2A Proof Theory and Linear Logic
Kovacs, Laura
(LICS)
Session 7B Decidability in Arithmetic and Linear Theories
L
Lago, Ugo Dal
(LICS)
Session 4A Verification & Foundations of Probabilistic Systems
Laurent, Olivier
(LICS)
Session 2A Proof Theory and Linear Logic
Leclercq, Titouan
(LICS)
Session 1A Lambda Calculi and Abstract Syntax
Lehtinen, Karoliina
(LICS)
Session 2B Automata
Lenke, Fabian
(LICS)
Session 1A Lambda Calculi and Abstract Syntax
Ljungström, Axel
(LICS)
Session 11A Constructive Mathematics & Type Theory
Lopez, Aliaume
(LICS)
Session 4B Logic and Structural Graph Theory
M
Mählmann, Nikolas
(LICS)
Session 4B Logic and Structural Graph Theory
Main, James C. A.
(LICS)
Session 9B Games and Strategies under Uncertainty
Mandel, Richard
(LICS)
Session 5B Counter and Vector Addition Systems
Medeiros, Markus de
(LICS)
Session 4A Verification & Foundations of Probabilistic Systems
Melliès, Paul-André
(LICS)
Session 7A Categorical models: effects, automata & model theory
Misselbeck-Wessel, Daniel
(LICS)
Session 12A Constructive Mathematics & Type Theory
Murawski, Andrzej
(LICS)
Session 9A Semantics of Programming Languages
Møgelberg, Rasmus Ejlers
(LICS)
Session 12A Constructive Mathematics & Type Theory
N
Neuen, Daniel
(LICS)
Session 4B Logic and Structural Graph Theory
(LICS)
Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
O
Ouaknine, Joel
(LICS)
Session 12B Proof Theory, Fixed Points, and Meta-Complexity
P
Paquet, Hugo
(LICS)
Session 8A Foundations of Probabilistic Computation
Péchoux, Romain
(LICS)
Session 5A Logical Aspects of Quantum Computation
Peterseim, Benedikt
(LICS)
Session 8A Foundations of Probabilistic Computation
Piterman, Nir
(LICS)
Session 9B Games and Strategies under Uncertainty
Pradic, Cécilia
(LICS)
Session 12A Constructive Mathematics & Type Theory
Pulari, Subin
(LICS)
Session 6B Quantitative and Analytical Properties of Formal Languages
Puppis, Gabriele
(LICS)
Session 2B Automata
R
Russo, Alessandra
(LICS)
Keynote: Learning with Logic: Neuro-Symbolic Methods for Grounded and Robust AI
S
Sakayori, Ken
(LICS)
Session 9A Semantics of Programming Languages
Sau, Ignasi
(LICS)
Session 4B Logic and Structural Graph Theory
Shirmohammadi, Mahsa
(LICS)
Session 2B Automata
(LICS)
Session 3B Automata
V
Vooijs, Niels
(LICS)
Session 12B Proof Theory, Fixed Points, and Meta-Complexity
W
Walukiewicz, Igor
(LICS)
Session 6B Quantitative and Analytical Properties of Formal Languages
Y
Yang, Jingjie
(LICS)
Session 8B Graph Isomorphism, Homomorphisms, and Combinatorial Invariants
Yin, Haoxuan
(LICS)
Session 3A Type Systems
Z
ZOUARI, SAFA
(LICS)
Session 7A Categorical models: effects, automata & model theory
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated: · Local time:
🔍
↑