1. Prof. Mario J. Pérez-Jiménez, Univeristy of seville, Spain
Title of the talk: Modelling the dynamics of complex systems: A membrane computing based framework
Abstract: Since the 1940s, Nature in general, and Living Nature in particular, has acted as a constant source of inspiration for the creation of new computational paradigms. Within this context, the way Nature performs certain processes susceptible to be interpreted as calculation procedures has frequently served, among other things, to describe, address, and in many cases solve, a number of relevant problems, both at a theoretical and a practical level.
When dealing with real-life processes, we find that indeed Nature can teach us how to unveil their secrets by computing “the Natural way”. Membrane computing is a computational paradigm aiming to abstract computing models, called P systems, from the structure and functioning of living cells, as well as from the way cells are organized in tissues, organs or higher order structures. In this talk, a uniform Membrane Computing framework providing predictive models of real-life phenomena is presented. Practical applications both at a “micro” (i.e. molecular mechanism in cellular processes) and a “macro” (i.e. population dynamics of real ecosystems) level are studied, being presented during the talk to illustrate some relevant features of the models and the underlying framework.
Short bio: Professor Mario J. Perez-Jimenez received his degree in Mathematics from the Barcelona University and the doctor degree in Mathematics from the Sevilla University. In the past, he was a lecturer and teaching assistant at the University of Barcelona (1971-1983). Since 1989 he was an associated professor at the University of Seville, Spain, and from 2005 to 2007 a Guest Professor in the Huazhong University of Science and Technology, Wuhan, China. Currently, he is a numerary member of the Academia Europaea (The Academy of Europe), and a Full Professor in the Department of Computer Science and Artificial Intelligence, University of Seville, where he is the head of the Research Group on Natural Computing. His main research interests include theory of computation, computational complexity theory, natural computing (DNA computing and membrane computing), bioinformatics, and computational modelling for systems biology and population dynamics.
He has published around 20 books in computer science and mathematics, and over 250 scientific papers in international journals (collaborating with researchers worldwide). He is a member of the editorial board of 5 ISI journals: International Journal of Neural Systems, Fundamenta Informaticae, International Journal of Computers, Communications and Control, Natural Computing and Theoretical Computer Science. He was the first scientific awarded with “Important Contributions to Membrane Computing” under the auspices of the European Molecular Computing Consortium, Edinburgh, 2008. He is the main researcher in various European, Spanish and Andalusian research grants. He has been an independent expert to the evaluation of NEST (New and Emergent Science and Technology) proposals under the Sixth Framework Programme of the European Community, and also in different institutions at the level of Spain and Romania. Additionally, he is a peer reviewer of the European Science Foundation, as well as the Russian Science Foundation.
2. Prof. Marian Gheorghe, University of Bradford, UK
Title of the talk: Kernel P systems – A powerful modelling and verification framework
Abstract: The kernel P systems have been introduced as a low level modelling paradigm combining common features of most of the P system variants. This work presents the main computational and complexity theoretical results as well as verification aspects. Several applications modelled with kernel P systems are discussed and their behaviour analysed with the kP-workbench tool. Future research directions of this computational model are summarised.
Short bio: Professor Marian Gheorghe is 50th Anniversary Chair with the University of Bradford, as head of the Modelling, Testing and Verification Research Group. Up until 2015 he was with the University of Sheffield, head of the Verification and Testing Research Group. Professor Gheorghe has a broad range of research interests including computational models, formal verification and testing, simulation of agent-based systems, applications in engineering and synthetic biology. He has published in all these areas and his research has been funded by various research councils. He has published more than 100 research papers and monographs, has edited conference proceedings and special issues of several highly prestigious journals. He has an H-index 26 with more than 2850 citations.
3. Prof. Kenli Li, Hunan University, China
Title of the talk: A Parallel Big Data Processing & Intelligent Analysis System and its Industrial Applications
Abstract: Nowadays, data is produced in every aspect of our lives, leading to a massive amount of information generated every second, especially in the traditional areas, such as the medical industry, traffic, and machine manufacturing. This speech first introduces the current development of the big data and artificial intelligence (AI 2.0), and points out the technical threshold of the traditional enterprises when they hope to implement the data mining and intelligent analysis based on their historical big data. Then we propose and implement a platform of parallel data processing and analysis, which can help the traditional enterprises to across these thresholds. Finally, this speech introduce several typical practice industrial applications based on this platform, such as the data analysis system for the medical behavior, the auto failure detection and identification system for the train, and the data collection and analysis system for the CNC machines.
Short bio: Professor Kenli Li is currently a Professor and a PhD Supervisor at Hunan University (HNU), China. He is a Senior Member of IEEE, a Distinguished Member of China Computer Federation (CCF), and the Vice Chairman of CCF-Changsha. He is also the Dean of School of Information Science and Engineering, and the Director of National Supercomputing Center in Changsha. He received his PhD degree in Computer Software and Theory from Huazhong University of Science and Technology (HUST), in 2003. From 2004 to 2005, he has been a Visiting Scholar at the University of Illinois at Champaign-Urbana, USA. His research interests include parallel and distributed computing, supercomputing, cloud computing, and big data. As a principal investigator (PI), he has been responsible for more than 10 research projects including the National Outstanding Youth Science Program and the Key Project granted by National Natural Science Foundation of China (NSFC). He has published more than 160 technical papers in the above areas including 44 papers on IEEE/ACM Transactions. Prof. Li is the General Co-Chair of the of the 25th International Conference on Parallel Computational Fluid Dynamics (ParCFD), 2013, the 15th Conference on Algorithms and Architectures for Parallel Processing (ICA3PP 2015). He is currently the associate editor of IEEE Transactions on Computers.
4. Dr. hab. Sergey Verlan, University of Paris Paris Est, France
Title of the talk: A formal framework for definition and analysis of P systems
Abstract: In this talk we focus on the model called the formal framework for P systems. This model provides a descriptional language powerful enough to represent in a simple way, via a strong biosimulation, most of the variants of P systems. This allows an unambiguous definition of a P system as well as a uniform way for extensions and also a powerful tool for the comparison of different models. We will present a series of concrete examples of the application of the formal framework in order to understand, extend, compare and explain different models of P systems leading to new research ideas and open problems.
Short bio: Dr. hab. Sergey Verlan is an associated professor at the University of Paris Est Creteil, France. He obtained his PhD in 2004 at the University of Metz, France and his habilitation in 2010 at the University of Paris Est. Dr’s Verlan main research focus is the area of formal language theory, of molecular and cellular computing, and of complex dynamic systems. He is particularly interested by the computational power of different models (decidability and computational completeness), the links between models from different areas, and by the universality problem. His key results are: the computational completeness of the iterated splicing operation, the computational completeness of the context-free insertion-deletion systems of small size, the universality of the maximally parallel multiset rewriting with 23 rules and the universality of Petri nets with 4 places.
Abstract: The theory of grammar systems was introduced and developed providing a theoretical framework for modelling distributed computation at symbolic level in terms of syntactic methods, especially grammar-based methods. On the other hand, in the area of membrane computing, a distributed highly parallel theoretical computability model, now called as P system, was introduced with the model based on the membrane structure and the behavior of the living cells. A variety of grammar systems and P systems with different motivations,have been introduced and studied.Rewriting P systems have close connections with grammar systems in language description of one-dimensional strings and two-dimensional arrays. This talk is intended to highlight the connections and point out unexplored areas as well.
Short bio: Dr K.G. Subramanian was on the faculty of the Department of Mathematics, Madras Christian College, Chennai, from 1970 to 2006. He has also held administrative positions from 2001 to 2006 as Head of the Department and Dean of Sciences at Madras Christian College, Chennai. He obtained his PhD in 1980 from University of Madras, India. His main area of research falls under the broad topic of Mathematical aspects of Computer Science and his research interests include biologically motivated computing models, combinatorics on words, applications of the theory of formal languages to picture generation, learning and cryptography.
He has served as supervisor for a number of PhD scholars. He has visited various institutions in France, Spain, Germany, China, Malaysia, Vietnam, Japan, UKon different periods for collaborative research and has many publications in reputed journals. He was a visiting Professor at the School of Mathematical Sciences (2007-2010) and the School of Computer Sciences (2011-2015) at the Universiti Sains Malaysia. He also had an honorary visiting professor position at the Faculty of Science, Liverpool Hope University, UK. He has been awarded by UGC (India) an Emeritus Fellowship (2016-18). Under this scheme he is again attached to the Department of Mathematics, Madras Christian College.
6. Prof. Linqiang Pan, Huazhong University of Science and Technology, China
Title of the Talk: Spiking Neural P Systems
Abstract: Biological systems, including a single cell and complexes of cells, are a rich source for abstracting computing ideas (data structures, operations with data, ways to control operations, computing models, etc.). Spiking neural P systems are a class of parallel computing models inspired by neurons, which can be considered as a member of neural networks of third generation in the sense that the dimension of time is used to encode information. At the beginning an overview of spiking neural P systems will be given including motivation, biological background (at the level for a mathematician or computer scientist), the basic ingredients and functioning of a spiking neural P system, and the relationship and difference with the traditional spiking neural networks. Then, some classical or recent results on spiking neural P systems are reviewed. Finally, an outlook will be given with a discussion of applications.
Short bio: Prof. Linqiang Pan received Ph.D. in Mathematics from Nanjing University, China, in 2000. From 2001 to 2002, he worked at Huazhong university of Science and Technology (HUST), Wuhan, China as a post doctor. From 2003 to 2004, he was a visiting researcher at Rovira I Virgili University, Spain. Since 2005, he has been with HUST, Wuhan, China. In his research work, he has three fields of interest, which are systems biology (devoted to understanding the computations in biology), membrane computing (developing human designed computing inspired by nature), and DNA nanotechnology (designing and manufacturing computation devices based on DNA molecules). He is the dean of Department of Intelligence Science and Technology, and the head of the research group of Natural Computing at HUST. He is also active with several other scientific groups in China. He is chairman of Hubei Province Society for Operations Research and vice-director of Chinese Electron Academic Society: Graph Theory and System Optimization Specialized Committee.
7. Prof. Jun Wang, Xihua University , China
Title of the Talk: Fuzzy membrane systems and unsupervised learning algorithm of membrane computing: Recent Advances
Abstract: Fuzzy membrane systems are a variant of membrane systems (P systems) based on based on Spiking Neural P Systems, Tissue-like P Systems, Cell-like P Systems. Fuzzy Spiking Neural P Systems (FSNP Systems) are the integration of spiking neural P systems and fuzzy logic to deal with uncertainty information such as expressing fuzzy knowledge and fuzzy reasoning. In this report, we will introduce our recent works, including fuzzy reasoning spiking neural P systems, weighted fuzzy spiking neural P systems, adaptive fuzzy spiking neural P systems, and its applications for fault diagnosis of power system.
Membrane computing models has learning capability such as neural network? This question has attracted a lot of attention recently. Recently years, we have deeply researched and explored unsupervised learning problem of membrane computing. We will introduce their learning mechanism, the learning models of membrane computing and several efficient distributed parallel clustering algorithms. Furthermore, we will give some application.
Short bio: Dr. Jun Wang is Lab Lead of Sichuan Province Key Laboratory of power electronics energy-saving technologies & equipment.In this role, she leads teams in new innovating in some aspects of new power electronics equipment, technology and software, especially for distributed generation and microgrid. In addition, her teams including Dr. Hong Peng collaborate with membrane systems including new models and algorithms with special engineering application being explored in realization of membrane systems.
Since 1991,Jun Wang joined the School of Electrical and Information Engineering, Xihua University where she become a professor in 2004. She received Ph.D. degree in electrical engineering from the Southwest Jiaotong University, Chengdu, China, in 2006. She is a member of several science academies in China. Recently years, she have been focus on constructing new models and algorithms of membrane systems, and applying for fault diagnosis and energy management of power system. She participated in a number of Chinese government projects. She published more than 40 papers about membrane systems and received five patents.