- SIPTA News - lists.sipta.org

IPMU 2026 - Deadline for EUSFLAT Student Grants application
by Davide Petturiti March 6, 2026

March 6, 2026

****** PLEASE APOLOGIZE FOR MULTIPLE COPIES ****** ********************************************************** 21st International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2026) June 15th-19th, 2026, Rome, Italy https://www.sbai.uniroma1.it/conferenze/ipmu2026/ *********************************************************** We inform all interested colleagues that, in agreement with EUSFLAT, the deadline for EUSFLAT Student Grants application has been fixed to *25 March 2026*. We are pleased do recall that: · The EUSFLAT Board offers *5* student grants. *· *Each grant will cover *the early student registration fee.* Eligibility criteria and Application procedure are available here: https://www.sbai.uniroma1.it/conferenze/ipmu2026/student-grants.php Best regards, The IPMU 2026 Organizing Committee -- *Fai crescere le giovani ricercatrici e i giovani ricercatori*** *con il 5 per mille alla Sapienza* Scrivi il codice fiscale dell'Università *80209930587 **Cinque per mille <https://www.uniroma1.it/it/node/23149>*

1 0

FW: Call for submissions, ESCO 2026, Jun 2026
by Kreinovich, Vladik Feb. 13, 2026

Feb. 13, 2026

FYI, uncertainty quantification is one of the highlighted topics ******************************** From: Pavel Solin solin(a)unr.edu<mailto:solin@unr.edu> We are pleased to announce that the 10th European Seminar on Computing (ESCO 2026) will take place on June 1-4, 2026, at Hotel Central in Pilsen, Czech Republic. ESCO 2026 is an interdisciplinary international conference that promotes modern technologies and practices in scientific computing and visualization, and strengthens the interaction between researchers and practitioners across computational engineering, sciences, and education. The conference will be held in person, with online participation also available. Abstract submission deadline: February 15, 2026. Main topics and themes of ESCO 2026 include (but are not limited to): * Computational electromagnetics and coupled problems * Fluid-structure interaction and multiphase flows * Computational chemistry and quantum physics * Computational civil and structural engineering * Computational biology and bioinformatics * Computational geometry and topology * Mathematics education and outreach * Computational and applied statistics * Petascale and exascale computing * Hydrology and porous media flows * Wave propagation and acoustics * Climate and weather modeling * GPU and cloud computing * Uncertainty quantification * Machine learning and AI * Open-source software The proceedings of ESCO 2026 will appear as a special issue of the Journal of Computational and Applied Mathematics (JCAM, Elsevier). Submissions should be prepared in the format of a standard journal paper; they will be peer-reviewed in the journal's usual process. Additional details can be found on the conference website: https://esco2026.fel.zcu.cz/ or by contacting esco(a)fel.zcu.cz<mailto:esco@fel.zcu.cz>. We hope to see you in Pilsen in June 2026! With best regards, Pavel Solin On behalf of the ESCO 2026 Organizing Committee

1 0

special session on imprecise probabilities at SMPS'2026
by Enrique Miranda Feb. 13, 2026

Feb. 13, 2026

Call for papers Special Session on THEORETICAL AND APPLIED ASPECTS OF IMPRECISE PROBABILITIES to be held at the 12th International Conference on Soft Methods in Probability and Statistics (SMPS 2026) https://conference.unisalento.it/event/14/ Lecce (Italy), September 15-18, 2026 Session topic and goal This session is devoted to Imprecise Probability Theory. This theory involves all the mathematical models that can be used as more flexible tools than usual Probability Theory when the available information is scarce, vague or incomplete. It includes lower previsions, n-monotone capacities, belief functions, possibility measures, or non-additive measures, among others. This special session aims to include papers related to Imprecise Probabilities that either present a significant advance in the foundations or show potential applications in real problems. In addition, papers where the connection between imprecise probability theory and other fields such as fuzzy sets or game theory is emphasized are also welcome. Theoretical topics of interest include (but are not limited to): • (coherent) uncertainty models • non-additive set functions • choice functions • sets of desirable gambles • qualitative reasoning about uncertainty • statistical inference with random sets • limit laws for imprecise probabilities • philosophical foundations • elicitation and inference • robust statistics • decision making • algorithmic issues Applications include (but are not limited to): • data mining • classification and machine learning • risk and reliability analysis • finance • life sciences • system control and design Dates Paper submission deadline: March 1, 2026 Author notification: April 26, 2026 Conference: September 15-18, 2026 Submissions Please select the Track “Theoretical and applied aspects of imprecise probabilities” when submitting your paper in the conference website https://conference.unisalento.it/event/14/abstracts/ . Papers submitted should be between 6 and 8 pages. Required LaTeX style etc., a link to the submission platform, and additional information can be found on the conference homepage https://conference.unisalento.it/event/14/abstracts/ . Elsevier will sponsor SMPS 2026 with a best paper award. Additionally, there will be a special issue related to the conference in the International Journal of Approximate Reasoning. Organizers We would be obliged if you would let us know in case you intend to submit a paper to this session, at your earliest convenience. Any questions or remarks can be addressed to: Raúl Pérez-Fernández (perezfernandez(a)uniovi.es) University of Oviedo (Spain) Enrique Miranda (mirandaenrique(a)uniovi.es) University of Oviedo (Spain)

