一、报告题目：
A Practical Workshop about Software Simulation of Neural-like P Systems using P-Lingua and MeCoSim
二、报 告 人：Dr. Luis Valencia-Cabrera (Spain)
四、报告地点：6A301
五、主办单位： 西华大学金沙集团888881
六、报告人简介：
Dr. Luis Valencia-Cabrera, Permanent Member of Smart Computer Systems Research and Engineering (SCORE) Lab Excellence Unit of the University of Seville (Spain), Member of the Research Group on Natural Computing, and Associate Professor of the Department of Computer Science and Artificial Intelligence since 2022, with previous academic positions from 2010. Member of the Website Committee of the International Membrane Computing Society (IMCS), Regular Reviewer in ISI-JCR journals, Member of International Scientific Committees, Principal Investigator of project VIMTA (Virus Machines: theory and applications, supported by Zhejiang Lab BioBit Program, 2023-2024). PhD Extraordinary Award in 2015 (PhD Program in Logics, Computer and AI), he has co-authored more than 130 scientific publications, including 53 papers in ISIJCR journals. Apart from his academic career, he has worked with International IT companies, as LektaAI (Poland-Spain, 2017-2018, winning first award in II Hackathon of NLP technologies, from Spanish Ministry of Economy and Business) and Ayesa (Spain, 2005-2010, in positions from Fellow to Team Leader, achieving professional certifications IFPUG CFPS and Sun Microsystems -Oracle SCJP, SCWCD, SCBCD). His research interests include complex systems modelling and simulation, theoretical computer science, artificial intelligence, software development and engineering, and specially natural computing (membrane computing and virus machines, with a special focus on the computational modeling and simulation of P systems).
七、报告内容简介：
Membrane computing is a branch of natural computing, inspired by the structure and functioning of cells in living organisms. For the last few years, one of the most active models in this discipline has been neural-like P systems, considered a type of third-generation neural network based on the transmission of spikes among a graph of neurons. While the initial years the theoretical foundations were set, a major step within the area started with the development of practical applications based on these devices. In order to handle these devices, we need software-hardware simulation tools to run the computations and study the evolutions of the systems modelled. These tools help verifying the correctness of the theoretical proofs, and enable the execution of the practical applications, thus resulting crucial for the success of the models created. P-Lingua framework provides both a domain-specific language to define P systems of different types and variants (including a number of variants of neural-like P systems) and a platform to run simulations for such models. On the other hand, MeCoSim provides a visual application to make it easier for desginers and end-users to run the computations of the models.
欢迎全校师生届时光临！
