- 1、本文档共9页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
中国逻辑学会-南京航空航天大学计算机科学与技术学院
中 国 逻 辑 学 会
非经典逻辑与计算专委会
成立大会
会
议
手
册
会议时间 : 2017 年3 月25 日至3 月26 日
承办单位 : 南京航空航天大学
目录
1. 会议日程安排1
2. 学术报告3
3. 中国逻辑学会非经典逻辑与计算专委会章程5
会议日程安排
时间 内容 地点
2017 年3 月25 日
12:00~20:00 参会嘉宾报到 御苑宾馆
18:30 晚餐 御苑宾馆御花园包间
中国逻辑学会非经典逻辑与计算专委会成立预备会议
确认到会委员的专委会创始委员资格;汇报筹备组工作情
南航18 号楼
20:00~22:00 况;通过章程;根据筹备组提议,讨论并确定常委候选人
529 报告厅
人选;讨论并确定主任、副主任、秘书长候选人人选;讨
论决定副秘书长候选人人选。
2017 年3 月26 日
中国逻辑学会非经典逻辑与计算专委会成立大会
1. 开幕式
南航18 号楼
8:30~9:30 合影
529 报告厅
2. 正式选举
3. 专委会会议
9:30~9:50 茶歇
特邀学术报告1
9:50~10:50
报告人:陈国良 中国科学院院士 南航18 号楼
特邀学术报告2 529 报告厅
10:50~11:50
张建军 南京大学
12:00 午餐 南航桃李苑999 包间
学术报告1 南航18 号楼
14:00~14:40
报告人:石寅 中国科学院半导体研究所 529 报告厅
学术报告2 南航18 号楼
14:40~15:20
报告人:周宁宁 南京邮电大学 计算机学院 529 报告厅
15:20~15:40 茶歇
文档评论(0)