From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10698 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Stefan Szeider Newsgroups: gmane.science.mathematics.categories Subject: MFCS 2022 - Second Call for Papers Date: Fri, 18 Mar 2022 15:21:44 +0100 Message-ID: Reply-To: Stefan Szeider Mime-Version: 1.0 (Mac OS X Mail 15.0 \(3693.20.0.1.32\)) Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="14509"; mail-complaints-to="usenet@ciao.gmane.io" To: Original-X-From: majordomo@rr.mta.ca Tue Mar 22 01:12:58 2022 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1nWS8u-0003YS-IR for gsmc-categories@m.gmane-mx.org; Tue, 22 Mar 2022 01:12:56 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:55350) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1nWS6V-0002ak-FL; Mon, 21 Mar 2022 21:10:27 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1nWS5g-0007Vm-Cn for categories-list@rr.mta.ca; Mon, 21 Mar 2022 21:09:36 -0300 Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10698 Archived-At: MFCS 2022 - SECOND CALL FOR PAPERS The 47th International Symposium on Mathematical Foundations of Computer = Science, August 22-26, 2022, Vienna, Austria https://www.ac.tuwien.ac.at/mfcs2022/ 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 2022, at its 50th anniversary, MFCS will be held in Vienna, Austria. MFCS 2022 will be co-located with MATCH-UP 2022 = (https://www.ac.tuwien.ac.at/matchup2022/), the 6th Workshop on Matching = Under Preferences. Barring substantial and unforeseen developments, MFCS will be organized = as a physical event. At least one author of each accepted paper must = register at the conference. Authors who cannot physically attend the = conference will be given the option to present their results via a live = video talk. INVITED SPEAKERS Fedor V. Fomin (University of Bergen) Monika Henzinger (University of Vienna) Thomas Henzinger (IST Austria) Marta Kwiatkowska (University of Oxford) Vijay Vazirani (University of California, Irvine) IMPORTANT DATES Abstract Deadline: Friday, April 22, 2022 (Anywhere on Earth) Submission Deadline: Wednesday, April 27, 2022 (Anywhere on Earth) Notification: Tuesday, June 21, 2022 Conference: August 22-26, 2022 SUBMISSION GUIDELINES Papers should be submitted electronically through EasyChair at = https://easychair.org/conferences/?conf=3Dmfcs2022 Submissions should be formatted using the LIPIcs style with a 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). PUBLICATION As in previous years, MFCS 2022 proceedings will be published in LIPIcs = (Leibniz International Proceedings in Informatics) under an open-access = license. LIST OF TOPICS We encourage 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 PROGRAM COMMITTEE Christoph Berkholz (Humboldt-Universit=C3=A4t zu Berlin) Ren=C3=A9 van Bevern (Huawei Technologies) Olaf Beyersdorff (Friedrich Schiller University Jena) Filippo Bonchi (Computer Science Department, University of Pisa) Andrei Bulatov (Simon Fraser University) Ugo Dal Lago (Universit=C3=A0 di Bologna and INRIA Sophia Antipolis) Laure Daviaud (City, University of London) Anuj Dawar (University of Cambridge) Stefan Felsner (TU Berlin) Celina Figueiredo (UFRJ) Nathana=C3=ABl Fijalkow (CNRS, LaBRI, University of Bordeaux) Marie Fortin (University of Liverpool) Robert Ganian (TU Wien, co-chair) Petr Golovach (Department of Informatics, Bergen University) Gregory Gutin (Royal Holloway, University of London) Sara Kalvala (The University of Warwick) Sandra Kiefer (RWTH Aachen University) Eun Jung Kim (CNRS - Paris Dauphine) Du=C5=A1an Knop (Czech Technical University in Prague) Martin Koutecky (Charles University in Prague) Martin Lange (University of Kassel) Massimo Lauria (Sapienza University of Rome) Karoliina Lehtinen (University of Liverpool) Meena Mahajan (The Institute of Mathematical Sciences, HBNI, Chennai) Konstantinos Mamouras (Rice University) Barnaby Martin (Durham University) George Mertzios (Durham University) Stefan Milius (FAU Erlangen) Neeldhara Misra (Indian Institute of Technology, Gandhinagar) Fabrizio Montecchiani (University of Perugia) Sebastian Ordyniak (The University of Sheffield) Sang-il Oum (Institute for Basic Science (IBS) and KAIST) Daniel Paulusma (Durham University) Daniela Petrisan (Universit=C3=A9 de Paris, IRIF) Micha=C5=82 Pilipczuk (University of Warsaw) Damien Pous (CNRS - ENS Lyon) Simon Puglisi (University of Helsinki) Pawe=C5=82 Rz=C4=85=C5=BCewski (Warsaw University of Technology) Alexandra Silva (Cornell University, co-chair) Friedrich Slivovsky (Vienna University of Technology) Ana Sokolova (University of Salzburg) Stefan Szeider (TU Wien, general chair) Hellis Tamm (Tallinn University of Technology) Florian Zuleger (TU Wien) ORGANIZING COMMITTEE Jan Dreier (TU Wien) Robert Ganian (TU Wien) Stefan Szeider (TU Wien)= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]