Computer Science and Engineering Seminar in mixed mode (F2F and Zoom online) - "Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types"

Name: Computer Science and Engineering Seminar in mixed mode (F2F and Zoom online) - "Principal Type Inference for Object-Oriented Programming in a Boolean Algebra of Types"
Start: 2021-11-22
End: 2021-11-22

2021 年 11 月 22 日

4:00pm - 5:00pm

Leung Yat Sing Lecture Theater (LT-F), near lift 25/26, HKUST

Supporting the below United Nations Sustainable Development Goals:支持以下聯合國可持續發展目標：支持以下联合国可持续发展目标：

Speaker: Dr. Lionel Parreaux
Assistant Professor
Department of Computer Science and Engineering
HKUST

Zoom link: https://hkust.zoom.us/j/95532049042?pwd=UjkvVG9oZEhqZ1A5M2NJbWplelRJQT09

活動形式

研討會, 演講, 講座

語言

英文

適合對象

校友

教職員

研究生

更多資訊

http://www.cse.ust.hk/pg/seminars/

主辦單位

計算機科學及工程學系

聯絡方法

Tel: 2358 7008

工程學