1 0

deadline for submitting extended abstracts to a Rough Set conference is March 6
by Kreinovich, Vladik Feb. 4, 2026

Feb. 4, 2026

FYI, papers related to imprecise probabilities are always welcome at this series of conferences *********************************************************** 12th International Joint Conference On Rough Sets IJCRS 2025 May 26-29, 2026, Cadiz, Spain Website: https://ijcrs2026.uca.es/ see us also on Instagram: ijc.rs and on Twitter/X: ijc.rs ABOUT THE CONFERENCE Rough Sets were introduced by Zdzislaw Pawlak in the early '80s and developed further as a method of knowledge representation and processing based on uncertain data and incomplete information. Nowadays, Rough Set theory is widely recognized to have great importance in several fields, including artificial intelligence, mathematics, knowledge representation and machine learning, as evidenced by the increasing number of works concerned with its applications and theoretical foundations. The aim of the IJCRS conference is to be the main location for disseminating novel foundational results and practical applications, enabling the discussion of problems and exchange of ideas, as well as bringing together academic and industrial perspectives, centred around rough sets and related disciplines. General Chairs * Chris Cornelis, University of Gante, Belgium * Jesus Medina, University of Cadiz, Spain * Dominik Slezak, University of Warsaw, Poland Programme Chairs * Roberto G. Aragon, University of Cadiz, Spain * Jihong Wan, Guangdong University of Technology, China * Yiyu Yao, University of Regina, Canada Local Organiser Committee Fernando Chacon-Gomez, Celia Cordovilla Sanchez, Carolina Diaz-Montarroso, David Lobo Palacios, Nicolas Madrid Labrador, Samuel Jose Molina Ruiz, and Eloisa Ramirez-Poussa. IMPORTANT DATES Workshops and special session proposals: * Submission deadline: November 7, 2025. * Notification of acceptance: November 21, 2025. Normal contributions (full papers): * Submission deadline: January 31, 2026. * Notification of acceptance: March 3, 2026. Extended abstracts (up to 4 pages): * Submission deadline: March 6, 2026. * Notification of acceptance: March 27, 2026. TOPICS AND SCOPE OF THE CONFERENCE Core rough set models and methods Covering/Neighbourhood-based, Decision-theoretic, Dominance-based, Game-theoretic, Variable precision and Partial rough set models; Logic in rough set models; Rough-Bayesian models; Rough clustering; Rough computing; Rough mereology; Rough-set-based feature selection and Rule-based systems. Related methods and hybridization Anomaly detection; Decision support systems; Dempster-Shafer theory; Formal concept analysis; Fuzzy sets; Fuzzy rough sets and rough fuzzy sets; Granular computing; intelligent agent models; interval computations; Nature-inspired computation models; Petri nets; Rough sets in data science, AI and machine learning; Three-way decision and data analysis, Topology and matroids; Approximate reasoning; Uncertainty theory; Cognitive computing; Areas of application Astronomy and atmospheric sciences; Big data analytics; Business intelligence; Bioinformatics; Image processing; Cybernetics and robotics; Financial markets; Interactive computing; Knowledge engineering and representation; Medicine; Retail and E-commerce; Natural Language processing; Risk monitoring; Semantic web; Smartcities; Telecommunications; Transportation and Web mining.

1 0

deadline for CoProD 2026 has been extended
by Kreinovich, Vladik Feb. 4, 2026

Feb. 4, 2026

