Improving Mobile App Security via Analyzing Structured and Unstructured Artifacts

Time：     13:00, December 20 Thursday ,2018
Location:   Room 714, Science Building B
Lecturer： Xusheng Xiao  Case Western Reserve University

New applications in video-based artificial intelligence and pattern recognition technology

Time：      15:00, December 3 Monday,2018
Location:   Room 504, Science Building B
Lecturer： Michael Blumenstein, Professor, University of Technology Sydney

BLOCKCHAIN: Buzzword/Engineering/Science? (A distributed computing point of view)

Time：      14:00, November 28 Wednesday,2018
Location:   Room 201, Math BuildingB
Lecturer： Michel RAYNAL  Full professor,Universite de Rennes 1

Formal Verification of Differential Privacy

Time：      10:00, November 23 Friday,2018
Location:    Room 504, Science BuildingB
Lecturer：  Marco Gaboardi  Assistant professor, University at Buffalo, SUNY

A Crosscutting View of Computer Architecture

Time：      14:00-15:00, November 14 Wednesday,2018
Location:   Room 201, Math Building
Lecturer：  Ansuman Banerjee   Indian Statistical Institute

Behavioural Verification of Distributed Components

Time：      15:00-16:30, Octomber 29 Monday,2018
Location:    Room 1102, Science BuildingB
Lecturer：  Prof.Eric Madelaine   INRIA

Multi-oriented and Multi-script Document Recognition

Time：       9:30, Octomber 24 Wednesday,2018
Location:    Room 914, Science BuildingB
Lecturer：  Prof Umapada Pal,  Indian Statistical Institute，IAPR Fellow

IDE Support for Machine Learning Programming

Time：       10:00-11:00, Octomber 17  Wednesday,2018
Location:    Room 201, Math Building
Lecturer：  Julian Dolby    IBM Thomas J. Watson Research Center. America

Formal Design, Implementation and Verification of Blockchain Languages

Time：       14:00-15:00, Octomber 8  Monday,2018
Location:    Room 201, Math Building
Lecturer：  Prof. Grigore Rosu  (UIUC)

Reasoning about Cognitive Trust in Human-Robot Interactions