-
Notifications
You must be signed in to change notification settings - Fork 18
/
Copy pathMPMFAI.html
332 lines (313 loc) · 11.4 KB
/
MPMFAI.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
<!DOCTYPE html>
<html lang="zh_CN">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>机器证明与人工智能数理基础专题研讨会</title>
<!-- <title>Computer Mathematics and Intelligent Mathematics Symposium</title> -->
</head>
<body>
<font face="Microsoft YaHei">
</font>
<center>
<font face="candara"><br>
</font>
<h1 align="center">
<font color="blue" face="Microsoft YaHei">机器证明与人工智能数理基础专题研讨会 2024</font>
</h1>
<div align="center">
<font color="darkgreen" size="5" face="Microsoft YaHei"><b>中国上海 · 2024年11月23日</b></font>
</div>
<h2 align="center">
<font face="Microsoft YaHei"><a href="./files/announcement.pdf">
<font color="blue">会议通知</font>
</a>
<font color="orange">|</font>
<font face="Microsoft YaHei"><a href="./files/program.pdf">
<font color="blue">会议议程</font>
</a>
<font color="orange">|</font>
</font>
<font face="Microsoft YaHei"><a href="./files/picture.jpg">
<font color="blue">会议照片</font>
</a></font>
</font>
</h2>
<hr size="2" width="100%" noshade align="center">
<p align="left">
<font face="Microsoft YaHei">
由上海大学主办的机器证明与人工智能数理基础专题研讨会将于2024年11月23日在中国上海举行。研讨会的宗旨为团结凝聚数学与人工智能领域的科研工作者，弘扬科学精神，加强学术交流，促进学科交叉，致力于推进数学与人工智能的融合与发展。
本次研讨会将围绕计算机代数与符号计算理论、机器证明、人工智能的数理基础、数学机械化、矩阵与多项式理论、组合图论与优化、可解释的机器学习、强化学习、图神经网络等多个专题，邀请国内外知名专家作为报告人，开展一系列学术交流与教学活动。此次研讨会希望通过一系列的专题授课以及研讨，加强各高校之间的学术联系。
研讨会的举办将为与会学者提供一个高水平的交流平台，助力研究人员深入了解机器证明和人工智能数理基础的前沿研究动态。通过报告与讨论，学员们将能够掌握机器证明的发展历史和基础理论、现代人工智能技术在机器证明的应用以及人工智能的数理基础的核心方法，拓展数学与人工智能的融合思路。诚邀全国各科研院所、高校及企业的青年学者、科技工作者和学生参加。
</font>
</p>
<p align="left">
<font face="Microsoft YaHei">本次研讨会的主题包括但不限于：</font>
</p>
<div align="left">
<ul>
<li>
<font face="Microsoft YaHei">机器证明、数学机械化理论及其应用</font>
</li>
<li>
<font face="Microsoft YaHei">计算机代数、符号计算、数值计算</font>
</li>
<li>
<font face="Microsoft YaHei">组合数学、离散优化</font>
</li>
<li>
<font face="Microsoft YaHei">多项式理论、矩阵论</font>
</li>
<li>
<font face="Microsoft YaHei">现代人工智能技术、深度学习、强化学习、图神经网络</font>
</li>
<li>
<font face="Microsoft YaHei">人工智能的数理基础</font>
</li>
<li>
<font face="Microsoft YaHei">人工智能与机器证明</font>
</li>
</ul>
</div>
<hr size="2" width="100%" noshade align="left">
<h3 align="left">
<font face="Microsoft YaHei">论坛报告</font>
</h3>
<ul>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
牟晨琪（北京航空航天大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
杨争峰（华东师范大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
陈经纬（中国科学院重庆绿色智能技术研究院）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
徐 鸣（华东师范大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
王宜敏（广东省智能科学与技术研究院）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
李 颖（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
张阳春（上海大学）
</font>
</div>
</li>
</ul>
<h3 align="left">
<font face="Microsoft YaHei">学术委员会</font>
</h3>
<ul>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
艾颖华（清华大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
冯 勇（中国科学院重庆绿色智能技术研究院）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
秦小林（中国科学院大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
王东明（北京航空航天大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
夏壁灿（北京大学）
</font>
</div>
</li>
</ul>
<h3 align="left">
<font face="Candara">组织委员会</font>
</h3>
<div align="left">
<ul>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
曾振柄（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
冷 拓（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
张阳春（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
岳晓冬（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
王宜敏（广东省智能科学与技术研究院）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
张效凯（上海大学）
</font>
</div>
</li>
</ul>
</div>
<h3 align="left">
<font face="Microsoft YaHei">本地组委会</font>
</h3>
<div align="left">
<ul>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
冷 拓（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
张效凯（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
秦 城（上海大学）
</font>
</div>
</li>
<li>
<div align="left">
<font face="Microsoft YaHei" align="left">
李 阳（上海大学）
</font>
</div>
</li>
</ul>
</div>
<hr size="2" width="100%" noshade align="left">
<h3 align="left">
<font face="Microsoft YaHei">相关费用</font>
</h3>
<p align="left">
<font face="Microsoft YaHei">本次研讨会免注册费，住宿费、交通及伙食费自理。</font>
</p>
<hr size="2" width="100%" noshade align="left">
<h3 align="left">
<font face="Microsoft YaHei"><strong>本地信息</strong></font>
</h3>
<div align="left">
<ul>
<li>
<font face="Microsoft YaHei"><strong>会议场地<br></strong></font>
<p align="left">
<font face="Microsoft YaHei">上海大学・乐乎新楼・海纳厅</font>
</p>
</li>
</ul>
</div>
<div align="left">
<ul>
<li>
<font face="Microsoft YaHei"><strong>酒店信息<br></strong></font>
<p align="left">
<font face="Microsoft YaHei">
上海大学乐乎新楼<br>
地址：中国上海宝山区大场镇上大路99号<br>
邮编：200444<br>
电话：66133651
</font>
</p>
</li>
</ul>
</div>
<div align="left">
<ul>
<li>
<font face="Microsoft YaHei"><strong>通勤信息<br></strong></通勤信息>
<p align="left">
<font face="Microsoft YaHei">驾车从上海虹桥站至上海大学宝山校区大约需要1小时。</font>
</p>
</li>
</ul>
</div>
<hr size="2" width="100%" noshade align="left">
<h3 align="left">
<font face="Microsoft YaHei">主办单位</font>
</h3>
<p align="left">
<font face="Microsoft YaHei">上海大学计算机工程与科学学院</font>
</p>
<hr size="2" width="100%" noshade align="left">
<h3 align="left">
<font face="Microsoft YaHei">合办单位</font>
</h3>
<p align="left">
<font face="Microsoft YaHei">上海大学未来技术学院</font>
</p>
<hr size="2" width="100%" noshade align="left">
</center>
</body>
</html>