Dear Friends, This is FYI, papers using imprecise probabilities are always welcome at this series of workshops *************************************************************** 18th International Workshop on Constraint Programming and Decision Making CoProD'2026 https://www.reliable-computing.org/coprod26.html March 13, 2026, El Paso, Texas, USA (remote participation is possible) CoProD'2026 is the eighteenth edition of CoProD. It will be held on March 13, 2026, right before the Joint NAFIPS International Conference on Fuzzy Systems, Soft Computing and Explainable AI and 10th World Conference on Soft Computing NAFIPS 2026, El Paso, Texas, USA, March 14-16, 2026, https://sites.google.com/view/nafips26/ Constraint programming techniques are important components of intelligent systems. They constitute a declarative and efficient methodology to represent and solve many practical problems. They have been applied successfully to a number of fields, such as scheduling of air traffic, software engineering, networks security, chemistry, and biology. Despite the proved usefulness of these techniques, they are still under-utilized in real-life applications. One reason is the perceived lack of effective communication between constraint programming experts and domain practitioners about constraints, in general, and their use in decision making, in particular. Objectives of CoProD: * To present advances in constraint solving, optimization, and related topics; * To develop a network of researchers interested in constraint techniques, in particular researchers and practitioners that use numeric and symbolic approaches (or a combination of them) to solve constraint and optimization problems; * To address the gap between the great capacity of these techniques and their limited use. CoProD aims at encouraging presentation and discussion of on-going work. In particular, please note that there is room for presentation of ideas, as opposed to results only. It also aims at facilitating networking opportunities as well as cross-fertilization between the approaches used in the different attending communities. Therefore, besides active researchers in decision making and constraint programming techniques, we expect to have a wide attendance and participation of domain scientists -- whose input is highly valued in this workshop. Proceedings / Publication: Submissions should take 2-5 page (a few more pages is OK), if possible, formatted using the Springer edited book format, style file svmult.cls and an example of using this file (not related to CoProD) are attached to the workshop website. Accepted submissions of at least 4 pages will be published by Springer, as part of the proceedings of the NAFIPS 2026 conference. Please send the source file(s) and the resulting pdf file to mceberio [at] utep [dot] edu and vladik [at] utep [dot] edu. A contact author should be specified in the submission email. The deadline for submissions is Fenruary 15, 2026 (Let us know if you need a few more days). Authors of accepted submissions are expected to participate and present their work at the workshop. Participation / Submission: Participation is encouraged from people doing research in the area of decision making as well as from domain scientists. Submissions of ideas are also encouraged. Important dates: February 15, 2026: deadline for submission February 22, 2026: notification of acceptance March 1, 2026: deadline for final versions of accepted submissions March 13, 2026: workshop Organizers: Martine Ceberio, the University of Texas at El Paso, mceberio(a)utep.edu<mailto:mceberio@utep.edu> Vladik Kreinovich, the University of Texas at El Paso, vladik(a)utep.edu<mailto:vladik@utep.edu> The previous editions of CoProD featured invited talks by highly recognized experts (listed in alphabetic order): * Purushotham Bangalore, CIS department, University of Alabama at Birmingham, USA * Martin Berz, Michigan State University, USA * Stefano Bistarelli, University of Perugia, Italy * Alessandro Dal Palu, University of Parma, Italy * Rina Dechter, Information and Computer Sciences, University of California Irvine, USA * Scott Ferson, Applied Bioinformatics, New York, USA * Juan Carlos Figueroa, Universidad Distrital de Bogota, Colombia * Milan Hladik, Charles University, Prague, Czech Republic * Patty Hough, Sandia National Lab, Livermore, California, USA * Luc Jaulin, Ecole Nationale Superieure des Techniques Avancees (ENSTA) Bretagne, France * Weldon Lodwick, University of Colorado Denver, Denver, Colorado, USA * Kyoko Makino, Michigan State University, USA * Francois Modave, Texas Tech Health Center, El Paso, Texas, USA * Tiago Oliveira, National Institute of Informatics (NII) in Tokyo, Japan. * Enrico Pontelli, New Mexico State University, Las Cruces, New Mexico, USA * James Raynolds, College of Nanoscale and Engineering, SUNY Albany, USA * Siegfried Rump, Hamburg University of Technology and Waseda University, Japan * Ken Satoh, National Institute of Informatics (NII) in Tokyo, Japan * Bart Selman, CS department, Cornell University, USA * Yaroslav D. Sergeyev, Universita della Calabria, Italy * Sergey Shary, Novosibirsk State University, Russia * Young Jun Son, The University of Arizona, Tucson, USA * Xiaobai Sun, Duke University, USA * Alfredo Vaccaro, University of Sannio, Department of Engineering, Benevento, Italy * Leticia Velazquez, The University of Texas at El Paso, USA

