登录
站内检索:
特邀报告

大会特邀报告名称

会议名称

地点

时间

报告人

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

马帅