Seminars |
| 2007 |
| Title:An Introduction to Core-sets and Discrete Frechet Distance Speaker: Binhai Zhu (Montana State University) Time: 10:00am, Monday, August 20 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:Controller Synthesis for Real-Time Systems Speaker: Professor Kim G. Larsen (Center for Embedded Software Systems Aalborg University DENMARK) Time: 9:30am, Wednesday, August 15 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:On the limitations of finite state models as sources of tests
for access control and authentication Speaker: Aditya Mathur (Purdue University) Time: 3:00pm, Thursday July 26 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:Compositional Verification of Timed Systems Speaker:Prof.Wang Yi, Uppsala University Time: 10:30am, Wednesday June 27 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
|
Title:Modelling and Refinement of Component-based Software Systems:
A Coalgebraic Perspective Speaker:Dr. Sun Meng Centrum voor Wiskunde en Informatica (CWI), Amsterdam, Netherlands Time: 10am, Tuesday June 26 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title£ºCTL/ACTL Model Update: The Model Explosion Problem and Counterexample
Guided Update Speaker£ºProfessor Yan Zhang,Intelligent Systems Laboratory,School of Computing and Mathematics,University of Western Sydney, Australia Time£º10am, Tuesday June 12 Venue£ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title£ºA process calculus for Specifying Service Level Agreements and
Resource AllocationChinese Medicine Speaker£ºMarzia Buscemi,IMT Lucca Institute for Advanced Studies & University of Pisa, Italy Time£º3pm, Monday June 4 Venue£ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title£ºLatent Tree Models and Statistical Foundation for Traditional
Chinese Medicine Speaker £ºProf. Nevin L. Zhang,Department of Computer Science & Engineering,The Hong Kong University of Science & Technology Time £º3pm, Wednesday,May 30 Venue £ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title£ºImplementation of Distributed Loop Scheduling Schemes on the TeraGrid Speaker £ºAnthony T. Chronopoulos Time £º10am, May 21 Venue £ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title£ºBuilding Certified System Software: Are We Close? Speaker £ºZhong Shao, Yale University Time £º3pm, Thursday April 26 Venue £ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS |
| Title£ºSemantics of BPEL4WS-like Fault and Compensation Handling Speaker £ºZongyan Qiu£¨www.is.pku.edu.cn/~qzy/£© Time £º9:30am, March 22 Venue £ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS |
| Title£º Abductive Reasoning with Logic Programs with Negation Speaker £ºProf. Jia-Huai You (University of Alberta, Canada) Time £º3pm, March 20 Venue £ºLecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS |
 |