1 0

CfP PEVA Special issue on "Artificial Intelligence for Performance and Reliability Evaluation of Software Systems"
by Laura Carnevali Feb. 2, 2026

Feb. 2, 2026

Dear Colleagues, We invite submissions to the special issue of the Performance Evaluation Journal by Elsevier, on the theme: *"Artificial Intelligence for Performance and Reliability Evaluation of Software Systems" * The deadline for paper submission is May 15th, 2026. Details can be found below and at the following link: https://www.sciencedirect.com/special-issue/329639/artificial-intelligence-… Kind regards, Laura Carnevali, Pengfei Chen, Evgenia Smirni --------------------- *CALL FOR PAPERS* Nowadays software systems have become deeply pervasive, with a wide variety of applications (e.g., enterprise architectures, web services, artificial intelligence, mobile app) in several domains (e.g., IoT systems, cyber-physical systems, cloud systems, automotive driving systems). By leveraging technological advancements in hardware and communication, software systems have grown in scale, complexity, and inter-dependence, thus introducing new challenges in performance and reliability evaluation. In fact, in distributed and heterogeneous environments, performance and reliability may be affected by many different factors (e.g., software architecture, hardware infrastructure, network communication, runtime environment). Although lots of effort has been contributed to performance and reliability evaluation of software systems, challenges still exist. Recently, Artificial Intelligence (AI) and Machine Learning (ML) methods provide powerful tools to develop descriptive, predictive, and prescriptive analytics, being able to learn the system behavior from observed data, detect anomalies at run time, and then trigger proactive remediation. At the same time, notable challenges are introduced as well, e.g., concerned with availability and quality of data, cost of re-training, and interpretability of results. This special issue solicits unpublished works on novel solutions that leverage AI, and in particular ML, to assess and improve performance and reliability of software systems. It is intended for researchers, engineers, and practitioners who study and work on AI/ML methods for software engineering as well as those interested in performance and reliability engineering in general. Works solely focused on improving classification or regression performance of AI/ML models (e.g., in terms of metrics such as accuracy, recall, F1 score) are outside the scope of this special issue. Papers are expected to demonstrate advances to performance and/or reliability evaluation methods. This special issue seeks submissions of full-length original research articles. Short communications and surveys are not in the scope of this special issue. Topics of interest for this special issue include, but are not limited to, the following: *AI/ML for performance evaluation of software systems* * Deep learning for performance anomaly detection * Explainable AI for performance diagnosis and prediction * Forecasting approaches for workload characterization and prediction * Data-driven performance profiling, benchmarking, and testing *AI/ML for reliability evaluation of software systems* * Neuro-symbolic approaches for reliability engineering * LLMs for fault localization and root-cause analysis * Generative AI for fault injection * Clustering techniques for alert grouping and attribution * Time-series analysis for predictive maintenance *Applications in cutting-edge software domains* * Edge-to-cloud computing systems * Microservices architectures * Cyber-physical systems and real-time systems * Software-defined networks * LLM systems * * *MANUSCRIPT SUBMISSION INFORMATION* General information for submitting papers to PEVA can be found at Guide for Authors - Performance Evaluation <https://www.sciencedirect.com/journal/performance-evaluation/publish/guide-…>. Authors should submit their manuscripts to the Performance Evaluation Editorial System (EM) at Submission site for Performance Evaluation <https://www.editorialmanager.com/peva/default2.aspx>, and *select "VSI:AI for PRE of SW" when they reach the “Article Type” step in the submission process.* *EXPECTED TIMELINE* * Manuscript submission deadline: May 15th, 2026 * First review round completed: September 15th, 2026 * Revised manuscripts due: December 15th, 2026 * Final notification: February 15th, 2027 * Publication: June 1st, 2027

1 0

2nd Call for Papers of QEST+FORMAT 2026
by Marco Paolieri Jan. 29, 2026

Jan. 29, 2026

