Conference Information
IWoDA 2020: International Workshop on Design Automation
http://www.iwoda.org/
Submission Date:
2020-09-20 Extended
Notification Date:
2020-09-30
Conference Date:
2020-10-16
Location:
Beijing, China
Viewed: 1884   Tracked: 0   Attend: 0

Conference Location
Call For Papers
★2020年第二届设计自动化国际研讨会(IWoDA 2020) ---Ei Compendex&Scopus-Call for papers|2020年10月16-18日,中国北京|网站: www.iwoda.org

★会议召开地点:北京前门富力智选假日酒店,中国北京

★IWoDA 2020将围绕“设计自动化”的最新研究领域而展开,为研究人员,工程师和学者,以及行业专业人士提供一个平台并介绍他们的最新的研究成果以及今后开发的活动,为参会人员们交流新的思想和应用经验建立业务或研究关系。本次会议将于2020年10月16-18日在中国北京召开,在会议期间您将有机会聆听到前沿的学术报告,见证该领域的成果与进步。

★出版和索引
所有接受的论文将在线出版,将被Ei Compendex,SCOPUS,Google Scholar,Cambridge Scientific Abstracts(CSA),Inspec, ISTP等检索,优秀论文将在国际期刊上发表。

★特邀演讲嘉宾
一.Ramesh K. Agarwal教授——圣路易斯华盛顿大学,美国
Ramesh K. Agarwal教授是圣路易斯华盛顿大学机械工程与材料科学系的威廉·帕尔姆工程教授。1994年至2001年,他是堪萨斯州威奇托州立大学萨姆·布卢姆菲尔德杰出教授兼国家航空研究所执行主任。从1978年到1994年,他是圣路易斯麦克唐纳道格拉斯研究实验室的项目主管和麦克唐纳道格拉斯研究员。阿加瓦尔博士于1975年获得斯坦福大学航空科学博士学位,1969年获得明尼苏达大学航空工程硕士学位,1968年获得印度哈拉格普尔印度理工学院机械工程学士学位。45年来,阿加瓦尔教授在计算科学和工程的各个领域工作——计算流体力学、计算材料科学、计算声学和电磁学、控制和系统理论以及多学科设计和优化。他是600多种期刊和会议出版物的作者和合著者。他曾在世界50多个国家的各种国内和国际会议上作过多次全会、主旨演讲和特邀演讲。阿加瓦尔教授继续在许多学术、政府和工业咨询委员会任职。阿加瓦尔博士是美国电气与电子工程师学会(IEEE)、美国科学促进会(AAAS)、美国航空航天学会(AIAA)、美国物理学会(APS)、美国机械工程师学会(ASME)、皇家航空学会、中国等22个学会的会员美国航空航天学会(CSAA)和美国工程教育学会(ASEE)。他因其研究贡献获得了许多著名的荣誉和来自不同专业协会和组织的国家/国际奖项,包括美国航空协会里德斯航空奖、美国汽车工程师学会荣誉勋章、美国机械工程师协会荣誉会员和皇家航空学会荣誉奖学金。

二.Leonid Fridman教授——墨西哥国立自治大学,墨西哥
Leonid M.Fridman于1976年获得俄罗斯萨马拉Kuibyshev(萨马拉)国立大学数学硕士学位,1988年在俄罗斯莫斯科控制科学研究所获得应用数学博士学位,并在俄罗斯莫斯科莫斯科国立数学与电子大学获得控制科学博士学位,1998年。1976年至1999年,他在萨马拉国家建筑与土木工程大学数学系工作。从2000年到2002年,他在墨西哥奇瓦瓦奇瓦瓦技术学院的研究生学习和调查系工作。2002年,他加入了墨西哥国立自治大学(UNA)工程系电气工程系控制工程和机器人系。
他的研究兴趣包括变结构系统。他与人合著并共同编辑了11本书和17期关于滑动模式控制的专刊。
2014-2018年,他担任IEEE控制系统协会变结构和滑模控制技术委员会主席。他曾获得斯科普斯奖,表彰墨西哥数学和工程领域的最佳科学家和联阿援助团精确科学方面的最佳研究员。
Leonid Fridman教授曾在控制理论和应用数学的不同主流期刊担任助理编辑。他曾在阿根廷、澳大利亚、奥地利、中国、法国、德国、意大利、以色列和西班牙的20多所大学和研究实验室担任特邀教授。实际上,弗里德曼教授还是法国INRIA的国际主席,中国教育部的高级外国专家。

