我校拟派数学与计算机科学学院陈建利副教授于2019年1月赴美国参加学术会议，现予以公示。公示期自2018年12月28日至2019年1月4日，如有异议，敬请监督。联系电话：22865273 （对外合作与交流处）
因公出国（境）团组信息公开表（2018年12月26日更新）
团组负责人 | 陈建利 | 学院或部门 | 数学与计算机科学学院 | 职称 | 副教授 | 职务 | 无 |
团组其他 成员姓名、 学院或 部门、 职称、职务 | 无 | 出访国家 或地区 | 美国 | 出访任务 （会议中、 英文名称） | 参加第56届设计自动化技术程序委员会会议（The 56th DACTechnical Program Committee） |
具体 日程 安排 | 2019年1月28号 时间：12:00-14:45，乘坐厦门航空MF8107, 从福州出发到北京首都国际机场； 时间：17:25-16:50，从首都国际机场搭美国航空（航班号：AA262）到美国达拉斯沃思堡国际机场,并于当地时间2019年1月28日16:50到达美国达拉斯； 时间（美国）：18:59-20:15，乘坐美国航空（航班号：AA2212）从达拉斯出发到乔治布什国际机场，休斯顿。 2019年1月29号 上午7.00—上午10.00：会议注册； 上午10.30—中午12.00：研讨会 下午2.30—晚上7.00：讨论设计自动化会议（DAC）的投稿情况，并讨论电子设计自动化的最新研究方向。 2019年1月30号 上午：会议早餐（6:30-8:00）；参加DAC TPC会议，聆听本领域专家报告（8:00-12:00）； 下午：午饭（12:00-13:00）；参加技术座谈会（14:00-18：00） 晚上：参加设计自动化参展商讨论会，了解设计自动化主要公司的最新成果及未来发展方向； 2019年1月31号 上午：聆听大会主题演讲(9:00-10:00)；参加分组报告会(10:30-12:00)； 下午：参加 设计/IP 追踪会议；参加分组讨论会； 晚上：参加讨论会及设计自动化工作会议； 2019年2月01号至2019年2月02号 时间：美国当地时间2019年2月01号上午6:51-08:50，从乔治布什国际机场搭乘美国航空（航班号：AA1027）到洛杉矶国际机场，并于洛杉矶当地时间2019年02月01号上午09:50-15:55从洛杉矶国际机场搭乘美国航空（航班号：AA183）到浦东国际机场，于北京时间2019年02月02日15:55到达上海浦东机场,并于北京时间2019年02月02日21:05-22:40，从上海虹桥机场搭厦门航空（航班号：MF8548）到福州长乐国际机场。 |
往返航线 | 福州 – 北京 – 美国拉达斯– 美国休斯顿 –美国洛杉矶–上海–福州 |
本次出访 经费来源 | （须写明该经费的项目名称和经费卡号，卡号含部门编号和项目编号，编号之间用“—”隔开） 项目名称：直接优化半周长线长的VLSI两阶段迭代算法研究；经费卡号：0030-814790 | 本次出访 费用估值 （元人民币/团组， 申请人估算） | 25000 |
邀请 单位 简介 | 每年举行一届的DAC国际会议是集成电路芯片设计与辅助工具研究领域国际上最具影响力、最顶级的学术会议，迄今已有超过50年的历史，每年的大会均有数千人参加，受到世界范围内该研究领域专家学者的广泛重视。 |
附件：邀请函
出访成果报告公示于2019年2月24日
出访成果报告
单 位：福 州 大 学
出访人员：陈建利
出访国家（地区）：美国休斯顿
出访任务：参加第56届设计自动化技术程序委员会会议
( 英文名称：The
Design Automation Conference Technical
Program Committee meeting）
出访时间： 2019年1月28日
至 2019年2月2日
出访人所在学院（或部门） | 数计学院 | 领队姓名 | 陈建利 |
出访人员名单（含领队） | 陈建利 |
出访国家（地区） | 美国休斯顿 | 实际 出访时间 | 2019年1月 28日 至 2019年2月 2日 |
实际出访路线 | 福州－北京－美国达拉斯－美国休斯顿－美国洛杉矶－上海－福州 |
出访任务 | 参加第56届设计自动化技术程序委员会会议 |
出 访 成 果 报 告 | 1、实质成效、交流成果、影响 参加在美国休斯顿召开的集成电路计算机辅助设计领域的旗舰会议--第56届设计自动化技术程序委员会会议（ACM/IEEE The 56th Design Automation Conference Technical Program Committee meeting）。本次大会共收到投稿约540篇，录用98余篇。 在超大规模集成电路设计中，FinFET等技术使得多倍行高标准单元得到广泛应用，进一步加大了超大集成电路物理设计的难度。获奖论文首次将多倍行高集成电路单元的合法化问题松弛为线性互补问题，并设计了基于模的快速迭代算法和高效局部单元放置等技术，极大提高了多倍行高超大规模集成电路单元合法化的设计质量和效率。论文获得了7位匿名审稿人以及会议论文评审委员会的高度评价，研究成果得到国内外IC设计公司以及学术界的广泛关注。 2、会议性质、规模、内容、意义 ACM/IEEE DAC会议每年举行一届，是集成电路芯片设计与辅助工具研究领域的国际顶级会议，迄今已有50多年的历史，每届大会都有来自世界各地的数千人参会，评选并授予最佳论文奖1-2篇。大会为全球电路设计师、工具研发领域的科研人员和供应商提供教育、展览与最新发展动态信息，受到全世界集成电路设计和电子设计自动化领域专家学者的广泛重视。 3、实际日程安排 2019年1月28号 时间：12:00-14:45，乘坐厦门航空MF8107, 从福州出发到北京首都国际机场； 时间：17:25-16:50，从北京首都国际机场搭美国航空（航班号：AA262）到美国达拉斯沃思堡国际机场,并于当地时间16:50到达美国达拉斯； 时间（美国）：18:59-20:15，乘坐美国航空（航班号：AA2212）从达拉斯出发到乔治布什国际机场，休斯顿。 2019年1月29号 上午7.00—上午10.00：会议注册； 上午10.30—中午12.00：研讨会 下午2.30—晚上7.00：讨论设计自动化会议（DAC）的投稿情况，并讨论电子设计自动化的最新研究方向。 2019年1月30号 上午：会议早餐（6:30-8:00）；参加DAC TPC会议，聆听本领域专家报告（8:00-12:00）； 下午：午饭（12:00-13:00）；参加技术座谈会（14:00-18：00） 晚上：参加设计自动化参展商讨论会，了解设计自动化主要公司的最新成果及未来发展方向； 2019年1月31号 上午：聆听大会主题演讲(9:00-10:00)；参加分组报告会(10:30-12:00)； 下午：参加 设计/IP 追踪会议；参加分组讨论会； 晚上：参加讨论会及设计自动化工作会议； 2019年2月01号至2019年2月02号 时间：美国当地时间2019年2月01号上午6:51-08:50，从乔治布什国际机场搭乘美国航空（航班号：AA1027）到洛杉矶国际机场，并于洛杉矶当地时间2019年02月01号上午09:50-15:55从洛杉矶国际机场搭乘美国航空（航班号：AA183）到浦东国际机场，于北京时间2019年02月02日15:55到达上海浦东机场,并于北京时间2019年02月02日21:05-22:40，从上海虹桥机场搭厦门航空（航班号：MF8548）到福州长乐国际机场。 该团组已进行事后公示。（对外处公章） （领队签字） 年 月 日 |
遵守外事纪律情况（含意见和建议等）： |