======================================= 2nd Call for Papers QEST+FORMATS 2026 September 2-4, 2026, Liverpool, UK https://www.qest-formats.org/ https://confest-2026.github.io/ ======================================= Dates: Abstract submission: April 3, 2026 Paper submission: April 10, 2026 Artifact submission: April 17, 2026 Author notification: May 24, 2026 Camera-ready submission: June 14, 2026 ======================================= Scope and Topics The two flagship conferences QEST (International Conference on Quantitative Evaluation of SysTems) and FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) are pursuing a strategic process of joining forces and sparking a new joint conference for quantitative modelling, analysis, and verification. This culminated in 2024 in the first QEST+FORMATS joint conference. In 2026, the two conferences will form the third QEST+FORMATS joint conference, which will be held on 2-4 September 2026 in Liverpool, UK, as part of the CONFEST 2026 umbrella conference. The joint conference is the leading forum for the quantitative evaluation and verification of systems. QEST+FORMATS aims to promote the study of fundamental and practical aspects of systems with quantitative nature (such as probability, timing, and cost). It aims to bring together researchers from different disciplines who share interests in the modelling, design, and analysis of computational systems. Systems of interest include biological and chemical systems; computer networks; critical infrastructures; cyber-physical systems; data-driven AI systems; energy systems; hardware and software systems; industrial systems; mobility networks; and quantum systems. The QEST+FORMATS joint conference also aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of timed, hybrid, and probabilistic systems. In general, the conference aims to attract experts in quantitative and timed systems from any domain. Topics and scientific areas of interest include: --- Models and metrics for the correctness, performance, reliability, safety, and security of systems (stochastic, probabilistic, quantum, and non-deterministic models including Markov chains, automata, Petri nets, process algebra, and their variations); --- Languages and methods for the specification of quantitative properties of systems; --- Techniques, algorithms, and data structures for the analysis, evaluation, and verification of the above models, e.g., for model checking, testing, constraint solving, scheduling, optimization, and worst-case execution time analysis; --- Quantitative and probabilistic aspects of programming; --- Data-driven and machine-learning techniques for the analysis, prediction, and verification of quantitative properties of systems; --- Case studies that highlight the role of quantitative specification, modelling, and evaluation in the design and analysis of systems, with emphasis on emerging problems and technologies, or novel domains; --- Software tools to support the practical application of research results in all of the above areas. ======================================= Confirmed Invited Speakers Ezio Bartocci, TU Wien, Austria Jane Hillston, University of Edinburgh, UK Kim Guldstrand Larsen, Aalborg University, Denmark ======================================= Submissions QEST+FORMATS 2026 considers three types of submissions (authors will be able to specify the type of contribution upon submission): --- Research papers: Theoretical and methodological contributions that advance the understanding of a topic or issue, or describe the development of new analysis processes and techniques. --- Case study papers: Contributions that present practical applications of quantitative methods to challenging real-world case studies. Case study papers shall provide detailed evaluation and insights, and highlight the value added to the domain experts. --- Tool papers: Contributions introducing new tools or significant improvements of existing ones, and the formalisms they support. These papers shall focus on the software architecture, practical implementation, and evaluation (e.g., usability, scalability, and effectiveness). Tool papers must be accompanied by an artifact in the Artifact Evaluation as detailed below. All three types of papers can be regular or short: --- Regular papers must not exceed 16 pages, excluding references. --- Short papers should be limited to 7 pages, also excluding references. --- All papers can have an appendix containing supporting material. Note that reviewers are not required to read the appendix to fully assess the merits of the paper. We are considering additional presentation-only submission types; details will be provided in the later CfPs. All papers must be submitted in Springer's LNCS format and will undergo a rigorous single-blind review process. All submitted papers must be unpublished and not be submitted for publication elsewhere. Papers should be submitted electronically using EasyChair (Track: QEST+FORMATS 2026). Springer encourages authors to include their ORCIDs in their papers. Authors should consult Springer's authors' guidelines and use Springer's LaTeX templates for the preparation of their papers. Submitted papers not complying with the above guidelines may be rejected without undergoing review. We are considering awards for best papers and best artifacts. ======================================= Publications All accepted papers need to be presented and discussed at the conference by one of the authors. Similarly to last year, the QEST+FORMATS 2026 proceedings will be published in the Springer LNCS series indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, Google Scholar. All submitted papers will be evaluated by at least three reviewers on the basis of their originality, technical quality, scientific or practical contribution to the state of the art, methodology, clarity, and adequacy of references. ======================================= Special Issue We are working on a special issue in a Q1 journal. A selection of the best papers will be invited to submit an extended version of their work to a special issue in an internationally recognized journal. ======================================= Artifact Evaluation Reproducibility of experimental results is crucial to foster an atmosphere of trustworthy, open, and reusable research. To improve and reward reproducibility, QEST+FORMATS 2026 will include a dedicated Artifact Evaluation (AE). Submission of an artifact is mandatory for tool papers (both regular and short), and optional but encouraged for research and case study papers where it can support the results presented in the paper. More details will follow.