三.Francesco Bullo教授——加州大学圣巴巴拉分校,美国
Francesco Bullo是加州大学圣巴巴拉分校机械工程系和控制、动力系统和计算中心的教授。1999年获伊利诺伊大学动力控制学院博士学位(1994年获加州大学动力系统专业博士学位)。他曾在IEEE、SIAM和ESAIM杂志的编辑委员会任职,并担任IEEE CSS主席;他目前担任SIAM控制和系统理论活动小组主席。他的研究兴趣集中在网络系统和分布式控制以及在机器人协调、电网和社交网络中的应用。他是《机械系统的几何控制》(Springer,2004)、“机器人网络的分布式控制”(普林斯顿,2009)和“网络系统讲座”(Kindle Direct Publishing,2019,v1.3)的合著者。他因在IEEE控制系统、Automatica、SIAM控制与优化杂志、IEEE电路与系统事务以及IEEE网络系统控制事务中的工作获得最佳论文奖。他是IEEE、IFAC和暹罗的成员。

★节目预览/节目一览
10月16日:注册+接待
10月17日:开幕式+ KN演讲+分会场报告
10月18日:分会场报告+实验室参观/半日游

★论文提交及要求
1.通过CMT投稿:https://cmt3.research.microsoft.com/IWODA2020
2.投稿邮箱:iwoda@hksra.org
3.投稿要求:
((1)稿件必须为全英文稿件,图片、表格、公式中均不允许有中文出现,稿件需与主题相关。
(2)主题突出,内容层次分明,数据准确可靠,论述严谨,结论明确。未在国内外公开刊物或其它学术会议上发表过。
(3)请作者按照官网上模板的格式编排(最好是在模板的基础上替换原文内容)。本次会议采取先投稿、先送审、符合条件者先发送录用通知方式进行。审稿周期约为3-7个工作日。
(4)投稿的文章经过初审之后,将提交给至少2名审稿委员会成员进行同行审查,审查内容包括原创性、技术或研究的内容和深度、会议主题相关性、贡献性和可读性。
(5)如果只参会做报告,不出版,则只需提交摘要以供审阅。听众不需要提交稿件,注册成功的听众可以参加会议的所有分会。
(6)稿件不允许有剽窃行为,涉嫌抄袭的文章将不会送审。

★联系我们
陈女士
电子邮件:iwoda@hksra.org
网址:www.iwoda.org
QQ: 2011307354(加QQ时请附上您想咨询的会议名字简称,如:IWoDA 2020)

We invite submissions on a wide range of research topics, spanning both theoretical and systems research. The topics of interest include, but are not limited to:

2D, 3D   on-chip power delivery, network analysis and optimization
Hardware and Software co-design,   co-simulation and co-verification
Advanced multimedia   application
Hardware for large-scale data analytics and processing
Analog and mixed-signal   modeling and simulation techniques
Hardware Security
Analog and mixed-signal RF   synthesis
High-frequency electromagnetic simulation of circuit
Analog and mixed-signal RF   test
High-level synthesis tool and methodology
Analog Design, Simulation,   Verification and Test
Human-computer interface
Analog layout, verification   and simulation techniques
In-Package and On-Chip Communication
Analysis and optimization
Intellectual property (IP) core and platform-based SoC design
Architectural low-power design   technique
Inter and intra -chip interconnect, network and interface
Architecture, tool and   methodology for secure hardware
Interconnect planning and synthesis
Architectures for machine   learning and artificial intelligence
Kernel, middleware and virtual machine
Artificial intelligence   hardware and systems
Lithography and DFM
Automatic test pattern   generation
Logic synthesis and physical design technique for FPGA
Automotive system design and   optimization
Low-power design and methodology
Autonomous Systems   Architectures
Machine Learning and Artificial Intelligence Architectures
Autonomous Systems Design   Tools and Methodologies
Manufacturing Test and Reliability
Autonomous Systems Safety and   Reliability
Memory test and repair
Big data application
Mixed-signal design consideration
Biochip and biodata processing
Model- and component-based embedded system and software design
Biomedical application
Multi-core SoC architecture
Built-in self-test
Near-Memory and In-Memory Computing
CAD for memory circuits
Networks-on-Chip
CAD for nanotechnology, MEMS,   3D IC, quantum computing
Networks-on-chip and NoC-based system design
Circuit-level formal   verification
Neuromorphic and brain-inspired computing
Clock network synthesis
New transistor, device and process technology
Combinational, sequential and   asynchronous logic synthesis
Noise analysis
Communication traffic and   modeling
Online test and fault tolerance
Communication-centric system   design, application and simulation
Optical or photonic interconnect and network
Compiler and toolchain
Package, PCB and 3D-IC routing
Cross-Layer Power Analysis and   Low-Power Design
Performance analysis and optimization
Cross-layer security
Physical Design and Verification
Cyber physical system
Placement and routing optimization
Cyber-physical systems and   Internet-of-Things platforms
Post layout and post-silicon optimization
Cyber-physical systems and IoT   security
Power modeling, analysis and simulation
Dependable architecture
Power-aware analog circuit and system design
Design for manufacturability,   yield and defect tolerance
Power, ground and package modeling
Design for reliability, aging   and robustness
Rack-scale interconnect and network
Design for security and   security primitive
Real-time system
Design for testing
Reconfigurable and self-adaptive SoC architecture
Design methodology for mobile   and wearable devices
Reconfigurable Architectures
Design of Cyber-physical   Systems and IoT
Reliability, aging and soft error analysis
Design Verification and   Validation
Resilience under manufacturing variation
Deterministic and statistical   timing
Resource allocation for heterogeneous computing platform
Device and circuit-level   simulation tool and methodology
Reticle enhancement, lithography-related design and   optimization
Device, circuit and   interconnect modeling and analysis
RTL and gate-leveling modeling, simulation and verification
Digital and Analog Circuits
RTL and Logic Level and High-level Synthesis 
Digital Design
Security modeling and analysis
Domain-specific architecture
Security vulnerabilities in artificial intelligence
Domain-specific embedded   libraries
Signal and power integrity
Electromagnetic (EM) modeling   and analysis
Spintronic, phase-change, single-electron
Electromobility
Storage software and application
Embedded and Cross-Layer   Security
Storage system and memory architecture
Embedded Memory, Storage and   Networking
System on Chip (SoC), Heterogeneous architectures
Embedded Software
System test and 3D IC test
Embedded System
System verification and analysis
Emerging Device Technologies
System-level design exploration, synthesis and optimization
Emerging interconnect   technology and application
System-level formal verification
Emerging models of computation
System-level modeling, simulation, validation tools and   methodology
Energy harvesting and battery   management
System-on-Chip Design Methodology
Energy-storage, smart-grid and   smart-building design and optimization
Technology mapping
Extraction, TSV and package   modeling
Thermal aware design
Fault analysis, detect and   tolerance
Time-Critical System Design
Fault modeling and simulation
Timing and Simulation
Floorplanning, partitioning   and placement
Validation of cognitive systems
Last updated by Zoe Wong in 2020-09-12
Related Conferences
CCFCOREQUALISShortFull NameSubmissionNotificationConference
iCMLDEInternational Conference on Machine Learning and Data Engineering2019-09-292019-10-072019-12-02
ba*a2PerComInternational Conference on Pervasive Computing and Communications2020-09-282020-12-222021-03-22
DisCoTecInternational Federated Conference on Distributed Computing Techniques2020-02-172020-04-102020-06-15
WCNEInternational Conference on Wireless Communication and Network Engineering2017-12-12 2017-12-24
DMMHInternational Workshop on Data Mining for Medicine and Healthcare 2013-01-252013-05-04
ba*a1UAIConference on Uncertainty in Artificial Intelligence2020-02-202020-05-142020-08-03
ICCS'International Conference on Complex Systems2012-06-302012-07-152012-11-05
CSMOInternational Conference on Simulation, Modeling and Optimization2021-03-152021-03-302021-04-16
cSOCAInternational Conference on Service-Oriented Computing and Applications2019-08-052019-08-312019-11-18
EEAInternational Conference on Electrical Engineering and Automation2016-06-16 2016-06-24
Recommendation