International Symposium on Mathematical Foundations of Computer Science

Last updated
International Symposium on Mathematical Foundations of Computer Science
AbbreviationMFCS
Discipline Theoretical computer science
Publication details
Publisher Leibniz Center for Informatics
History1972–
Frequencyannual

MFCS, the International Symposium on Mathematical Foundations of Computer Science is an academic conference organized annually since 1972. The topics of the conference cover the entire field of theoretical computer science. Up to 2012, the conference was held in different locations in Poland, Czech Republic and Slovakia but, since MFCS 2013, it travels around Europe. All contributions are strongly peer-reviewed. From 1974 to 2015, conference articles were published in proceedings published by Springer in the Lecture Notes in Computer Science series. Since 2016 the proceedings have been published by the Leibniz International Proceedings in Informatics.

Recent history of the symposium

As of 2022 the Steering Committee of the MFCS symposia series had been chaired since 2012 by Antonín Kučera. [1]

YearLocationPC chairsProceedings
MFCS 2010 Brno, Czech RepublicPetr Hliněný
Antonín Kučera
LNCS 6281
MFCS 2011 Warsaw, PolandFilip Murlak
Piotr Sankowski
LNCS 6907
MFCS 2012 Bratislava, SlovakiaBranislav Rovan
Vladimiro Sassone
Peter Widmayer
LNCS 7464
MFCS 2013 Klosterneuburg, AustriaKrishnendu Chatterjee
Jiří Sgall
LNCS 8087
MFCS 2014 Budapest, HungaryErzsébet Csuhaj-Varjú
Martin Dietzfelbinger
Zoltán Ésik
LNCS 8634
LNCS 8635
MFCS 2015 Milan, Italy Giuseppe F. Italiano
Giovanni Pighizzini
Donald Sannella
LNCS 9234
LNCS 9235
MFCS 2016 Kraków, PolandPiotr Faliszewski
Anca Muscholl
Rolf Niedermeier
LIPIcs 58
MFCS 2017Aalborg, DenmarkKim G. Larsen
Hans L. Bodlaender
Jean-François Raskin
LIPIcs 83
MFCS 2018 Liverpool, UKIgor Potapov
Paul Spirakis
James Worrell
LIPIcs 117
MFCS 2019 Aachen, GermanyPeter Rossmanith
Pinar Heggernes
Joost-Pieter Katoen
LIPIcs 138
MFCS 2020 Prague, Czech Republic Javier Esparza
Daniel Kráľ
LIPIcs 170
MFCS 2021Tallinn, EstoniaFilippo Bonchi
Simon J. Puglisi
LIPIcs 202
MFCS 2022 Vienna, Austria Stefan Szeider
Robert Ganian
Alexandra Silva
LIPIcs 241
MFCS 2023 Bordeaux, FranceSylvain Lombardy
Jérôme Leroux
David Peleg
LIPIcs 272

Related Research Articles

The Association for Computing Machinery (ACM) is a US-based international learned society for computing. It was founded in 1947 and is the world's largest scientific and educational computing society. The ACM is a non-profit professional membership group, reporting nearly 110,000 student and professional members as of 2022. Its headquarters are in New York City.

<span class="mw-page-title-main">SIGGRAPH</span> Conference on computer graphics

SIGGRAPH is an annual conference centered around computer graphics organized by ACM, starting in 1974. The main conference is held in North America; SIGGRAPH Asia, a second conference held annually, has been held since 2008 in countries throughout Asia.

Corpus linguistics is the study of a language as that language is expressed in its text corpus, its body of "real world" text. Corpus linguistics proposes that a reliable analysis of a language is more feasible with corpora collected in the field—the natural context ("realia") of that language—with minimal experimental interference. The large collections of text allow linguistics to run quantitative analyses on linguistic concepts, otherwise harder to quantify.

In academia and librarianship, conference proceedings is a collection of academic papers published in the context of an academic conference or workshop. Conference proceedings typically contain the contributions made by researchers at the conference. They are the written record of the work that is presented to fellow researchers. In many fields, they are published as supplements to academic journals; in some, they are considered the main dissemination route; in others they may be considered grey literature. They are usually distributed in printed or electronic volumes, either before the conference opens or after it has closed.

<span class="mw-page-title-main">Dagstuhl</span>

Dagstuhl is a computer science research center in Germany, located in and named after a district of the town of Wadern, Merzig-Wadern, Saarland.

SIGCSE is the Association for Computing Machinery's (ACM) Special Interest Group (SIG) on Computer Science Education (CSE), which provides a forum for educators to discuss issues related to the development, implementation, and/or evaluation of computing programs, curricula, and courses, as well as syllabi, laboratories, and other elements of teaching and pedagogy. SIGCSE is also the colloquial name for the SIGCSE Technical Symposium on Computer Science Education, which is the largest of the four conferences organized by SIGCSE.

