Seminars |
| 2008 |
| Title:Efficient Query Answering over Ontologies Speaker:Dr. Jeff Z. Pan (University of Aberdeen, UK) Time:3:00pm, Monday£¬Apirl 21 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title: Model-Based Validation of QoS Properties of Biomedical Sensor
Netwroks Speaker:Prof. Wang Yi(Uppsala University, Sweden) Time:4:00pm, Monday Mar.31 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title: Tool supported real-time system verification techniques based
on abstraction/deduction and model checking Speaker: Dr. Eun-Young Kang (The United Nations Unviersity,International Institute for Software and Technology) Time:4:00pm, Friday Mar.28 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:Formal
Model Driven Design Speaker: Dr. Liu Zhiming (The United Nations Unviersity,International Institute for Software and Technology) Time:2:30pm, Friday Mar.28 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| 2007 |
| Title: Formalisation and Verification in a Type-theoretic Framework Speaker: Prof. LUO Zhaohui £¨Dept of Computer Science, Royal Holloway, Univ of London£© Time:3pm, Tuesday Dec. 11 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title: Programming with Transactional Memory Speaker: Dr. Bratin Saha £¨Programming Systems Lab, Intel£© Time: 4pm, Monday Dec. 10 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:A Pointer Logic for Object Diagrams Speaker: Yifeng Chen £¨Department of Computer Science, University of Durham, Durham DH1 3LE, UK.£© Time: 9am, Monday October 29 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:ISCAS Computing Day Speaker: Juris Hartmanis Time:Thursday Sept. 20 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:An invitation to Quantum Information Theory Speaker: Dr. JI Zhengfeng Time:3:30pm, Thursday Sept. 20 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| Title:Modeling and Design of Embedded Systems Speaker: Dr. T. John Koo and Dr. Haiyang Zheng Time: 9am, Monday September 17 Venue: Lecture room, Lab for Computer Science, Level 3 Building #5, Institute of Software, CAS Abstract |
| 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 |
 |