International Symposium on Mathematical Foundations of Computer Science | |
---|---|
Abbreviation | MFCS |
Discipline | Theoretical computer science |
Publication details | |
Publisher | Leibniz Center for Informatics |
History | 1972– |
Frequency | annual |
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.
As of 2022 [update] the Steering Committee of the MFCS symposia series had been chaired since 2012 by Antonín Kučera. [1]
Year | Location | PC chairs | Proceedings |
---|---|---|---|
MFCS 2010 | Brno, Czech Republic | Petr Hliněný Antonín Kučera | LNCS 6281 |
MFCS 2011 | Warsaw, Poland | Filip Murlak Piotr Sankowski | LNCS 6907 |
MFCS 2012 | Bratislava, Slovakia | Branislav Rovan Vladimiro Sassone Peter Widmayer | LNCS 7464 |
MFCS 2013 | Klosterneuburg, Austria | Krishnendu Chatterjee Jiří Sgall | LNCS 8087 |
MFCS 2014 | Budapest, Hungary | Erzsé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, Poland | Piotr Faliszewski Anca Muscholl Rolf Niedermeier | LIPIcs 58 |
MFCS 2017 | Aalborg, Denmark | Kim G. Larsen Hans L. Bodlaender Jean-François Raskin | LIPIcs 83 |
MFCS 2018 | Liverpool, UK | Igor Potapov Paul Spirakis James Worrell | LIPIcs 117 |
MFCS 2019 | Aachen, Germany | Peter Rossmanith Pinar Heggernes Joost-Pieter Katoen | LIPIcs 138 |
MFCS 2020 | Prague, Czech Republic | Javier Esparza Daniel Kráľ | LIPIcs 170 |
MFCS 2021 | Tallinn, Estonia | Filippo Bonchi Simon J. Puglisi | LIPIcs 202 |
MFCS 2022 | Vienna, Austria | Stefan Szeider Robert Ganian Alexandra Silva | LIPIcs 241 |
MFCS 2023 | Bordeaux, France | Sylvain Lombardy Jérôme Leroux David Peleg | LIPIcs 272 |
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.
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.
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.
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).
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."
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.
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.