↓
 

Xixi Logic

  • Home
  • Announcements
    • Local Announcements
    • Messages from the Community
  • Invited Talks
  • Conferences
  • Group Meetings
    • L&I Reading Group
    • PL&PL Reading Group
  • Other Events
  • Courses
  • Calendar
  • About Us
Home→Categories ZJU Events→Invited Talks - Page 3 << 1 2 3 4 5 … 23 24 >>

Category Archives: Invited Talks

Post navigation

← Older posts
Newer posts →

Xiaoli Liu: Can Intelligent Machines Have Emotions and Morals from Human Cognition?

Xixi Logic Posted on 2020-11-25 by Huimin Dong2020-12-07

西溪逻辑论坛第146期   从人类认知看智能机器可能有情感和道德吗? 主讲人:刘晓力教授 (中国人民大学哲学院) 时间:2020年11月27日(16:00-17:30) 地点:浙江大学紫金港校区西区人文学院大楼513室 主讲人简介: 刘晓力,北京大学哲学博士,中国人民大学哲学院二级教授,中国人民大学哲学与认知科学交叉平台首席专家,曾任中国逻辑学会副会长,现任中国自然辩证法研究会科学哲学专业委员会理事长。在《中国社会科学》、《哲学研究》、《自然辩证法通讯》等期刊发表重要文章,出版《理性的生命——哥德尔思想研究》,新近由科学出版社出版社科基金重大项目成果《认知科学对当代哲学的挑战》。   主办:浙江大学哲学系 承办:浙江大学逻辑与认知研究所、浙江大学“双脑计划”-“逻辑、认知与人工智能”交叉创新团队

Continue reading →
Posted in Invited Talks

Bruno Bentzen: Perspectives on the Foundations of Type Theory

Xixi Logic Posted on 2020-07-31 by Huimin Dong2020-07-31

西溪逻辑论坛第140期 Date: 7 August, 2020 (21:00-22:00) Platform: Zheda Ding Speaker: Dr. Bruno Bentzen (Carnegie Mellon University, USA) Title: Perspectives on the foundations of type theory Abstract: Type theory is a class of formal theories inspired by Russell’s conviction that every … Continue reading →

Posted in Invited Talks

Davide Liga: Argument Scheme Detection and Tree Kernels

Xixi Logic Posted on 2019-11-29 by Chen2019-12-03

西溪逻辑论坛第124期 Date: 3 December 2019 (10:00-12:00) Venue: Room 259, Main Teaching Building, Xixi Campus, Zhejiang University Speaker: Dr. Davide Liga (University of Bologna, Italy) Title: Argument Scheme Detection and Tree Kernels Abstract: Argument Schemes are theoretical abstractions describing patterns of … Continue reading →

Posted in Invited Talks

Post navigation

← Older posts
Newer posts →
© Since 2014 Xixi Logic. All rights reserved.   浙ICP备15002489号-1
↑