BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Faculty of Science and Technology | University of Macau - ECPv6.14.2//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALNAME:Faculty of Science and Technology | University of Macau
X-ORIGINAL-URL:https://www.fst.um.edu.mo
X-WR-CALDESC:Events for Faculty of Science and Technology | University of Macau
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:Asia/Macau
BEGIN:STANDARD
TZOFFSETFROM:+0800
TZOFFSETTO:+0800
TZNAME:CST
DTSTART:20170101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;VALUE=DATE:20170726
DTEND;VALUE=DATE:20170728
DTSTAMP:20260511T102245
CREATED:20170726T031104Z
LAST-MODIFIED:20220927T043751Z
UID:5918-1501027200-1501199999@www.fst.um.edu.mo
SUMMARY:Computer Vision and Human-Machine Interaction Summer Camp 20172017計算機視覺與人機交互夏令營
DESCRIPTION:
URL:/academics/summer-camp/summer-camp-2017/computer-vision-and-human-machine-interaction-summer-camp-2017/#new_tab
CATEGORIES:activities,event_list
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20170726
DTEND;VALUE=DATE:20170729
DTSTAMP:20260511T102245
CREATED:20170726T031239Z
LAST-MODIFIED:20220927T043751Z
UID:5922-1501027200-1501286399@www.fst.um.edu.mo
SUMMARY:Green Vehicle Summer Camp 2017環保交通工具夏令營 2017
DESCRIPTION:
URL:/academics/summer-camp/summer-camp-2017/green-vehicle-summer-camp-2017/#new_tab
CATEGORIES:activities,eme_events,event_list
END:VEVENT
BEGIN:VEVENT
DTSTART;VALUE=DATE:20170726
DTEND;VALUE=DATE:20170729
DTSTAMP:20260511T102245
CREATED:20170726T040657Z
LAST-MODIFIED:20220927T043750Z
UID:5967-1501027200-1501286399@www.fst.um.edu.mo
SUMMARY:Wireless Technology Study Summer Camp 2017無線技術研習夏令營 2017
DESCRIPTION:
URL:/academics/summer-camp/summer-camp-2017/wireless-technology-study-summer-camp-2017/#new_tab
CATEGORIES:activities,event_list
END:VEVENT
BEGIN:VEVENT
DTSTART;TZID=Asia/Macau:20170726T150000
DTEND;TZID=Asia/Macau:20170726T160000
DTSTAMP:20260511T102245
CREATED:20170726T070025Z
LAST-MODIFIED:20220927T043750Z
UID:6142-1501081200-1501084800@www.fst.um.edu.mo
SUMMARY:Contract-Based Model of Evolving Architecture for Intelligent Cyber-Physical Systems
DESCRIPTION:Instructors/Speakers\nProf. Zhiming LIU\nCentre for Research and Innovation in Software Engineering (RISE)\nSouthwest University\, Chongqing\nChina \nAbstract\nThe sustainable development of most economies and the quality of life of their citizens largely depend on the development and application of evolutionary digital ecosystems. The characteristic features of these systems are reflected in the so called Internet of Things (IoT)\, Smart Cities\, Cyber-Physical Systems (CPS)\, Systems of Human-Machine-Things\, and Data Centers. Compared to the challenges in traditional ICT applications that engineers used to face\, system and software development is to develop and integrate new components or subsystems\, new applications and front end services that depends on the infrastructures of existing systems. This has to deal with the complexity of ever evolving architectures digital components\, physical components\, together with sensors and smart devices controlled and coordinated by software. The architectural components are designed with different technologies\, run on different platforms and interact through different communication technologies. Software runs in these systems for data processing and analytics\, computation\, and intelligent control. However\, the critical requirements of applications of these systems should not be compromised\, and thus critical components need to be “provably correct”. In this talk we discuss\, for development software in these emerging systems\, the need of a foundation for the combination of traditional software engineering\, AI (or knowledge-based engineering) and the emerging Big Data technologies. We show how an interface theory could play a core role in this foundation for seamless combination of different models\, methods and tools for software development\, AI and Big Data\, as well as for system integration. \nBiography\nZhiming Liu is known for his work on real-time and fault-tolerant program design\, verification\, and schedulability analysis by transformations that established a theory of real-time and fault-tolerant refinement; probabilistic duration calculus for system dependability specification and analysis\, and his work on the rCOS formal method of model-driven design. The key bibliographic database lists over 130 of his peer reviewed publications in recognized outlets. These include papers published in the top journals on formal methods\, ACM Transactions on Programming Languages\, Formal Aspects of Computing\, Science of Computer Programming and Theoretical Computer Science\, as well as mainstream conferences. He received a 2nd prize in natural science of Science and Technology Award from Macao SAR in 2012 for his work on the rCOS method. He joined Southwest University in Chongqing (China) as a full-time professor in January 2016\, and he is now leading to build the Centre for Research and Innovation in Software Engineering. Zhiming Liu received his PhD in 1991 from the University of Warwick (UK)\, and then worked there for three more years as a postdoc research fellow till 1994. After that\, he worked during 1994-2005 at the University of Leicester as lecturer. Between 2002 and 2013\, he worked for the United National University – International Institute for Software Technology (UNU-IIST\, Macau) as a research fellow and then senior research fellow. Then he worked from 2013 to 2015 at Birmingham City University as Professor of Software Engineering before he returned back China to take his current position. Zhiming Liu is a member of CCF\, a Fellow of British Computer Society\, and a senior member of ACM. He also a founder of the international conferences ICTAC\, SEFM\, FACS and SETTA. \n 
URL:https://www.fst.um.edu.mo/event/contract-based-model-of-evolving-architecture-for-intelligent-cyber-physical-systems/
LOCATION:E11-4045 (University of Macau)
CATEGORIES:event_list,seminarslectures
END:VEVENT
END:VCALENDAR