登录
站内检索:
特邀报告

大会特邀报告名称

会议名称

地点

时间

报告人

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

钱德沛