2024年IEEE第54届国际多值逻辑研讨会

2024年IEEE第54届国际多值逻辑研讨会将于2024 年 5 月 28 日至 30 日在捷克共和国布尔诺举行。该研讨会将汇集来自计算机科学、工程、数学和其他学科的研究人员讨论多值逻辑及相关领域未来研究的新进展和方向。

ISMVL 2024 将由以下杰出科学家做大会报告：

•Claudio Moraga（多特蒙德工业大学计算机科学系）

•Kaitlin Smith（Infleqtion 的 Super.tech/西北大学计算机科学系）

•Petr Cintula（捷克科学院计算机科学研究所）

组织

研讨会主席：

Jan Paseka

 （捷克马萨里克大学）

程序主席：

Mike Behrisch

 （维也纳工业大学，奥地利）

Yasushi Yuminaka

 （群马大学，日本）

财务主席：

Jan Vondra

 （捷克共和国马萨里克大学）

出版主席：

待定

宣传主席：

待定

本地安排主席：

Kadir Emir

 （捷克共和国马萨里克大学）

Martina Kolníková

 （捷克共和国马萨里克大学）

程序委员会

程序主席：

Mike Behrisch

 （维也纳工业大学，奥地利）

Yasushi Yuminaka

 （群马大学，日本）

委员会成员：

Tomoyuki Araki

 （日本广岛理工学院）

Mike Behrisch

 （奥地利维也纳工业大学）

Anupam Chattopadhyay

 （南洋理工大学）

Miguel Couceiro

 （法国 INRIA）

Rolf Drechsler

 （德国不来梅大学）

Elena Dubrova

 （KTH 皇家理工学院）技术，瑞典)

Gerhard Dueck

 （加拿大新不伦瑞克大学）

Vincent Gaudet

 （加拿大滑铁卢大学）

Takashi Hirayama

 （岩手大学，日本）

Naofumi Homma

 （东北大学，日本）

Yosuke Iijima

 （小山国立工业大学，日本）

Norihiro Kamide

 （日本帝京大学）

Pawel Kerntopf

 （华沙理工大学，波兰）

Erkko Lehtonen

 （哈利法大学，阿拉伯联合酋长国）

Martin Lukac

 （广岛市立大学，日本）

Hajime Machida

 （原：日本一桥大学）

Felip Manyà

 （IIIA-CSIC 西班牙莱里达大学）

Michael Miller

 （加拿大维多利亚大学）

Claudio Moraga

 （德国多特蒙德工业大学）

Shinobu Nagayama

 （日本广岛市立大学）

Jovanka Pantović

 （塞尔维亚诺维萨德大学）

Jan Paseka

 （马萨里克大学） ，捷克共和国)

Tsutomu Sasao

 (明治大学，日本)

Dan Simovici

 (马萨诸塞大学，美国)

Kaitlin Smith

 (西北大学，美国)

Radomir Stanković

 (尼什大学，塞尔维亚)

Bernd Steinbach

 ( TU Bergakademie Freiberg，德国)

Noboru Takagi

 (日本富山县立大学

Mitchell Thornton

 （美国南卫理公会大学）)

Rei Ueno

 （东北大学，日本）

Edith Vargas García

 （ITAM，墨西哥）

Takao Waho

 （上智大学，日本）

Robert Wille

 （TU München & SCCH GmbH，德国）

Yasushi Yuminaka

 （群马大学，日本）

主题包括但不限于：

代数和形式方面

自动生成测试模式

自动推理

布尔可满足性

电路/器件实现

通讯系统

计算机算术

数据挖掘

模糊系统和软计算

图像处理

逻辑设计和开关理论

逻辑编程

机器学习和机器人技术

数学模糊逻辑

数据科学与分析中的 MVL

医疗技术的 MVL 方面

纳米技术

MVL 的哲学方面

量子计算

量子密码学

可逆计算

信号处理

光谱技术

测试与验证

作者应按照IEEE 会议记录格式指南以 PDF 文件形式提交论文 。每篇稿件应包括 50-100 字的摘要，且不应超过 6 页。所有被接受的论文将由 IEEE 出版。

会议结束后，入选论文的作者将被邀请准备论文的扩展版本，并在一些期刊上发表。

ISMVL 的会议记录是 Ei Compendex的一部分，Ei Compendex 是世界上最广泛、最完整的工程文献数据库。

信息联系人：

Jan Paseka

paseka@math.muni.cz