1 0

IPMU 2026 - Deadline extension for paper submission
by Davide Petturiti Jan. 29, 2026

Jan. 29, 2026

****** PLEASE APOLOGIZE FOR MULTIPLE COPIES ****** ********************************************************** 21st International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2026) June 15th-19th, 2026, Rome, Italy https://www.sbai.uniroma1.it/conferenze/ipmu2026/ *********************************************************** Due to numerous requests, the deadline for paper submission at IPMU 2026 has been extended to February 15, 2026, both for long and short papers. This will be the final, hard deadline. Papers must be submitted in PDF via EasyChair at https://easychair.org/my/conference?conf=ipmu2026 Submission instructions can be found at https://www.sbai.uniroma1.it/conferenze/ipmu2026/submission-instructions.php IMPORTANT DATES: Paper submission deadline: February 15, 2026 Notification of acceptance: March 15, 2026 Camera-ready versions: April 1, 2026 Conference: June 15-19, 2026 Contact: ipmu2026(a)sbai.uniroma1.it KEYNOTE SPEAKERS: We are also pleased to inform about the keynote speakers at the conference: Bob Kowalski (Imperial College London, United Kingdom) Luc de Raedt (KU Leuven, Belgium) María Ángeles Gil (University of Oviedo, Spain) Marco Zaffalon (IDSIA, Switzerland) GRANTS AND AWARDS: EUSFLAT is providing 5 student grants to support student participation at the conference. Eligibility criteria and instructions can be found at https://www.sbai.uniroma1.it/conferenze/ipmu2026/student-grants.php In addition, there shall be a number of awards for the best paper and best student paper at the conference. General Chair Barbara Vantaggi (Italy) -- *Fai crescere le giovani ricercatrici e i giovani ricercatori*** *con il 5 per mille alla Sapienza* Scrivi il codice fiscale dell'Università *80209930587 **Cinque per mille <https://www.uniroma1.it/it/node/23149>*

1 0

Seminar this afternoon: reminder
by DESTERCKE Sébastien Jan. 29, 2026

Jan. 29, 2026

Dear Siptians, This is just a small reminder that Eric Goubault SIPTA seminar is this European afternoon (3pm Paris time), entered on system verification with sets (and IP) approaches. You can check the info at https://sipta.org/events/sipta-seminars/ See you there! Sébastien

1 0

NEXT SIPTA virtual seminar: 29th January, 3pm Paris time, Eric Goubault
by DESTERCKE Sébastien Jan. 21, 2026

Jan. 21, 2026

Dear colleagues, We are delighted to announce our upcoming SIPTA online seminar on imprecise probabilities (IP). These monthly events are open to anyone interested in IP, and will be followed by a Q&A and open discussion. They also provide an occasion for the community to meet, keep in touch and exchange between in-person events. The next seminar will take place on the 29th of January (Thursday). The zoom link for this seminar is https://utc-fr.zoom.us/j/85306809920 For this new seminar, we are very happy to have Eric Goubault as our speaker. Eric Goubault is currently the head of the computer science department at the Ecole polytechnique, and is in charge of the "Engineering of Complex Systems" academic and research chair. His research focuses on the verification of numerical programs and systems, on geometric methods for concurrency, directed topology and applications to verification of concurrent, distributed and fault-tolerant computing. He has notably made different contributions mixing system verification with imprecise probabilistic approaches. On the 29th of January, at 15:00 CEST:paris time (up to 17:00 CEST, with a talk duration of 45min/1h), he will talk about "Verification of Cyber-physical systems”. Curious? Then check out the abstract on the webpage of the SIPTA seminars: sipta.org/events/sipta-seminars. The zoom link for attending the seminar can be found on that same page. So please mark your calendars on the 29th of January, and join us for the occasion. And for those who missed the previous seminar and want to catch up, or simply want to see it again and again, it is online at https://www.youtube.com/watch?v=4T7XnauyuFg See you at the seminar! Sébastien, Enrique and Jasper

1 0