Postdoctoral positions at Scho...

Postdoctoral positions at School of Computer Science and Software Engineering, East China Normal University, Shanghai

Perturbation Analysis in Verif...

November 27th：

Title：Perturbation Analysis in Verification of Discrete-Time Markov Chains

Lecturer：Professor Yuan Feng（University of Technology Sydney）

Time：10：00 - 11：00, November 27(Friday),2015

Location: Room 1002, Science Building B

Towards a Bisimulation Theory ...

November 4th：

Title：Towards a Bisimulation Theory for Open Synchronized Networks of Automata

Lecturer：Professor Eric Madelaine（INRIA/I3S, Sophia-Antipolis, France）

Time：12:45 - 13:45, November 4, 2015

Location：Room 1002, Science Building B

Security and privacy in vehicu...

October 28th：

Title：Security and privacy in vehicular networks

Lecturer：Professor Josep Domingo-Ferrer（Member of Academia European ）

Time：10:00 - 11:30, October 28 ,2015

Location：Room 201, Mathematics Building

An Integrated Solution for Sof...

September 10th :

Title：An Integrated Solution for Software Testing and Quality Assurance

Lecturer：Professor W. Eric Wong

Time：9:00 - 11:00, September 10(Thursday), 2105

Location：Room 201, Mathematics Building

My view on Research Methodolog...

September 9th :

Title: My view on Research Methodology

Lecturer: Professor Chengqi Zhang

Time: 11:00 – 13:00,September 9, 2105

Location: Room 113, Mathematics Building

Coverage at the Formal Specifi...

August 13th：

Title：Coverage at the Formal Specification Level

Lecturer：Professor Rolf Drechsler
Time：14：00 – 16:00,August 13(Thursday), 2015
Location: Room 201, Mathematics Building

Robotic Manipulation Leveragin...

July 1th :

Title： Robotic Manipulation Leveraging Plane Contacts

Lecturer：Jia Pan Assistant Professor

Time：13:30 – 16:00,July 1, 2015

Location：Room 201, Mathematics Building