ICALP, the International Colloquium on Automata, Languages, and Programming is an academic conference organized annually by the European Association for Theoretical Computer Science and held in different locations around Europe. Like most theoretical computer science conferences its contributions are strongly peer-reviewed. The articles have appeared in proceedings published by Springer in their Lecture Notes in Computer Science, but beginning in 2016 they are instead published by the Leibniz International Proceedings in Informatics.

<span class="mw-page-title-main">Intelligent Systems for Molecular Biology</span> Annual academic conference

Intelligent Systems for Molecular Biology (ISMB) is an annual academic conference on the subjects of bioinformatics and computational biology organised by the International Society for Computational Biology (ISCB). The principal focus of the conference is on the development and application of advanced computational methods for biological problems. The conference has been held every year since 1993 and has grown to become one of the largest and most prestigious meetings in these fields, hosting over 2,000 delegates in 2004. From the first meeting, ISMB has been held in locations worldwide; since 2007, meetings have been located in Europe and North America in alternating years. Since 2004, European meetings have been held jointly with the European Conference on Computational Biology (ECCB).

<span class="mw-page-title-main">International Symposium on Graph Drawing</span> Annual academic conference

The International Symposium on Graph Drawing (GD) is an annual academic conference in which researchers present peer reviewed papers on graph drawing, information visualization of network information, geometric graph theory, and related topics.

EasyChair is a web-based conference management software system. It has been used since 2002 in the scientific community for tasks such as organising research paper submission and review. In 2012, EasyChair began offering an open access online publication service for conference proceedings.

The Symposium on Theoretical Aspects of Computer Science (STACS) is an academic conference in the field of computer science. It is held each year, alternately in Germany and France, since 1984. Typical themes of the conference include algorithms, computational and structural complexity, automata, formal languages and logic.

The European Symposium on Algorithms (ESA) is an international conference covering the field of algorithms. It has been held annually since 1993, typically in early Autumn in a different European location each year. Like most theoretical computer science conferences its contributions are strongly peer-reviewed; the articles appear in proceedings published in Springer Lecture Notes in Computer Science. Acceptance rate of ESA is 24% in 2012 in both Design and Analysis and Engineering and Applications tracks.

WADS, the Algorithms and Data Structures Symposium, is an international academic conference in the field of computer science, focusing on algorithms and data structures. WADS is held every second year, usually in Canada and always in North America. It is held in alternation with its sister conference, the Scandinavian Symposium and Workshops on Algorithm Theory (SWAT), which is usually held in Scandinavia and always in Northern Europe. Historically, the proceedings of both conferences were published by Springer Verlag through their Lecture Notes in Computer Science series. Springer continues to publish WADS proceedings, but starting in 2016, SWAT proceedings are now published by Dagstuhl through their Leibniz International Proceedings in Informatics.

The International Society for Nanoscale Science, Computation, and Engineering is a scientific society specializing in nanotechnology and DNA computing. It was started in 2004 by Nadrian Seeman, founder of the field of DNA nanotechnology. According to the society, its purpose is "to promote the study of the control of the arrangement of the atoms in matter, examine the principles that lead to such control, to develop tools and methods to increase such control, and to investigate the use of these principles for molecular computation, and for engineering on the finest possible scales."

<span class="mw-page-title-main">Peter Ružička</span> Slovak scientist

Peter Ružička was a Slovak computer scientist and mathematician who worked in the fields of distributed computing and computer networks. He was a professor at the Comenius University, Faculty of Mathematics, Physics and Informatics working in several research areas of theoretical computer science throughout his long career.

RP, the International Conference on Reachability Problems is an annual academic conference in the field of computer science.

ISAAC, the International Symposium on Algorithms and Computation, is an academic conference in the field of theoretical computer science. ISAAC has been organized annually since 1990. The proceedings are published by Springer-Verlag in the LNCS series.

In mathematics, a set of natural numbers is called a K-trivial set if its initial segments viewed as binary strings are easy to describe: the prefix-free Kolmogorov complexity is as low as possible, close to that of a computable set. Solovay proved in 1975 that a set can be K-trivial without being computable.

<span class="mw-page-title-main">The MICCAI Society</span>

The MICCAI Society is a professional organization for scientists in the areas of Medical Image Computing and Computer Assisted Interventions. Due to the multidisciplinary nature of these fields, the society brings together researchers from several scientific disciplines. including computer science, robotics, physics, and medicine. The society is best known for its annual flagship event, The MICCAI Conference, which facilitates the publication and presentation of original research on MICCAI-related topics. However, the society provides endorsements and sponsorships for several scientific events each year.

References

  1. Kučera, Antonín. "prof. RNDr. Antonín Kučera, Ph.D." Masarykova univerzita. vedoucí pracoviště – Institut teoretické informatiky. Retrieved 24 June 2022.