第四十九届国际研讨会

计算机科学数学基础

2024年8月26日至30日，斯洛伐克布拉迪斯拉发

赞助商和合作伙伴：

英国FMFI
SISp公司
 

  

MFCS计算机数学基础系列会议科学是所有学科原创研究的优质场所理论计算机科学。

MFCS是与该领域历史最悠久-系列会议中的第一次会议召开早在1972年。传统上，会议在捷克之间进行共和国、斯洛伐克和波兰，而自2013年以来，会议一直在各地举行欧洲各地。

2024年，第49届MFCS将于斯洛伐克布拉迪斯拉发。

话题

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

  • 计算机科学中的代数和共代数方法
  • 算法和数据结构
  • 自动机与形式语言
  • 生物信息学
  • 单词、树和其他结构的组合
  • 计算复杂性（结构和模型相关）
  • 计算几何
  • 计算机辅助检测
  • 计算机辅助推理
  • 并发理论
  • 密码学与安全
  • 网络物理系统、数据库和知识系统
  • 形式规范和程序开发
  • 计算基础
  • 计算机科学中的逻辑
  • 移动计算
  • 计算模型
  • 网络
  • 并行和分布式计算
  • 量子计算
  • 程序的语义和验证
  • 人工智能与机器学习中的理论问题
  • 计算机科学中的类型

项目委员会

  • 克里斯特尔·拜尔（德累斯顿大学）
  • Petra Berenbrink（汉堡大学）
  • 克里斯托夫·贝尔霍尔茨（TU Ilmenau）
  • Michael Blondin（舍布鲁克大学）
  • Mikolaj Bojanczyk（华沙大学）
  • Joan Boyar（南丹麦大学）
  • Brona Brejova（布拉迪斯拉发夸美纽斯大学）
  • 让·卡迪纳尔（布鲁塞尔自由大学）
  • 帕沃·塞尔尼（TU Wien）
  • Krishnendu Chatterjee（奥地利科学技术研究所）
  • 乌戈·达尔·拉戈（博洛尼亚大学）
  • Stefan Dobrev（斯洛伐克科学院）
  • Robert Elsässer（萨尔茨堡大学）
  • Leah Epstein（海法大学）
  • Henning Fernau（特里尔大学）
  • Fedor Fomin（卑尔根大学）
  • Pierre Fraignaud（巴黎城市IRIF大学）
  • Jean Goubault-Larrecq（CNRS和ENS Paris-Saclay）
  • 克里斯托弗·阿恩斯费尔特·汉森（奥胡斯大学）
  • Lane Hemaspandra（罗切斯特大学）
  • Petr Jancar（帕拉基大学奥洛穆克分校）
  • Christos Kapountis（卡塔尔卡内基梅隆大学）
  • 斯特凡·基弗（牛津大学）
  • Ralf Klasing（波尔多大学拉布里分校CNRS）
  • Naoki Kobayashi（东京大学）
  • Barbara König（杜伊斯堡-埃森大学）
  • 马丁·库特克（布拉格查尔斯大学）
  • 拉斯蒂斯拉夫·克拉洛维奇（布拉迪斯拉发夸美纽斯大学校长）
  • Tony Kucera（布尔诺Masaryk大学主席）
  • 托比亚斯·莫克（奥格斯堡大学）
  • Madhavan Mukund（钦奈数学研究所）
  • Daniel Paulusma（达勒姆大学）
  • 乔瓦尼·皮奇奇尼（米兰大学）
  • 亚历山大·拉宾诺维奇（特拉维夫大学）
  • 彼得·罗斯马尼思（亚琛RWTH）
  • 克里斯蒂安·谢德勒（帕德博恩大学）
  • Sebastian Siebertz（不来梅大学）
  • 马丁·斯科维拉（布拉迪斯拉发夸美纽斯大学）
  • 贝蒂娜·斯派克曼（TU Eindhoven）
  • Paul Spirakis（利物浦大学）
  • 丹尼尔·斯特凡科维奇（罗切斯特大学）
  • 蒂尔·坦托（吕贝克大学）
  • 竹田武史（千叶大学
  • Ugo Vaccaro（萨勒诺大学）
  • Igor Walukiewicz（波尔多大学LaBRI）

    • 受邀演讲人

    提交指南

    论文应通过电子方式提交Easy椅子.

    应使用LIPIcs风格长度不为超过12页（不包括参考文献和可选附录）。参考文献和可选附录可以超出12页；这个附录将由项目委员会酌情查阅。提交时必须使用LIPIcs样式。

    未事先出版或同时提交给其他会议允许使用或日志（除了arXiv或没有正式出版会议记录的研讨会）。

    没有必要匿名提交。

    与往年一样，MFCS 2024会议记录将于LIPIcs（莱布尼茨国际信息学会议录）开放访问许可证。

    精选文章将被邀请参加信息与计算

    重要日期

    • 提交截止日期：2024年4月26日星期五（地球上任何地方）
    • 通知：2024年6月24日星期一
    • 会议时间：2024年8月26日至30日，