亚洲仿真会议 (AsiaSim) 是该系列的第19届会议，是由亚洲仿真联合会 (ASIASIM) 组织的一年一度的国际会议。

其当前成员学会包括：中国仿真学会 (CSF)、日本仿真技术学会 (JSST)、韩国仿真学会 (KSS)、新加坡仿真与博弈学会 (SSAGsg)以及马来西亚仿真学会 (MSS)。

亚洲仿真联合会 (ASIASIM) 的成立旨在促进建模与仿真技术在亚洲乃至全球工业及研发领域的进步。亚洲仿真会议是一个传播建模、仿真与博弈领域最新进展的国际论坛。AsiaSim 为学术、工业、政府、军事等各领域的仿真研究人员与从业者提供了一个会面场所，以分享系统仿真的前沿发展与进展。

David M. Nicol 是伊利诺伊大学厄巴纳-香槟分校电子与计算机工程系的 Franklin W. Woeltge 讲席教授，他同时担任信息信任研究所所长，以及新加坡高级数字科学中心主任。他拥有卡尔顿学院数学学士学位 (1979)，以及弗吉尼亚大学计算机科学硕士和博士学位 (1985)。Nicol 教授的研究兴趣涵盖高性能计算、离散系统建模与仿真、以及复杂系统中网络安全、弹性与信任的端到端建模/分析。他曾担任《ACM 建模与计算机仿真汇刊》主编 (1997-2003)，并自 2018 年起担任 IEEE 网络安全旗舰刊物《IEEE Security & Privacy》主编。他于 2003 年当选 IEEE Fellow，2006 年当选 ACM Fellow，并于 2007 年成为 ACM SIGSIM 杰出贡献奖的首位获得者。

信息物理数字孪生体的可复现性与保真度挑战信息物理系统 (CPS) 的数字孪生体是一种仿真，其执行过程模拟该系统的物理与信息组件的行为。虽然将仿真联合或联结起来的想法已被考虑许久，但对信息物理系统的兴趣日益增长，加之计算能力的提升，已使得这个想法在以“数字孪生体”为标签的背景下走向前沿。其用途包括探索：信息域的恶意行为可能如何对物理系统产生负面影响、物理系统可能如何对异常输入或边界条件做出反应、应用于系统的特定控制是否会导致其进入不安全行为区域。数字孪生体的保真度显然是一个期望属性，可复现性也是如此。在前者中，我们希望确信数字孪生体能忠实（足够地）捕获感兴趣的行为；在后者中，我们需要能够通过复现仿真过程来理解仿真中观察到的特定行为是如何发生的。本次演讲将聚焦于信息物理数字孪生体中的可复现性与保真度挑战，尤其当该孪生体将经典仿真与执行软件的仿真（仿真）相结合时。

Jun 自 2019 年 9 月 Tezos 主网启动以来，便作为少数亚洲核心开发者之一在 Tezos 区块链技术公司工作。他同时也是日本 Tezos（Tezos Japan）的科学总监，该非营利组织致力于向日本工业界和学术界推广 Tezos 技术。作为一名函数式编程及其静态类型系统的研究者（巴黎狄德罗大学博士），他的兴趣始终在于应用编程语言理论和形式化验证方法，为关键任务系统提供更强的安全保障。在从事衍生品建模系统（LexiFi、渣打银行）以及高频交易系统（Jane Street Capital）量化开发工程师的十年职业生涯后，他于去年创立了自己的公司 DaiLambda。区块链安全与智能合约仿真区块链是一种存在于开放性网络中的分布式数据库，任何人都可以通过运行节点无需许可地加入。据我们所知，此类系统仅能通过激励参与者诚实解决冲突才得以维护。因此，区块链必须处理作为加密货币的大量奖励，任何漏洞都可能成为盗窃的攻击向量。所以，安全性是区块链开发者的首要关切。智能合约是与区块链账户关联的程序，在交易时执行。由于执行发生在所有节点上，调用者必须向网络支付费用。为估算成本，调用者在将交易发送至网络前必须对每次交易进行仿真。这种仿真与形式化验证其安全属性一起，对于保障智能合约的安全至关重要，因为任何错误或规范缺失都可能将其转变为自动盗窃机器。