您的位置:首页 > 科学研究 > 学术科研

学术讲座

发布时间:2017-01-05 来源:本站原创 作者:本站编辑   浏览次数:

《逻辑、程序语义和验证》短课程

 

主题:逻辑、程序语义和验证

时间: 201719 (星期一)上午9:00-12:00

2017110(星期二)上午9:00-12:00

2017111(星期三)上午9:00-12:00

地点:西南大学计信院,25131320会议室

讲授人:王凡 教授(台湾大学)

 

内容摘要:Let us start with the propositional logics, and continue to the state machines and the temporal logics. In the end, I can also brief on my recent work on game temporal logics. If it is necessary, we can do four 3-hour lectures.
-                            Propositional Logic
-                            Sequential Program – Operational Semantics
-                            Kripke Structures
-                            Concurrent Systems
-                            Verification Problems of State-Transition Systems
-                            Temporal Logic and Model Checking
 
报告人简介:Professor Farn Wang obtained his Bachelor Degree in Electrical Engineering from National Taiwan University in 1982, his Master Degree in Computer Engineering from National Chiao-Tung University in 1984, and Ph.D. degree in Computer Sciences from The University of Texas at Austin in 1993. He worked in Academia Since from 1993 to 2002 and joined the Department of Electrical Engineering, National Taiwan University. He is interested at model-checking, software testing, strategy logics, and computing theory. He has delivered keynote/invited speeches in CTSE 2016, 1st SYNT 2012, 1st IWTS 1999, IEEE HASE 1998, 2nd AVIS 2003, and SVV 2005. He is an associate editor of FMSD (International Journal on Formal Methods for System Designs), Springer-Verlag (SCI extended) and was guest editors of IJFCS (International Journal on Foundations of Computer Science), a special issue on infinite system verification and analysis, 2003 and a special issue on ATVA 2003/2004. He was the general chairs IEEE TASE 2010 and ICTAC 2016.  He was the program chairs/co-chairs of 2nd ATVA 2003, 3rd ATVA 2004, IFIP 25’th FORTE 2005, ICTAC 2016, RTCSA 1997, and RTC 1999.