Edge Computing & Computational Intelligence (ECCI 2020)
The emerging development of intelligent applications in Internet of Things (IoT) has now started to gain significant attention, while the forthcoming emergence of Internet over Everything (IoE) will extend the capabilities of the ‘legacy’ IoT, its potentials, the number of devices and the volumes of data at the network Edge. Edge Computing (EC) and Computational Intelligent (CI) originating from different areas can materialize the desired distributed and ubiquitous intelligence in real computing systems. Since EC technologies face various challenges and open issues, we then need additional effort to establish and deliver the convergence of EC and CI in formatting the future Intelligent Edge. The Intelligent Edge is envisioned to involve numerous autonomous, distributed computing, and context reasoning entities capable of understanding their internal status (context), the status of their environment and peers (collaborative context), and take timely optimized actions to efficiently serve modern applications, like tactile internet and augmented AI-led gaming.
An Intelligent Edge infrastructure is the key challenge for deploying intelligence-aware and modern IoT applications at the envisioned massive scale. Some of future challenges and open issues include data & context interoperability, machine & statistical learning models explainability and interpretability, intelligence-led resource management, orchestration and coordination of distributed data processing & knowledge sharing tasks, ubiquitous service discovery, efficient and trust-based distributed decision making.
The overarching aim of the first International Workshop on Edge Computing & Computational Intelligence (ECCI) is hosting novel solutions towards the convergence of the EC paradigm and CI materializing the future Intelligent Edge bringing together scientists & scholars to discuss the future research directions in the domain, propose the theoretical models of this convergence, and present current potential solutions. The ECCI Workshop aims at detecting the key research questions related to the intelligent management of an ecosystem of computational intelligence edge nodes capable of autonomously interacting with future IoT and Cloud computing environments. A critical issue is the synergies among collaborating edge nodes in a collective intelligence manner that should face all the modelling, heterogeneity, network and decision-making challenges.
Christos Anagnostopoulos (University of Glasgow, UK)
Kostas Kolomvatsos (University of Thessaly, GR)
Thanasis Loukopoulos (University of Thessaly, GR)
Bridging the gap between Computational Intelligence and Neuroscience in Brain-Computer Interfaces: towards the definition of a common description of systems and data
Brain-Computer Interfaces (BCI) allow people to interact with the environment by directly processing brain signals, thus bypassing the natural pathways of nerves and muscles. In the last two decades, several systems have been proposed and a simple PubMed search of the term “Brain-Computer Interfaces” provides more than 3500 results, with several scientific publications that is still increasing exponentially over the years. BCIs represent a highly multidisciplinary research field, in which neuroscientists, mathematicians, physicians, computer scientists, and engineers, to name few, interact to improve BCIs by proposing new neurophysiological paradigms, new brain signals recording methods and devices, or new mathematical methods. The richness generated by this multitude of expertise, however, experiences a major drawback that is that different languages and different points of view relative to deal with the same BCI system are used, thus causing confusion or difficulty to share ideas, data or tools, making harder to achieve reproducibility. It is also very frequent that it is not possible to compare results from different experiments as different metrics are used. Even sharing data from BCIs can be painful and time- consuming as different file formats, terminologies and methods are used. An example of this is provided by the excellent BNCI database (http://bnci-horizon-2020.eu/database/data-sets), a public database of BCI data which hosts almost a thousand of files from several experiments (actually 26) and various laboratories: many different file formats are used, even if similarexperiments were performed and additional documents are necessary to fully comprehend how to retrieve the desired information. This implies that on one side a computer scientist needs to comprehend the complex neurophysiological details of the BCI experiment, whereas on the other side a neuroscientist needs to learn how to navigate into MATLAB data structures or even binary files. This is avoidable if just a standard file format would be adopted which includes all the information required to perform BCI analyses. Moreover, this would allow releasing tools that could be used to retrieve useful information from the data or perform automatic processing.
To solve these problems, the IEEE P2731 standard initiative was launched, whose aim is to define common terminologies, definitions, and methods for Brain-Computer Interfaces. Most of the organizers are also active members of this standardization working group.
Objectives and goals
The objectives of this workshop can be summarized as:
- Facilitating the access of the Computational Intelligence community to BCI paradigms and data through the identification of the information that should be stored into a BCI data file.
- Describing the most important methods used in BCI, discussing their limitations.
- Proposing methods and approaches to reduce the time necessary to analyze BCI data.
- Proposing a road map to allow the release of free tools.
- Recruiting people for the IEEE P2731 Standard
The discussions and requests from this workshop will be finally reported to the entire IEEE 2731 working group.
Organizers (in alphabetical order)
Prof. Luigi Bianchi, PhD, Tor Vergata University of Rome, Italy
Dr Mufti Mahmud, Nottingham Trent University, UK
Prof. Veronica Piccialli, PhD, Tor Vergata University of Rome
Eng. Guillermo Sahonero Alvarez, Universidad Católica Boliviana, Bolivia
Dr. Avinash K Singh, (PhD), Centre of Artificial Intelligence, University of Technology Sydney
Prof. Luigi Bianchi, Ph.D., works at the “Tor Vergata” University of Rome, Italy. He is the author of more than 150 peer-reviewed papers, with more than 5000 citations and an h-index of 35 (source: Google Scholar). He is chair of the IEEE P2731 PAR Standards “Unified terminology for Brain- Computer Interfaces”, founding member of the BCI Society and IEEE member. He was awarded for his BCI studies at the “II BCI International Workshop” (Albany, NY, 2002), at the Maker Faire 2018 Europe Edition (October 2018, Rome, Italy) and at the RomeCup 2019 (Rome, Italy). He also realized the first wearable BCI and several free tools for the analysis of neurophysiological signals downloaded from more than 100 countries worldwide.
Mufti Mahmud, received his Ph.D. degree in Information Engineering (specialised in Neuroengineering) from the University of Padova – Italy, in 2011. A recipient of the Marie-Curie fellowship at postdoctoral level, he has served at various positions in the industry and academia in India, Bangladesh, Italy, Belgium, and the UK during the last 15 years. He has over 75 high-quality research articles published in high impact journals and leading conferences in the fields of neuroengineering, neuronal signal processing, advanced machine learning, healthcare, etc. He serves as Editorial Board Member to a number of high impact jorunals including Cognitive Computation, IEEE Access, Brain Informatics, and Big Data Analytics.
Veronica Piccialli, received the Ph.D. degree in Operations Research from the University of Rome
“La Sapienza”, Rome, Italy, in 2004. Since 2008 she is Assistant Professor at the Engineering Faculty of the University of Rome Tor Vergata, where she is currently teaching Methods of Optimization for Big Data and Machine Learning for the master degree in Computer Science Engineering.She got the italian national scientific qualification as Associate Professor in 2013 and Full Professor in 2017. Since 2019 she is Associate Editor in the area “Design and Analysis of Algorithms: Continuous” for INFORMS Journal on Computing. Her research interests include machine learning with applications in BCI and Non Intrusive Load Monitoring, semidefinite programming, mixed integer nonlinear programming.
She has authored and coauthored more than 30 papers on international.
Eng. Guillermo Sahonero Alvarez, works at Universidad Catolica Boliviana. He is a full time lecturer and researcher associated to the undergraduate program of Mechatronics Engineering and the Research Center for the Development and Innovation in Mechatronics. He is member of the IEEE and an active member of the IEEE P2731 “Unified terminology for Brain-Computer Interfaces” working group. His work is focused on the development of Brain-Computer Interfaces by using multimodal imagery paradigms.
Dr. Avinash K Singh is an early career researcher in interdisciplinary neuroscience and working as a Postdoctoral Fellow in the Centre of Artificial Intelligence at the University of Technology Sydney (UTS), Australia. He has developed and contributed to several brain-computer interface (BCI) systems to assist, support, and explore neural dynamics in the past six years’ in BCI research. He has made several contributions to the field of biomedical signal processing and interdisciplinary neuroscience, with many research articles published in SJR Q1 journals and A* conferences. He is a member of IEEE and the IEEE P2731 PAR Standards “Unified terminology forBrain-Computer Interfaces” committee. His current interests are to integrate the artificial intelligence (Al) technologies with cognitive neuroscience knowledge for exploring the cognitive functions, discovering the relationships between brain dynamics, and develop BCI for everyday interaction and decision making.
Sentic Computing Workshop (SCW) aims to provide an international forum for researchers in the field of opinion mining and sentiment analysis to share information on their latest investigations in social information retrieval and their applications both in academic research areas and industrial sectors. It is a half-day workshop of IEEE WCCI whose broader context comprehends Web mining, AI, Semantic Web, information retrieval and natural language processing.
Due to many challenging research problems and a wide variety of practical applications, opinion mining and sentiment analysis have become very active research areas in the last decade. Our understanding and knowledge of the problem and its solution are still limited as natural language understanding techniques are still pretty weak. Most of current research in sentiment analysis, in fact, merely relies on machine learning algorithms. Such algorithms, despite most of them being very effective, produce no human understandable results such that we know little about how and why output values are obtained. All such approaches, moreover, rely on syntactical structure of text, which is far from the way human mind processes natural language. Next-generation opinion mining systems should employ techniques capable to better grasp the conceptual rules that govern sentiment and the clues that can convey these concepts from realization to verbalization in the human mind. The main aim of sentic computing (Latin for feel, root of words such as sentiment and sensation) is to explore the new frontiers of opinion mining and sentiment analysis by proposing novel techniques in fields such as computational intelligence, artificial intelligence (AI), SemanticWeb, knowledge-based systems, adaptive and transfer learning, in order to more efficiently retrieve and extract social information from the Web.
In addition to paper presentations, an invited talk by Dr. Edoardo Ragusa will stress the interdisciplinary challenges of opinion mining and sentiment analysis. Topics of interest include but are not limited to:
• Deep learning for sentiment identification & classification
• Sentiment corpora & annotation
• Linguistic patterns for polarity detection
• Concept-level sentiment analysis
• Opinion and sentiment summarization & visualization
• Explicit & latent semantic analysis for sentiment mining
• Opinion and sentiment search & retrieval
• Biologically-inspired opinion mining
• Patient opinion mining
• Word sense disambiguation
• Coreference resolution
• Named entity recognition
• Multi-modal sentiment analysis
• Multi-domain & cross-domain evaluation
• Multi-lingual sentiment analysis & re-use of knowledge bases
• Knowledge base construction & integration with opinion analysis
• Transfer learning of opinion & sentiment with knowledge bases
• Affective knowledge acquisition & representation
• Time evolving opinion & sentiment analysis
• Sentiment topic detection & trend discovery
• Big social data analysis
• Social ranking
• Social network analysis
• Comparative opinion analysis
• Opinion spam detection
Submissions and Proceedings
Authors are required to follow IEEE WCCI Proceedings Author Guidelines. The paper length is limited to 10 pages, including references, diagrams, and appendices, if any. Manuscripts are to be submitted through WCCI website. Each submitted paper will be evaluated by three PC members with respect to its novelty, significance, technical soundness, presentation, and experiments. All accepted papers will be published in a forthcoming Special Issue of Cognitive Computation on Sentic Computing. Submitted papers must not have been accepted for publication elsewhere or be under review for another workshop, conference or journal.
Erik Cambria, Nanyang Technological University (Singapore)
Amir Hussain, Edinburgh Napier University (UK)
(Abstract, Motivation, Objectives, Goals, Relevance, Expected Outcomes)
There has been growing interest in rectifying machine learning vulnerabilities and preserving privacy. Adversarial machine learning and privacy preserving has attracted tremendous attention in the machine learning society over the past few years. Recent research has studied the vulnerability of machine learning algorithms and various defense mechanisms against those vulnerabilities. The questions surrounding this space are more pressing and relevant than ever before: How can we make a system robust to novel or potentially adversarial inputs? How can machine learning systems detect and adapt to changes in the environment over time? When can we trust that a system that has performed well in the past will continue to do so in the future? These questions are essential to consider in designing systems for high stakes applications such as self-driving cars and automated surgical assistants.
We aim to bring together researchers in diverse areas such as reinforcement learning, human robot interaction, game theory, cognitive science, and security to further the field of reliable and trustworthy machine learning. We will focus on robustness, trustworthiness, privacy preservation, and scalability. Robustness refers to the ability to withstand the effects of adversaries, including adversarial examples and poisoning data, distributional shift, model misspecification, and corrupted data. Trustworthiness is guaranteed by transparency, explainability, and privacy preservation. Scalability refers to the ability to generalize to novel situations and objectives.
This workshop aims to promote the most recent advances of secure machine learning from both the theoretical and empirical perspectives as well as novel applications. The goal is to build reliable machine learning models, which are resilient in adversarial settings.
The scope is, but not limited to:
- Reliable machine learning
- Adversarial machine learning (attack and defense)
- Privacy preserving machine learning
- Learning over encrypted data
- Homomorphic encryption techniques for machine learning
- Secure multi-party computation techniques for machine learning
- Explainable and transparent machine learning
- Neural architecture search for secure learning
- Security intelligence in malware, network intrusion, web security, and authentication
Dipankar Dasgupta, University of Memphis, USA
Daniel Tauritz, Auburn University
Samuel Mulder,. Sandia National Labs, USA
Xinghua Qu, Nanyang Technological University, Singapore
Guoyang Xie, University of Surrey, UK
Xiao Huang, HSBC, UK
Alvin Chan Guo, Nanyang Technological University, Singapore
Jia Liu, University of Surrey, UK
Paper Submission Deadline: March 15, 2020
Paper Acceptance Notification Date: April 1, 2020
Final Paper Submission and Early Registration Deadline: April 15, 2020
IEEE WCCI 2020, Glasgow, Scotland, UK: July 19-24, 2020
Papers submitted to this workshop will follow the similar format as the regular sessions of WCCI 2020, but the page limit is 4 pages. Authors who submit papers to this workshop are invited to email your papers to Prof Yaochu Jin at firstname.lastname@example.org and copy Dr. Catherine Huang at email@example.com . Please put “IJCNN2020Workshop_Secure Learning” as the email subject.
Catherine Huang, McAfee LLC, USA
Don Wunsch, Missouri Uni of Science & Technology, USA
Yaochu Jin, University of Surrey, UK
Yew Soon Ong, Nanyang Technological University, Singapore
Celeste Fralick, McAfee LLC, USA
Catherine Huang is the Principal Engineer in the Office of CTO with McAfee LLC, responsible for corporate initiative in advanced threat intelligence. Her expertise is Adversarial Machine Learning, Deep Learning and Reinforcement Learning for security applications. Catherine is a member of IEEE Computational Intelligence Society Administrative Committee 2020-2021, chair of IEEE Cognitive and Developmental Systems Technical Committee in 2019-2020, member of IEEE Neural Networks Technical Committee 2018, and member of IEEE Machine Learning for Signal Processing Technical Committee 2016-2019. She gave a keynote on Cybersecurity Intelligence at the 2016 IEEE Symposium Series on Computation Intelligence. She has 10 US patents, 38 papers with 1700+ citations. Previously, Catherine was a Senior Research Scientist at Security & Privacy Research in Intel Labs in 2011-2017. She directed machine learning research at the Intel Science and Technology Center for Security Computing at University of California Berkeley in 2015-2016. Her education includes: Ph.D. in brain computer interfaces from Oregon Health & Science University in USA, M.S. in Electrical Engineering from University of New Brunswick in Canada, and B.S. in Control from South China University of Technology.
Donald C. Wunsch is the Mary K. Finley Missouri Distinguished Professor at Missouri University of Science and Technology (Missouri S&T), Rolla, Missouri. He is the Director of the Applied Computational Intelligence Laboratory, a multidisciplinary research group. Earlier employers were: Texas Tech University (Lubbock, TX), Boeing (Seattle, WA), Rockwell International (Albuquerque, NM), and International Laser Systems, (Albuquerque, NM). His education includes: Ph.D., Electrical Engineering – University of Washington (Seattle), Executive MBA – Washington University in St. Louis, M.S., Applied Mathematics – University of Washington (Seattle), B.S., Applied Mathematics – University of New Mexico (Albuquerque, NM), and Jesuit Core Honors Program, Seattle University. Key research contributions are in Unsupervised and Reinforcement Learning and their applications. He is an IEEE Fellow and previous International Neural Networks Society (INNS) President, INNS Fellow, NSF CAREER Awardee, 2015 INNS Gabor Award recipient, and 2019 Ada Lovelace Service Award Recipient. He served as IJCNN General Chair, and on several Boards, including the St. Patrick’s School Board, IEEE Neural Networks Council, INNS, and the University of Missouri Bioinformatics Consortium, Chaired the Missouri S&T Information Technology and Computing Committee as well as the Student Design and Experiential Learning Center Board. He has produced 22 Ph.D. recipients in Computer Engineering, Electrical Engineering, Systems Engineering and Computer Science.
YaochuJin received the B.Sc., M.Sc., and Ph.D. degrees from Zhejiang University, Hangzhou, China, in 1988, 1991, and 1996, respectively, and the Dr.-Ing. degree from Ruhr University Bochum, Germany, in 2001.
He is currently a Distinguished Chair, Professor in Computational Intelligence, Department of Computer Science, University of Surrey, Guildford, U.K., where he heads the Nature Inspired Computing and Engineering Group. He was a Finland Distinguished Professor funded by the Finnish Funding Agency for Innovation (Tekes) and a Changjiang Distinguished Visiting Professor appointed by the Ministry of Education, China. His main research interests include data-driven surrogate-assisted evolutionary optimization, evolutionary learning, neural architecture search, privacy-preserving and secure machine learning, and evolutionary developmental systems. His research has been funded by EU, EPSRC, Royal Society, NSFC, and the industry, including Honda, Airbus, and Bosch.
Dr Jin is the Editor-in-Chief of the IEEE TRANSACTIONS ON COGNITIVE AND DEVELOPMENTAL SYSTEMS and Co-Editor-in-Chief of Complex & Intelligent Systems. He is an IEEE Distinguished Lecturer (2013-2015 and 2017-2019) and past Vice President for Technical Activities of the IEEE Computational Intelligence Society (2014-2015). He was the General Co-Chair of the 2016 IEEE Symposium Series on Computational Intelligence, the Chair of the 2020 IEEE Congress on Evolutionary Computation, and the Registration Chair of the 2016 IEEE World Congress on Computational Intelligence. He is the recipient of the 2018 IEEE Transactions on Evolutionary Computation Outstanding Paper Award, the 2015 and 2017 IEEE Computational Intelligence Magazine Outstanding Paper Award, and the Best Paper Award of the 2010 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology. He was named by the Web of Science Group a Highly Cited Researcher in 2019. He is a Fellow of IEEE.
Celeste Fralick, Senior Principal Engineer and Chief Data Scientist for McAfee in the Office of the CTO, is responsible for innovating advanced analytics at McAfee. She was recently named by Forbes on their inaugural list of “Top 50 Technical Women in America”, SC Media’s “Women in IT Security”, and Industry Leaders “5 Influential Leaders in Cybersecurity”. She has applied machine learning, deep learning, and artificial intelligence to 10 different markets, spanning a nearly 40-year career in quality, reliability, engineering, and data science. Dr. Fralick holds a Ph.D. in Biomedical Engineering from Arizona State University, concentrating in Deep Learning, Design of Experiments, and neuroscience.
Workshop on the Ethics and Social Implications of Computational Intelligence
Aim and Scope:
Today, Computational Intelligence (CI) techniques are embodied within many technologies. For example, Fuzzy Control is a central piece within most control systems for technologies such as washing machines. Deep Neural Networks are sitting today on most smart phones offering search-by-image capabilities. Evolutionary Computation is creating a leap forward in industry and robotics when coupled with 3D printing that allows evolved robots to come to life quickly and with low cost. CI researchers excel in designing and implementing these technologies to create significant positive impact on the economy and human society as a whole. It is incumbent upon us as socially-responsible CI researchers to understand the ethical and social implications of the technologies we create and champion.
The objective of the proposed workshop is to discuss the ethical and moral principles that govern the behaviour of CI technology, as well as the designer. These principles should cover the following: balancing the ecological footprint of technologies against the economic benefits; managing the impact of automation on the workforce; ensuring privacy is not adversely affected; and dealing with the legal implications of embodying CI technologies in autonomous systems. The workshop will include invited speakers, presentation of accepted papers and a panel discussion. We invite submission of papers to the workshop and also participation in the workshop discussions at WCCI 2020.
- Potential impact of CI on the human workforce and distribution of wealth
- Potential impact of CI on privacy
- Possible bias in CI systems (e.g. can a deep neural network trained to detect lying from spoken language be more likely to get a false positive results for one racial group more than another
- Safety of CI systems embedded in autonomous and automated systems (e.g. autonomous vehicles, nuclear power plant control systems)
- Human-machine trust in CI Systems
- Specific applications of CI and the potential ethical/social benefits and risks (e.g. marking of student assignments, assessment of legal documents, automated decision making in the stock market, medical research)
- Legal implications of CI (e.g. legal liabilities when things go wrong; how do you certify systems that can ‘learn’ from their environment etc)
- Need and direction for developing formal standards in ethics for CI
- Public perception of CI
- Impact of CI on human cognition and social relatedness
Associate Professor Matthew Garratt, UNSW Canberra, Australia, (Chair of the CIS Task Force on the Ethics and Social Implications of CI)
Professor Chuan-Kang Ting, National Chung Cheng University, Taiwan
Dr Keeley Crockett, Manchester Metropolitan University, UK
Dr Mario Pavone, University of Catania, Italy
Professor Robert Reynolds, Wayne State University, USA
Dr Sean Goltz, Edith Cowan University, Australia
Professor Sheridan Houghten, Brock University, Canada
Dr Jai Galliot, UNSW Canberra
6th International Workshop on Advances in Learning from/with Multiple Learners (ALML)
This workshop will cover original and pioneering contributions, theory as well as applications on creating and combining learning models, and aim at an inspiring discussion on the recent progress and the future developments. Learners based on different paradigms can be combined for improved accuracy. Each learning method presupposes some model of the world that comes with a set of assumptions, which may lead to error if they do not hold. Learning is an ill-posed problem and with finite data each algorithm converges to a different solution and fails under various circumstances. In learning models’ combinations, it is possible to make a distinction between two main modes: ensemble and modular. For an ensemble approach, several solutions to the same task, or task component, are combined to yield a more reliable estimate. In the modular approach, particular aspects of a task are dealt with by specialist components before being recombined to form a global solution. In this workshop, the reasons for combining learning models and the main methods for creating and combining them will be presented.Also, the effectiveness of these methods will be discussed considering the concepts of diversity and selection of these approaches.
The workshop will strive to bring together the practitioners of these approaches in an attempt to study a unified framework under which these interactions can be studied, understood, and formalized. Authors of the most insightful papers already accepted for publication, will be invited to submit an extended version of their work to a Special Issue of the Neurocomputing journal (IF: 1.634).
The following is a partial list of relevant topics (not limited to) for the workshop:
- Bagging approaches
- Boosting techniques
- Collaborative clustering
- Collaborative learning
- Cooperative learning
- Ensemble methods
- Hybrid systems
- Mixtures of distributions
- Mixtures of experts
- Modular approaches
- Multi-task learning
- Multi-view learning
- Task decomposition
- Transfer learning with multiple sources
Motivation and audience
After the successful organization of the ALML workshop in 2014, 2015, 2017, 2018 and 2019, we wish to propose a 6th edition at WCCI 2020. The topics of the workshop are related but also complementary to WCCI topics, as the Multiple Learning models i.e. Collaborative Learning, or Learning from different Sources of data are new and innovative research directions in Machine Learning. The previous editions have been well received, with around 20 to 30 participants. This number is not decreasing over time, as the workshop’s topic is currently very popular and dynamic.
Preliminary list of invited speakers:
- Seichi Ozawa, Kobe University
- Jérémie Sublime,ISEP
- GuenaelCabanes, Paris 13University
- Organizing Committee
- NistorGrozavu, Paris 13 University:firstname.lastname@example.org
- IssamFalih, Clermont-Auvergne University :email@example.com
- Nicoleta Rogovschi, University Paris Descartes:firstname.lastname@example.org
Nistor Grozavu received his Master of Computer Science degree from Marseille II University in 2006 in Fundamental Informatics. He completed his Ph.D. in Computer Science (Unsupervised Learning) in 2009 in the Computer Science Laboratory of Paris 13 University. He is currently an Associate Professor in Computer Science at the Paris 13 University. His research is with the Machine Learning and Application Team from the LIPN Laboratory. His research interests include Unsupervised Learning, Transfer Learning, Dimensionality reduction, Collaborative Learning, Machine Learning by Matrix Factorization and content- based information retrieval. He is also a member of IEEE, INNS, INNS AMLgroup.
Issam Falihis currently an Associate Professor at Clermont-Auvergne University in France, where he is a member of the DSI (Data, Services, Intelligence) of the LIMOS laboratory. He has a PhD in Applied Computer Science from Paris 13 University, an Engineer Degree in Computer Science & Statistics from the INSEA, as well as a Master’s Degree in Machine Learning from Paris Dauphine University in France. His research activities are focused on machine learning, data science problems and its applications. It covers a wide spectrum of issues, particularly Unsupervised learning, Community detection, Topological Learning methods for different types of data.
Nicoleta Rogovschi received her Master of Computer Science degree from Paris 13 University in 2006 in Machine Learning. She is currently an Associate Professor in Computer Science at the Paris Descartes University. She completed her Ph.D. in Computer Science (Probabilistic Unsupervised Learning) in 2009 in the Computer Science Laboratory of Paris 13 University. She’s research is with the Data Mining (GFD) Team. Her research interests include Probabilistic Learning, Unsupervised Learning, Clustering and Co- Clustering methods for different types of data. She is also a member of EGC, AFIA, IEEE, INNS, INNS AML group.
Artificial Intelligence for Improving Trustworthiness of Robots and Autonomous Systems
The IEEE WCCI 2020 is the bi-annual IEEE World Congress on Computational Intelligence, which is the largest technical event in the field of computational intelligence. The IEEE WCCI 2020 hosts three conferences of Neural Networks, Evolutionary Computations and Fuzzy Systems. It encourages cross-fertilisation of ideas among the three big areas and provides a forum for intellectuals from all over the world to discuss and present their research findings on computational intelligence. IEEE WCCI 2020 will be hosted at the prestigious Scottish Event Campus (SEC).
Internet of Things (IoT) delivers new value by connecting People, Process and Data. The new paradigm – ‘Internet of robotic things’ was coined in a report of ABI research to denote a concept where sensor data from a variety of sources are fused, processed using local and distributed intelligence and used to control and manipulate objects in the physical world. In the cyber-physical perspective of IoRT, sensor and data analytics technologies from the IoT are used to give robots a wider situational awareness that leads to better task execution.
The value of IoRT has been demonstrated in distributed, heterogeneous robot control paradigms like networked robot systems or robot ecologies, or in approaches such as ubiquitous robotics and cloud robotics that place resource-intensive computation on the cloud. IoRT technology could inspire wider applications of robotic and autonomous systems (RAS). NIST’s trustworthiness framework of cyber physical systems covers cybersecurity, privacy, safety, reliability, and resilience. An effective RAS must be trustworthy. Especially the cybersecurity safety, health and interaction of RAS directly affect the development of RAS towards fully autonomous systems without human intervention. Computational Intelligence (CI) is the theory, design, application and development of biologically and linguistically motivated computational paradigms. Conventionally, the three main pillars of CI are Neural Networks, Fuzzy Systems and Evolutionary Computation.
Artificial intelligence (AI) is a wider paradigm, including reasoning, knowledge representation, planning, learning, natural language processing, perception and the ability to move and manipulate objects. The three main pillars of techniques in CI have played important roles in AI. The workshop will demonstrate the contribution of computational intelligence techniques in the development of trustworthy RAS.
We now seek paper submissions for the workshop and that such papers should adhere to the standard WCCI length, format and submission deadline (https://wcci2020.org/submissions/). This workshop will cover the following topics related to the trustworthiness of RAS through AI techniques and Edge Computing, but not be limited.
- RAS, dealing with anomalies in cyber space – Cognitive cybersecurity, privacy, security by design, privacy by design, as well as anomaly (cyberattack, malware, intrusion, virus, and etc.) detection, etc.
- RAS, dealing with anomalies in surrounding environments – Safe navigation, obstacle detection, obstacle avoidance, pedestrian awareness, etc.
- RAS, self-healing and maintenance of health – Fault detection and diagnosis, system life prediction, etc.
- RAS, autonomy and trustiness in human-robot interaction – Socially intelligent robots, interpretive AI for Robotic Behaviour, mixed initiative in human-robot interaction.
- Trusting robots for social-health care, advanced manufacturing, and extreme environments, etc.
Dr. Hongmei He
Prof. John Gray
Prof. Angelo Cangelosi,
Prof. Qinggang Meng
Prof T. Martin McGinnity
Biography of Committee Members
Dr Hongmei He (SIEEE, FHEA) is a Lecturer in AI & Cybersecurity for Manufacturing and the course director of MSc in Cyber-Secure Manufacturing at Cranfield University. She obtained MSc in Multimedia and Internet Computing and PhD in Computer Science from Loughborough University in 2003 and 2006, respectively. She has the expertise in Artificial Intelligence (AI) / Computational Intelligence (CI), and explored her research to a wide range of applications, such as Internet of Things, Cybersecurity, Robotics, Data/Sensor Fusion, Data Mining, Wireless Sensor Networks, etc. Currently, her research is focusing on AI for the Trustworthiness of Robots and Automation Systems (RAS), especially on the safety and security of autonomous systems (e.g. CAVs, UAVs, etc.). She has published more than 60 papers for the wide applications of Computational Intelligence techniques in peer-reviewed journals, international conferences and book chapters in the area of computational intelligence. She is a senior member of IEEE in Computational Intelligence, RAS, Cybersecurity and WIE societies, and actively serves for IEEE UKRI RAS chapter as the chapter secretary.
Prof John Gray graduated in Electrical Engineering and worked for five years as an avionics design engineer in the aerospace industry before taking up academic research in aspects of control theory and the design instrumentation for fluid flow metering and EM.NDT. In 1988, he established the UK’s National Advanced Robotics Research. Centre on the campus of Salford University and served as its research director for five years. He has been involved over many years in a series of national and European robotics research programmes including the early development of the iconic Robot.Cub humanoid platform. In 2000 he established the Food Manufacturing Engineering Group (FMEG) with sponsorship from Defra, which was an interdisciplinary industrial academic forum to foster the uptake of modern automation technology in the food manufacturing sector. He has a worked for over twenty years as an international consultant on the design of industrial E.M. flow metering, NDT and medical instrumentation. Currently, he is a Professor of Robotics and System Engineering at the University of Manchester, an honorary editor of the Transactions Inst. M. C. and Chair of the IEEE UKI Robotics and Automation Systems Chapter.
Prof Angelo Cangelosiis a Professor of Machine Learning and Robotics at the University of Manchester (UK). He also is Turing Fellow at the Alan Turing Institute London, Visiting Professor at Hohai University, and Visiting Distinguished Fellow at AIST-AIRC Tokyo. His research interests are in developmental robotics, language grounding, human robot-interaction and trust, and robot companions for health and social care. Previously Angelo was Professor of Artificial Intelligence and Cognition, and founding director role, at the Centre for Robotics and Neural Systems at Plymouth University (UK). Cangelosi studied psychology and cognitive science at the Universities of Rome La Sapienza and at the University of Genoa, and was visiting scholar at the University of California San Diego and the University of Southampton. He currently is the coordinator of the EU H2020 Marie Skłodowska-Curie European Industrial Doctorate “APRIL”. He also is Principal investigator for “THRIVE++” (US AFSOR) and the H2020 projects MoveCare, DCOMM and eLADDA. Overall, he has secured over £30m of research grants as coordinator/PI. Cangelosi has produced more than 250 scientific publications, and has been general/bridging chair of numerous workshops and conferences including the IEEE ICDL-EpiRob Conferences (Frankfurt 2011, Osaka 2013, Lisbon 2017, Tokyo 2018). Cangelosi is Editor of the journals Interaction Studies and IET Cognitive Computation and Systems, and in 2015 was Editor-in-Chief of IEEE Transactions on Autonomous Development. His latest book “Developmental Robotics: From Babies to Robots” (MIT Press) was published in January 2015, and recently translated in Chinese and Japanese.
Prof Qinggang Meng is a Professor of Robotics and AI with the Department of Computer Science, Loughborough University, UK. His research interests include biologically inspired learning algorithms and developmental robotics, service robotics, agricultural robotics, robot learning and adaptation, multi-UAV cooperation, human motion analysis and activity recognition, activity pattern detection, pattern recognition, artificial intelligence, computer vision, and embedded intelligence. His research in both theoretical studies and applications of robotics, computer vision and AI is supported by a number of grants from EPSRC, Newton Fund and Innovate UK. Prof. Meng is an Associate Editor for IEEE Transactions on Cybernetics. He has published more than100 conference and journal papers in his research area.
Prof T. Martin McGinnity (SMIEEE, FIET) received a First Class (Hons.) degree in Physics in 1975, and a Ph.D degree from the University of Durham, UK in 1979. He currently holds a part-time Professorship in both the Department of Computing and Technology at Nottingham Trent University (NTU), UK and the School of Computing, Engineering and Intelligent Systems at Ulster University. Before taking semi-retirement, he was formerly Pro Vice Chancellor and Head of the College of Science and Technology at NTU, Dean of the School of Science and Technology at NTU, Head of the School of Computing and Intelligent Systems at Ulster University; Professor of Intelligent Systems Engineering at Ulster University and Director of the Intelligent Systems Research Centre in Ulster University. He is the author or coauthor of 350+ research papers and leads the Computational Neuroscience and Cognitive Robotics research group at NTU. His research interests are focused on Artificial Intelligence, computational neuroscience, modelling of biological information processing and cognitive robotics. His current projects are related to the development of biologically-compatible computational models of human sensory systems, including auditory signal processing; human tactile emulation; human visual processing; sensory processing modalities in cognitive robotics; and implementation of
neuromorphic systems on electronics hardware. His work finds applications in industrial robotics, data analytics and medical systems.
Prof JornMehnen’s research aims to deliver new and exciting scientific insights as well as practical technological solutions that help industry and academia alike. Advanced Digital Manufacturing encompasses Industry 4.0 technology, Cyber Physical Systems (CPS), Industrial Internet of Things (IIoT) and utilises latest developments in Cloud Manufacturing and Big Data Analytics. His work around Design for Industry 4.0 and Digital Manufacturing is aiming to improve existing Manufacturing Systems to make them smarter, more autonomous and agile, cost efficient, better connected and well informed Through-Life. These efforts are supported by research into Additive Manufacturing, Data Analytics, Computational Intelligence and Visualisation. His national and international projects aim at high value industrial applications with impact.
International Workshop on Adversarial Machine Learning And Security (AMLAS)
Abstract: Adversarial machine learning has recently received great attention in machine learning, especially deep learning. In particular, researchers have noted that certain augmented data points intentionally generated by imperceptible perturbation of samples can adversely impact the predictive capability of many of the best machine learning and data mining models, including state-of-the-art deep learning models. These imperceptible attacks are termed adversarial examples. Exploitation of typically adversarial training, various attacking or defense based approaches have been developed. Assuring the robustness and security of machine learning algorithms in adversarial settings have become an important concern in the machine learning and computational intelligence research community. This timely Workshop aims to provide professionals, researchers, and technologists with a shared interdisciplinary forum to exchange, discuss, and share state-of-the-art theories and applications of secure and adversarial machine learning, particularly in deep neural networks and data mining approaches.
Kaizhu Huang, Xi’an Jiaotong-Liverpool University
Ping Guo, Beijing Normal University
Zenglin Xu, University of Electronic Science and Technology of China
Amir Hussain, Edinburgh Napier University
Kaizhu Huang, Professor, Xi’an Jiaotong-Liverpool University, Kaizhu.Huang@xjtlu.edu.cn
Bio: Kaizhu Huang is currently a Professor and Head, Department of Electrical and Electronic Engineering, Xi’an Jiaotong-Liverpool University, China. He is also the founding director of Suzhou Municipal Key Laboratory of Cognitive Computation and Applied Technology. Prof. Huang has been working in machine learning, neural information processing, and pattern recognition. He was the recipient of 2011 Asia Pacific Neural Network Society (APNNS) Younger Researcher Award. He also received Best Book Award in National Three 100 Competition 2009. He has published 8 books in Springer and over 170 international research papers including about 60 SCI-indexed international journals, e.g., in journals (JMLR, Neural Computation, IEEE T-PAMI, IEEE T-NNLS, IEEE T-BME, IEEE T-Cybernetics) and conferences (NIPS, IJCAI, SIGIR, UAI, CIKM, ICDM, ICML, ECML, CVPR). He serves as associated editors in three international journals and board member in three international book series. He has been sitting in the grant evaluation panels in Hong Kong RGC, Singapore AI programs, and NSFC, China. He served as chairs in many international conferences and workshops such as ICONIP, AAAI, ACML, ICDAR, ACPR, SDA, and DMC. His personal website can be seen in http://www.premilab.com/KaizhuHUANG.ashx.
Ping Guo, Professor, Beijing Normal University, email@example.com
Bio: IEEE senior member, CCF senior member, Chair of IEEE CIS Beijing Chapter (2015-2016). His research interests include computational intelligence theory and its applications in pattern recognition, image processing, software reliability engineering, and astronomical data processing. He hold 6 patents and has published more than 300 papers, and two books: “Computational intelligence in software reliability engineering”, and “Image semantic analysis.” He received 2012 Beijing municipal government award of science and technology (third rank) entitled “regularization method and its application”. Professor Guo received his master’s degree in optics from the Department of physics, Peking University, and received his Ph.D degree from the Department of computer science and engineering, Chinese University Hong Kong. His personal home page can be seen in http://sss.bnu.edu.cn/~pguo.
Zenglin Xu, Professor, University of Electronic Science and Technology of China, firstname.lastname@example.org
Bio: Zenglin Xu is a Professor in School of Computer Science and Engineering at University of Electronic Science and Technology of China(UESTC). He obtained his PhD in Computer Science and Engineering from the Chinese University of Hong Kong, and after that he worked at Max-Planck Institute for Informatics, Germany and Purdue University, USA. He is the founding director of the Statistical Machine Intelligence and LEarning (SMILE) Lab. His research interests include machine learning and its applications on social network analysis, health informatics, and cyber security analytics. He has published over 70 papers in prestigious journals and conferences such as NIPS, ICML, IJCAI, AAAI, IEEE PAMI, IEEE TNN, etc. He is a recipient of China Thousand Talents(Youth) Program. He is also the recipient of the APNNS young researcher award in 2016, and the best student paper honorable mention of AAAI 2015 and ACML 2016. Dr. Xu has been a PC member or reviewer to a number of top conferences such as NIPS, ICML, AAAI, IJCAI, etc. He currently serves as an associated editor to Neural Networks and Neurocomputing. His personal home page can be seen in http://smilelab.uestc.edu.cn/.
Amir Hussain, Professor, Edinburgh Napier University. A.Hussain@napier.ac.uk
Bio: Amir Hussain is a professor and a founding Director of the Cognitive Big Data and Cybersecurity(CogBiD) Research in Edinburgh Napier University (UK), managing over 25 academic and research staff. Professor Hussain’s research interests are cross-disciplinary and industry focused, aimed at pioneering brain-inspired, cognitive Big Data technology for solving complex real-world problems. In 2017-18, he was ranked, in an independent survey (published in Elsevier’s Information Processing and Management Journal), as one of world’s top two most productive, highly-cited researchers in (Big Data) sentiment analytics (since 2000). He has (co)authored three international patents, more than 400 publications, with approximately 150 journal papers. He is founding Editor-in-Chief of (Springer Nature’s) Cognitive Computation journal (SCI Impact Factor (IF): 3.48) and BMC Big Data Analytics journal (published by BioMed Central (BMC)-part of Springer Nature). He has been appointed Associate Editor of several other world-leading journals including, IEEE Transactions on Neural Networks and Learning Systems (SCI IF 6.1), Elsevier’s Information Fusion journal (SCI IF: 5.9), the IEEE Transactions on Emerging Topics in Computational Intelligence, and the IEEE Computational Intelligence Magazine (SCI IF: 6.34).
Design, Implementation and Applications of Spiking Neural Networks and Neuromorphic Systems
Description of the workshop:
Spiking neural networks (SNN) and neuromorphic systems (NMS) represent the third generation of neural networks, but more importantly they are considered to be the next generation of information processing systems.
This Workshop will cover for the first time all aspects of methods, systems, implementations and applications of SNN and NMS, including, but not restricted to the following topics:
- Biological neuronal models;
- Brain-inspired information encoding;
- SNN computational models;
- SNN system design;
- On-line learning in SNN;
- Deep learning in SNN;
- Design of NMS;
- SNN hardware implementations for acceleration;
- NMS hardware implementations;
- Software development systems for SNN and NMS;
- Cloud-based implementations;
- Evolutionary and quantum optimisation of SNN;
- Quantum SNN;
- Explainability in SNN;
- Knowledge extraction from SNN and NMS;
- Fuzzy SNN;
- SNN and NMS for Brain-Computer Interfaces(BCI)
- Applications for spatio-temporal brain data (EEG, fMRI, DTI);
- Modelling the human brain with SNN and NMS;
- Applications for health risk prediction, such as stroke, AD, dementia, depression and other;
- Applications for intelligent, brain-like robots;
- Applications for neurorehabilitation robotics;
- Applications for Internet-of-things including environmental hazard sprediction;
- Applications for Autonomous vehicles;
- Other emerging applications.
Nikola Kasabov (Auckland University of Technology, FIEEE)
Steve Furber (University of Manchester, UK, FIEEE)
Giacomo Indiveri (University of Zurich and ETH Zurich, Switzerland) Zeng-Guang Hou, FIEEE, (China Academy of Sciences Institute of Automation, China)
Liam Maguire, Liam McDaid and Jim Harkin (University of Ulster, UK)
Jie Yang (Shanghai Jiao-Tong University, China) Chrisina Jayne (Teesside University, UK)
PetiaKoprinkova (Bulgarian Academy of Sciences)
Mufti Mahmud and Alex Sumich (Nottingham Trent University)
Javier Del Ser (Tecnalia Research & Innovation, Spain)
Preliminary list of invited speakers/panellists
Steve Furber Giacomo Indiveri Zeng-Guang Hou Jim Harkin
PetiaKoprinkova Javier Del Ser
Prof. Nikola Kasabov (Auckland University of Technology, FIEEE, FRSNZ) is Founding Director of the Knowledge Engineering and Discovery Research Institute (KEDRI) at Auckland University of Technology (AUT), New Zealand. He is Immediate Past President of the Asia-Pacific Neural Network Society (APNNS) and Past President of INNS. He has published more than 600 papers and books and is the leading researcher on several international projects in the areas of computational intelligence, neural networks, neuroinformatics. He is Visiting/Honorary Professor at SJTU and CASIA China, RGU and Teesside University UK, UZH/ETH Zurich and USI Lugano. He holds Doctor Honoris Causa of Obuda University, Hungary.
Prof. Steve Furber(University of Manchester, FIEEE, FRS) is ICL Professor of Computer Engineering in the School of Computer Science at the University of Manchester, UK. After completing his education at the University of Cambridge (BA, MA, MMath, Ph.D.), he spent the 1980s at Acorn Computers, where he was a principal designer of the BBC Micro and the ARM 32-bit RISC microprocessor. As of 2018, over 120 billion variants of the ARM processor have been manufactured, powering much of the world’s mobile computing and embedded systems. He pioneered the development of SpiNNaker, aneuromorphic computer architecture that enables the implementation of massively parallel spiking neural network systems with a wide range of applications.
Prof. Giacomo Indiveri(University of Zurich and ETH Zurich, Switzerland) is the director of the Institute of Neuroinformatics (INI), and Professor at the University of Zurich and ETH Zurich, Switzerland. Indiveri was awarded an ERC starting grant in 2011, and an ERC consolidator grant in 2017. Engineer by training, Indiveri has also expertise in neuroscience, computerscience, and machine learning. His research focuses on the development of full custom hardware implementation of real-time sensory-motor and learning systems using analog/digital neuromorphic circuits and emerging VLSI technologies. His group uses these neuromorphic circuits to validate brain inspired computational paradigms in real- world scenarios, and to develop a new generation of fault-tolerant event-based neuromorphic computing technologies.
Prof. Zeng-Guang Hou, FIEEE, (China Academy of Sciences Institute of Automation, China) is a Professor & Deputy Director of the State Key Lab of Management and Control for Complex Systems at Institute of Automation, Chinese Academy of Sciences (CASIA). He has led several projects on using neural networks for neurorehabilitation robotics. Prof. Hou is member of the Board of Governors of INNS and the Governing Board of APNNS.
Profs Liam Maguire, Liam McDaid and Jim Harkin (University of Ulster, UK) are leaders in the Center for Computational Intelligence of the University of Ulster, UK. Prof. Liam Maguireis also Executive Dean of the Faculty of Engineering and Computer Science.
Prof. Jie Yang (Shanghai Jiao-Tong University, China) is Director of a Laboratory for Computational Intelligence and Image processing, leading large projects in the biomedical area.
Prof. Chrisina Jayne (Teesside University,UK) is the Dean of the School of Engineering at Teesside University, UK. She is a member of Board of Governors of the INNS and has led several projects on theoretical aspects of neural networks and their applications.
Prof. PetiaKoprinkova-Hristova (Bulgarian Academy of Sciences) is a leader of a team working on brain modelling via SNNs at the Institute for Information Technologies at the Bulgarian Academy of Sciences.
Dr Mufti Mahmud (Nottingham Trent University) is with the School of ScienceandtechnologyattheNottinghamTrentUniversity.HeistheprogrammechairoftheWCCI 2020.
Prof. Alex Sumich (Nottingham Trent University) has an Associate Professorship with the NTU and Adjunct Professorship at AUT. His main research is in the area of EEG data modelling for understanding of brain functions and cognitive states.
Dr Javier Del Ser received his first PhD degree (cum laude) in Electrical Engineering from the University of Navarra (Spain) in 2006, and a second PhD degree (Summa Cum Laude, extraordinary PhD prize) in Computational Intelligence from the University of Alcala (Spain) in 2013. He is currently a Research Professor in Artificial Intelligence and leading scientist at TECNALIA RESEARCH & INNOVATION (www.tecnalia.com/en). He is also an adjunct professor at the University of the Basque Country (UPV/ EHU), an invited research fellow at the Basque Center for Applied Mathematics (BCAM), an a senior AI advisor at the technological startup SHERPA.AI. He is also the director of the TECNALIA and Chair in Artificial Intelligence in the University of Granada (Spain).
Neural Network Verification in Autonomous Intelligent Systems
Ekaterina Komendantskaya, Heriot-Watt University, Edinburgh; email@example.com
Wen Kokke, Edinburgh University, Edinburgh; firstname.lastname@example.org
Rob Stewart, Heriot-Watt University, Edinburgh; R.Stewart@hw.ac.uk
Description of the workshop:
abstract, objectives, goals, relevance to IEEE WCCI, and expected outcomes
Abstract: AI applications have become pervasive: from mobile phones and home appliances to stock markets, autonomous cars, robots, and drones. Each application domain comes with a rich set of requirements such as legal policies, safety and security standards, company values, or simply public perception. To guarantee AI requirements, they must be realised as verifiable properties of software and hardware. The very features we value in neural networks (adaptivity, ability to generalise from noisy data) become sources of security threats. For example, neural networks are known to be vulnerable to adversarial attacks, specially crafted inputs that can create an unexpected and possibly dangerous output. Verification of neural networks is an active area of research, but the existing methods are far from being able to match desired policies in generality, levels of abstraction, and lifecycle. Machine learning, verification and
programming language communities are yet to develop suitable methods for lightweight and efficient verification of neural networks (and similar other machine learning methods) employed in autonomous intelligent systems.
Objectives and goals: This workshop will bring together experts in verification of autonomous systems, in order to discuss current challenges and future directions in the field of verification of neural networks (or similar machine learning methods) employed in the engineering and production of autonomous intelligent systems. It will feature invited and contributed talks, followed by 40-min panel discussions on the following topics:
- Programming language approaches to verification of autonomous intelligent systems
- Challenges in verification of autonomous intelligent systems faced by industry
- Verification of autonomous intelligent systems that have processing power or memory constraints
Further topics will be covered via contributed talks. Contributed papers will be solicited, covering
the above three topics plus:
- Verification approaches in different machine learning paradigms: supervised learning, recurrent neural networks, reinforcement learning
- Verification of neural networks used in Chatbots and Dialogue systems
- Legal aspects of verification of autonomous intelligent systems
- Security aspects in verification of autonomous intelligent systems
The workshop will encourage contributions by early career researchers and students, to foster inclusive and active research environment.
Relevance to IJCNN and WCCI: The workshop aligns with several WCCI and IJCNN special sessions on machine learning, neural networks and deep learning architectures, as well as security and machine learning, and the special session on Robustness and Trustworthiness in Deep Learning . The workshop will complement IJCNN special sessions, as it will feature focused talks by world leaders in this area, and panels targeting specifically the
Motivation for why an IEEE WCCI workshop on this topic is needed Autonomous intelligent systems comprise a significant part of the “Computational Intelligence” research, and verification of such systems is increasingly becoming a top priority for researchers in Academia, Industry, and for Funding Agencies. This workshop will thus meet the existing
demand in developing better methods of verification of neural networks (and similar machine learning methods) employed in autonomous intelligent systems.
Description of target audience and estimated number of participants
The workshop will attract a broad range of experts who work on verification of autonomous systems: engineers, machine learning experts, programming language experts, lawyers, researchers from industries. This combination of inter-disciplinary expertise will stimulate fruitful and insightful panel discussions and will spark novel ideas, research papers and collaborations.
We expect 30 participants, more than half of which will attend by invitation.
Workshop duration, format, activities, and schedule
The workshop will last 2 days, and will feature keynote and invited talks (chosen to cover the selected topics A, B, C as outlined below), leading to focused panel discussions on these topics.
The special sessions and panel sessions will be followed by contributed talks.
Special session and panel topics:
A. Programming language approaches to verification of autonomous intelligent systems
B. Challenges in verification of autonomous intelligent systems faced by industry
C. Verification of resource constrained AI accelerators for Autonomous AI systems
In the Section “ Preliminary list of invited speakers ”, we give a preliminary list of invited speakers for each of the above sessions.
Tentative schedule (1 day workshop):
9-10.30 Special session A.
10.30- 11.00 Panel discussion for session A topic.
11-11.30 Coffee break.
11.30 — 12.30 Special session B.
12.30 — 13.00 Panel for session B topic.
13.00 — 14.00 lunch.
14.00 — 15.30 Special session C.
15.30 — 16.00 coffee break.
16.00- 16.30 Panel discussion for session C topic.
16.30 — 17.30 Contributed talks.
List of committed program committee members (to be extended)
David Aspinall, Edinburgh University, UK
Bob Atkey, Strathclyde University, UK
Henning Basold, Universteit Leiden, Netherlands
Madeline Cheah, HORIBA MIRA Ltd, UK
Gudmund Grov, NorwegianDefence Research Establishment (FFI), Norway
Guy Katz, Hebrew University, Israel
Cathal McCabe, Xilinx, UK
Ewen Maclean, Imandra Inc., UK
Grant Passmore, Imandra Inc. and Cambridge University, UK
Verena Rieser, Heriot-Watt University, UK
Burkhart Schafer, Edinburgh University, UK
Sen Wang, Heriot-Watt University, UK
Iain Whiteside, FiveAI, UK
Preliminary list of invited speakers (to be extended)
Programming language approaches to verification of autonomous AI systems:
Grant Passmore, Imandra Inc. and Cambridge University, UK
Challenges in verification of autonomous intelligent systems faced by industry
Madeline Cheah, HORIBA MIRA Ltd., UK
Iain Whiteside, FiveAI, UK
Gudmund Grov, NorwegianDefence Research Establishment (FFI), Norway
Verification of resource constrained AI accelerators for Autonomous systems
Giulio Gambardella, Xilinx, UK
Short biographical sketch for each organizer, describing relevant qualifications and experience
Dr. Ekaterina Komendantskaya is an Associate Professor in Computer Science, in the School of Mathematics, Applied Mathematics and Computer Science, Heriot-Watt University. She leads the Lab for AI and Verification ( www.LAIV.uk ) at Heriot-Watt. Her research interests are in the areas of Logic and Verification, including verification of neural networks and other machine learning algorithms, and design of novel programming languages and tools for AI verification.
Dr. Komendantskaya’s research on logic and verification has been published in leading international conferences such as CSL, ICLP, ESOP, FLOPS, PADL. She has been a PC member of a dozen of conferences on logic, programming languages and AI, and most recently the Chair of PPDP’19 and PADL’20. Previously, Dr. Komendanstakaya was a Reader and
Lecturer at Dundee university, an EPSRC Research Fellow in Theoretical Computer Science at St Andrews University, Research Assistant in INRIA, France, and a PhD student at the University College Cork.
Dr Robert Stewart is an Assistant Professor at Heriot-Watt University. His interests are at the interface between programming languages and computer architectures. They span parallel programming functional languages for multicore HPC and embedded architectures, dataflow models for embedded systems and hardware verification.
Wen Kokke is a doctoral student at the Laboratory for Foundations of Computer Science at Edinburgh University, and a research associate with the Laboratory for AI and Verification at Heriot-Watt. Her research interests are in the areas of programming languages and verification, and machine learning and natural language processing.
Wen is currently working as an RA in the project SecCon-NN: Neural Networks with Security Contracts — towards lightweight, modular security for neural networks (PIs Komendantskaya and Aspinall) , funded by the National Cyber Security Center, as part of the “Security for AI” research programme.
IEEE Entrepreneurship Workshop
Hour 1 – Panel Discussion Abstract
The IEEE Entrepreneurship panel at IEEE WCCI 2020 will help foster growth in start-ups and small businesses using AI, machine learning and computational intelligence as part of their core operating technologies.
While focused on broad geographic growth, the panel is specifically interested in helping companies in Region 8 at this flagship conference of the IEEE Computational Intelligence Society.
This IEEE Entrepreneurship panel will facilitate discussion on the difficulties of raising capital, providing solutions to the market, and help take the mystery out of making successful inroads in tech driven entrepreneurship.
Hour 2 – Amazon Session Abstract
Amazon AWS offers a comprehensive cloud, AI/ML, IOT and multi-modal (text, speech, image and video) analytics and comprehension platform. The session will begin with a 30 min general introduction to the AWS platform as an example of the depth and breadth of cloud computing platforms. This will be followed by 30 minutes of AI/ML deep-dive, plus an hour of how IoT connects with all of these subject areas and services. During this session the audience will learn about industry case-studies and participate in hands-on exercises.
Participants will get $1,000.00 in AWS credits to experiment and build their products on AWS.
Separately, AWS will make an introduction to the IEEE Entrepreneurship AWS Activate Program using materials that incorporate the CIS logo and branding. This program is structured to help IEEE member-founded startups build and grow their technology companies.
Candidate Companies for IEEE Entrepreneurship Speaker Consideration
|AYLIEN||Aylien is an AI, NLP and Machine learning that provides text analysis, API and content analysis solutions.|
|Boxever||Boxever is a personalization platform that uses data and AI to make every single customer interaction – whether on a website, smartphone or in-person – smarter.|
|DeepMind||Google’s DeepMind is the world leader in artificial intelligence research and its application in different fields, like games, medicine, energy efficiency.|
|Babylon Health||Babylon is a subscription health service provider that enables users to have virtual consultations with doctors and health care professionals via text and video messaging through its mobile application. Babylon app also uses AI to answer questions you normally ask your family doctor.|
|Graphcore||Graphcore is a semiconductor company that develops accelerators for AI and machine learning. It aims to make a massively parallel Intelligent Processing Unit that holds the complete machine learning model inside the processor.|
|BenevolentAI||BenevolentAI is applying artificial intelligence to develop new medicines for hard to treat diseases. It is the first fully integrated AI company with pharmaceutical discovery and clinical development capabilities. BenevolentAI’s advanced technology is disrupting the pharmaceutical industry by lowering costs, decreasing failure rates and increasing the speed at which medicines are delivered to patients.|
|Darktrace||Darktrace is the world’s leading machine learning company for cybersecurity.|
|Healx||Biotechnology company integrating artificial intelligence with expert pharmacology to discover treatments for rare diseases.|
|Signal AI||Signal AI is an artificial intelligence company that transforms the world’s information into accessible, actionable business knowledge.|
|FiveAI||FiveAI provides software for safe and costs effective urban mobility in public transport and solution to complex urban environments.|
|Speechmatics||As experts in Machine Learning, Speechmatics provides Automatic Speech Recognition available in private or public clouds and securely on-premises.|
|luminance||Luminance uses artificial intelligence to read and understand complex detailed documents, enabling users to carry out necessary due diligence more efficiently. Luminance has been trained to think like a lawyer.|
|memrise||Memrise develops a language-learning app that employs machine learning to adapt to users’ needs as they progress through their lessons.|
|onfido||Onfido builds trust in an online world by helping businesses digitally verify people’s identities. Our Identity Record Check cross-references your users’ details against a range of verified global databases and credit reference agencies.|
|hawk-eye innovations||Hawk-Eye is a British company that develops vision-processing, video replay, and creative graphical technologies for sports.|
Artificial Intelligence for Mental Disorders
Abstract:The AI for mental disorders workshop will discuss ongoing and future studies of developing AI-powered systems and ML-based assessment tools in diagnosing and treating psychiatric and neurodegenerative disorders. In particular, the workshop will focus on building pipelines with advanced feature-engineering methods and ML tools to effectively process big clinical data on mental disorders.
Erin W Dickie
The Evolutionary Computation for Healthcare (TECH-2020) workshop
The Evolutionary Computation for Healthcare (TECH-2020) workshop is multidisciplinary, bringing together AI and Healthcare researchers working in the fields of personalised medicine, medical devices; clinical diagnostics, and patient monitoring by applying advanced genetic and evolutionary computation techniques to address critical problems in digital healthcare and medical applications.
As the demand on health systems and hospitals worldwide becomes unsustainable, there has been an increasing interest in applying AI and novel approaches, such as evolutionary computation, to the next generation of healthcare solutions. As the mode of treatment turns from the hospital to the home, there has been a particular focus on AI for personalized medicine in the hope of improving patient care and reducing costs.
Dr Neil Vaughan, University of Chester
Venue: IEEE WCCI 2020 will be held in Glasgow, Scotland, UK – one of Europe’s most dynamic cultural capitals and the “World’s Friendliest City” [Rough Guide 2015]. Steeped in culture, rich in history and alive with an excitement you can sense as you walk through its elegant Victorian streets, squares, parks and gardens. The Conference will be held at the prestigious Scottish Event Campus (SEC), which was a key venue for the 2014 Glasgow Commonwealth Games.