第49届计算机科学数学基础国际研讨会

【重要日期】

全文截稿: 2024-04-26

开会时间: 2024-08-26

CCF分类: C类

会议地点: Bratislava, Slovakia

会议网址：http://www.mfcs.sk/

【会议介绍】

MFCS计算机科学数学基础系列会议是理论计算机科学各分支原创研究的高质量研讨会议。
MFCS是该领域历史最悠久的会议之一，该系列的第一次会议已于1972年举行。历史上，会议曾在捷克共和国、斯洛伐克和波兰之间举行，自2013年以来，MFCSMFCS会议开始在欧洲各地举行。
2024年，第49届MFCS将在斯洛伐克的布拉迪斯拉发举行。

【组委会】

• Christe Baier (TU Dresden)
• Petra Berenbrink (Universität Hamburg)
• Christoph Berkholz (TU Ilmenau)
• Michael Blondin (Université de Sherbrooke)
• Mikolaj Bojanczyk (University of Warsaw)
• Joan Boyar (University of Southern Denmark)
• Brona Brejova (Comenius University in Bratislava)
• Jean Cardinal (Université libre de Bruxelles)
• Pavol Cerny (TU Wien)
• Krishnendu Chatterjee (Institute of Science and Technology, Austria)
• Ugo Dal Lago (University of Bologna)
• Stefan Dobrev (Slovak Academy of Sciences)
• Robert Elsässer (University of Salzburg)
• Leah Epstein (University of Haifa)
• Henning Fernau (Trier University)
• Fedor Fomin (University of Bergen)
• Pierre Fraigniaud (IRIF Université Paris Cité)
• Jean Goubault-Larrecq (CNRS and ENS Paris-Saclay)
• Kristoffer Arnsfelt Hansen (Aarhus University)
• Lane Hemaspaandra (University of Rochester)
• Petr Jancar (Palacky University Olomouc)
• Christos Kapoutsis (Carnegie Mellon University in Qatar)
• Stefan Kiefer (University of Oxford)
• Ralf Klasing (CNRS, LaBRI, University of Bordeaux)
• Naoki Kobayashi (University of Tokyo)
• Barbara Konig (University of Duisburg-Essen)
• Martin Koutecký (Charles University, Prague)
• Rastislav Kralovic (Comenius University in Bratislava, chair)
• Tony Kucera (Masaryk University Brno, chair)
• Tobias Momke (University of Augsburg)
• Madhavan Mukund (Chennai Mathematical Institute)
• Daniel Paulusma (Durham University)
• Giovanni Pighizzini (University of Milan)
• Alexander Rabinovich (Tel Aviv University)
• Peter Rossmanith (RWTH Aachen)
• Christian Scheideler (Paderborn University)
• Sebastian Siebertz (University of Bremen)
• Martin Skoviera (Comenius University in Bratislava)
• Bettina Speckmann (TU Eindhoven)
• Paul Spirakis (University of Liverpool)
• Daniel Stefankovic (University of Rochester)
• Till Tantau (University of Lübeck)
• Takeshi Tsukada (Chiba University
• Ugo Vaccaro (University of Salerno)
• Igor Walukiewicz (LaBRI , Université de Bordeaux)
• Christe Baier (TU Dresden)
• Petra Berenbrink (Universität Hamburg)
• Christoph Berkholz (TU Ilmenau)
• Michael Blondin (Université de Sherbrooke)
• Mikolaj Bojanczyk (University of Warsaw)
• Joan Boyar (University of Southern Denmark)
• Brona Brejova (Comenius University in Bratislava)
• Jean Cardinal (Université libre de Bruxelles)
• Pavol Cerny (TU Wien)
• Krishnendu Chatterjee (Institute of Science and Technology, Austria)
• Ugo Dal Lago (University of Bologna)
• Stefan Dobrev (Slovak Academy of Sciences)
• Robert Elsässer (University of Salzburg)
• Leah Epstein (University of Haifa)
• Henning Fernau (Trier University)
• Fedor Fomin (University of Bergen)
• Pierre Fraigniaud (IRIF Université Paris Cité)
• Jean Goubault-Larrecq (CNRS and ENS Paris-Saclay)
• Kristoffer Arnsfelt Hansen (Aarhus University)
• Lane Hemaspaandra (University of Rochester)
• Petr Jancar (Palacky University Olomouc)
• Christos Kapoutsis (Carnegie Mellon University in Qatar)
• Stefan Kiefer (University of Oxford)
• Ralf Klasing (CNRS, LaBRI, University of Bordeaux)
• Naoki Kobayashi (University of Tokyo)
• Barbara Konig (University of Duisburg-Essen)
• Martin Koutecký (Charles University, Prague)
• Rastislav Kralovic (Comenius University in Bratislava, chair)
• Tony Kucera (Masaryk University Brno, chair)
• Tobias Momke (University of Augsburg)
• Madhavan Mukund (Chennai Mathematical Institute)
• Daniel Paulusma (Durham University)
• Giovanni Pighizzini (University of Milan)
• Alexander Rabinovich (Tel Aviv University)
• Peter Rossmanith (RWTH Aachen)
• Christian Scheideler (Paderborn University)
• Sebastian Siebertz (University of Bremen)
• Martin Skoviera (Comenius University in Bratislava)
• Bettina Speckmann (TU Eindhoven)
• Paul Spirakis (University of Liverpool)
• Daniel Stefankovic (University of Rochester)
• Till Tantau (University of Lübeck)
• Takeshi Tsukada (Chiba University
• Ugo Vaccaro (University of Salerno)
• Igor Walukiewicz (LaBRI , Université de Bordeaux)

【特邀报告】

• Wojciech Czerwiński (University of Warsaw)
• Jarkko Kari (University of Turku)
• Kasper Green Larsen (Aarhus University)
• Rupak Majumdar (Max Planck Institute for Software Systems)
• David Peleg (Weizmann Institude of Science)
• Wojciech Czerwiński (University of Warsaw)
• Jarkko Kari (University of Turku)
• Kasper Green Larsen (Aarhus University)
• Rupak Majumdar (Max Planck Institute for Software Systems)
• David Peleg (Weizmann Institude of Science)

【征稿主题】

项目委员会鼓励提交理论计算机科学所有领域的原创研究论文，包括（但不限于）以下内容：

• 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
• 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

【投稿须知】

• 论文应通过EasyChair以电子方式提交。（https://easychair.org/conferences/?conf=mfcs2024https://easychair.org/conferences/?conf=mfcs2024），详情见会议官网投稿指南。
• 提交的文件应采用LIPIcs格式，长度不超过12页（不包括参考文献和可选附录）。参考文献和可选附录可以超过12页；项目委员会将自行决定是否查阅附录。提交时必须使用LIPIcs样式。
• 不允许一稿多投，不允许事先发表或同时提交给其他会议或期刊（预印本库，如arXiv或没有正式发表论文集的研讨会除外）。
• 与往年一样，MFCS 2022论文集将在开放获取许可证下发表在LIPIcs（莱布尼茨国际信息学论文集）上。
• 精选文章将被邀请参加《信息与计算》特刊论文应通过EasyChair以电子方式提交。
• 提交的文件应采用LIPIcs格式，长度不超过12页（不包括参考文献和可选附录）。参考文献和可选附录可以超过12页；项目委员会将自行决定是否查阅附录。提交时必须使用LIPIcs样式。
• 不允许事先发表或同时提交给其他会议或期刊（预印本库，如arXiv或没有正式发表论文集的研讨会除外）。
• 没有必要对提交的文件进行匿名处理。
• 与往年一样，MFCS 2022论文集将在开放获取许可证下发表在LIPIcs（莱布尼茨国际信息学论文集）上。
• 精选文章将被邀请参加《信息与计算》特刊。

会议网址：http://www.mfcs.sk/