International Symposium on Mathematical Foundations of Computer Science

MFCS

CORE rank

CORE rank (raw)

Fields of research

Theory of Computation

Papers indexed

3,347

1973–2026

Best Theory of Computation conferences

Papers per year

1973101 peak2026

Most published authors

MFCS papers

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

Year	Title	Authors
2026	When Darwin Met Ianus: Dichotomies of Expressivity.	Johanna Brunar, Michael Pinsker, Moritz Schbi
2026	Segment Watchman Routes.	Anna Brtzner, Omrit Filtser, Bengt J. Nilsson, Christian Rieck, Christiane Schmidt
2026	Constructible Words Characterize Rational Languages of Words Indexed by Scattered Linear Orderings.	Thomas Braipson, Tom Clara
2026	Regular Grammars as Effective Representations of Recognizable Sets of Series-Parallel Graphs.	Marius Bozga, Radu Iosif, Florian Zuleger
2026	Forwarding Packets Greedily on the Line.	Joan Boyar, Lene M. Favrholdt, Kim S. Larsen, Kevin Schewior, Rob van Stee
2026	A Congestion Parameter for Depth-First Graph Traversals.	Codaline Bourotte, Gwendal Ducloz, Pekka Orponen, Shinnosuke Seki
2026	Primitive Recursion Without Composition.	Olivier Bournez
2026	Freeze-Tag with Return.	Nicolas Bonichon, Cyril Gavoille, Nicolas Hanusse, Gabriel Le Bouder, Tassir Marc, Nils Morawietz
2026	Functorial Semantics for First-Order Theories.	Filippo Bonchi, Alessandro Di Giorgio, Roberto Di Virgilio, Pawel Sobocinski
2026	Forbidden Subgraph Problems with Predictions.	Hans-Joachim Bckenhauer, Melvin Jahn, Dennis Komm, Moritz Stocker
2026	A Complete Equational Presentation of Qudit Circuits via Polycontrolled PROPs.	Colin Blake
2026	A Forward-Only Construction of Semilinear Inductive Invariants for VAS.	Clotilde Bizire, Jrme Leroux, Grgoire Sutre
2026	Parameterizing the Complexity of Finding Long Paths in DAGs.	Ronak Bhadra, Saurya Singh, Raghunath Tewari
2026	Complexity of Clique-Guarded First-Order Logic with Counting.	Steffen van Bergerem, Johannes Friedrich Lange, Nicole Schweikardt
2026	Separating Feasibility and Movement in Solution Discovery: The Case of Path Discovery.	Hanno von Bergen, Larissa Fastenau, Enna Gerhard, Nicola Lorenz, Stephanie Maaz, Amer E. Mouawad, Roman Rabinovich, Nicole Schirrmacher, Daniel Schmand, Sebastian Siebertz, Mai Trinh
2026	Deciding the Common Fragment of CTL with past and LTL.	Massimo Benerecetti, Dario Della Monica, Angelo Matteo, Fabio Mogavero, Gabriele Puppis
2026	Structural Parameterizations of Geodetic Set on Directed (Acyclic) Graphs.	Laurent Beaudou, Florent Foucaud, Lucas Lorieau, Prafullkumar Tale
2026	Bilateralism with Incompatible Proofs and Refutations.	Victor Barroso-Nascimento, Maria Osrio, Elaine Pimentel
2026	Finding b-Colorings Using Feedback Edges.	Jakub Balabn
2026	Counting All Lattice Rectangles in the Square Grid in Near-Linear Time.	Dmitry Babichev, Sergey Babichev
2026	Sharp Thresholds for Temporal Motifs and Doubling Time in Random Temporal Graphs.	Henry Austin, George B. Mertzios, Paul G. Spirakis
2026	Multi-Prover Interactive Proof Systems with Leakage.	Vahid R. Asadi, Atsuya Hasegawa, Franois Le Gall
2026	Randomized and Quantum Approximate Matrix Multiplication.	Simon Apers, Arjan Cornelissen, Samson Wang
2026	Constant-Time Dynamic Enumeration of Word Infixes in a Regular Language.	Antoine Amarilli, Sven Dziadek, Luc Segoufin
2026	Simple Nash Equilibria for Qualitative Multiplayer Games.	Mona Alluwaym, James C. A. Main, Sven Schewe

76–100 of 3,347← Previous Next →

Comparable venues

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