2018年软件理论讨论班日程安排
注： 除特殊说明外，每次讨论班时间为周三下午1点到3点。
|
|
时间（Date）
|
地点（Place） |
报告题目（Title）
|
报告人 |
1 |
2018.2.28 |
1303 |
Quantum Computing for Computer Scientists |
Ai Liu |
|
2
|
2018.3.7 |
1303 |
Quantum Computing for Computer Scientists |
Ai Liu |
|
3
|
2018.3.14 |
1303 |
Quantum Computing for Computer Scientists |
Ai Liu |
|
4
|
2018.3.21 |
1303 |
安全攸关操作系统的形式化验证 |
Yongwang Zhao (BUAA) |
|
5
|
2018.3.28 |
1303 |
Towards Compositional Verification of Interruptible OS Kernels and Device Drivers |
Yi Li |
6
|
2018.4.4 |
讨论班暂停一次。 |
||
7
|
2018.4.11 |
1303 |
Synthesizing SystemC Code from Delay Hybrid CSP |
Gaogao Yan (ISCAS) |
8
|
2018.4.18 |
1303 |
Casper the Friendly Ghost: A Correct-by-Construction Blockchain Consensul Protocol |
Yi Li |
|
9
|
2018.4.25 |
1303 |
Scripting Languages for Smart Contracts |
Xiyue Zhang |
10 |
2018.4.26 |
1303 |
Auto2 Prover in Isabelle and Its Application to Program Verification |
Bohua Zhan (TUM) |
11
|
2018.5.2 |
五一期间讨论班暂停一次。 |
||
|
12
|
2018.5.9 |
1303 |
Formal Verification of Smart Contracts |
Yuteng Lu |
13 |
2018.5.16 |
1303 |
Generating PRISM Codes from Mediator |
Weidi Sun |
|
14 |
2018.5.23 |
出国开会，讨论班暂停。 |
||
15 |
2018.5.30 |
|||
16 |
2018.6.6 |
1303 |
On Semantics for Mediator: A Coalgebraic Perspective |
Ai Liu & Shun Wang |
17 |
2018.6.13 |
1303 |
Program Logic and Blockchain Verification |
Xiaohong Chen (UIUC) |
18 |
2018.6.21 |
1560 |
Advanced Automata-Based Algorithms for Program Termination Checking |
Lijun Zhang (ISCAS) |
19 |
2018.6.27 |
1114 |
Parametric Groebner Basis Computations and Elimination |
Prof. Deepak Kapur (University of New Mexiao) |
20 |
2018.7.2 |
1560 |
Knowledge Representation and Reasoning: What about the Paradoxes? |
Prof. Yanhong A. Liu (Stony Brook University) |
21 |
2018.9.10 |
1304 |
Smart Black-Box Testing - Combining Model Learning and Model-based Testing |
Prof. Bernhard K. Aichernig (TU Graz) |
22 |
2018.9.12 |
1304 |
Compositional Semantics for New Paradigms: Probabilistic, Hybrid and Beyond |
Dr. Renato Neves (University of Minho) |
23 |
2018.9.19 |
1303 |
Group Presentation |
Xiyue Zhang, Saqib Nawaz, Yuteng Lu |
24 |
2018.9.26 |
1303 |
Group Presentation |
Xiyue Zhang, Yi Li, Saqib Nawaz, Yuteng Lu |
25 |
2018.10.3 |
十一期间讨论班暂停一次。 |
||
26 |
2018.10.10 |
1304 |
Interaction by Composition I |
Prof. Farhad Arbab (Leiden University & CWI) |
27 |
2018.10.12 |
1114 |
Coordinated Composition of Components and Services |
Prof. Farhad Arbab (Leiden University & CWI) |
28 |
2018.10.17 |
1304 |
Interaction by Composition II |
Prof. Farhad Arbab (Leiden University & CWI) |
29 |
2018.10.19 |
1114 |
Semi-automated Software Service Integration in Virtual Organizations |
Prof. Hamideh Afsarmanesh (University of Amsterdam) |
30 |
2018.10.24 |
1304 |
Group Presentation: Practice for ICFEM and FMAC |
Yi Li, Xiyue Zhang and Qi Zhang |
31 |
2018.10.31 |
1303 |
Group Presentation |
Xiyue Zhang and Yi Li |
32 |
2018.11.7 |
1304 |
TBD |
TBD |
33 |
2018.11.14 |
ICFEM会议，讨论班暂停一次。 |
||
往年讨论班信息