Sponsors and partners:
The MFCS conference series on Mathematical Foundations of Computer Science is a high-quality venue for original research in all branches of Theoretical Computer Science.
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, Slovakia, and Poland, while since 2013, the conference has traveled around Europe.
In 2023, at its 48th edition, MFCS will be held in Bordeaux, France. Barring substantial and unforeseen developments, MFCS will be organized as a physical event, and at least one author of each accepted paper must register at the conference.
The program is available using this link.
The proceedings are available there.
Best paper award
The PC chairs, taking into account the results of the PC meeting and referee feedback, have decided to recognise the following papers with awards.
Congratulations to the authors!
The award is sponsored by the EATCS.
Program Committee Chairs
- PC co-chairs : Jérôme Leroux (LaBRI, CNRS, Université de bordeaux) and David Peleg (Weizmann Institute of Science)
- Conference co-chairs: Sylvain Lombardy (LaBRI, Université de bordeaux) and Hugo Gimbert (LaBRI, CNRS, Université de Bordeaux)
Program Committee Members
- Parosh Aziz Abdulla (Uppsala University)
- Akanksha Agrawal (Indian Institute of Technology Madras)
- Susanne Albers (Technical University of Munich)
- Josh Alman (Columbia University)
- Christel Baier (Technische Universität Dresden)
- Laurent Bienvenu (University of Bordeaux)
- Hans Bodlaender (Utrecht University)
- Olivier Bournez (Ecole Polytechnique)
- Véronique Bruyère (University of Mons)
- Ioannis Caragiannis (Aarhus University)
- Keerti Choudhary (Indian Institute of Technology Delhi)
- Thierry Coquand (University of Gothenburg)
- Stéphanie Delaune (Univ Rennes, CNRS, IRISA)
- Javier Esparza (Technische Universität München)
- Piotr Faliszewski (AGH University of Science and Technology)
- Michal Feldman (Tel-Aviv University)
- Paola Flocchini (University of Ottawa)
- Luisa Gargano (Università di Salerno)
- Leszek Gąsieniec (University of Liverpool)
- Jean Goubault-Larrecq (ENS Paris-Saclay)
- Petr Jancar (Palacky University)
- Lefteris "M. Kirousis" (National and Kapodistrian University of Athens)
- Sándor Kisfaludi-Bak (Aalto University)
- Lukasz Kowalik (University of Warsaw)
- Daniel Kráľ (Masaryk University)
- Rastislav Královič (Comenius University)
- Ranko Lazic (University of Warwick)
- Christof Löding (RWTH Aachen University)
- Pinyan Lu (Shanghai University of Finance and Economics)
- Elvira Mayordomo (Universidad de Zaragoza)
- Paolo Milazzo (University of Pisa)
- Simon Perdrix (Inria, Loria)
- Sophie Pinchinat (Université de Rennes)
- Jörg Rothe (Heinrich-Heine-Universität Düsseldorf)
- David Saulpic (IST Austria)
- Jiri Sgall (Charles University)
- Mahsa Shirmohammadi (CNRS, IRIF, Université Paris Cité)
- Michał Skrzypczak (University of Warsaw)
- Shay Solomon (Tel Aviv University)
- Dimitrios Thilikos (CNRS, LRIMM, Université de Montpellier)
- Patrick Totzke (University of Liverpool)
- Ashutosh Trivedi (University of Colorado Boulder)
- James Worrell (University of Oxford)
- Xiaoming Sun (Chinese Academy of Sciences)
- Meirav Zehavi (Ben-Gurion University)
- Marius Zimand (Towson University)
- Martin Zimmermann (Aalborg University)
- Auriane Dantés
- Isabelle Garcia
- Hugo Gimbert
- Jérôme Leroux
- Sylvain Lombardy
- Anca Muscholl
- Vincent Penelle
The proceedings are available there.
The conference venue is ENSEIRB MATMECA, 1 Avenue du Dr Albert Schweitzer, 33400 Talence.
It is easily accessible by Tramway B, stop "Arts et Métiers".
The venue is opened every day at 8h30am, with a welcome breakfast. Talks start at 9am.
Directions can be found there.
The social event takes place on Wednesday afternoon.
It will start at "Cité du Vin » (Bordeaux Wine City) at 17h, we will meet
at this place.
This place is directly accessible from Talence using Tram B,
stop « Cité du Vin ». The museum visit lasts for about 2 hours,
including tasting a glass of wine, more details there.
Afterwards we will go to the restaurant « Le café du port »,
The dinner will start at 20h.
The restaurant is accessible from the museum by walking (40 minutes of a gentle walk by the quays)
or by Tramway B, bus 91 or even by boat « Batcub 3 ».
In case you have free time,
we recommend the following activities:
Walking around the old city center which is quite well preserved,
mainly the quartier Saint-Michel (https://email@example.com,-0.5661775,19.29z?entry=ttu)
and/or the quartier Saint-Pierre (https://firstname.lastname@example.org,-0.570616,19.54z?entry=ttu).
Walking about 45 min along the quays from south to north,
either on the west (city) or on the east side (parks), accessible by tram. https://goo.gl/maps/YLimAZJWbpxhRn4z7
The Pey-Berland cathedral (https://email@example.com,-0.5782952,18.58z?entry=ttu)
House of wine in Bordeaux, ok for tasting. https://www.bordeaux-tourism.co.uk/tasting/maison-du-vin-bordeaux.html.
Please note that there will be a social event around wine wednesday afternoon, as well.
Contemporary art museum, downtown, quiet, nice café on the roof top. https://www.capc-bordeaux.fr/en/node/3
Movie place in a former convent. https://goo.gl/maps/uJCMoyH3zzsQYrih8
We advise you to book a hotel in Bordeaux downtown, near the B Tramway line,
so that you can enjoy both the conference in Talence as well as the city center of Bordeaux,
where there are a lot of good options for dinner. There are good hotels around the conference site in Talence,
as well as along the Tram B line in Bordeaux, especially in the neighbourhoods Hôtel de Ville, Grand-Théâtre, Quinconces and Chartrons.
Concerning restaurants, we recommend the following options. Clearly not exhaustive,
there are many other good options.
Restaurants in Talence downtown (nearby the conference venue).
Around Talence Centre-Forum, the central spot in Talence, you will find several options including french, italian, asian, north-african, and so on... All options are ok.
Restaurants in Bordeaux downtown (accessible by Tram B directly from the conference venue).
Brasserie bordelaise, typical South-West food.https://www.brasserie-bordelaise.fr/
Cochon volant, for meat eaters.https://goo.gl/maps/AJN3EHSfkV3tcoGp7
La Venta, for sharing Tapas. https://goo.gl/maps/ShFZgkEKKXw86ZAz8
Bodega el Pata negra, Tapas as well. https://www.tripadvisor.fr/Restaurant_Review-g187079-d4794426-Reviews-Bodega_el_Pata_Negra-Bordeaux_Gironde_Nouvelle_Aquitaine.html
Le Coluche. https://www.coluchekebab.fr/
Le Falafel (mainly vegetarian, as the name implies) https://fr.restaurantguru.com/Le-Falafel-Bordeaux
Osteria Pizzeria da Bartolo https://goo.gl/maps/3NDhyrZ4Khvd2SDPA
Ragazzi Da Pepponehttps://goo.gl/maps/QY9TWauHfGcK62gAA
Ramen and noodles. https://restaurantfufu.com/
Japanese gastronomy, including sushis. https://www.cafe-japonais.com/
Vietnamese. Tching tchang Tchong. https://goo.gl/maps/dXtRXrWCmTvWvxyu7
La maison du glacier. https://www.tripadvisor.fr/Restaurant_Review-g187079-d10373442-Reviews-La_Maison_Du_Glacier-Bordeaux_Gironde_Nouvelle_Aquitaine.html
If you want to taste one of Bordeaux's speciality, the cannelé, we recommend La Toque Cuivrée, of which you'll find several shop downtown (mainly around the rue Sainte-Catherine). https://www.la-toque-cuivree.fr/
At least one of the authors of each accepted paper must register by July 25 for the paper to appear in the proceedings.
The registration fee includes, among others, coffee breaks, lunches, and the conference dinner.
Students who at the time of the conference have not yet completed their PhD qualify for the student status of the registration.
||Early (until July 14)
||Late (from July 14)
|Regular (EATCS member)
|Student (EATCS member)
For online registration, follow this link.
If you plan to pay the registration fees using a credit card, please prepare all needed elements in advance,
because interrupting the registration process for CB payments requires a complicated manual intervention to reboot the registration process.
You can become an EATCS member here and
immediately benefit from the reduced registration fee. The membership fee is €40
for a year (two years for students).
If you need an invitation letter for a visa please contact the organization team.
|Abstract submission deadline:
||April 24th (AoE)
|Paper submission deadline:
||April 28th (AoE)
|Notification of authors:
||August 28th - September 1st
Papers should be submitted electronically through EasyChair.
Submissions should be formatted using the LIPIcs style with length not
exceeding 12 pages (excluding references and an optional appendix).
References and an optional appendix can go beyond the 12 pages; the
appendix will be consulted at the discretion of the program committee.
It is mandatory to use the LIPIcs style for submissions.
No prior publication or simultaneous submission to other conferences
or journals are allowed (except preprint repositories such as arXiv or
workshops without formal published proceedings).
There is no need to anonymize the submissions.
As in previous years, MFCS 2022 proceedings will be published in
LIPIcs (Leibniz International Proceedings in Informatics) under an
open access license.
The program committee encourages submission of original research papers in all areas of theoretical computer science, including (but not limited to) the following:
algebraic and co-algebraic methods in computer science
algorithms and data structures
automata and formal languages
combinatorics on words, trees, and other structures
computational complexity (structural and model-related)
computer assisted reasoning
cryptography and security
cyber physical systems, databases and knowledge-based systems
formal specifications and program development
foundations of computing
logics in computer science
models of computation
parallel and distributed computing
semantics and verification of programs
theoretical issues in artificial intelligence and machine learning
types in computer science