大会特邀报告名称

会议名称

地点

时间

报告人

A Symbolic Calculus on Defect Revisions of Axiomatic

Systems

Procedings of the Second International Congress in Algebra and

Combinatories

Beijing

2007-07

李未

A Logical Framework for System revision

26th International Symposium on Reliable Distributed

Systems

Beijing

2007-10

李未

R-Calculas: A Formal System of Revision

The Second International Congress in Algebras and

Conbinatorics

Beijing

2007-07

李未

A Logical Framework for System revision

China-Australia Workshop on Information and Communication

Technology

Beijing

2007-08

李未

A Logical Framework for Software Testing

2nd IEEE International Symposium on Theoretical Aspects of

Software Engineering

Nanjing, China

2008-06

李未

中国航天的过去、现在和将来

北航-法国中央理工大学研讨会

法国巴黎中央理工大学

2008-05

李未

Network Computing: Fom Service Grid to Virtual computing

environment

The Seventh International Conference on Grid and Cooperative

Computing(GCC2008)

广东省深圳市

2008-10

怀进鹏

科学发现的逻辑验证

全国信息技术与产业发展(常州)论坛

常州

2008-12

李未

Requirement Engineering for Web Applications

2008 10th IEEE International Symposium on Web Site

Evolution

2008-10

张莉

R-calculus and its Applications

International Symposium on Revision Calculus and

Applications

南京

2009-10

李未

Some Issues in High End Computer Design

15th IEEE International Conference on Parallel And Distributed

Computing Systems

Shenzhen, China

2009-12

祝明发

A Classification Model for Software Trustworthiness

The 2nd ISCAS/USC/UMass Joint Workshop on Trustworthy Software

Systems

Beijing

2009-06

郎波

Vitalization of the data

Workshop on Intelligent Storages for Extremely Large

Datasets

2009-11

熊璋

Data Vitalizatoin

第一届中法信息技术(智慧城市)学术研讨会

北京

2010-12

熊璋

Symbolic Verification for Scientific Discovery

Symbolic Computation in Software Science 2010

Hagenberg, Austria

2010-07

李未

Logical Verification of Scientific Discovery

中国科学院院士讲座系列

香港中文大学

2010-02

李未

R&D on HPC and Grid in China’s High-tech Program

国际超级计算大会(SC2010)

2010-11

钱德沛

Formal Methods vs Engineering Methods

Perspective Workshop: Formal Methods -- Just a

Euro-Science

Dagstuhl, Germany

2010-12

李未

漫谈 Exascale 计算机的技术挑战

中国国高性能计算学术年会

北京

2010-10

祝明发

About Exascale: Jumping from GTP to E

SC10--美国高性能计算年会2010

New Orleans

2010-11

祝明发

国际卓越工程师培养的探索

首届工程师培养模式国际研讨会

2010-12

熊璋

HPC and e-Infrastructure development in China

法国27th Forum ORAP

2011-03

钱德沛

e-Infrastructure for Climate Change In China

International Conference on the “Role of eInfrastructures for

Climate Change Research”

2011-05

钱德沛

Efforts on Programming Environment and Tools in China's High-tech

R&D Program

CScADS Summer Workshop on Performance Tools for Extreme Scale

Computing

2011-08

钱德沛

HPC and e-Infrastructure development in China

2011 Fall Creek Falls Conference

2011-09

钱德沛

iVIC:构建基于虚拟化的云计算系统

云服务与科研在线研讨会暨Duckling协同工作环境研讨会(Duckling 2011)

北京

2011-09

胡春明

Transparent Remote Execution: Extend the Cloud Capacity to the

Mobile Devices

2011透明计算与云计算研讨会

北京

2011-10

胡春明

Smart City and Data Vitalization

2011 IET International Conference on Smart and Sustainable

City

上海

2011-06

熊璋

物联网、云计算和群体软件工程

2011中国电子技术年会(西部论坛)

西安

2011-08

李未

物联网、云计算和群体软件工程

全国软件工程教育年会

长沙

2011-11

李未

HPC and e-Infrastructure development in China

国际超级计算大会(SC2011)

2011-11

钱德沛

R-calculus: A Logical Framework for Scientific Discovery

The 23rd International Conference on Artificial

Intelligence

Beijing, China

2013.08

李未

Querying Big Data

The 9th IEEE International Conference on e-Science

Beijing, China

2013.01

樊文飞

Querying Big Social Data

The 29th British National Conference on Databases

Oxford, UK

2013.07

樊文飞

Querying Big Graphs: Theory and Practice

The 5th International Workshop on Graph Data Management

Chicago, USA

2014.03

樊文飞

Querying Big Data: From Theory and Practice

The 17th Asia Pacific Web Conference

Guangzhou, China

2015.09

樊文飞

Querying Big Data: From Theory to Systems to Applications

The 3rd Workshop on Big Data and Computational

Intelligence

Beijing, China

2016.07

樊文飞

Graph Search: a New Paradigm for Social Computing

Hot Topics in Data Base

Beijing, China

2012.11

马帅

The Nexus of SOA, Cloud and Crowd

OW2 Programming Contest 2013

Changsha, Beijing

2013.10

孙海龙

Algebraic Computation and Qualitative Analysis of Dynamical

Systems

Theoretical and Computational Methods in Dynamical Systems and

Fractal Geometry

Maribor,

Slovenia

2015.04

王东明

On the Connection Between Ritt Characteristic Sets and

Buchberger–Gröbner Bases

The 8th Mathematical Society of Japan Seasonal Institute Current

Trends on Gröbner Bases

Osaka,

Japan

2015.07

王东明

Deep Learning for Health and Wellbeing: Cancer and REM

Sleep

MSRA Symposium on Collaborative Research 2015

Beijing, China

2015.11

许燕

Representation, Management, and Discovery of Geometric

Knowledge

Semantic Representation of Mathematical Knowledge

Workshop

Toronto, Canada

2016.02

王东明

Big Graph Search: Challenges and Techniques

第一届欧盟-中国的大数据管理论坛

Helsinki, Finland

2016.05

马帅

Spatio-temporal Crowdsourced Data Management: A Novel Computation

Paradigm in The Era of Sharing Economy

The 7th IEEE International Conference on Software Engineering and

Service Science

Beijing, China

2016.08

童咏昕

Smart City Standardization Progress in China

The 3rd International Conference on Universal Village

Nagoya, Japan

2016.10

吕卫锋

Big Graph Search: Challenges and Techniques

International Conference on Data Science

Shanghai, China

2016.12

马帅



软件开发环境国家重点实验室 地址:北京市海淀区学院路37号北京航空航天大学新主楼G座
邮编:100191 联系电话:010-82338092 邮箱:nlsde@nlsde.buaa.edu.cn