Skip to content

International Symposium on Mathematical Foundations of Computer Science

MFCS

B

CORE rank

CORE rank (raw)

B

Fields of research

Theory of Computation

Papers indexed

3,347

1973–2026

Papers per year

1973101 peak2026

MFCS papers

3,347 records sourced from DBLP. Search titles, filter by year, sort by recency.

YearTitleAuthors
2026Front Matter, Table of Contents, Preface, Conference Organization.
2026Logics for Context-Free Hyperproperties.Sarah Winter, Martin Zimmermann
2026Some Recent Developments in Space Complexity (Invited Talk).R. Ryan Williams
2026Fast Rational Search via Stern-Brocot Tree.Connor Weyers, N. V. Vinodchandran
2026Randomized and Quantum Lifting for One-Way Conservative NOF Model.Haoyu Wang, Pei Wu
2026The Art of Balance: Many Facets of Dyck Recognition (Invited Talk).Tatiana Starikovskaya
2026Towards a Universal Gateset for QMA₁.Dorian Rudolph
2026Highly-Efficient Local Proofs and Codes (Invited Talk).Noga Ron-Zewi
2026On the Parameterized Complexity of Bounded-Density Vertex Deletion.Jakob Raupach, Tom-Lukas Breitkopf, Anton Herrmann, Andr Nichterlein
2026Diagrammatic Reasoning, Formally (Invited Talk).Damien Pous
2026Beating Trivial Time for Tricky Triangle Tasks.Neha Pant, Ryan Williams
2026Homotopy Theory in Complexity of the Graph Homomorphism Problem (Invited Talk).Jakub Oprsal
2026Finite-State Dimension for Continued Fractions: Betting, Entropy and Normality.Satyadev Nandakumar, Subin Pulari, Akhil S
2026En Route to a Standard QMA₁ vs. QCMA Oracle Separation.David Miloschewsky, Supartha Podder, Dorian Rudolph
2026Bi-Criteria Approximations for Vertex Deletion Problems and d-Hitting Set.Soumen Mandal, Ashutosh Rai, Saket Saurabh
2026Distinguishing Elements in Semigroups.Markus Lohrey, Alexander Thumm, Julio Xochitemol
2026Product-State Approximation Algorithms for the Transverse Field Ising Model.Vincenzo Lipardi, David Mestel, Georgios Stamoulis
2026Boolean Combinations of ω-Rational Trace Languages: Emptiness, Rationality, Regularity.Dietrich Kuske
2026On the Tension Between Full-Rankness and Self-Reducibility for Set-Multilinear Polynomials.Deepanshu Kush
2026The Parameterized Complexity of Maximum Span on Natural Matroid Classes.Madhumita Kundu, Ashutosh Rai, Sahiba, Saket Saurabh
2026On CC⁰ Lower Bounds for AND via Torus Polynomials.Vaibhav Krishan, Jayalal Sarma
2026Smallest Suffixient Set Maintenance in Near-Real-Time.Dominik Kppl, Gregory Kucherov
2026Monotone Bounded Depth Formula Complexity of Graph Homomorphism Polynomials.Balagopal Komarath, Rohit Narayanan
2026Counting Patterns in Degenerate Graphs in Constant Space.Balagopal Komarath, Anant Kumar, Akash Pareek
2026On Equivalent Characterizations of the Polynomial Hierarchy in Abstract Models of Computation.Jeremy C. Kirn, Lucas Meijer, Tillmann Miltzow, Hans L. Bodlaender
125 of 3,347← PreviousNext →

Comparable venues

Other A*/A conferences filed under the same field of research.