MFCS 2025 - First Call for Papers
========================================================
The 50th conference on Mathematical Foundations of Computer Science
(MFCS) will take place in:
Warsaw, Poland August 25-29, 2025
MFCS is among the conferences with the longest history in the field —
the first conference in the series was held already in 1972.
Traditionally, the conference moved between the Czech Republic,
Poland, and Slovakia; while since 2013, the conference has traveled
around Europe. The conference will be preceded by the Young Research
Forum Workshop intended for a younger audience.
========================================================
Important dates and information
========================================================
Submissions: April 18, 2025
Rebuttal: June 3-6, 2025
Author notification: June 20, 2025
Camera-ready version: June 27, 2025
Early registration: TBA
Conference: August 25-29, 2025 (YRF Workshop on August 24)
Deadlines are firm; late submissions will not be considered. All dates are AoE.
Conference website: https://mfcs2025.mimuw.edu.pl/
Submissions: https://easychair.org/conferences/?conf=mfcs2025
========================================================
Submission guidelines
========================================================
1) Papers must present original research on the theory of computer
science. No prior publication and no simultaneous submission to other
publication outlets (either a conference or a journal) is allowed.
Authors are encouraged to also make full versions of their submissions
freely accessible in an on-line repository such as ArXiv.
2) Submissions take the form of an extended abstract of no more than
15 pages (LIPIcs document class), excluding references and a clearly
labelled appendix. The appendix may consist either of omitted proofs
or of a full version of the submission, and it will be read at the
discretion of program committee members. The extended abstract has to
present the merits of the paper and its main contributions clearly,
and describe the key concepts and technical ideas used to obtain the
results. Submissions must provide the proofs which can enable the main
mathematical claims of the paper to be verified.
3) Submissions authored or co-authored by members of the program
committee are allowed.
4) During the rebuttal phase, authors are encouraged (but not
required) to respond to the initial reviews. Further instructions will
be sent to the authors of the submitted papers in due time.
5) At least one author of each accepted paper is expected to register
for the conference, and all talks are in-person. In exceptional cases
(e.g. unexpected personal reasons) remote talks (pre-recorded or live)
might be allowed.
6) Papers authored only by students should be marked as such upon
submission in order to be eligible for the best student paper award.
========================================================
MFCS 2025 Invited Speakers
========================================================
Thomas Colcombet (Université Paris Cité)
Giuseppe Italiano (LUISS Guido Carli, Rome)
Rasmus Kyng (ETH Zurich)
Filip Murlak (University of Warsaw)
Anca Muscholl (Université de Bordeaux)
========================================================
MFCS 2025 Programme Committee
========================================================
Shaull Almagor (Technion)
Nathalie Bertrand (Inria Rennes)
Udi Boker (Reichman University)
Gerth Brodal (Aarhus University)
Michaël Cadilhac (DePaul University)
Panagiotis Charalampopoulos (Birkbeck, University of London)
Witold Charatonik (University of Wrocław)
Dmitry Chistikov (University of Warwick)
Anuj Dawar (University of Cambridge)
Joel Day (Loughborough University)
Moses Ganardi (Max Planck Institute for Software Systems)
Leszek Gąsieniec (University of Liverpool)
Paweł Gawrychowski (University of Wrocław) - chair
Stefan Göller (Universität Kassel)
Christoph Haase (University of Oxford)
Meike Hatzel (IBS, Daejeon)
Jarkko Kari (University of Turku)
Edon Kelmendi (Queen Mary, University of London)
Marie Kerjean (CNRS, Université Sorbonne Paris Nord)
Jakub Kozik (Jagiellonian University)
László Kozma (Freie Universität Berlin)
Karoliina Lehtinen (CNRS, LIS Marseille)
Nutan Limaye (University of Copenhagen)
Christof Löding (RWTH Aachen)
Filip Mazowiecki (University of Warsaw) - co-chair
Pierre Ohlmann (CNRS, LIS Marseille)
Jakub Opršal (University of Birmingham)
Guillermo Pérez (University of Antwerp)
Gabriele Puppis (University of Udine)
David Purser (University of Liverpool)
Karin Quaas (Universität Leipzig)
Chris Schwiegelshohn (Aarhus University)
Michał Skrzypczak (University of Warsaw) - co-chair
Tatiana Starikovskaya (ENS Paris)
Lidia Tendera (University of Opole)
Karol Węgrzycki (Max Planck Institute for Informatics)
Philip Wellnitz (National Institute of Informatics)
Markus Whiteland (Loughborough University)
Michał Wrona (Jagiellonian University)
Georg Zetzsche (Max Planck Institute for Software Systems)
Anna Zych (University of Warsaw)
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
