IEEE Symposium on Logic in Computer Science
LICS Home
-
LICS Awards
-
LICS Newsletters
-
LICS Archive
-
LICS Organization
-
Logic-Related Conferences
-
Links
Index by Authors:
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Papers and Short Presentations by Authors: M
LICS Archive
All Conferences
Committees
Invited Speakers
Papers by Author
Test-of-Time Award Winners
Kleene Award Winners
Authors on this page:
Alexis Maciel
Ian Mackie
Roger D. Maddux
Florent R. Madelaine
Parthasarathy Madhusudan
Jean-Marie Madiot
Frédéric Magniez
Meena Mahajan
Pritha Mahata
Assia Mahboubi
Michael J. Maher
Roberto Maieli
Kenji Maillard
Harry G. Mairson
Rupak Majumdar
Michael Makkai
Johann A. Makowsky
Soumodev Mal
Pasquale Malacaria
Lorenzo Malatesta
Mehrdad Maleki
Oded Maler
Enrico Malizia
Vadim Malvone
Marcello Mamino
Konstantinos Mamouras
Zohar Manna
Bassel Mannaa
Panagiotis Manolios
Shane Mansfield
Vikash K. Mansinghka
Alessio Mansutti
Amaldev Manuel
Giulio Manzonetto
Claude Marché
J. Raymundo Marcial-Romero
Jerzy Marcinkowski
Radu Mardare
Victor W. Marek
Grgur Petric Maretic
Sonia Marin
Jean-Yves Marion
Nicolas Markey
Petar Markovic
Michael Marmar
Bruno Marnette
João P. Marques-Silva
Kim Marriott
Dan Marsden
Wim Martens
Johannes Marti
Barnaby Martin
Ursula Martin
Maarten Marx
Dániel Marx
Michael Marz
Corto Mascle
Ian A. Mason
Francesc Massanés
Jade Master
Cristina Matache
Paulo Mateus
Christoph Matheja
Umang Mathur
Yuri Matiyasevich
Oliver Matz
Bastien Maubert
Francois Maurel
Richard Mayr
Filip Mazowiecki
Damiano Mazza
David A. McAllester
Ken McAloon
Conor McBride
John McCarthy
Gregory L. McColm
William McCune
Guy McCusker
Raymond C. McDowell
Annabelle McIver
Pierre McKenzie
Ralph McKenzie
Richard McKinley
Kenneth L. McMillan
J. Antonio Medina
Kuldeep S. Meel
Tobias Meggendorfer
Nimrod Megiddo
Fabian Meier
Arne Meier
Larissa Meinicke
Hernán C. Melgratti
Paul-André Melliès
Paul-André Melliès
Mohamed N. Menaa
Paul F. Mendler
Nax P. Mendler
Stefan Mengel
Roy Mennicke
Alexandru Mereacre
José Meseguer
Noémie Meunier
Christoph Meyer
Albert R. Meyer
Roland Meyer
Antoine Meyer
Jeremy Meyers
Balázs F. Mezei
Claudio Antares Mezzina
Alexei Miasnikov
Henryk Michalewski
Jakub Michaliszyn
Spiro Michaylov
Vincent Michielini
Marino Miculan
Aart Middeldorp
Alex Mifsud
Stefan Milius
Dale A. Miller
Dale Miller
Robin Milner
Tova Milo
Kathleen Milsted
Peter Bro Miltersen
Samuel Mimram
Matteo Mio
Alexandre Miquel
Étienne Miquey
Michael W. Mislove
Michael Mislove
John C. Mitchell
Fabian Mitterwallner
Wojciech Moczydlowski
Hugo Moeneclaey
Joshua Moerman
Anders Mörtberg
Fabio Mogavero
Virgile Mogbil
Rasmus E. Møgelberg
Eugenio Moggi
Christine Mohring
Faron Moller
Dario Della Monica
Benoit Monin
Benjamin Monmege
Stefan Monnier
Yoàv Montacute
Antonio Montalbán
Ugo Montanari
Angelo Montanari
Luís F. Monteiro
J. Strother Moore
Brandon M. Moore
Matthew Moore
Marianela Morales
Barbara Morawska
Carroll Morgan
Tsuyoshi Morioka
Peter Morris
Yiannis N. Moschovakis
Georg Moser
Lawrence S. Moss
Sean K. Moss
Peter D. Mosses
Ben C. Moszkowski
Antoine Mottet
Sasank Mouli
Guilhem Moulin
Mohammad R. Mousavi
Chunyan Mu
Moritz Müller
David E. Muller
Martin Müller
Moritz Müller
Philip Mulry
Guillaume Munch-Maccagnoni
César A. Munoz
Martin Muñoz
Pablo Muñoz
Aniello Murano
Andrzej S. Murawski
Filip Murlak
Koko Muroya
Tom Murphy VII
Chetan R. Murthy
Anca Muscholl
David R. Musser
Robert S. R. Myers
Nikolas Mählmann
Anders Mörtberg
Rasmus Ejlers Møgelberg
Sebastian Müller
Norbert Müller
Alexis Maciel
Paper:
Alexis Maciel
Toniann Pitassi
A Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives
(
LICS 2006
)
More Information...
Ian Mackie
Paper:
Ian Mackie
Linear Logic With Boxes
(
LICS 1998
)
More Information...
Paper:
Maribel Fernández
Ian Mackie
Coinductive Techniques for Operational Equivalence of Interaction Nets
(
LICS 1998
)
More Information...
Roger D. Maddux
Paper:
Marcelo F. Frias
Roger D. Maddux
Completeness of a Relational Calculus for Program Schemes
(
LICS 1998
)
More Information...
Florent R. Madelaine
Paper:
Hubie Chen
Florent R. Madelaine
Barnaby Martin
Quantified Constraints and Containment Problems
(
LICS 2008
)
More Information...
Paper:
Barnaby Martin
Florent R. Madelaine
The Complexity of Positive First-order Logic without Equality
(
LICS 2009
)
More Information...
Paper:
Florent R. Madelaine
Barnaby Martin
A Tetrachotomy for Positive First-Order Logic without Equality
(
LICS 2011
)
More Information...
Paper:
Catarina Carvalho
Florent R. Madelaine
Barnaby Martin
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP
(
LICS 2015
)
More Information...
Paper:
Manuel Bodirsky
Florent R. Madelaine
Antoine Mottet
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
(
LICS 2018
)
More Information...
Parthasarathy Madhusudan
Paper:
Parthasarathy Madhusudan
Model-checking Trace Event Structures
(
LICS 2003
)
More Information...
Paper:
Salvatore La Torre
Parthasarathy Madhusudan
Gennaro Parlato
A Robust Class of Context-Sensitive Languages
(
LICS 2007
)
More Information...
Jean-Marie Madiot
Paper:
Daniel Hirschkoff
Jean-Marie Madiot
Davide Sangiorgi
Name-Passing Calculi: From Fusions to Preorders and Types
(
LICS 2013
)
More Information...
Frédéric Magniez
Paper:
Sophie Laplante
Richard Lassaigne
Frédéric Magniez
Sylvain Peyronnet
Michel de Rougemont
Probabilistic abstraction for model checking: An approach based on property testing
(
LICS 2002
)
More Information...
Paper:
Eldar Fischer
Frédéric Magniez
Michel de Rougemont
Approximate Satisfiability and Equivalence
(
LICS 2006
)
More Information...
Meena Mahajan
Paper:
Olaf Beyersdorff
Joshua Blinkhorn
Meena Mahajan
Hardness Characterisations and Size-Width Lower Bounds for QBF Resolution
(
LICS 2020
)
More Information...
Pritha Mahata
Paper:
Parosh A. Abdulla
Johann Deneux
Pritha Mahata
Multi-Clock Timed Networks
(
LICS 2004
)
More Information...
Assia Mahboubi
Invited Paper:
Assia Mahboubi
Computer-checked mathematics: a formal proof of the odd order theorem
(
LICS 2014
)
More Information...
Michael J. Maher
Paper:
Michael J. Maher
Complete axiomatizations of the algebras of finite, rational and infinite trees
(
LICS 1988
)
More Information...
Paper:
Michael J. Maher
Herbrand Constraint Abduction
(
LICS 2005
)
More Information...
Roberto Maieli
Short Presentation:
Roberto Maieli
Paul Ruet
Interactive correctness criterion for multiplicative-additive proof-nets
(
LICS 2006
)
More Information...
Paper:
Olivier Laurent
Roberto Maieli
Cut Elimination for Monomial MALL Proof Nets
(
LICS 2008
)
More Information...
Kenji Maillard
Paper:
Kenji Maillard
Paul-André Melliès
A Fibrational Account of Local States
(
LICS 2015
)
More Information...
Harry G. Mairson
Paper:
Haim Gaifman
Harry G. Mairson
Yehoshua Sagiv
Moshe Y. Vardi
Undecidable Optimization Problems for Database Logic Programs
(
LICS 1987
)
More Information...
Paper:
Gerd G. Hillebrand
Paris C. Kanellakis
Harry G. Mairson
Database query languages embedded in the typed lambda calculus
(
LICS 1993
)
More Information...
Rupak Majumdar
Paper:
Luca de Alfaro
Thomas A. Henzinger
Rupak Majumdar
From Verification to Control: Dynamic Programs for Omega-Regular Objectives
(
LICS 2001
)
More Information...
Paper:
Luca de Alfaro
Rupak Majumdar
Vishwanath Raman
Mariëlle Stoelinga
Game Relations and Metrics
(
LICS 2007
)
More Information...
Paper:
Javier Esparza
Pierre Ganty
Rupak Majumdar
A Perfect Model for Bounded Verification
(
LICS 2012
)
More Information...
Paper:
Moses Ganardi
Rupak Majumdar
Georg Zetzsche
The Complexity of Bidirected Reachability in Valence Systems
(
LICS 2022
)
More Information...
Michael Makkai
Paper:
Claudio Hermida
Michael Makkai
A. John Power
Higher Dimensional Multigraphs
(
LICS 1998
)
More Information...
Johann A. Makowsky
Paper:
Johann A. Makowsky
Ildikó Sain
On the Equivalence of Weak Second Order and Nonstandard Time Semantics For Various Program Verification Systems
(
LICS 1986
)
More Information...
Soumodev Mal
Paper:
C. Aiswarya
Soumodev Mal
Prakash Saivasan
On the Satisfiability of Context-free String Constraints with Subword-Ordering
(
LICS 2022
)
More Information...
Pasquale Malacaria
Paper:
Pasquale Malacaria
Laurent Regnier
Some results on the interpretation of λ-calculus in operator algebras
(
LICS 1991
)
More Information...
Paper:
Pasquale Malacaria
Chris Hankin
Non-Deterministic Games and Program Analysis: An Application to Security
(
LICS 1999
)
More Information...
Lorenzo Malatesta
Paper:
Neil Ghani
Lorenzo Malatesta
Fredrik Nordvall Forsberg
Anton Setzer
Fibred Data Types
(
LICS 2013
)
More Information...
Mehrdad Maleki
Paper:
Abbas Edalat
Mehrdad Maleki
Differentiation in logical form
(
LICS 2017
)
More Information...
Oded Maler
Paper:
Eugene Asarin
Paul Caspi
Oded Maler
A Kleene theorem for timed automata
(
LICS 1997
)
More Information...
Enrico Malizia
Paper:
Georg Gottlob
Enrico Malizia
Achieving new upper bounds for the hypergraph duality problem through logic
(
LICS 2014
)
More Information...
Vadim Malvone
Paper:
Francesco Belardinelli
Catalin Dima
Vadim Malvone
Ferucio Laurentiu Tiplea
A Hennessy-Milner Theorem for ATL with Imperfect Information
(
LICS 2020
)
More Information...
Marcello Mamino
Paper:
Marcello Mamino
On the computing power of +, -, and ×
(
LICS 2014
)
More Information...
Konstantinos Mamouras
Short Presentation:
Konstantinos Mamouras
Canonical Progress Measures for Parity Games
(
LICS 2012
)
More Information...
Paper:
Niels Bjørn Bugge Grathwohl
Dexter Kozen
Konstantinos Mamouras
KAT + B!
(
LICS 2014
)
More Information...
Paper:
Konstantinos Mamouras
On the Hoare theory of monadic recursion schemes
(
LICS 2014
)
More Information...
Zohar Manna
Paper:
Bengt Jonsson
Zohar Manna
Richard J. Waldinger
Towards Deductive Synthesis of Dataflow Networks
(
LICS 1986
)
More Information...
Paper:
Martín Abadi
Zohar Manna
A Timely Resolution
(
LICS 1986
)
More Information...
Paper:
Edward Y. Chang
Zohar Manna
Amir Pnueli
Compositional verification of real-time systems
(
LICS 1994
)
More Information...
Bassel Mannaa
Paper:
Thierry Coquand
Bassel Mannaa
Fabian Ruch
Stack semantics of type theory
(
LICS 2017
)
More Information...
Panagiotis Manolios
Paper:
Panagiotis Manolios
Richard J. Trefler
Safety and Liveness in Branching Time
(
LICS 2001
)
More Information...
Shane Mansfield
Paper:
Samson Abramsky
Rui Soares Barbosa
Martti Karvonen
Shane Mansfield
A comonadic view of simulation and quantum resources
(
LICS 2019
)
More Information...
Paper:
Alexandre Clément
Nicolas Heurtel
Shane Mansfield
Simon Perdrix
Benoît Valiron
A Complete Equational Theory for Quantum Circuits
(
LICS 2023
)
More Information...
Vikash K. Mansinghka
Paper:
Mathieu Huot
Alexander K. Lew
Vikash K. Mansinghka
Sam Staton
ωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
(
LICS 2023
)
More Information...
Alessio Mansutti
Paper:
Bartosz Bednarczyk
Stéphane Demri
Raul Fervari
Alessio Mansutti
Modal Logics with Composition on Finite Forests: Expressivity and Complexity
(
LICS 2020
)
More Information...
Paper:
Dmitry Chistikov
Christoph Haase
Alessio Mansutti
Geometric decision procedures and the VC dimension of linear arithmetic theories
(
LICS 2022
)
More Information...
Amaldev Manuel
Paper:
Amaldev Manuel
Dhruv Nevatia
An Algebraic Characterisation of First-Order Logic with Neighbour
(
LICS 2021
)
More Information...
Giulio Manzonetto
Paper:
Giulio Manzonetto
Antonino Salibra
Boolean algebras for lambda calculus
(
LICS 2006
)
More Information...
Paper:
James Laird
Giulio Manzonetto
Guy McCusker
Michele Pagani
Weighted Relational Models of Typed Lambda-Calculi
(
LICS 2013
)
More Information...
Paper:
Antonino Salibra
Giulio Manzonetto
Giordano Favro
Factor Varieties and Symbolic Computation
(
LICS 2016
)
More Information...
Claude Marché
Paper:
Claude Marché
Normalised rewriting and normalised completion
(
LICS 1994
)
More Information...
J. Raymundo Marcial-Romero
Paper:
J. Raymundo Marcial-Romero
Martín H. Escardó
Semantics of a Sequential Language for Exact Real-Number Computation
(
LICS 2004
)
More Information...
Jerzy Marcinkowski
Paper:
Jerzy Marcinkowski
DATALOG SIRUPs uniform boundedness is undecidable
(
LICS 1996
)
More Information...
Paper:
Giacomo Lenzi
André Arnold
Jerzy Marcinkowski
The Hierarchy inside Closed Monadic S1 Collapses on the Infinite Binary Tree
(
LICS 2001
)
More Information...
Paper:
Jerzy Marcinkowski
Jakub Michaliszyn
The Ultimate Undecidability Result for the Halpern-Shoham Logic
(
LICS 2011
)
More Information...
Paper:
Tomasz Gogacz
Jerzy Marcinkowski
Converging to the Chase - A Tool for Finite Controllability
(
LICS 2013
)
More Information...
Paper:
Tomasz Gogacz
Jerzy Marcinkowski
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable
(
LICS 2015
)
More Information...
Paper:
Grzegorz Gluch
Jerzy Marcinkowski
Piotr Ostropolski-Nalewaja
Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable
(
LICS 2018
)
More Information...
Radu Mardare
Short Presentation:
Kim Larsen
Radu Mardare
Prakash Panangaden
A Metric Analogue of Stone Duality for Markov Processes
(
LICS 2012
)
More Information...
Paper:
Dexter Kozen
Kim G. Larsen
Radu Mardare
Prakash Panangaden
Stone Duality for Markov Processes
(
LICS 2013
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
Quantitative Algebraic Reasoning
(
LICS 2016
)
More Information...
Paper:
Matteo Mio
Robert Furber
Radu Mardare
Riesz Modal logic for Markov processes
(
LICS 2017
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
On the axiomatizability of quantitative algebras
(
LICS 2017
)
More Information...
Paper:
Robert Furber
Dexter Kozen
Kim G. Larsen
Radu Mardare
Prakash Panangaden
Unrestricted stone duality for Markov processes
(
LICS 2017
)
More Information...
Paper:
Giorgio Bacci
Robert Furber
Dexter Kozen
Radu Mardare
Prakash Panangaden
Dana Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus
(
LICS 2018
)
More Information...
Paper:
Giorgio Bacci
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
An Algebraic Theory of Markov Processes
(
LICS 2018
)
More Information...
Paper:
Radu Mardare
Prakash Panangaden
Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics
(
LICS 2021
)
More Information...
Paper:
Pedro H. Azevedo de Amorim
Dexter Kozen
Radu Mardare
Prakash Panangaden
Michael Roberts
Universal Semantics for the Stochastic λ-Calculus
(
LICS 2021
)
More Information...
Victor W. Marek
Paper:
Victor W. Marek
Anil Nerode
Jeffrey B. Remmel
A theory of nonmonotonic rule systems
(
LICS 1990
)
More Information...
Paper:
Victor W. Marek
Anil Nerode
Jeffrey B. Remmel
Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning
(
LICS 1995
)
More Information...
Paper:
Victor W. Marek
Anil Nerode
Jeffrey B. Remmel
On the Complexity of Abduction
(
LICS 1996
)
More Information...
Grgur Petric Maretic
Paper:
Grgur Petric Maretic
Mohammad Torabi Dashti
David A. Basin
Anchored LTL separation
(
LICS 2014
)
More Information...
Sonia Marin
Paper:
Marianna Girlando
Roman Kuznets
Sonia Marin
Marianela Morales
Lutz Straßburger
Intuitionistic S4 is decidable
(
LICS 2023
)
More Information...
Jean-Yves Marion
Paper:
Jean-Yves Marion
A Type System for Complexity Flow Analysis
(
LICS 2011
)
More Information...
Paper:
Emmanuel Hainry
Bruce M. Kapron
Jean-Yves Marion
Romain Péchoux
A tier-based typed programming language characterizing Feasible Functionals
(
LICS 2020
)
More Information...
Paper:
Kapron
Jean-Yves Marion
Romain Péchoux
Declassification Policy for Program Complexity Analysis
(
LICS 2024
)
More Information...
Nicolas Markey
Paper:
François Laroussinie
Nicolas Markey
Philippe Schnoebelen
Temporal Logic with Forgettable Past
(
LICS 2002
)
More Information...
Paper:
Patricia Bouyer
Nicolas Markey
Joël Ouaknine
James Worrell
The Cost of Punctuality
(
LICS 2007
)
More Information...
Petar Markovic
Paper:
Pawel Idziak
Petar Markovic
Ralph McKenzie
Matthew Valeriote
Ross Willard
Tractability and learnability arising from algebras with few subpowers
(
LICS 2007
)
More Information...
Michael Marmar
Paper:
Jan Hoffmann
Michael Marmar
Zhong Shao
Quantitative Reasoning for Proving Lock-Freedom
(
LICS 2013
)
More Information...
Bruno Marnette
Invited Paper:
Andrea Calì
Georg Gottlob
Thomas Lukasiewicz
Bruno Marnette
Andreas Pieris
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
(
LICS 2010
)
More Information...
João P. Marques-Silva
Short Presentation:
Inês Lynce
João P. Marques-Silva
Integrating Simplification Techniques in SAT Algorithms
(
LICS 2001
)
More Information...
Kim Marriott
Paper:
Moreno Falaschi
Maurizio Gabbrielli
Kim Marriott
Catuscia Palamidessi
Compositional analysis for concurrent constraint programming
(
LICS 1993
)
More Information...
Dan Marsden
Paper:
Maaike Zwart
Dan Marsden
No-Go Theorems for Distributive Laws
(
LICS 2019
)
More Information...
Paper:
Samson Abramsky
Dan Marsden
Comonadic semantics for guarded fragments
(
LICS 2021
)
More Information...
Paper:
Tomás Jakl
Dan Marsden
Nihil Shah
A categorical account of composition methods in logic
(
LICS 2023
)
More Information...
Wim Martens
Paper:
Katja Losemann
Wim Martens
MSO queries on trees: enumerating answers under updates
(
LICS 2014
)
More Information...
Johannes Marti
Paper:
Sebastian Enqvist
Helle Hvid Hansen
Clemens Kupke
Johannes Marti
Yde Venema
Completeness for Game Logic
(
LICS 2019
)
More Information...
Paper:
Clemens Kupke
Johannes Marti
Yde Venema
Size measures and alphabetic equivalence in the μ-calculus
(
LICS 2022
)
More Information...
Paper:
Maximilian Pflueger
Johannes Marti
Egor V. Kostylev
A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures
(
LICS 2024
)
More Information...
Barnaby Martin
Paper:
Hubie Chen
Florent R. Madelaine
Barnaby Martin
Quantified Constraints and Containment Problems
(
LICS 2008
)
More Information...
Paper:
Barnaby Martin
Florent R. Madelaine
The Complexity of Positive First-order Logic without Equality
(
LICS 2009
)
More Information...
Paper:
Manuel Bodirsky
Martin Hils
Barnaby Martin
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
(
LICS 2010
)
More Information...
Paper:
Florent R. Madelaine
Barnaby Martin
A Tetrachotomy for Positive First-Order Logic without Equality
(
LICS 2011
)
More Information...
Paper:
Catarina Carvalho
Florent R. Madelaine
Barnaby Martin
From Complexity to Algebra and Back: Digraph Classes, Collapsibility, and the PGP
(
LICS 2015
)
More Information...
Ursula Martin
Paper:
Ursula Martin
Elizabeth Scott
The order types of termination orderings on monadic terms, strings and multisets
(
LICS 1993
)
More Information...
Maarten Marx
Short Presentation:
Carlos E. Areces
Patrick Blackburn
Maarten Marx
Repairing the Interpolation Theorem in First-Order Modal Logic
(
LICS 2001
)
More Information...
Dániel Marx
Paper:
Andrei A. Bulatov
Dániel Marx
The Complexity of Global Cardinality Constraints
(
LICS 2009
)
More Information...
Michael Marz
Paper:
Michael Marz
Alexander Rohr
Thomas Streicher
Full Abstraction and Universality via Realisability
(
LICS 1999
)
More Information...
Corto Mascle
Paper:
Corto Mascle
Christel Baier
Florian Funke
Simon Jantsch
Stefan Kiefer
Responsibility and verification: Importance value in temporal logics
(
LICS 2021
)
More Information...
Ian A. Mason
Paper:
Ian A. Mason
Equivalence of First Order LISP Programs. Proving Properties of Destructive Programs via Transformation
(
LICS 1986
)
More Information...
Paper:
Ian A. Mason
Carolyn L. Talcott
Axiomatizing operational equivalence in the presence of side effects
(
LICS 1989
)
More Information...
Paper:
Ian A. Mason
Carolyn L. Talcott
References, local variables and operational reasoning
(
LICS 1992
)
More Information...
Short Presentation:
Jonathan Ford
Ian A. Mason
Natarajan Shankar
Lessons Learned from Formal Developments in PVS
(
LICS 2002
)
More Information...
Francesc Massanés
Paper:
Carles Creus
Guillem Godoy
Francesc Massanés
Ashish Tiwari
Non-linear Rewrite Closure and Weak Normalization
(
LICS 2009
)
More Information...
Jade Master
Paper:
John C. Baez
Fabrizio Genovese
Jade Master
Michael Shulman
Categories of Nets
(
LICS 2021
)
More Information...
Cristina Matache
Paper:
Cristina Matache
Sean K. Moss
Sam Staton
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction
(
LICS 2022
)
More Information...
Paulo Mateus
Short Presentation:
Paulo Mateus
Amilcar Sernadas
Complete exogenous quantum propositional logic
(
LICS 2005
)
More Information...
Christoph Matheja
Paper:
Federico Olmedo
Benjamin Lucien Kaminski
Joost-Pieter Katoen
Christoph Matheja
Reasoning about Recursive Probabilistic Programs
(
LICS 2016
)
More Information...
Umang Mathur
Paper:
Umang Mathur
Andreas Pavlogiannis
Mahesh Viswanathan
The Complexity of Dynamic Data Race Prediction
(
LICS 2020
)
More Information...
Yuri Matiyasevich
Paper:
Anatoli Degtyarev
Yuri Matiyasevich
Andrei Voronkov
Simultaneous Rigid E-Unification and Related Algorithmic Problems
(
LICS 1996
)
More Information...
Paper:
Yuri Matiyasevich
Géraud Sénizergues
Decision Problems for Semi-Thue Systems with a Few Rules
(
LICS 1996
)
More Information...
Oliver Matz
Paper:
Oliver Matz
Wolfgang Thomas
The Monadic Quantifier Alternation Hierarchy over Graphs is Infinite
(
LICS 1997
)
More Information...
Bastien Maubert
Paper:
Raphaël Berthon
Bastien Maubert
Aniello Murano
Sasha Rubin
Moshe Y. Vardi
Strategy logic with imperfect information
(
LICS 2017
)
More Information...
Francois Maurel
Short Presentation:
Claudia Faggian
Francois Maurel
Ludics on Graphs. Towards Concurrency
(
LICS 2004
)
More Information...
Paper:
Claudia Faggian
Francois Maurel
Ludics Nets, a game Model of Concurrent Interaction
(
LICS 2005
)
More Information...
Richard Mayr
Paper:
Javier Esparza
Alain Finkel
Richard Mayr
On the Verification of Broadcast Protocols
(
LICS 1999
)
More Information...
Paper:
Javier Esparza
Antonín Kučera
Richard Mayr
Model Checking Probabilistic Pushdown Automata
(
LICS 2004
)
More Information...
Paper:
Javier Esparza
Antonín Kučera
Richard Mayr
Quantitative Analysis of Probabilistic Pushdown Automata: Expectations and Variances
(
LICS 2005
)
More Information...
Paper:
Richard Mayr
Parosh A. Abdulla
Noomene Ben Henda
Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property
(
LICS 2005
)
More Information...
Paper:
Stefan Göller
Richard Mayr
Anthony Widjaja To
On the Computational Complexity of Verifying One-Counter Processes
(
LICS 2009
)
More Information...
Paper:
Parosh A. Abdulla
Richard Mayr
Computing Optimal Coverability Costs in Priced Timed Petri Nets
(
LICS 2011
)
More Information...
Paper:
Piotr Hofman
Richard Mayr
Patrick Totzke
Decidability of Weak Simulation on One-Counter Nets
(
LICS 2013
)
More Information...
Paper:
Parosh A. Abdulla
Mohamed Faouzi Atig
Piotr Hofman
Richard Mayr
K. Narayan Kumar
Patrick Totzke
Infinite-state energy games
(
LICS 2014
)
More Information...
Paper:
Stefan Kiefer
Richard Mayr
Mahsa Shirmohammadi
Dominik Wojtczak
Parity objectives in countable MDPs
(
LICS 2017
)
More Information...
Paper:
Richard Mayr
Sven Schewe
Patrick Totzke
Dominik Wojtczak
MDPs with energy-parity objectives
(
LICS 2017
)
More Information...
Paper:
Stefan Kiefer
Richard Mayr
Mahsa Shirmohammadi
Dominik Wojczak
On strong determinacy of countable stochastic games
(
LICS 2017
)
More Information...
Filip Mazowiecki
Paper:
Witold Charatonik
Emanuel Kieronski
Filip Mazowiecki
Decidability of weak logics with deterministic transitive closure
(
LICS 2014
)
More Information...
Paper:
Lorenzo Clemente
Slawomir Lasota
Ranko Lazic
Filip Mazowiecki
Timed pushdown automata and branching vector addition systems
(
LICS 2017
)
More Information...
Paper:
Michael Blondin
Tim Leys
Filip Mazowiecki
Philip Offtermatt
Guillermo A. Pérez
Continuous One-Counter Automata
(
LICS 2021
)
More Information...
Paper:
Wojciech Czerwinski
Engel Lefaucheux
Filip Mazowiecki
David Purser
Markus A. Whiteland
The boundedness and zero isolation problems for weighted automata over nonnegative rationals
(
LICS 2022
)
More Information...
Paper:
Michael Blondin
Filip Mazowiecki
Philip Offtermatt
The complexity of soundness in workflow nets
(
LICS 2022
)
More Information...
Paper:
Michael Blondin
Alain Finkel
Piotr Hofman
Filip Mazowiecki
Philip Offtermatt
Soundness of reset workflow nets
(
LICS 2024
)
More Information...
Paper:
Ismaël Jecker
Filip Mazowiecki
David Purser
Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata
(
LICS 2024
)
More Information...
Damiano Mazza
Paper:
Damiano Mazza
An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
(
LICS 2012
)
More Information...
Paper:
Damiano Mazza
Church Meets Cook and Levin
(
LICS 2016
)
More Information...
David A. McAllester
Paper:
David A. McAllester
Robert Givan
Carl Witty
Dexter C. Kozen
Tarskian Set Constraints
(
LICS 1996
)
More Information...
Invited Paper:
David A. McAllester
Methods of Automated Complexity for Inference Rules
(
LICS 1997
)
More Information...
Paper:
Nevin Heintze
David A. McAllester
On the Cubic Bottleneck in Subtyping and Flow Analysis
(
LICS 1997
)
More Information...
Paper:
Witold Charatonik
David A. McAllester
Damian Niwinski
Andreas Podelski
Igor Walukiewicz
The Horn Mu-calculus
(
LICS 1998
)
More Information...
Ken McAloon
Paper:
Gabriel M. Kuper
Ken McAloon
Krishna V. Palem
Kenneth J. Perry
Efficient parallel algorithms for anti-unification and relative complement
(
LICS 1988
)
More Information...
Paper:
Jean-Louis Lassez
Ken McAloon
A constraint sequent calculus
(
LICS 1990
)
More Information...
Conor McBride
Paper:
Pierre-Évariste Dagand
Conor McBride
A Categorical Treatment of Ornaments
(
LICS 2013
)
More Information...
John McCarthy
Invited Paper:
John McCarthy
Advice about logical AI
(
LICS 2003
)
More Information...
Gregory L. McColm
Paper:
Erich Grädel
Gregory L. McColm
Deterministic vs. nondeterministic transitive closure logic
(
LICS 1992
)
More Information...
Paper:
Gregory L. McColm
Zero-one laws for Gilbert random graphs
(
LICS 1996
)
More Information...
William McCune
Invited Paper:
William McCune
Searching for Fixed-Point Combinators with the Kernel Method
(
LICS 1990
)
More Information...
Guy McCusker
Paper:
Samson Abramsky
Guy McCusker
Games and Full Abstraction for the Lazy Lambda-Calculus
(
LICS 1995
)
More Information...
Paper:
Guy McCusker
Games and Full Abstraction for FPC
(
LICS 1996
)
More Information...
Paper:
Samson Abramsky
Kohei Honda
Guy McCusker
A Fully Abstract Game Semantics for General References
(
LICS 1998
)
More Information...
Paper:
Russell Harmer
Guy McCusker
A Fully Abstract Game Semantics for Finite Nondeterminism
(
LICS 1999
)
More Information...
Paper:
Martin Churchill
James Laird
Guy McCusker
Imperative Programs as Proofs via Game Semantics
(
LICS 2011
)
More Information...
Paper:
James Laird
Giulio Manzonetto
Guy McCusker
Michele Pagani
Weighted Relational Models of Typed Lambda-Calculi
(
LICS 2013
)
More Information...
Raymond C. McDowell
Paper:
Raymond C. McDowell
Dale A. Miller
A Logic for Reasoning with Higher-Order Abstract Syntax
(
LICS 1997
)
More Information...
Annabelle McIver
Paper:
Annabelle McIver
Larissa Meinicke
Carroll Morgan
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism
(
LICS 2012
)
More Information...
Paper:
Annabelle McIver
Carroll Morgan
Tahiry M. Rabehaja
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
(
LICS 2015
)
More Information...
Paper:
Natasha Fernandes
Annabelle McIver
Carroll Morgan
The Laplace Mechanism has optimal utility for differential privacy over continuous queries
(
LICS 2021
)
More Information...
Pierre McKenzie
Paper:
Augustin Baziramwabo
Pierre McKenzie
Denis Thérien
Modular Temporal Logic
(
LICS 1999
)
More Information...
Paper:
Michael Blondin
Alain Finkel
Stefan Göller
Christoph Haase
Pierre McKenzie
Reachability in Two-Dimensional Vector Addition Systems with States Is PSPACE-Complete
(
LICS 2015
)
More Information...
Ralph McKenzie
Paper:
Pawel Idziak
Petar Markovic
Ralph McKenzie
Matthew Valeriote
Ross Willard
Tractability and learnability arising from algebras with few subpowers
(
LICS 2007
)
More Information...
Richard McKinley
Short Presentation:
Richard McKinley
Categorical Models of First-Order Classical Sequent Proofs
(
LICS 2004
)
More Information...
Kenneth L. McMillan
Paper:
Edmund M. Clarke
David E. Long
Kenneth L. McMillan
Compositional model checking
(
LICS 1989
)
More Information...
Paper:
Jerry R. Burch
Edmund M. Clarke
Kenneth L. McMillan
David L. Dill
L. James Hwang
Symbolic model checking: 10^20 states and beyond
(
LICS 1990
)
More Information...
Paper:
Rajeev Alur
Kenneth L. McMillan
Doron A. Peled
Model-checking of correctness conditions for concurrent objects
(
LICS 1996
)
More Information...
Invited Paper:
Kenneth L. McMillan
Some Strategies for Proving Theorems with a Model Checker
(
LICS 2000
)
More Information...
J. Antonio Medina
Paper:
J. Antonio Medina
Neil Immerman
A syntactic characterization of NP-completeness
(
LICS 1994
)
More Information...
Paper:
J. Antonio Medina
Neil Immerman
A generalization of Fagin's theorem
(
LICS 1996
)
More Information...
Kuldeep S. Meel
Paper:
Kuldeep S. Meel
S. Akshay
Sparse Hashing for Scalable Approximate Model Counting: Theory and Practice
(
LICS 2020
)
More Information...
Paper:
Remi Delannoy
Kuldeep S. Meel
On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing
(
LICS 2022
)
More Information...
Tobias Meggendorfer
Paper:
Jan Kretínský
Tobias Meggendorfer
Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes
(
LICS 2018
)
More Information...
Paper:
Jan Kretínský
Tobias Meggendorfer
Maximilian Weininger
Stopping Criteria for Value Iteration on Stochastic Games with Quantitative Objectives
(
LICS 2023
)
More Information...
Nimrod Megiddo
Paper:
Ronald Fagin
Joseph Y. Halpern
Nimrod Megiddo
A logic for reasoning about probabilities
(
LICS 1988
)
More Information...
Fabian Meier
Paper:
Jasmin Christian Blanchette
Fabian Meier
Andrei Popescu
Dmitriy Traytel
Foundational nonuniform (Co)datatypes for higher-order logic
(
LICS 2017
)
More Information...
Arne Meier
Paper:
Jens Oliver Gutsfeld
Arne Meier
Christoph Ohrem
Jonni Virtema
Temporal Team Semantics Revisited
(
LICS 2022
)
More Information...
Larissa Meinicke
Paper:
Annabelle McIver
Larissa Meinicke
Carroll Morgan
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism
(
LICS 2012
)
More Information...
Hernán C. Melgratti
Paper:
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally
(
LICS 2018
)
More Information...
Paper:
Hernán C. Melgratti
Claudio Antares Mezzina
G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures
(
LICS 2021
)
More Information...
Paul-André Melliès
Paper:
Paul-André Melliès
Noam Zeilberger
A bifibrational reconstruction of Lawvere's presheaf hyperdoctrine
(
LICS 2016
)
More Information...
Paper:
Paul-André Melliès
Higher-order parity automata
(
LICS 2017
)
More Information...
Paper:
Paul-André Melliès
Ribbon Tensorial Logic
(
LICS 2018
)
More Information...
Paper:
Paul-André Melliès
Léo Stefanesco
An Asynchronous Soundness Theorem for Concurrent Separation Logic
(
LICS 2018
)
More Information...
Paper:
Paul-André Melliès
Template games and differential linear logic
(
LICS 2019
)
More Information...
Paper:
Paul-André Melliès
Léo Stefanesco
Concurrent Separation Logic Meets Template Games
(
LICS 2020
)
More Information...
Paper:
Paul-André Melliès
Asynchronous Template Games and the Gray Tensor Product of 2-Categories
(
LICS 2021
)
More Information...
Paul-André Melliès
Paper:
Georges Gonthier
Jean-Jacques Lévy
Paul-André Melliès
An abstract standardisation theorem
(
LICS 1992
)
More Information...
Paper:
Paul-André Melliès
A Stability Theorem in Rewriting Theory
(
LICS 1998
)
More Information...
Paper:
Samson Abramsky
Paul-André Melliès
Concurrent Games and Full Completeness
(
LICS 1999
)
More Information...
Paper:
Paul-André Melliès
Jerome Vouillon
Recursive Polymorphic Types and Parametricity in an Operational Framework
(
LICS 2005
)
More Information...
Paper:
Paul-André Melliès
Asynchronous Games 4: A Fully Complete Model of Propositional Linear Logic
(
LICS 2005
)
More Information...
Invited Paper:
Russell Harmer
Martin Hyland
Paul-André Melliès
Categorical Combinatorics for Innocent Strategies
(
LICS 2007
)
More Information...
Paper:
Paul-André Melliès
Nicolas Tabareau
Resource modalities in game semantics
(
LICS 2007
)
More Information...
Paper:
Paul-André Melliès
Segal condition meets computational effects
(
LICS 2010
)
More Information...
Paper:
Paul-André Melliès
Game Semantics in String Diagrams
(
LICS 2012
)
More Information...
Paper:
Kenji Maillard
Paul-André Melliès
A Fibrational Account of Local States
(
LICS 2015
)
More Information...
Paper:
Paul-André Melliès
A Functorial Excursion Between Algebraic Geometry and Linear Logic
(
LICS 2022
)
More Information...
Mohamed N. Menaa
Short Presentation:
Mohamed N. Menaa
On the Compositionality of Round Abstraction
(
LICS 2010
)
More Information...
Paul F. Mendler
Paper:
Paul F. Mendler
Peter Aczel
The notion of a framework and a framework for LTC
(
LICS 1988
)
More Information...
Nax P. Mendler
Paper:
Nax P. Mendler
Prakash Panangaden
Robert L. Constable
Infinite Objects in Type Theory
(
LICS 1986
)
More Information...
Paper:
Nax P. Mendler
Recursive Types and Type Constraints in Second-Order Lambda Calculus
(
LICS 1987
)
More Information...
Paper:
Nax P. Mendler
Predictive type universes and primitive recursion
(
LICS 1991
)
More Information...
Stefan Mengel
Paper:
Hubie Chen
Stefan Mengel
The logic of counting query answers
(
LICS 2017
)
More Information...
Roy Mennicke
Paper:
Benedikt Bollig
Dietrich Kuske
Roy Mennicke
The Complexity of Model Checking Multi-stack Systems
(
LICS 2013
)
More Information...
Alexandru Mereacre
Paper:
Taolue Chen
Tingting Han
Joost-Pieter Katoen
Alexandru Mereacre
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications
(
LICS 2009
)
More Information...
José Meseguer
Paper:
Joseph A. Goguen
José Meseguer
Order-Sorted Algebra solves the Constructor-Selector, Multiple
(
LICS 1987
)
More Information...
Paper:
José Meseguer
Ugo Montanari
Petri nets are monoids: a new algebraic foundation for net theory
(
LICS 1988
)
More Information...
Paper:
Pierpaolo Degano
José Meseguer
Ugo Montanari
Axiomatizing net computations and processes
(
LICS 1989
)
More Information...
Noémie Meunier
Paper:
Véronique Bruyére
Noémie Meunier
Jean-François Raskin
Secure equilibria in weighted games
(
LICS 2014
)
More Information...
Christoph Meyer
Paper:
Harald Ganzinger
Christoph Meyer
Margus Veanes
The Two-Variable Guarded Fragment with Transitive Relations
(
LICS 1999
)
More Information...
Albert R. Meyer
Paper:
Albert R. Meyer
Floyd-Hoare Logic Defines Semantics: Preliminary Version
(
LICS 1986
)
More Information...
Paper:
Val Breazu-Tannen
Albert R. Meyer
Polymorphism is conservative over simple types (Preliminary Report)
(
LICS 1987
)
More Information...
Invited Paper:
Albert R. Meyer
Stavros S. Cosmadakis
Semantical paradigms: notes for an invited lecture
(
LICS 1988
)
More Information...
Paper:
Stavros S. Cosmadakis
Albert R. Meyer
Jon G. Riecke
Completeness for typed lazy inequalities
(
LICS 1990
)
More Information...
Paper:
Lalita Jategaonkar
Albert R. Meyer
Self-synchronization of concurrent processes
(
LICS 1993
)
More Information...
Roland Meyer
Paper:
Emanuele D'Osualdo
Roland Meyer
Georg Zetzsche
First-order logic with reachability for infinite-state systems
(
LICS 2016
)
More Information...
Paper:
Eren Keskin
Roland Meyer
On the Separability Problem of VASS Reachability Languages
(
LICS 2024
)
More Information...
Antoine Meyer
Paper:
Arnaud Carayol
Matthew Hague
Antoine Meyer
C.-H. Luke Ong
Olivier Serre
Winning Regions of Higher-Order Pushdown Games
(
LICS 2008
)
More Information...
Jeremy Meyers
Short Presentation:
Antti Kuusisto
Jeremy Meyers
Jonni Virtema
Undecidable First-Order Theories of Affine Geometries
(
LICS 2012
)
More Information...
Balázs F. Mezei
Paper:
Balázs F. Mezei
Marcin Wrochna
Stanislav Zivný
PTAS for Sparse General-Valued CSPs
(
LICS 2021
)
More Information...
Claudio Antares Mezzina
Paper:
Hernán C. Melgratti
Claudio Antares Mezzina
G. Michele Pinna
A distributed operational view of Reversible Prime Event Structures
(
LICS 2021
)
More Information...
Alexei Miasnikov
Paper:
Sanjay Jain
Alexei Miasnikov
Frank Stephan
The Complexity of Verbal Languages over Groups
(
LICS 2012
)
More Information...
Henryk Michalewski
Paper:
Decidability Leszek Aleksander Kolodziejczyk
Henryk Michalewski
How unprovable is Rabin's decidability theorem?
(
LICS 2016
)
More Information...
Jakub Michaliszyn
Paper:
Jerzy Marcinkowski
Jakub Michaliszyn
The Ultimate Undecidability Result for the Halpern-Shoham Logic
(
LICS 2011
)
More Information...
Paper:
Emanuel Kieronski
Jakub Michaliszyn
Ian Pratt-Hartmann
Lidia Tendera
Two-Variable First-Order Logic with Equivalence Closure
(
LICS 2012
)
More Information...
Paper:
Jakub Michaliszyn
Jan Otop
Decidable Elementary Modal Logics
(
LICS 2012
)
More Information...
Spiro Michaylov
Paper:
Soumitra Bose
Edmund M. Clarke
David E. Long
Spiro Michaylov
PARTHENON: a parallel theorem prover for non-Horn clauses
(
LICS 1989
)
More Information...
Vincent Michielini
Paper:
Oskar Fiuk
Emanuel Kieronski
Vincent Michielini
On the complexity of Maslov's class K
(
LICS 2024
)
More Information...
Paper:
Nathan Lhote
Vincent Michielini
Michal Skrzypczak
Uniformisation of Regular Relations in First-Order Logic with Two Variables
(
LICS 2024
)
More Information...
Marino Miculan
Paper:
Marino Miculan
Fabio Gadducci
Modal µ-Types for Processes
(
LICS 1995
)
More Information...
Aart Middeldorp
Paper:
Aart Middeldorp
A sufficient condition for the termination of the direct sum of term rewriting systems
(
LICS 1989
)
More Information...
Paper:
Fabian Mitterwallner
Aart Middeldorp
René Thiemann
Linear Termination is Undecidable
(
LICS 2024
)
More Information...
Alex Mifsud
Paper:
Alex Mifsud
Robin Milner
A. John Power
Control Structures
(
LICS 1995
)
More Information...
Stefan Milius
Short Presentation:
Jiri Adamek
Stefan Milius
Wellfounded Coalgebras
(
LICS 2005
)
More Information...
Paper:
Stefan Milius
A Sound and Complete Calculus for Finite Stream Circuits
(
LICS 2010
)
More Information...
Paper:
Jiri Adamek
Stefan Milius
Nathan Bowler
Paul Blain Levy
Coproducts of Monads on Set
(
LICS 2012
)
More Information...
Paper:
Jiri Adamek
Robert S. R. Myers
Henning Urbat
Stefan Milius
Varieties of Languages in a Category
(
LICS 2015
)
More Information...
Paper:
Chase Ford
Stefan Milius
Lutz Schröder
Behavioural Preorders via Graded Monads
(
LICS 2021
)
More Information...
Paper:
Chase Ford
Stefan Milius
Lutz Schröder
Harsh Beohar
Barbara König
Graded Monads and Behavioural Equivalence Games
(
LICS 2022
)
More Information...
Paper:
Henning Urbat
Stelios Tsampas
Sergey Goncharov
Stefan Milius
Lutz Schröder
Weak Similarity in Higher-Order Mathematical Operational Semantics
(
LICS 2023
)
More Information...
Paper:
Sergey Goncharov
Stefan Milius
Stelios Tsampas
Henning Urbat
Bialgebraic Reasoning on Higher-order Program Equivalence
(
LICS 2024
)
More Information...
Paper:
Thorsten Wißmann
Stefan Milius
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda
(
LICS 2024
)
More Information...
Dale A. Miller
Paper:
Dale A. Miller
Gopalan Nadathur
Andre Scedrov
Hereditary Harrop Formulas and Uniform Proof Systems
(
LICS 1987
)
More Information...
Paper:
Joshua S. Hodas
Dale A. Miller
Logic programming in a fragment of intuitionistic linear logic
(
LICS 1991
)
More Information...
Paper:
Dale A. Miller
A multiple-conclusion meta-logic
(
LICS 1994
)
More Information...
Paper:
Raymond C. McDowell
Dale A. Miller
A Logic for Reasoning with Higher-Order Abstract Syntax
(
LICS 1997
)
More Information...
Paper:
Dale A. Miller
Alwen F. Tiu
A Proof Theory for Generic Judgments: An extended abstract
(
LICS 2003
)
More Information...
Paper:
Andrew Gacek
Dale A. Miller
Gopalan Nadathur
Combining Generic Judgments with Recursive Definitions
(
LICS 2008
)
More Information...
Paper:
Olivier Delande
Dale A. Miller
A Neutral Approach to Proof and Refutation in MALL
(
LICS 2008
)
More Information...
Paper:
Chuck Liang
Dale A. Miller
A Unified Sequent Calculus for Focused Proofs
(
LICS 2009
)
More Information...
Paper:
Chuck Liang
Dale A. Miller
(
LICS 2013
)
More Information...
Dale Miller
Paper:
Dale Miller
A system of inference based on proof search: an extended abstract
(
LICS 2023
)
More Information...
Robin Milner
Invited Paper:
Robin Milner
Some Uses of Maximal Fixed Points
(
LICS 1987
)
More Information...
Paper:
Alex Mifsud
Robin Milner
A. John Power
Control Structures
(
LICS 1995
)
More Information...
Invited Paper:
Robin Milner
Calculi for Interactions
(
LICS 1996
)
More Information...
Tova Milo
Paper:
Noga Alon
Tova Milo
Frank Neven
Dan Suciu
Victor Vianu
Typechecking XML Views of Relational Databases
(
LICS 2001
)
More Information...
Kathleen Milsted
Paper:
Giuseppe Longo
Kathleen Milsted
Sergei Soloviev
The genericity theorem and the notion of parametricity in the polymorphic λ-calculus
(
LICS 1993
)
More Information...
Paper:
Giuseppe Longo
Kathleen Milsted
Sergei Soloviev
A logic of subtyping
(
LICS 1995
)
More Information...
Peter Bro Miltersen
Paper:
Kristoffer Arnsfelt Hansen
Michal Koucký
Peter Bro Miltersen
Winning Concurrent Reachability Games Requires Doubly-Exponential Patience
(
LICS 2009
)
More Information...
Samuel Mimram
Paper:
Samuel Mimram
The Structure of First-Order Causality
(
LICS 2009
)
More Information...
Paper:
Eric Finster
Samuel Mimram
A type-theoretical definition of weak ω-categories
(
LICS 2017
)
More Information...
Paper:
Cédric Ho Thanh
Pierre-Louis Curien
Samuel Mimram
A Sequent Calculus for Opetopes
(
LICS 2019
)
More Information...
Paper:
Simon Forest
Samuel Mimram
Describing free $\omega$ -categories
(
LICS 2019
)
More Information...
Paper:
Samuel Mimram
Émile Oleon
Delooping cyclic groups with lens spaces in homotopy type theory
(
LICS 2024
)
More Information...
Matteo Mio
Paper:
Matteo Mio
Robert Furber
Radu Mardare
Riesz Modal logic for Markov processes
(
LICS 2017
)
More Information...
Paper:
Matteo Mio
Riesz Modal Logic with Threshold Operators
(
LICS 2018
)
More Information...
Paper:
Matteo Mio
Ralph Sarkis
Valeria Vignudelli
Combining Nondeterminism, Probability, and Termination: Equational and Metric Reasoning
(
LICS 2021
)
More Information...
Paper:
Matteo Mio
Ralph Sarkis
Valeria Vignudelli
Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning
(
LICS 2022
)
More Information...
Alexandre Miquel
Paper:
Alexandre Miquel
A Model for Impredicative Type Systems, Universes, Intersection Types and Subtyping
(
LICS 2000
)
More Information...
Paper:
Alexandre Miquel
Forcing as a Program Transformation
(
LICS 2011
)
More Information...
Paper:
Alejandro Díaz-Caro
Mauricio Guillermo
Alexandre Miquel
Benoît Valiron
Realizability in the Unitary Sphere
(
LICS 2019
)
More Information...
Étienne Miquey
Paper:
Étienne Miquey
A sequent calculus with dependent types for classical arithmetic
(
LICS 2018
)
More Information...
Paper:
Hugo Herbelin
Étienne Miquey
A calculus of expandable stores: Continuation-and-environment-passing style translations
(
LICS 2020
)
More Information...
Paper:
Liron Cohen
Étienne Miquey
Ross Tate
Evidenced Frames: A Unifying Framework Broadening Realizability Models
(
LICS 2021
)
More Information...
Michael W. Mislove
Paper:
Michael W. Mislove
Lawrence S. Moss
Frank J. Oles
Non-well-founded sets obtained from ideal fixed points
(
LICS 1989
)
More Information...
Paper:
Xiaodong Jia
Bert Lindenhovius
Michael W. Mislove
Vladimir Zamdzhiev
Commutative Monads for Probabilistic Programming Languages
(
LICS 2021
)
More Information...
Michael Mislove
Paper:
Bert Lindenhovius
Michael Mislove
Vladimir Zamdzhiev
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams
(
LICS 2018
)
More Information...
John C. Mitchell
Paper:
John C. Mitchell
Eugenio Moggi
Kripke-Style models for typed lambda calculus
(
LICS 1987
)
More Information...
Paper:
Patrick Lincoln
John C. Mitchell
Operational aspects of linear lambda calculus
(
LICS 1992
)
More Information...
Paper:
John C. Mitchell
Furio Honsell
Kathleen Fisher
A lambda calculus of objects and method specialization
(
LICS 1993
)
More Information...
Paper:
My Hoang
John C. Mitchell
Ramesh Viswanathan
Standard ML-NJ weak polymorphism and imperative constructs
(
LICS 1993
)
More Information...
Invited Paper:
John C. Mitchell
Ajith Ramanathan
Vanessa Teague
Andre Scedrov
Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis
(
LICS 2001
)
More Information...
Paper:
Adam Barth
John C. Mitchell
Managing Digital Rights using Linear Logic
(
LICS 2006
)
More Information...
Fabian Mitterwallner
Paper:
Fabian Mitterwallner
Aart Middeldorp
René Thiemann
Linear Termination is Undecidable
(
LICS 2024
)
More Information...
Wojciech Moczydlowski
Paper:
Wojciech Moczydlowski
A Dependent Set Theory
(
LICS 2007
)
More Information...
Hugo Moeneclaey
Paper:
Hugo Moeneclaey
Parametricity and Semi-Cubical Types
(
LICS 2021
)
More Information...
Joshua Moerman
Paper:
Mikolaj Bojanczyk
Bartek Klin
Joshua Moerman
Orbit-Finite-Dimensional Vector Spaces and Weighted Register Automata
(
LICS 2021
)
More Information...
Anders Mörtberg
Paper:
Thierry Coquand
Simon Huber
Anders Mörtberg
On Higher Inductive Types in Cubical Type Theory
(
LICS 2018
)
More Information...
Fabio Mogavero
Paper:
Alessandro Bianco
Fabio Mogavero
Aniello Murano
Graded Computation Tree Logic
(
LICS 2009
)
More Information...
Paper:
Fabio Mogavero
Aniello Murano
Luigi Sauro
On the Boundary of Behavioral Strategies
(
LICS 2013
)
More Information...
Paper:
Massimo Benerecetti
Fabio Mogavero
Aniello Murano
Substructure Temporal Logic
(
LICS 2013
)
More Information...
Paper:
Simone Bova
Fabio Mogavero
Herbrand property, finite quasi-Herbrand models, and a Chandra-Merlin theorem for quantified conjunctive queries
(
LICS 2017
)
More Information...
Paper:
Massimo Benerecetti
Laura Bozzelli
Fabio Mogavero
Adriano Peron
Quantifying Over Trees in Monadic Second-Order Logic
(
LICS 2023
)
More Information...
Virgile Mogbil
Paper:
Paulin Jacobé de Naurois
Virgile Mogbil
Correctness of Multiplicative Additive Proof Structures is NL-Complete
(
LICS 2008
)
More Information...
Rasmus E. Møgelberg
Paper:
Rasmus E. Møgelberg
Alex K. Simpson
Relational Parametricity for Computational Effects
(
LICS 2007
)
More Information...
Paper:
Lars Birkedal
Rasmus E. Møgelberg
Jan Schwinghammer
Kristian Støvring
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees
(
LICS 2011
)
More Information...
Paper:
Lars Birkedal
Rasmus E. Møgelberg
Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes
(
LICS 2013
)
More Information...
Paper:
Rasmus E. Møgelberg
A type theory for productive coprogramming via guarded recursion
(
LICS 2014
)
More Information...
Paper:
Rasmus E. Møgelberg
Marco Paviotti
Denotational semantics of recursive types in synthetic guarded domain theory
(
LICS 2016
)
More Information...
Paper:
Patrick Bahr
Hans Bugge Grathwohl
Rasmus E. Møgelberg
The clocks are ticking: No more delays!
(
LICS 2017
)
More Information...
Eugenio Moggi
Paper:
John C. Mitchell
Eugenio Moggi
Kripke-Style models for typed lambda calculus
(
LICS 1987
)
More Information...
Paper:
Eugenio Moggi
Computational lambda-calculus and monads
(
LICS 1989
)
More Information...
Paper:
Eugenio Moggi
A general semantics for Evaluation Logic
(
LICS 1994
)
More Information...
Paper:
Marcelo P. Fiore
Eugenio Moggi
Davide Sangiorgi
A Fully-Abstract Model for the pi-calculus (Extended Abstract)
(
LICS 1996
)
More Information...
Christine Mohring
Paper:
Christine Mohring
Algorithm Development in the Calculus of Constructions
(
LICS 1986
)
More Information...
Faron Moller
Paper:
Faron Moller
The nonexistence of finite axiomatisations for CCS congruences
(
LICS 1990
)
More Information...
Paper:
Søren Christensen
Yoram Hirshfeld
Faron Moller
Decomposability, decidability and axiomatisability for bisimulation equivalence on basic parallel processes
(
LICS 1993
)
More Information...
Paper:
Faron Moller
Alexander M. Rabinovich
On the Expressive Power of CTL
(
LICS 1999
)
More Information...
Dario Della Monica
Paper:
Dario Della Monica
Angelo Montanari
Gabriele Puppis
Pietro Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*
(
LICS 2023
)
More Information...
Benoit Monin
Paper:
Laurent Bienvenu
Benoit Monin
Von Neumann's Biased Coin Revisited
(
LICS 2012
)
More Information...
Paper:
Benoit Monin
André Nies
A Unifying Approach to the Gamma Question
(
LICS 2015
)
More Information...
Paper:
Benoit Monin
An answer to the Gamma question
(
LICS 2018
)
More Information...
Benjamin Monmege
Paper:
Benedikt Bollig
Paul Gastin
Benjamin Monmege
Marc Zeitoun
Logical characterization of weighted pebble walking automata
(
LICS 2014
)
More Information...
Stefan Monnier
Paper:
Nadeem A. Hamid
Zhong Shao
Valery Trifonov
Stefan Monnier
Zhaozhong Ni
A Syntactic Approach to Foundational Proof-Carrying Code
(
LICS 2002
)
More Information...
Yoàv Montacute
Paper:
Yoàv Montacute
Nihil Shah
The Pebble-Relation Comonad in Finite Model Theory
(
LICS 2022
)
More Information...
Paper:
Yoàv Montacute
Glynn Winskel
Concurrent Games over Relational Structures: The Origin of Game Comonads
(
LICS 2024
)
More Information...
Antonio Montalbán
Paper:
Greg Hjorth
Bakhadyr Khoussainov
Antonio Montalbán
André Nies
From Automatic Structures to Borel Structures
(
LICS 2008
)
More Information...
Ugo Montanari
Paper:
Pierpaolo Degano
Rocco De Nicola
Ugo Montanari
On the consistency of `truly concurrent' operational and denotational semantics
(
LICS 1988
)
More Information...
Paper:
José Meseguer
Ugo Montanari
Petri nets are monoids: a new algebraic foundation for net theory
(
LICS 1988
)
More Information...
Paper:
Pierpaolo Degano
José Meseguer
Ugo Montanari
Axiomatizing net computations and processes
(
LICS 1989
)
More Information...
Invited Paper:
Roberto Bruni
Ugo Montanari
Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus
(
LICS 1999
)
More Information...
Paper:
Filippo Bonchi
Ugo Montanari
Barbara König
Saturated Semantics for Reactive Systems
(
LICS 2006
)
More Information...
Paper:
Roberto Bruni
Hernán C. Melgratti
Ugo Montanari
Concurrency and Probability: Removing Confusion, Compositionally
(
LICS 2018
)
More Information...
Angelo Montanari
Paper:
Angelo Montanari
Gabriele Puppis
A Contraction Method to Decide MSO Theories of Deterministic Trees
(
LICS 2007
)
More Information...
Paper:
Davide Bresolin
Angelo Montanari
Pietro Sala
Guido Sciavicco
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL
(
LICS 2011
)
More Information...
Paper:
Angelo Montanari
Pietro Sala
Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness
(
LICS 2013
)
More Information...
Paper:
Dario Della Monica
Angelo Montanari
Gabriele Puppis
Pietro Sala
The Logic of Prefixes and Suffixes is Elementary under Homogeneity*
(
LICS 2023
)
More Information...
Luís F. Monteiro
Paper:
Luís F. Monteiro
Fernando C. N. Pereira
A Sheaf-Theoretic Model of Concurrency
(
LICS 1986
)
More Information...
J. Strother Moore
Invited Paper:
J. Strother Moore
Theorem Proving for Verification: The Early Days
(
LICS 2010
)
More Information...
Brandon M. Moore
Paper:
Grigore Rosu
Andrei Stefanescu
Stefan Ciobaca
Brandon M. Moore
One-Path Reachability Logic
(
LICS 2013
)
More Information...
Matthew Moore
Paper:
Matthew Moore
Taylor Walenczyk
The Hidden Subgroup Problem for Universal Algebras
(
LICS 2020
)
More Information...
Marianela Morales
Paper:
Marianna Girlando
Roman Kuznets
Sonia Marin
Marianela Morales
Lutz Straßburger
Intuitionistic S4 is decidable
(
LICS 2023
)
More Information...
Barbara Morawska
Paper:
Christopher Lynch
Barbara Morawska
Automatic Decidability
(
LICS 2002
)
More Information...
Carroll Morgan
Paper:
Yuxin Deng
Rob J. van Glabbeek
Matthew Hennessy
Carroll Morgan
Chenyi Zhang
Characterising Testing Preorders for Finite Probabilistic Processes
(
LICS 2007
)
More Information...
Paper:
Annabelle McIver
Larissa Meinicke
Carroll Morgan
A Kantorovich-Monadic Powerdomain for Information Hiding, with Probability and Nondeterminism
(
LICS 2012
)
More Information...
Paper:
Annabelle McIver
Carroll Morgan
Tahiry M. Rabehaja
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow
(
LICS 2015
)
More Information...
Paper:
Natasha Fernandes
Annabelle McIver
Carroll Morgan
The Laplace Mechanism has optimal utility for differential privacy over continuous queries
(
LICS 2021
)
More Information...
Tsuyoshi Morioka
Short Presentation:
Tsuyoshi Morioka
The Relative Complexity of Local Search Heuristics and the Iteration Principle
(
LICS 2003
)
More Information...
Peter Morris
Paper:
Thorsten Altenkirch
Peter Morris
Indexed Containers
(
LICS 2009
)
More Information...
Yiannis N. Moschovakis
Paper:
Yiannis N. Moschovakis
A game-theoretic modeling of concurrency
(
LICS 1989
)
More Information...
Invited Paper:
Yiannis N. Moschovakis
The Axiomatic Derivation of Absolute Lower Bounds
(
LICS 2008
)
More Information...
Georg Moser
Short Presentation:
Martin Avanzini
Naohi Eguchi
Georg Moser
A New Order-Theoretic Characterisation of the Polytime Computable Functions
(
LICS 2012
)
More Information...
Paper:
Martin Avanzini
Georg Moser
Romain Péchoux
Simon Perdrix
Vladimir Zamdzhiev
Quantum Expectation Transformers for Cost Analysis
(
LICS 2022
)
More Information...
Lawrence S. Moss
Paper:
Michael W. Mislove
Lawrence S. Moss
Frank J. Oles
Non-well-founded sets obtained from ideal fixed points
(
LICS 1989
)
More Information...
Paper:
Clemens Grabmayer
Jörg Endrullis
Dimitri Hendriks
Jan Willem Klop
Lawrence S. Moss
Automatic Sequences and Zip-Specifications
(
LICS 2012
)
More Information...
Sean K. Moss
Paper:
Ohad Kammar
Paul Blain Levy
Sean K. Moss
Sam Staton
A monad for full ground reference cells
(
LICS 2017
)
More Information...
Paper:
Sean K. Moss
Tamara von Glehn
Dialectica models of type theory
(
LICS 2018
)
More Information...
Paper:
Sean K. Moss
Paolo Perrone
Probability monads with submonads of deterministic states
(
LICS 2022
)
More Information...
Paper:
Cristina Matache
Sean K. Moss
Sam Staton
Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction
(
LICS 2022
)
More Information...
Peter D. Mosses
Paper:
Peter D. Mosses
Unified algebras and institutions
(
LICS 1989
)
More Information...
Ben C. Moszkowski
Paper:
Ben C. Moszkowski
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
(
LICS 2000
)
More Information...
Antoine Mottet
Paper:
Manuel Bodirsky
Antoine Mottet
Reducts of finitely bounded homogeneous structures, and lifting tractability from finite-domain constraint satisfaction
(
LICS 2016
)
More Information...
Paper:
Manuel Bodirsky
Florent R. Madelaine
Antoine Mottet
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
(
LICS 2018
)
More Information...
Paper:
Manuel Bodirsky
Antoine Mottet
Miroslav Olsák
Jakub Oprsal
Michael Pinsker
Ross Willard
Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems)
(
LICS 2019
)
More Information...
Paper:
Libor Barto
William J. DeMeo
Antoine Mottet
Constraint Satisfaction Problems over Finite Structures
(
LICS 2021
)
More Information...
Paper:
Antoine Mottet
Michael Pinsker
Smooth approximations and CSPs over finitely bounded homogeneous structures
(
LICS 2022
)
More Information...
Paper:
Libor Barto
Bertalan Bodor
Marcin Kozik
Antoine Mottet
Michael Pinsker
Symmetries of Graphs and Structures that Fail to Interpret a Finite Thing
(
LICS 2023
)
More Information...
Sasank Mouli
Paper:
Russell Impagliazzo
Sasank Mouli
Toniann Pitassi
The Surprising Power of Constant Depth Algebraic Proofs
(
LICS 2020
)
More Information...
Guilhem Moulin
Paper:
Jean-Philippe Bernardy
Guilhem Moulin
A Computational Interpretation of Parametricity
(
LICS 2012
)
More Information...
Short Presentation:
Jean-Philippe Bernardy
Guilhem Moulin
Type-Theory In Color
(
LICS 2013
)
More Information...
Mohammad R. Mousavi
Paper:
Mohammad R. Mousavi
Michel A. Reniers
Jan F. Groote
Congruence for SOS with Data
(
LICS 2004
)
More Information...
Chunyan Mu
Paper:
Eugene Asarin
Michel Blockelet
Aldric Degorre
Catalin Dima
Chunyan Mu
Asymptotic behaviour in temporal logic
(
LICS 2014
)
More Information...
Moritz Müller
Paper:
Yijia Chen
Moritz Müller
Keita Yokoyama
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem
(
LICS 2018
)
More Information...
David E. Muller
Paper:
David E. Muller
Ahmed Saoudi
Paul E. Schupp
Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time
(
LICS 1988
)
More Information...
Martin Müller
Paper:
Martin Müller
Joachim Niehren
Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees
(
LICS 1998
)
More Information...
Paper:
Joachim Niehren
Martin Müller
Jean-Marc Talbot
Entailment of Atomic Set Constraints is PSPACE-Complete
(
LICS 1999
)
More Information...
Moritz Müller
Paper:
Hubie Chen
Moritz Müller
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction
(
LICS 2012
)
More Information...
Paper:
Hubie Chen
Moritz Müller
One hierarchy spawns another: graph deconstructions and the complexity classification of conjunctive queries
(
LICS 2014
)
More Information...
Philip Mulry
Paper:
Peter J. Freyd
Philip Mulry
Giuseppe Rosolini
Dana S. Scott
Extensional PERs
(
LICS 1990
)
More Information...
Guillaume Munch-Maccagnoni
Paper:
Guillaume Munch-Maccagnoni
Formulae-as-types for an involutive negation
(
LICS 2014
)
More Information...
César A. Munoz
Paper:
César A. Munoz
Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus
(
LICS 1996
)
More Information...
Martin Muñoz
Paper:
Marcelo Arenas
Martin Muñoz
Cristian Riveros
Descriptive Complexity for counting complexity classes
(
LICS 2017
)
More Information...
Pablo Muñoz
Paper:
Pablo Barceló
Pablo Muñoz
Graph logics with rational relations: the role of word combinatorics
(
LICS 2014
)
More Information...
Aniello Murano
Paper:
Marco Faella
Salvatore La Torre
Aniello Murano
Dense Real-time Games
(
LICS 2002
)
More Information...
Paper:
Alessandro Bianco
Fabio Mogavero
Aniello Murano
Graded Computation Tree Logic
(
LICS 2009
)
More Information...
Paper:
Fabio Mogavero
Aniello Murano
Luigi Sauro
On the Boundary of Behavioral Strategies
(
LICS 2013
)
More Information...
Paper:
Massimo Benerecetti
Fabio Mogavero
Aniello Murano
Substructure Temporal Logic
(
LICS 2013
)
More Information...
Paper:
Raphaël Berthon
Bastien Maubert
Aniello Murano
Sasha Rubin
Moshe Y. Vardi
Strategy logic with imperfect information
(
LICS 2017
)
More Information...
Andrzej S. Murawski
Paper:
Andrzej S. Murawski
C.-H. Luke Ong
Dominator Trees and Fast Verification of Proof Nets
(
LICS 2000
)
More Information...
Paper:
Andrzej S. Murawski
On Program Equivalence in Languages with Ground-Type References
(
LICS 2003
)
More Information...
Paper:
Samson Abramsky
Dan R. Ghica
Andrzej S. Murawski
C.-H. Luke Ong
Ian D. B. Stark
Nominal Games and Full Abstraction for the Nu-Calculus
(
LICS 2004
)
More Information...
Short Presentation:
Andrzej S. Murawski
On the Effect of Bad Variables
(
LICS 2007
)
More Information...
Paper:
Andrzej S. Murawski
Reachability Games and Game Semantics: Comparing Nondeterministic Programs
(
LICS 2008
)
More Information...
Paper:
Matthew Hague
Andrzej S. Murawski
C.-H. Luke Ong
Olivier Serre
Collapsible Pushdown Automata and Recursion Schemes
(
LICS 2008
)
More Information...
Paper:
Andrzej S. Murawski
Nikos Tzevelekos
Game Semantics for Good General References
(
LICS 2011
)
More Information...
Short Presentation:
Andrzej S. Murawski
Nikos Tzevelekos
Algorithmic nominal game semantics
(
LICS 2011
)
More Information...
Paper:
Michael Benedikt
Stefan Göller
Stefan Kiefer
Andrzej S. Murawski
Bisimilarity of Pushdown Automata is Nonelementary
(
LICS 2013
)
More Information...
Paper:
Andrzej S. Murawski
Steven J. Ramsay
Nikos Tzevelekos
Bisimilarity in Fresh-Register Automata
(
LICS 2015
)
More Information...
Paper:
Guilhem Jaber
Andrzej S. Murawski
Compositional relational reasoning via operational game semantics
(
LICS 2021
)
More Information...
Paper:
Alex Dixon
Ranko Lazic
Andrzej S. Murawski
Igor Walukiewicz
Verifying higher-order concurrency with data automata
(
LICS 2021
)
More Information...
Paper:
Guanyan Li
Andrzej S. Murawski
Luke Ong
Probabilistic Verification Beyond Context-Freeness
(
LICS 2022
)
More Information...
Paper:
Benedict Bunting
Andrzej S. Murawski
Operational Algorithmic Game Semantics
(
LICS 2023
)
More Information...
Paper:
Benedict Bunting
Andrzej S. Murawski
Contextual Equivalence for State and Control via Nested Data
(
LICS 2024
)
More Information...
Filip Murlak
Paper:
Alessandro Facchini
Filip Murlak
Michal Skrzypczak
Rabin-Mostowski Index Problem: A Step beyond Deterministic Automata
(
LICS 2013
)
More Information...
Koko Muroya
Paper:
Naohiko Hoshino
Koko Muroya
Ichiro Hasuo
Memoryful geometry of interaction: from coalgebraic components to algebraic effects
(
LICS 2014
)
More Information...
Paper:
Koko Muroya
Steven W. T. Cheung
Dan R. Ghica
The Geometry of Computation-Graph Abstraction
(
LICS 2018
)
More Information...
Tom Murphy VII
Paper:
Tom Murphy VII
Karl Crary
Robert Harper
Frank Pfenning
A Symmetric Modal Lambda Calculus for Distributed Computing
(
LICS 2004
)
More Information...
Chetan R. Murthy
Paper:
Chetan R. Murthy
James R. Russell
A constructive proof of Higman's lemma
(
LICS 1990
)
More Information...
Paper:
Chetan R. Murthy
An evaluation semantics for classical proofs
(
LICS 1991
)
More Information...
Paper:
Chetan R. Murthy
A computational analysis of Girard's translation and LC
(
LICS 1992
)
More Information...
Anca Muscholl
Paper:
Ahmed Bouajjani
Anca Muscholl
Tayssir Touili
Permutation Rewriting and Algorithmic Verification
(
LICS 2001
)
More Information...
Paper:
Mikołaj Bojańczyk
Anca Muscholl
Thomas Schwentick
Luc Segoufin
Claire David
Two-Variable Logic on Words with Data
(
LICS 2006
)
More Information...
Paper:
Félix Baschenis
Olivier Gauwin
Anca Muscholl
Gabriele Puppis
Untwisting two-way transducers in elementary time
(
LICS 2017
)
More Information...
Paper:
Javier Esparza
Anca Muscholl
Igor Walukiewicz
Static analysis of deterministic negotiations
(
LICS 2017
)
More Information...
Paper:
Anca Muscholl
Igor Walukiewicz
Active learning for sound negotiations✱
(
LICS 2022
)
More Information...
Paper:
Emmanuel Filiot
Ismaël Jecker
Christof Löding
Anca Muscholl
Gabriele Puppis
Sarah Winter
Finite-valued Streaming String Transducers
(
LICS 2024
)
More Information...
David R. Musser
Paper:
Deepak Kapur
David R. Musser
Inductive Reasoning with Incomplete Specifications (Preliminary Report)
(
LICS 1986
)
More Information...
Robert S. R. Myers
Paper:
Jiri Adamek
Robert S. R. Myers
Henning Urbat
Stefan Milius
Varieties of Languages in a Category
(
LICS 2015
)
More Information...
Nikolas Mählmann
Paper:
Édouard Bonnet
Jan Dreier
Jakub Gajarský
Stephan Kreutzer
Nikolas Mählmann
Pierre Simon
Szymon Torunczyk
Model Checking on Interpretations of Classes of Bounded Local Cliquewidth
(
LICS 2022
)
More Information...
Anders Mörtberg
Paper:
Axel Ljungström
Anders Mörtberg
Formalizing π4(S3) ≅Z/2Z and Computing a Brunerie Number in Cubical Agda
(
LICS 2023
)
More Information...
Rasmus Ejlers Møgelberg
Paper:
Magnus Baunsgaard Kristensen
Rasmus Ejlers Møgelberg
Andrea Vezzosi
Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks
(
LICS 2022
)
More Information...
Sebastian Müller
Paper:
Sebastian Müller
Iddo Tzameret
Short Propositional Refutations for Dense Random 3CNF Formulas
(
LICS 2012
)
More Information...
Norbert Müller
Short Presentation:
Akitoshi Kawamura
Norbert Müller
Carsten Rösnick
Martin Ziegler
Uniform Polytime Computable Operators on Univariate Real Analytic Functions
(
LICS 2012
)
More Information...
Last modified: 2024-10-24
9:41
Sam Staton