2025 第 55 届电气和电子工程师学会多逻辑国际研讨会

2025 IEEE 55th International Symposium on Multiple-Valued Logic (ISMVL)

加拿大

2025年06月04日-2025年06月06日

【会议简介】

IEEE 计算机学会多值逻辑技术社区将于 2024 年 5 月 28 日至 30 日在捷克共和国布尔诺举行第 54 届年度研讨会。

ISMVL 2024 将由数学和统计学系在布尔诺马萨里克大学科学学院历史悠久的校园内的演讲厅举办。研讨会将汇集计算机科学、工程、数学和其他学科的研究人员，讨论多值逻辑和相关领域未来研究的新发展和方向。这些领域任何主题的研究论文、调查或教程论文都属于研讨会的范围。 ISMVL 的论文集收录在 Ei compendex 中，这是世界上最广泛、最完整的工程文献数据库。

【重要信息】

会议地点：捷克共和国布尔诺

会议时间：2024 年 5 月 28 日至 30 日

截稿时间：2024年3月22日

【主办单位】

【主讲嘉宾】

Claudio Moraga

多特蒙德工业大学计算机科学系

Kaitlin Smith

西北大学计算机科学系

Petr Cintula

捷克科学院计算机科学研究所

【论文出版】

本会议的投稿经过2-3位组委会专家严格审核之后，最终所录用的论文将会提交至出版社以会议论文集形式出版，并提交至EI Compendex, Scopus检索。

【征稿主题】

代数和形式方面	自动测试模式生成	自动化理论
布尔可满足性	电路/设备实现	通信系统
计算机算术	数据挖掘	模糊系统与软计算
图像处理	逻辑设计和切换理论	逻辑编程
机器学习和机器人技术	数学模糊逻辑	数据科学与分析中的 MVL
MVL 医疗技术方面	纳米技术	MVL 的哲学层面
量子计算	量子密码学	可逆计算
信号处理	光谱技术	测试与验证

更多的征稿主题，欢迎联系会务老师咨询。

【投稿须知】

1.会议的官方语言为英语，请务必用英语撰写论文。如您需要官方提供翻译润色支持，联系我们获取优惠，或点击：https://www.yanfajia.com/translation.html；

2.文章页数要求不少于4页。请严格按照模板的格式修改文章格式；

3.论文应为原创文章且从未公开发表，禁止抄袭，禁止一稿多投；

4.作者需通过查询系统自费查重，全文查重（包括参考文献），查重率不高于 30%；

5.投稿后1-2周内出结果，审核快的话，7天之内就能出结果，早投稿早审核，早发录用通知。

【注册方式】

会议优先采用在线方式投稿与注册：

论文请投递至：https://www.yanfajia.com/conf/index/ISMVL.html

参会报名：https://www.yanfajia.com/conf/index/ISMVL.html

论文模板：https://www.yanfajia.com/conf/index/ISMVL.html

【注册费用】

作者注册费用

作者注册费用	截稿时间：2024年3月22日
IEEE 成员	CZK 13,000
非成员	CZK 15,600
IEEE终身会员	CZK 7,150
IEEE 学生会员	CZK 9,100
学生非会员	CZK 10,920
额外页面费用（每页）	CZK 2,400

非作者注册费用

注册类别	早鸟票	注册费用
注册类别	截止至2024年4月27日	自 2024 年 4 月 28 日起
IEEE 成员	CZK 13,000	CZK 14,000
非IEEE成员	CZK 15,600	CZK 16,800
IEEE终身会员	CZK 7,150	CZK 7,700
IEEE 学生会员	CZK 9.100	CZK 9,800
学生非会员	CZK 10,920	CZK 11,760

非作者注册费主要包括：
1.访问在线会议记录
2.通过 Zoom 访问现场演示

【会议议程】

2024 年 5 月 27 日 \| 星期一
14:00–14:30	ULSIWS/ISMVL 注册(8 号楼 2 楼 08-02015 房间）
14:30–17:00	后二进制 ULSI 系统研讨会 (8 号楼 08-02015 房间）
17:00–20:00	欢迎/注册(8号楼2楼08-02015房间）

2024 年 5 月 28 日 \| 星期二
8:30–8:40	ISMVL 注册(Aula，12 号楼，1 楼）
8:45–9:00	开幕式(Aula，12号楼）
9:00–10:00	[主题演讲 I] 主席：R. Stanković(Aula，12 号楼） Claudio Moraga 教授：<ISMVL 54 年 — 我学到了什么？>
10:00–10:20	茶歇 (M3，8号楼）
10:20–11:35	[第 1A 场] 主席：J. Paseka	[第 1B 节] 主席：Na. Homma
11:35–11:45	短暂休息
11:45–12:35	[第 2A 节] 主席：Shi. Nagayama	[会议 2B] 主席：Ya. Yuminaka
12:35–12:45	短暂休息
12:45–18:00	游览（在巴士上享用午餐（莱德尼采城堡之旅）/在 M2，8 号楼（城市导览游）；均从校园出发）
18:30–19:00	从 Continental 酒店乘坐 4 路电车前往布尔诺天文台和天文馆
19:00–21:30	宴会（布尔诺天文台和天文馆）

2024 年 5 月 29 日 \| 星期三
9:00–10:00	[主题演讲 II] 主席：K. Emir（Aula，12 号楼） Petr Cintula 教授：<多值逻辑的一般代数研究>
10:00–10:30	茶歇 (M3，8号楼）
10:30–11:45	[第 3 场] 主席：C.Moraga
12:00–13:30	午餐（M1，8号楼）研讨会和执行委员会会议 11:50–12:30（M2，8号楼））
13:30–14:45	[第 4A 节] 主席：Ha. Machida	[第 4B 节] 主席：K. Smith
14:45–15:15	茶歇 (M3，8号楼）
15:15–16:05	[第 5A 节] 主席：T. Ferguson	[会议 5B] 主席：Yo. Iijima

2024 年 5 月 30 日 \| 星期四
9:00–10:00	[主题演讲 III] 主席：E. Younis（Aula，12 号楼） Kaitlin Smith 教授：<软件在量子计算系统中的作用>
10:00–10:30	茶歇 (M3，8号楼）
10:30–12:10	[第 6A 节] 主席：J. Pantović	[第 6B 节] 主席：M. Lukac
12:15–13:00	全体会议及闭幕式（Aula，12 号楼）
13:00–14:00	午餐（M1，8号楼）