塞萨里·卡利西克
研究:
新闻:
当前教学:
出版物:
学生:
当前学生
- Shawn Wang(博士)神经自形成
- Stanis aw Purga(博士)
- 张廖(博士)
- 马克·亚当斯(外部合作)证据审计
- 朱利安·帕塞特(理科硕士)博弈论形式化
- Sebastian Waldhart(理学硕士)高阶统一
- Kamal Zakieldin(理科硕士)自然语言推理
毕业博士
所有教学:
所有事件:
-
国际JCLR23,Deduktionstreffen’23年,FMM23型,23年学员,ITP’23公司,AAAI'23年,23号沙发,表aux’23,
-
NeurIPS’22,IJCAR'22型,CICM’22年,IJCAI’22,ITP’22公司,PAAR’22年,CPP’22,
-
ITP’21,CICM’21,AITP’21,21世纪中叶,SCSS’21,21号拱门,NatFoM’21
-
IJCAR’20年,PAAR’20年,CICM’20,NatFoM’20,LPAR’20型,IJCAI'20年,ECAI’20
-
CICM’19,IJCAI’19,ITP’19,CADE'19系列,从S’19,SYNASC’19,FMM’19
AITP’19,
-
FMM’18型,2018年VSTTE,CICM’18年
2018年ITP,IJCAR'18年
-
17年PxTP,17年款,2017年9月,SCSS’17系列
-
2016年夏令时,AI通信SI’16,2016年FMM,AITP’16,2016年CICM,2016年ITP,SCSS’16系列
-
MKM'15系列,2015年PxTP,2014年CICM,2014年PIW,SCSS’13系列,2013年CICM,UITP’12,
-
WFLP’12型
CADGME’12号,Calculemus’11号,数学维基11,ThEdu'11号,
-
UITP’10,2006年ChitChat
项目: