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. 

Programme

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!

• Manon Blanc and Olivier Bournez A characterization of functions computable in polynomial time and space over the reals with discrete ordinary differential equations.

The award is sponsored by the EATCS.

Committees

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)

Organising Committee

• Auriane Dantés
• Isabelle Garcia
• Hugo Gimbert
• Jérôme Leroux
• Sylvain Lombardy
• Anca Muscholl
• Vincent Penelle

Invited speakers

• Marthe Bonamy (University of Bordeaux, France)
• Joan Boyar (University of Southern Denmark), Online Algorithms with Predictions
• Artur Czumaj (University of Warwick, UK)
• Laura Kovacs (TU Wien, Austria), Algebraic Reasoning for (Un)Solvable Loops
• Paul Spirakis (university of Liverpool, UK)

Proceedings

The proceedings are available there.

Conference venue

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.

Social Event

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 », there. 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 ».

Sightseeing

• Walking around the old city center which is quite well preserved, mainly the quartier Saint-Michel (https://www.google.fr/maps/@44.8342269,-0.5661775,19.29z?entry=ttu) and/or the quartier Saint-Pierre (https://www.google.fr/maps/@44.8396473,-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://www.google.fr/maps/@44.8374421,-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.

Restaurants

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).

French
• Brasserie bordelaise, typical South-West food.https://www.brasserie-bordelaise.fr/
• Cochon volant, for meat eaters.https://goo.gl/maps/AJN3EHSfkV3tcoGp7
Spanish
• 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
Eastern Mediterranean
• Kebab place. Le Coluche. https://www.coluchekebab.fr/
• Le Falafel (mainly vegetarian, as the name implies) https://fr.restaurantguru.com/Le-Falafel-Bordeaux
Italian
• Osteria Pizzeria da Bartolo https://goo.gl/maps/3NDhyrZ4Khvd2SDPA
• Ragazzi Da Pepponehttps://goo.gl/maps/QY9TWauHfGcK62gAA
• Pogetti https://goo.gl/maps/toyH1BK471dKH7xx7
Asian
• Ramen and noodles. https://restaurantfufu.com/
• Japanese gastronomy, including sushis. https://www.cafe-japonais.com/
• Vietnamese. Tching tchang Tchong. https://goo.gl/maps/dXtRXrWCmTvWvxyu7
• Ice Cream. La maison du glacier. https://www.tripadvisor.fr/Restaurant_Review-g187079-d10373442-Reviews-La_Maison_Du_Glacier-Bordeaux_Gironde_Nouvelle_Aquitaine.html
• The cannelé. 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/

Registration

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.

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.

Important Dates

Submission guidelines

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
• bioinformatics
• combinatorics on words, trees, and other structures
• computational complexity (structural and model-related)
• computational geometry
• computer-aided verification
• computer assisted reasoning
• concurrency theory
• cryptography and security
• cyber physical systems, databases and knowledge-based systems
• formal specifications and program development
• foundations of computing
• logics in computer science
• mobile computing
• models of computation
• networks
• parallel and distributed computing
• quantum computing
• semantics and verification of programs
• theoretical issues in artificial intelligence and machine learning
• types in computer science

Contact: Sylvain Lombardy and Hugo Gimbert (mfcs2023@labri.fr)