- computational.science - lists.iccsa.org

HPC Session in Modelling and Simulation at PDP 2026 - Cluj-Napoca (Romania)
by William Spataro 03 Nov '25

03 Nov '25

12th Special Session on High Performance Computing in Modelling and Simulation (HPCMS) at PDP 2026 (sorry for cross postings) ************************************************************************** CALL FOR PAPERS: 12th Special Session on High Performance Computing in Modelling and Simulation (HPCMS) The 34th Euromicro International Conference on Parallel, and Network-Based Computing Cluj-Napoca (Romania) 25-27 March 2026 https://www.pdp2026.org/hpcms/ Extended Deadline: November 20th, 2025 Contact: William Spataro - spataro(a)unical.it ************************************************************************* AIMS AND SCOPE The development of models that allow computers to simulate the evolution of artificial and natural systems is central to advancing knowledge across scientific and engineering disciplines. In recent decades, growing computational power has greatly expanded the scope of such methodologies, enabling their application in research, industry, and the quantitative study of complex systems. This progress has fostered both the extensive use of numerical methods for solving differential equation systems (e.g., FEM, FDM, PIC) and the exploration of alternative paradigms such as Cellular Automata, Genetic Algorithms, Neural Networks, and Swarm Intelligence. These complementary approaches have proven particularly effective when conventional simulation techniques are constrained by spatial or temporal limitations, opening new possibilities for modelling complex phenomena. Now in its twelfth edition at PDP, the HPCMS Workshop aims to serve as a platform for a multidisciplinary community of scholars, researchers, developers, educators, practitioners, and experts from leading universities, institutions, agencies, and companies in Computational Science. Its mission is to foster the exchange of perspectives on trends, challenges, and state-of-the-art advances in computational problems and high-performance computing, with applications spanning engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economics, and beyond. Topics of interest include, but are not limited to, the following: - High Performance Computing in computational science: intra-disciplinary and multi-disciplinary research applications - Complex systems modelling and simulation - Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence implementations - Integrated approach to optimization and simulation - MPI, OpenMP, Sycl and CUDA applications in Computational Science - Optimization algorithms, modelling techniques related to optimization in Computational Science - High-performance Software developed to solve science (e.g., biological, physical, and social), engineering, medicine, and humanities problems - Performance models and their integration into the design of efficient parallel algorithms for heterogeneous platforms - Hardware approaches (e.g., FPGAs, Neuromorphic computing, etc) of high performance computing in modeling and simulation - HPC Applications in Quantum Computing (e.g., Optimization and Scheduling, Simulation, etc) IMPORTANT DATES Paper submission deadline: 20 November 2025 (Extended) Acceptance notification: 15 December 2026 Camera ready due: 27 January 2026 Conference: 25 - 27 March 2026 Submission guidelines Authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt) and follow format guidelines found at https://www.ieee.org/conferences/publishing/templates.html. For submission, please refer to the Easychair submission system as indicated in the Conference webpage, selecting the "High Performance Computing in Modeling and Simulation (HPCMS) submission link (https://www.pdp2026.org/hpcms/) Double-bind review: the first page of the paper should contain only the title and abstract; in the reference list, references to the authors own work should appear as "omitted for blind review" entries. Chairs William Spataro - University of Calabria, Italy Giuseppe A. Trunfio - University of Sassari, Italy Rocco Rongo - University of Calabria, Italy Andrea Giordano - ICAR-CNR, Italy Alessio De Rango, University of Calabria, Italy HPCMS Program Committee Gladys Utrera, Universitat Polit cnica de Catalunya. Barcelona, Spain Donato D'Ambrosio, University of Calabria, Italy Pawel Topa, AGH University of Science and Technology, Poland Gianluigi Folino, ICAR-CNR, Italy Lou D Alotto, York College/CUNY, New York, USA Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Marisa Gil, Universitat Politecnica de Catalunya, Spain Yaroslav Sergeyev, University of Calabria, Italy Antisthenis Tsompanas, University of the West of England, UK Rocco Rongo, University of Calabria, Italy Georgios Sirakoulis, Democritus University of Thrace, Greece William Spataro, University of Calabria, Italy Giuseppe A. Trunfio, University of Sassari, Italy Marco Villani, University of Modena and Reggio Emilia, Italy Jaroslaw Was, AGH University of Science and Technology, Poland Davide Spataro, University of Calabria, Italy Andrea Giordano, ICAR-CNR, Italy Mario Cannataro, University Magna Graecia of Catanzaro, Italy Gihan R. Mudalige, University of Warwick, UK Alessio De Rango, University of Calabria, Italy Giuseppe Agapito, University Magna Graecia of Catanzaro, Italy Xavier Martorell, Barcelona Supercomputing Center and Universitat Politecnica de Catalunya, Spain Davide Macri, ICAR-CNR, Italy -- °-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-° William Spataro Department of Mathematics & Computer Science High Performance Computing Center University of Calabria I-87036 Arcavacata di Rende (CS) Italy Phone(s) : +39.0984.496464 Fax : +39.0984.493570 Web: www.mat.unical.it/spataro Email: spataro(a)unical.it -°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°

1 0

The 2nd International Workshop on Causality, Agents and Large Models (CALM)
by Yazan MUALLA 08 Oct '25

08 Oct '25

Please, accept our apologies in case of multiple copies of this CFP. ************************************************************************************************************************************* The 2nd International Workshop on Causality, Agents and Large Models (CALM) https://www.ciad-lab.fr/the-2nd-international-workshop-on-causality-agents-… In conjunction with the Luxembourg Logic & AI Summit https://icr.uni.lu/luxlogai2025/ University of Luxembourg, Luxembourg, 01-05 December 2025. ************************************************************************************************************************************** Description: ============ Causality, Agents and Large Models (CALM) represents three rapidly-growing fields within artificial intelligence research. This workshop aims to bridge the gap between these disciplines by investigating how causal reasoning and explainable AI (XAI) techniques can enhance the capabilities of multi-agent systems (MAS). The workshop will provide a forum for researchers to discuss theoretical foundations, practical applications, and future directions at the intersection of causal AI, XAI, Large Language Models (LLM) and MAS. CALM Workshop goals: ===================== -Explore the role of causal reasoning in enhancing decision-making, coordination, and adaptation in multi-agent systems. -Discuss technical challenges and opportunities for integrating causal AI techniques and LLM into MAS frameworks. -Develop methodologies and metrics to evaluate the explainability of causal reasoning in agents and large models. -Foster interdisciplinary collaboration between researchers in causal reasoning, XAI, LLM, and MAS. -Examine how explanations support user trust, cognitive ergonomics, and effective human-agent collaboration. -Identify promising directions for future research and development in this rapidly advancing research domain. Topics: ======= -Theoretical foundations of causal reasoning in Multi-Agent Systems (MAS) -Causal reasoning capabilities in Large Models (e.g., Large Language Models, LLMs) -Theoretical and practical Agentic-AI -Explainable AI (XAI) with active inference techniques -Applications of XAI techniques in agent-based modeling and simulation -Human-centered evaluation of causal explanations in MAS and LLMs -Causal inference in complex and dynamic multi-agent environments -Mechanistic Interpretability of Causality in Large Language Models -LLMs for coordination, cooperation, and communication among agents -Challenges and opportunities for incorporating XAI into MAS frameworks -Case studies and empirical evaluations of XAI approaches in agents -Generative AI as preprocessing for MAS -Exploring causality with deep generative models -Digital twins and simulators for interpretable synthetic data generation -Graph neural network causal learning -Interpretable and ergonomically-grounded root cause analysis methods for agent decision-making -Logic and argumentation-based approaches to causal reasoning -Ethical and Responsible XAI in LLM -Human Factors in XAI and Agentic AI -Adaptive and Personalized Explanations (Context-aware, and Human-centric) -Multi-modal explanations and Cross-cultural ergonomics -Ergonomic evaluation of explanation modalities (visual, textual, interactive) -Explainability in human-agent teaming: Ergonomic principles for effective collaboration in mixed teams (humans + AI agents) Submission guidelines: ====================== Submissions will be reviewed by at least three members of the program committee, who are experts in the field. The acceptance of the submitted papers will depend on their quality, relevance, and originality. All accepted papers will be published in the Springer proceedings Communications in Computer and Information Science (CCIS) series devoted to the publication of proceedings of computer science conferences. Participants are therefore invited to submit Long papers: up to 16 pages in length (excl. references) or Short papers: up to 5 pages in length (excl. references). Papers must be edited using the LNCS format and have to be submitted electronically as PDF files via the EasyChair submission page: https://easychair.org/my/conference?conf=calm25 Chairs: ======= -Dr. Yazan Mualla, Associate Professor, CIAD, Belfort-Montbéliard University of Technology yazan.mualla[at]utbm.fr https://www.ciad-lab.fr/yazan_mualla -Dr. Liuwen Yu, Postdoc, University of Luxembourg liuwen.yu[at]uni.lu https://www.liuwenyu.me/ -Dr. Hui Zhao, Assistant Professor, (Tongji University, China). huizhao[at]tongji.edu.cn -Dr. Amro Najjar, Assistant Professor, (Luxembourg Institute of Science and Technology, Luxembourg). amro.najjar[at]list.lu -Dr. Davide Liga, Postdoctoral Researcher, University of Luxembourg davide.liga(a)uni.lu Advisory Board: =============== -Prof. Dr. Stéphane Galland, Full professor, CIAD, Belfort-Montbéliard University of Technology stephane.galland[at]utbm.fr https://www.ciad-lab.fr/stephane_galland/ -Prof. Dr. Abdeljalil Abbas-Turki, Full professor, CIAD, Belfort-Montbéliard University of Technology abdeljalil.abbas-turki[at]utbm.fr https://www.ciad-lab.fr/abdeljalil_abbas-turki/ Important Dates ================ Paper submission deadline: October 16th, 2025 (final) Notification of acceptance: October 31st, 2025 Camera-ready: December 13th, 2025 Workshop dates: December 03rd, 2025 All deadlines are at the end of the day specified, anywhere on Earth (UTC-12). Previous proceedings: ===================== CALM-24 (Springer) https://link.springer.com/book/10.1007/978-3-031-89103-8

1 0

The 7th International Workshop on Statistical Methods and Artificial Intelligence
by Marouane Dirchaoui 06 Oct '25

06 Oct '25

*IWSMAI'2026: The 7th **International Workshop on **Statistical Methods and Artificial Intelligence* *(SCOPUS Publications)* *April 14-16, 2026, **Istanbul, Türkiye* https://sites.google.com/view/iwsmai/home The 6th International Workshop on Statistical Methods and Artificial Intelligence (IWSMAI) will be held on *April 14-16, 2026, Istanbul, Türkiye.* The aim of IWSMAI is to bring together researchers, professors and students from around the world to present their latest ideas and research results within the scope of IWSMAI'2026. This workshop will also provide an ideal environment to develop new collaborations and meet experts on the fundamentals, applications, and products of the mentioned fields. The workshop will include presentations of contributed papers, poster sessions, and state of the art lectures by invited keynote speakers. *Topics:* · Artificial Intelligence · Statistical methods · Data Analysis and Data mining · Computational Statistic · Supervised and unsupervised learning · Statistical methodology · Bioinformatics · Medical statistics · Deep Learning · Intelligent Transportation Systems · Data Collection and Applications · Data Science and Blockchain Technology · Data Science and Artificial Intelligence · Big Data · Mathematical Statistics · Economic intelligence · Statistical Software (R, SAS, Python) All accepted papers will be scheduled for oral presentations and will be included in the conference proceedings published by Elsevier Science in the open-access Procedia Computer Science series on-line (indexed by *Scopus).* Selected papers will be invited for publication, in the special issues of: -International Journal of Ambient Intelligence and Humanized Computing (IF: 1.588), by Springer: https://www.springer.com/journal/12652 - International Journal on Transportation Research Part A: Policy and Practice (IF: 3.69): https://www.journals.elsevier.com/transportation-research-part-a-policy-and… - International Journal of Computing and Informatics (IF: 0.504): http://www.cai.sk/ojs/index.php/cai/index *Important Dates:* · Paper submission deadline: *December 15, 2025* · Notification of acceptance: *January 20, 2026* · Camera-ready submission: *February 09 , 2026* · Conference date : *April 14-16, 2026* *Contact :* Email: abdallah.abarda(a)uhp.ac.ma

1 0

CFP: The 26th IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2026)
by Bahman Javadi 02 Oct '25

02 Oct '25

=================================== IEEE CCGRID 2026: CALL FOR PAPERS =================================== The 26th IEEE International Symposium on Cluster, Cloud and Internet Computing (CCGrid 2026) In conjunction with the 10th IEEE International Conference on Fog and Edge Computing (ICFEC 2026) In-Cooperation with ACM SigHPC ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ May 18-21, 2026, Sydney, Australia https://ccgrid2026.cdms.westernsydney.edu.au ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The IEEE International Symposium on Cluster, Cloud, and Internet Computing (CCGrid) is the premier forum for disseminating the latest advances in distributed systems, cloud computing, systems for AI/ML, distributed intelligence and future computing paradigms. In 2026, for the first time, CCGrid will be proudly hosted in Sydney, Australia, bringing together researchers, practitioners, and industry leaders from across the globe to explore innovations shaping the future of distributed and cloud technologies. ----------------------- Call for Papers ----------------------- We invite original, high-quality papers that address fundamental research and emerging challenges across a broad spectrum of distributed systems and applications. Submissions may focus on theoretical foundations, system design, implementation, or real-world deployments. We particularly encourage contributions stemming from industry efforts and academia-industry collaborations, including practical experiences, deployed systems, and applied research with tangible impact. Topics of interest include but are not limited to: (*) Track 1: Hardware Systems, Architectures, and Future Compute Platforms Scalable architectures, accelerators, SDN, high-performance interconnects, and novel computing platforms including quantum and neuromorphic systems. (*) Track 2: Software Systems, Applications, and Programming Models Middleware, operating systems, cloud-native platforms, programming frameworks, and distributed applications, including serverless, microservices, orchestration, and data-intensive systems. (*) Track 3: Sustainable Computing and Green Technologies Energy-efficient systems, carbon-aware scheduling, sustainable design across cloud-to-edge, and cost-aware optimization for sustainability and resource efficiency. (*) Track 4: Performance Modeling, Analysis, and Optimization Performance engineering, system benchmarking, modeling, and optimization for distributed and parallel systems, including reproducibility and workflow tuning. (*) Track 5: Security, Privacy, and Reliability Secure infrastructures, confidential computing, privacy-preserving systems, intrusion detection, and resilient, fault-tolerant platforms. (*) Track 6: Systems for AI/ML and Distributed Intelligence Scalable AI/ML systems, model serving, MLOps, edge intelligence, federated learning, and system-level support for distributed AI. ----------------------- Chairs and Committees ----------------------- General Chairs: Bahman Javadi, Western Sydney University, Australia Massimo Villari, University of Messina, Italy Michela Taufer, University of Tennessee, US Program Committee Chairs: Adel N. Toosi, The University of Melbourne, Australia Anne-Cécile Orgerie, CNRS, France Jon Weissman, University of Minnesota, US Workshops Chairs: Javid Taheri, Karlstad University, Sweden Luiz F. Bittencourt, University of Campinas, Brazil Posters Chairs: Mohsen Amini Salehi, University of North Texas, US Stefan Nastic, TU Wien, Austria Carlos Jaime Barrios Hernandez, Universidad Industrial de Santander, Colombia Publication Chair: Kanchana Thilakarathna, The University of Sydney, Australia Doctoral Symposium Chairs: Shrideep Pallickara, Colorado State University, US Mohammad Goudarzi, Monash University, Australia Narges Mehran, University of Salzburg, Austria Publicity Chairs: Minxian Xu, Shenzhen Institutes of Adv Tech, China Shashikant Ilager, Uni of Amsterdam, Netherlands Leila Ismail, UAE University, UAE Hojjat Baghban, Chang Gung University, Taiwan Guilherme da Cunha Rodrigues, IFSUL, Brazil Vivek K. Pallipuram, University of the Pacific, US Scale Challenge Computation Chairs: Lorenzo Carnevale, University of Messina, Italy Bernd Mohr, Jülich Supercomputer Centre, Germany ----------------------- Important Dates ----------------------- All deadlines are in Anywhere on Earth (AoE), UTC-12 timezone. Technical Papers: + Abstract Submission: 1st December 2025 + Paper Submission: 15th December 2025 + Author Notifications: 10th February 2026 + Camera Ready: 15th March 2026 + Conference: May 18-21, 2026 ----------------------- Paper Submission ----------------------- + Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including references, figures and tables using the IEEE format for conference proceedings. + Author and reviewer anonymity: All submissions need to be double-blind. + Review criteria: All manuscripts will be reviewed and will be judged on correctness, originality, technical strength, significance, quality of presentation, and relevance to the conference attendees. Submitted papers must represent original unpublished research that is not currently under review for any other conference or journal. + Accepted papers will be submitted for possible inclusion into IEEE Xplore, subject to meeting IEEE Xplore’s scope and quality requirements. ----------------------- Best Paper Awards ----------------------- CCGrid will present Best Paper Awards to the top paper(s) selected by the Program Committee. The award will be determined based on review comments and ratings, viewpoints of the technical and scientific merits, impact of the research work on science and engineering, and the clarity of presentation.

1 0

[CFP][IEEE PICom 2025] - Regular Paper Deadline Extended: New Due 2 July 2025
by Antonio Guerrieri 22 Jun '25

22 Jun '25

Dear Colleagues, We are pleased to announce that the IEEE PICom 2025 paper submission deadlines have been officially extended. Please note that these are the *final* extensions, and no further deadline changes will be made. The new due dates are: - *Regular Papers:* 02 July 2025 - *WiP / Poster / Workshop / Special Session Papers:* 10 July 2025 - *LBI Papers:* 07 July 2025 All details have been updated on the conference website: https://cyber-science.org/2025/picom/ The revised Call for Papers is in the following for your reference. With kind regards, --- *Antonio Guerrieri, Ph.D.* *Researcher at * *CNR – National Research Council of Italy* *Institute for High Performance Computing and Networking (ICAR)**, * *Via P.Bucci snc, cubo 8-9C* *87036, Rende (CS), Italy**Phone: +39 0984 492053* *E-Mail : antonio.guerrieri(a)icar.cnr.it <antonio.guerrieri(a)icar.cnr.it>* View this email in your browser <https://us8.campaign-archive.com/?e=__test_email__&u=651ae23c0f9b9ccd81e2ca…> The 23rd IEEE International Conference on Pervasive Intelligence and Computing (PICom 2025)https://cyber-science.org/2025/picom/ <https://us8.mailchimp.com/mctx/clicks?url=https%3A%2F%2Fcyber-science.org%2…> * 2025 IEEE CyberSciTech / PICom / DASC / CBDCom Co-located Conferences(In-Presence/Virtual)* http://cyber-science.org/2025/ <https://us8.mailchimp.com/mctx/clicks?url=http%3A%2F%2Fcyber-science.org%2F…> *Premier Hotel, Hakodate City, Hokkaido, JapanOctober 21-24, 2025* Over the last fifty years, computational intelligence has evolved from artificial intelligence, nature-inspired computing, and social-oriented technology to cyber-physical integrated ubiquitous intelligence towards Pervasive Intelligence (PI). The IEEE International Conference on Pervasive Intelligence and Computing is intended to cover all kinds of these intelligent paradigms as well as their applications in various pervasive computing domains. PICom 2025 is the conference on Pervasive Intelligence and Computing, previously held as PCC (Las Vegas, USA, 2003 and 2004), PSC (Las Vegas, USA, 2005), PCAC (Vienna, Austria, 2006, and Niagara Falls, Canada, 2007), IPC-2007 (Jeju, Korea, December 2007), IPC-2008 (Sydney, Australia, December 2008), and since 2009 as the name PICom. It aims to bring together computer scientists and engineers, providing a platform for vibrant discussions and exchanges on experimental and theoretical results, ongoing work, cutting-edge designs, and innovative test-environments or testbeds, while also delving into the latest advancements and novel trends in Intelligence and Machine Learning within the realms of Pervasive Intelligence and Computing. *Tracks and Topics* *Track 1: Next-Gen Pervasive AI* - GenAI for wireless sensing - Machine-to-machine GenAI - Generative IoT - GenAI for semantic communications - Multi-agent network powered by GenAI - Big Data and Smart Data - Brain-inspired Computing - Mobile Data Mining - Ubiquitous Data Mining *Track 2: Intelligent Networks, Middleware and Applications* - Pervasive Networks/Communications - 5G networks and Technologies - AI/ML for smart wireless networks - AI and machine learning-based applications for ad hoc networks - Cooperative and cognitive communication - Middleware for the IoT - Adaptive Middleware for Pervasive Systems - Context-aware applications - Intelligent/Smart IoT - Programming Abstractions for IoT *Track 3: Pervasive Computing and Activity/Affect Recognition* - Crowdsourcing and Social Computing - Collective Intelligence - Agent-based Computing - Pervasive Devices and RFIDs - Wearable Devices and Applications - Activity Recognition - Intelligent Social Networking - Pervasive Technologies for ITS - HCI for Pervasive Computing *Track 4: Next Gen Smart Environments* - Smart grid, healthcare, transportation applications - Wearable and human-centric devices and networks - Device Virtualization - Intelligent Cloud Computing - Services for Pervasive Computing - Smart Cities and Smart Homes - Privacy, Security and Trust in Smart Environments - Autonomous Pervasive Systems - Autonomous IoT - Digital Twins *Track 5: Edge Intelligence Applications* - ML for resource allocation at the Edge - NFV-Edge - 5G-Edge - Edge-assisted IoT - Integration of Edge Computing and Blockchain - Edge-Cloud Continuum - Edge AI *Track 6: Work-in-Progress (WiP) and Late Breaking Innovation (LBI)* - The track covers all the topics, but it is aimed at either papers that have an original but not fully validated proposal (WiP) or present a breakthrough, a new vision, or an out-of-the-box idea on the field to be discussed at the conference (LBI). *Submission Instructions* Authors are invited to submit their original research work that has not previously been submitted or published in any other venue. Regular, work-in-progress (WiP), and workshop/special session papers need to be submitted via EDAS (link available soon) in IEEE CS Proceedings format. IEEE formatting info: http://www.ieee.org/conferences_events/conferences/publishing/templates.html <https://us8.mailchimp.com/mctx/clicks?url=http%3A%2F%2Fwww.ieee.org%2Fconfe…> All the accepted papers will be published by IEEE in the Conference Proceedings (IEEE-DL and EI indexed). Best Paper Awards will be presented to high-quality papers. Some papers, originally submitted as full papers and based on review results, can be accepted as short papers or poster papers. In such cases, the authors will need to reduce the number of pages of the paper accordingly when preparing the camera-ready version. Authors of accepted poster papers will be required (i) to prepare and submit the camera-ready version of the paper for inclusion in the conference proceedings and (ii) to realize the poster (format will be announced later) for its presentation at the conference. At least one of the authors of any accepted paper is requested to register and present the paper at the conference. Full Papers: 6-8 pages - WiP/WS/SS/Short Papers: 4-6 pages - Poster Papers: 2-4 pages - Late-Breaking Innovation (LBI) Papers: 4-8 pages *Important Dates (**All submission deadlines extended**)* Regular Paper Due: *02 Jul 2025 * WiP/Poster/WS/SS Paper Due: *10 Jul 2025* LBI Paper Due: *07 Jul 2025* Authors Notification: *30 Jul 2025* Paper Registration Due: *05 Sep 2025* Camera-ready Submission: *12 Sep 2025* *Organizing Committee* *Honorary Chairs* Albert Zomaya, The University of Sydney (Australia) Ming Hou, Defence Research & Development Canada (Canada) Tiago Falk, University of Quebec (Canada) *General Chairs* Flavia Delicato, Fluminense Federal University (Brazil) Antonio Guerrieri, ICAR-CNR (Italy) Kenichi Kourai, Kyushu Institute of Technology (Japan) *General Executive Chairs* Bernady O. Apduhan, Kyushu Sangyo University (Japan) Xiaohong Jiang, Future University Hakodate (Japan) *Advisory Chairs* Jinhua She, Tokyo University of Technology (Japan) Paulo de Figueiredo Pires, Dell (Brazil) Chuan-Yu Chang, National Yunlin University of Science and Technology (Taiwan) *Program Chairs* Claudio Miceli, Federal University of Rio de Janeiro (Brazil) Ao Guo, Nagoya University (Japan) Lidia Fotia, University of Salerno (Italy) *Track Chairs* Federico Santoro, University of Catania (Italy) Marco Miozzo, CTTC (Spain) Claudio Savaglio, University of Calabria (Italy) Rebeca Motta, Universidade Federal Fluminense (Brazil) Andrea Vinci, ICAR-CNR (Italy) Ao Guo, Nagoya University (Japan) *Workshop & Special Session Chairs* Irfanullah Khan, University of Glasgow (UK) Wenjing Zhao, University of Glasgow (UK) *Publicity Chairs* Sun Jingtao, Hitachi (Japan) Wei Li, The University of Sydney (Australia) Gwanggil Jeon, Incheon National University (Korea) Antonino Galletta, University of Messina (Italy) Celimuge Wu, The University of Electro-Communications (Japan) Endang Djuana, Universitas Trisakti (Indonesia) Zhuotao Lian, Hiroshima University (Japan) *Advisory Committee* Giancarlo Fortino, University of Calabria (Italy) Samee U. Khan, Mississippi State University (USA) Moayad Aloqaily, MBZUAI (UAE) Nicolas Tsapatsoulis, Cyprus University of Technology (Cyprus) D. Frank Hsu, Fordham University (USA) Hui-huang Hsu, Tamkang University (Taiwan) Victor Chang, Aston University (United Kingdom) *Steering Committee* Jianhua Ma, Hosei University (Japan) Laurence T. Yang, St. Francis Xavier Univ. (Canada) Adnan Al-Anbuky, Auckland U Tech. (New Zealand) Flavia Delicato, Fluminense Federal University (Brazil) -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

[CFP][DEADLINE EXTENDED] AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum
by Valerio Besozzi 04 Jun '25

04 Jun '25

--Apologies for multiple postings. Share this CFP with anyone you believe may be interested. -- ======================================================================== AHPC3: The 2nd Workshop on Accelerated HPC in the Cloud-Edge Continuum Affiliated with the 13th IEEE International Conference on Cloud Engineering (IC2E2025) September 23-26, 2025, Rennes, France Workshop site: http://ahpc3.di.unipi.it/ Conference site: https://conferences.computer.org/IC2E/2025/ Submission site: http://ahpc3.di.unipi.it/submissions.html ======================================================================== Important Dates --------------- - June 03, 2025: Submission of paper abstracts -> June 10, 2025 (EXTENDED) - June 16, 2025: Submission of short/regular papers -> June 23, 2025 (EXTENDED) - July 21, 2025: Notification to authors - July 31, 2025: Submission of camera-ready Overview -------- We are witnessing an increasing demand for high-performance computing (HPC) infrastructures. Modern applications require processing of computationally intensive workloads, across diverse domains driven by AI/ML, federated learning, and data-intensive needs in distributed Cloud-Edge-HPC environments. Traditional distinctions between HPC and cloud infrastructures are blurring as modern cloud and edge environments incorporate capabilities historically exclusive to HPC systems. The AHPC3 workshop focuses on achieving HPC via Cloud-Edge architectures, promoting energy-efficient execution, green computing, and intelligent resource management. It explores the adaptation of technologies like serverless computing, microservices, and fine-grained task offloading for scalable and resilient HPC applications. We welcome original contributions on programming paradigms, runtime systems, orchestration frameworks, efficient data management, fault tolerance, security, and sustainability in hybrid environments. Topics of Interest ------------------ - Adaptation of cloud-edge technologies for HPC (e.g., serverless, microservices, task offloading) - Cloud-edge computing architectures for HPC (e.g., resource federation) - Lightweight virtualization, execution environments, and scheduling techniques - Orchestration and deployment of high-performance workflows - Programming paradigms for high-performance Cloud-Edge computing - Communication, data, and resource management in Cloud-Edge computing - Fault tolerance, reliability, and security - Data-intensive workloads and monitoring tools - Energy-efficient computing in Cloud-Edge environments - Accelerated computing (e.g., GPUs, AI/ML accelerators) - Network-aware optimization and data movement - Federated resource-sharing and learning - Novel orchestration algorithms for cloud/edge - ML/AI-based support for Cloud/Edge computing Submissions and Attendance -------------------------- Submission link: http://ahpc3.di.unipi.it/submissions.html Accepted papers will be published in the conference proceedings. Submissions must be original and not under consideration elsewhere. Papers (5–9 pages) must follow IEEE conference format. At least one author must register and present the paper. Organisers ---------- - Luca Ferrucci, University of Pisa - luca.ferrucci(a)unipi.it<mailto:luca.ferrucci@unipi.it> - Stefano Forti, University of Pisa - stefano.forti(a)unipi.it<mailto:stefano.forti@unipi.it> - Valerio Besozzi, University of Pisa - valerio.besozzi(a)phd.unipi.it<mailto:valerio.besozzi@phd.unipi.it> - Jacopo Massa, University of Pisa - jacopo.massa(a)di.unipi.it<mailto:jacopo.massa@di.unipi.it>

1 0

Ada-Europe - AEiC 2025 early registration deadline imminent
by Dirk.Craeynest＠cs.kuleuven.be 24 May '25

24 May '25

----------------------------------------------------------------------- UPDATED Call for Participation *** Early registration DEADLINE May 27 *** 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** Extensive info and registration online *** *** Add tutorials and/or a workshop to your conference registration *** #AEiC2025 #AdaEurope #AdaProgramming Organized by Ada-Europe and Ada-France, in cooperation with ACM SIGPLAN, supported and sponsored by Embedded France, AdaCore, Emenda, Systerel, Scitools, Pacte Novation, Institut Frederik Bull, and Mines Paris ----------------------------------------------------------------------- *** UPDATE Ada-Europe - AEiC 2025 early registration deadline imminent Register now: discounted fees until May 27! <http://www.ada-europe.org/conference2025/registration.html> Come to the Ada-Europe conference in Paris, experience a packed program in an exciting town, benefit from tutorials on Tuesday, join a workshop on Friday, enjoy the social events and some sightseeing! Extra conference sponsorship allows for an extremely low 25 EUR fee for the Ada Developers Workshop on Friday! See below for an overview, and visit our website for more details about the conference program, registration fees, social events and much more. *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) returns after 11 years to Paris, France. The conference schedule comprises keynote and invited talks, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. There will be time for networking during breaks and lunches, as well as various social events. AEiC 2025 is the latest in a series of annual international conferences started in the early 80's, under the auspices of Ada-Europe, the international organization that promotes knowledge and use of the Ada programming language and reliable software in general, into academic education and research, and industrial practice. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. The 2025 edition of the conference continues a number of important innovations started in previous years: - reduced conference registration fee for all authors; - extra low registration fee for Ada Developers workshop; - journal-based open-access publication model for peer-reviewed papers; - compact program with two core days (Wednesday & Thursday); - tutorials on Tuesday, followed by welcome event for all participants; - workshops on Friday, optional chill event on Thursday evening. *** Overview of the Week <http://www.ada-europe.org/conference2025/overview.html> - Tue 10: 4 half-day tutorials, 1 full-day tutorial, welcome reception; - Wed 11: core technical program, conference banquet; - Thu 12: core technical program, post conference chill-out; - Fri 13: 3 full-day workshops. The AEiC 2025 website has extensive information, such as an overview of the program and the schedule, the list of accepted papers and presentations, and descriptions of workshops, tutorials, keynote and invited presentations, and social events. Also check the conference site for registration, accommodation and travel information. The Final Program brochure will be available there as well. *** Venue <http://www.ada-europe.org/conference2025/venue.html> The conference will take place at Mines Paris, a founding member of Université PSL, a leading French engineering school and the French leader institution in research partnerships. It is located along the Luxembourg gardens, next to the Quartier Latin, and is close to public transportation, including line B of the RER to Charles De Gaulle airport (CDG). Paris, the capital city of France, is renowned for its rich history, stunning architecture, and vibrant culture. Often referred to as "The City of Light" Paris is home to iconic landmarks such as the Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. If you can stay over before or after the conference, there's a lot to see. Check the Practical Information section of the conference website for more info. *** Invited Speakers <http://www.ada-europe.org/conference2025/keynotes.html> This year the conference will once more feature keynotes and invited talks. All will address topics of relevance in the conference scope, with time for questions and answers. - On Wednesday morning, June 11, a keynote talk by Stefano Zacchiroli, of Télécom Paris, France, on "Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code". - On Wednesday afternoon, June 11, an invited talk by Tullio Vardanega, from University of Padua, Italy, on "Language Ownership: Key Moments in the Lifetime of Ada". - On Thursday morning, June 12, a keynote talk by Claire Pagetti, of ONERA, France, on "Certification of Machine Learning Based System - Contribution of Formal Verification". *** Conference Core Composition <https://www.ada-europe.org/conference2025/overview.html#title1> The core conference program features six distinct types of technical presentations, with different duration, all followed by various manners of discussion time: journal-track talk (30 minutes), industrial-track talk (20 minutes), work-in-progress-track talk (20 minutes), vendor presentations (20 minutes), keynote (1 hour), invited talk (30 minutes). All papers presented in the journal track, the industrial track and the work-in-progress track have undergone peer review. Presentations are combined into by-theme and not by-track sessions, in order that authors and participants alike enjoy all flavors of the program in a mixed as opposed to segregated combination. The list of accepted papers and presentations, and the detailed schedule, is available on the conference website at <https://www.ada-europe.org/conference2025/overview.html#schedule> Papers and Presentations: - 2 keynotes and 1 invited presentation; - 6 sessions with a mix of presentations on various topics: Secure Distributed Systems, Ada and Modeling, Multi-core Architectures, Embedded Systems, Real-time and Safety, and Applications; - 6 journal-track talks; - 9 work-in-progress reports; - 4 industrial presentations and experience reports; - 2 vendor presentations; - submissions from around the world. *** Tutorials <http://www.ada-europe.org/conference2025/tutorials.html> A full-day tutorial is offered on Tuesday 10th: - "Developing Bare-metal Embedded Software in SPARK Ada for 64-bit ARM Platforms", by J. Germán Rivera, Tesla, USA. A hands-on tutorial. Attendees are encouraged to bring their own RaspberryPI boards, a development laptop, and a USB-to-serial cable. In parallel, four half-day tutorials are scheduled: - "Multiple Double and Multiword Arithmetic", by Jan Verschelde, University of Illinois at Chicago, USA. "Quality up" is often more meaningful than "speedup": instead of using multi-processors to obtain results faster, obtain results that are more accurate. - "Unleash the Power of Ada Generics", by Gautier de Montmollin, Ada-Switzerland, Switzerland. Generics, known elsewhere as templates or macros, form an abstraction that is prosaically a smart version of a text with gaps, which helps to eliminate code duplication. The Ada flavor of generics, available since the first Ada standard, is remarkably powerful. - "Turning your Programming Language into a Modeling Language", by S. Tucker Taft, AdaCore, USA. An introduction to how one could create a productive framework for performing modeling within your favorite programming language. - "Introduction to the ALiRe Package Manager", by Quentin Dauprat, Université de Caen, Normandie, France. The ALiRe project (Ada Library Repository) is a community-oriented package manager for the Ada and SPARK open source ecosystem. Tackles the use of Alire to bootstrap a project with the support of libraries available (and not available) in the community index. *** Satellite Events Three workshops are held on Friday 13th: - 4th ADEPT workshop "AADL by its practitioners". <http://www.ada-europe.org/conference2025/workshop_adept.html> - 10th International Workshop on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering" (DeCPS 2025). <http://www.ada-europe.org/conference2025/decps.html> - 2nd "Ada Developers Workshop", an informal yet dynamic gathering for developers in the Ada community to meet, share insights, and present their latest projects or project updates; a full "Ada day" with 8 technical presentations on Ada-related topics and 10 authors from 5 countries: Belgium, France, Spain, Switzerland, and USA. <http://www.ada-europe.org/conference2025/workshop_adadev.html> *** Social Program <http://www.ada-europe.org/conference2025/social_program.html> The conference provides several opportunities to socialize: - Each day: coffee breaks and lunches offer ample time for interaction and networking with participants and vendors. - Tuesday evening: Welcome Reception at "Table du Luxembourg". The usual welcome "apéro" will take place at this nice restaurant right in the middle of the Luxembourg garden, a Parisians' favorite! - On conference days: Mineralogy Museum. The École des Mines features a splendid Mineralogy museum. During the conference, you can access it free of charge by showing your name badge. Do not miss this opportunity! - Wednesday evening: Conference Banquet at the "Bouillon Racine", a typical Parisian restaurant built in 1906 and classified as "historical monument". The restaurant is located within walking distance from the conference location. We will have dinner in the beautiful dining room on the first floor, an authentic turn of the 20th century decoration. - Thursday evening: Chill Event at the Café Latin, a casual typical café, to have a little chat with colleagues during an informal dinner (separate registration). For those who want to get a feeling of the Latin Quarter, we prepared an itinerary that will show you the main milestones of the neighborhood while walking to the Café Latin. *** Further Information Registration: - registration information is provided at <http://www.ada-europe.org/conference2025/registration.html> - early registration discount until Tuesday May 27, 2025 - payment possible by credit card or bank transfer - special low conference fee for authors - discount for Ada-Europe and ACM SIGPLAN members - registration includes coffee breaks, lunches and social events - strong discount on conference fees for students - minimal fee for Ada Developers Workshop - see registration page for all details Promotion: - recommended hashtags: #AEiC2025 #AdaEurope #AdaProgramming The conference is organized by: - Ada-Europe <http://www.ada-europe.org/> - Ada-France <https://www.ada-france.org/> in cooperation with: - ACM SIGPLAN <http://www.sigplan.org/> supported and sponsored by: - Embedded France <https://www.embedded-france.org/> - AdaCore <https://www.adacore.com/> - Emenda <https://emenda.com/> - Systerel <https://www.systerel.fr/> - Scitools <https://scitools.com/> - Pacte Novation <https://www.pactenovation.fr/index.php/ logiciel-critique-ada-fondements-et-enjeux/> - Institut Frederik Bull <https://institutbull.fr/> - Mines Paris <https://www.minesparis.psl.eu/> Please make sure you book accommodation as soon as possible. <https://www.ada-europe.org/conference2025/accommodation.html> For more info and latest updates see the conference website at <http://www.ada-europe.org/conference2025>. We look forward to seeing you in Paris in June 2025! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2025 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be Dirk.Craeynest(a)kuleuven.be * 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025) * June 10-13, 2025, Paris, France * www.ada-europe.org/conference2025

1 0

CfP BigHPC 2025
by Marco PULIMENO 21 May '25

21 May '25

BigHPC2025: Special Track on Big Data and High-Performance Computing at the ITADATA25 Conference Following the success of the past editions, BigHPC is back! Contributions are welcome from academia and industry, presenting research results on all theoretical and practical aspects standing at the intersection of High-Performance Computing (HPC) and Big Data. The event focuses on contributions to HPC architectures, algorithms, models, and management approaches for large data collections, including data processing, analysis, reporting, data protection, experimental studies, hands-on insights, datasets, and lessons learned. Topics of interest include, but are not limited to: HPC Architectures and systems for big data Parallel and distributed algorithms for big data processing HPC-enabled data analytics High-performance data storage and retrieval systems Performance modeling and evaluation of HPC systems for big data HPC in machine learning and artificial intelligence HPC for scientific computing and simulations HPC in the cloud for big data processing Energy-efficient and green HPC for big data Hybrid classical-quantum computing: integration, benchmarking, and HPC-based emulation Quantum algorithms for machine learning, optimization, and generative models Quantum natural language processing and AI applications Compilation, gate synthesis, and error correction in quantum systems Post-quantum cryptography and security in the quantum era BigHPC25 accepts two different submissions for review, including: - Original research papers (min 6 pages, max 10 pages). This type of contribution should not have been published elsewhere and should not currently be under consideration for another journal, conference, or workshop. Original research papers will be published in the CEUR proceedings and must follow the CEUR-ART style files (1 column) available here. - Extended abstracts (min 2 pages, max 5 pages). This type of contribution may present work in progress or contributions that have already been published or are in preparation for publication. The extended abstracts must follow the CEUR-ART style files (1 column) available here. Manuscripts must be submitted to the "BigHPC" track using the ITADATA submission site. Contributions will be evaluated and selected based on their quality, originality, and relevance. As last year, we are working to provide a journal special issue. Authors of the best original research papers—whether full papers or innovative extended abstracts—will be invited to submit an extended version of their work for evaluation. The details will be announced soon. Important dates Submissions due: June 1st, 2025 Author notification: July 20th, 2025 Camera-ready paper and registration due: August 3rd, 2025 Website https://www.itadata.it/2025/bighpc2025 The BigHPC25 Chairs Alessia Antelmi, University of Turin Massimo Cafaro, Università del Salento Italo Epicoco, Università del Salento Marco Pulimeno, Università del Salento --

1 0

HPC Containers to AI Workloads: May 25 VHPC'25 Extended Deadline
by Michael Alexander 16 May '25

16 May '25

========================================================== CALL FOR PAPERS 20th Workshop on Virtualization in High-Performance Cloud Computing (VHPC '25) held in conjunction with the European Conference on Parallel and Distributed Computing Aug 25-29, 2025, Dresden, Germany. (Springer LNCS Proceedings) ========================================================== Paper submission deadline: May 25th, 2025 AoE (extended) Date: August 25, 2025 Workshop URL: vhpc dot org To submit an abstract or paper, please follow the link provided in the Call for Papers (CfP) announcement at the end of this message. Call for Papers This year, we are calling the timely topic of virtualization in support of high-memory LLM training workloads including, but not limited to: - GPU hypervisor memory virtualization: Techniques for virtualizing GPU memory to allow flexible and efficient allocation across multiple workloads, enabling higher utilization of GPU resources - Flat CPU/GPU memory page tables/TLB: Unified virtual memory spaces and page table structures that allow both GPUs to address CPU memory mapped to accelerator global memory space - Storage/filesystem to virtual memory mapped approaches - Distributed memory virtualization - Memory compression and reduction techniques: approaches for compressing model parameters, activations, and gradients to reduce memory requirements during training - Out-of-core training algorithms - Efficient memory allocation and management: Techniques for optimizing memory allocation, reducing fragmentation, and improving memory utilization during training - Memory-efficient data formats and processing: Data formats and processing techniques that minimize memory overhead while maintaining training efficiency - Benchmarking and profiling tools: Tools and methodologies for measuring, analyzing, and optimizing memory usage in LLM training workloads - Case studies and applications: Real-world examples and applications of virtualization techniques in LLM training scenarios The Workshop on Virtualization in High-Performance Cloud Computing (VHPC) aims to bring together researchers and industrial practitioners facing the challenges posed by virtualization in order to foster discussion, collaboration, mutual exchange of knowledge and experience, enabling research to ultimately provide novel solutions for virtualized computing systems of tomorrow. Containers and virtualization technologies constitute key enabling factors for flexible resource management in modern data centers, and particularly in cloud environments. Cloud providers need to manage complex infrastructures in a seamless fashion to support the highly dynamic and heterogeneous workloads and hosted applications customers deploy. Similarly, HPC environments have been increasingly adopting techniques that enable flexible management of vast computing and networking resources, close to marginal provisioning cost, which is unprecedented in the history of scientific and commercial computing. Various virtualization-containerization technologies contribute to the overall picture in different ways: machine virtualization, with its capability to enable consolidation of multiple underutilized servers with heterogeneous software and operating systems (OSes), and its capability to live-migrate a fully operating virtual machine (VM) with a very short downtime, enables novel and dynamic ways to manage physical servers; OS-level virtualization (i.e., containerization), with its capability to isolate multiple user-space environments and to allow for their co-existence within the same OS kernel, promises to provide many of the advantages of machine virtualization with high levels of responsiveness and performance; lastly, unikernels provide for manyvirtualization benefits with a minimized OS/library surface. I/O virtualization, in turn, allows physical network interfaces to exchange traffic with multiple VMs or containers; network virtualization, with its capability to create logical network overlays independently from the underlying physical topology, is another fundamental enabling technology for Cloud/HPC infrastructures. Last, storage virtualization needs to evolve to support increasingly demanding requirements in terms of performance and reliability for the managed application data. Publication Accepted papers will be published in a Springer LNCS proceedings volume. Topics of Interest The VHPC program committee solicits original, high-quality submissions related to virtualization across the entire software stack with a special focus on the intersection of HPC, containers/ virtualization and cloud computing. Each topic encompasses aspects related to design/architecture, management, performance management, modeling and\ configuration/tooling: Design / Architecture: - Containers and OS-level virtualization (LXC, Docker/Podman, Nitro/Firecracke, Singularity) - Hypervisor support for heterogeneous resources (GPUs, NPUs, co-processors, FPGAs, etc.) - GPU hypervisor memory virtualization in support of high-memory LLM training workloads - Hypervisor extensions to mitigate side-channel attacks ([micro-]architectural timing attacks, privilege escalation) - Use of Risc-V related technologies for cloud, virtualized and HPC use-cases - VM & Container trust and security models - Multi-environment coupling, system software supporting in-situ analysis with HPC simulation - Cloud reliability, fault-tolerance and high-availability - Cloud-based quantum compute services - Energy-efficient and power-aware virtualization - Containers inside VMs with hypervisor isolation - Virtualization support for emerging memory and storage technologies - Lightweight/specialized operating systems in conjunction with virtual machines - Unikernels and use cases for virtualized HPC environments - Formal definition and verification of hypervisors and virtualization system properties - ARM-based hypervisors, ARM virtualization extensions Management: - Container and VM management for HPC and cloud environments - Virtualized/Cloudified instances to support Lambda / Function-as-a- Service (FaaS) Paradigms - HPC services integration, services to support HPC - Service and on-demand scheduling & resource management - Dedicated workload management with VMs or containers - Workflow coupling with VMs and containers - Unikernels and lightweight VM application management - Environments and tools for operating containerized environments (batch, orchestration) - Models for non-HPC workload provisioning on HPC resources Performance Measurements and Modeling: - Performance improvements for or driven by unikernels - Optimizations of virtual machine monitor platforms and hypervisors - Scalability analysis of VMs and/or containers at large scale - Performance measurement, modeling and monitoring of virtualized/ cloud workloads - Virtualization in supercomputing environments, HPC clusters, HPC in the cloud with an emphasis on AI GPUs/TPUs/NPUs - Energy-efficient deployment of high-performance, ultra-low latency and real-time workloads in cloud infrastructures - Modeling, control and isolation of end-to-end performance for parallel & distributed cloud/HPC applications, including the use of cloud functions / FaaS Configuration / Tooling: - Tool support for unikernels: configuration/build environments, debuggers, profilers - Job scheduling/control/policy and container placement in virtualized environments - Measuring and controlling "OS/Virtualization noise" - Operating MPI in containers/VMs and Unikernels - GPU virtualization operationalization The workshop will be one day in length, composed of 20 min paper presentations, each followed by 10 min discussion sections, plus lightning talks that are limited to 5 minutes. Presentations may be accompanied by interactive demonstrations. Important Dates Rolling abstract submission May 25th, 2025 AoE (extended) - Paper submission deadline Jun 23th, 2025 - Acceptance notification Jul 2, 2025 - Camera-ready due Aug 25, 2025 - Workshop Day Chair Michael Alexander (chair), Austrian Academy of Sciences Anastassios Nanos (co-chair), Nubificus Ltd., UK Tentative Technical Program Committee Stergios Anastasiadis, University of Ioannina, Greece Gabriele Ara, Scuola Superiore Sant'Anna Jakob Blomer, CERN, Switzerland Eduardo César, Universidad Autonoma de Barcelona, Spain Taylor Childers, Argonne National Laboratory, USA François Diakhaté, CEA DAM, France Roberto Giorgi, University of Siena, Italy Kyle Hale, Northwestern University, USA Giuseppe Lettieri, University of Pisa, Italy Nikos Parlavantzas, IRISA, France Amer Qouneh, Western New England University, USA Carlos Reaño, Queen’s University Belfast, UK Riccardo Rocha, CERN, Switzerland Lutz Schubert, University of Ulm, Germany Jonathan Sparks, Cray, USA Kurt Tutschku, Blekinge Institute of Technology, Sweden John Walters, USC ISI, USA - Yasuhiro Watashiba, Osaka University, Japan Chao-Tung Yang, Tunghai University, Taiwan Paper Submission-Publication Papers submitted to the workshop will be reviewed by at least two members of the program committee and external reviewers. Submissions should include abstract, keywords, the e-mail address of the corresponding author, and must not exceed 12 pages, including tables and figures at a main font size no smaller than 11 points. Submission of a paper should be regarded as a commitment that, should the paper be accepted, at least one of the authors will register and attend the conference to present the work. Accepted papers will be published in a Springer LNCS volume. Initial submissions are in PDF; authors of accepted papers will be requested to provide source files. Lightning Talks Lightning Talks are in a non-paper track, synoptical in nature and are strictly limited to 5 minutes. They can be used to gain early feedback on ongoing research, for demonstrations, to present research results, early research ideas, perspectives and positions of interest to the community. Submit abstracts via the main submission link. General Information The workshop will be held in conjunction with the International European Conference on Parallel and Distributed Computing on Aug 25, 2025, Dresden, Germany. Please contact ahead of time for presenting remotely via video. Abstract, Paper Submission Link: https://edas.info/N33172 LNCS Format Guidelines: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu… Follow VHPC Updates on Bluesky: https://bsky.app/profile/vhpc.bsky.social

1 0

Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2025
by Dirk.Craeynest＠cs.kuleuven.be 12 May '25

12 May '25

----------------------------------------------------------------------- Call for Participation 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) 10-13 June 2025, Paris, France www.ada-europe.org/conference2025 *** Early registration DEADLINE May 27 *** *** Extensive info and registration online *** *** Add tutorials and/or a workshop to your conference registration *** #AEiC2025 #AdaEurope #AdaProgramming Organized by Ada-Europe and Ada-France, in cooperation with ACM SIGPLAN, supported and sponsored by Embedded France, AdaCore, Emenda, Systerel, Scitools, Pacte Novation, Institut Frederik Bull, and Mines Paris ----------------------------------------------------------------------- Preparations for AEiC 2025, the 29th Ada-Europe International Conference on Software Reliable Technologies, are well underway! Come to the Ada-Europe conference in Paris, experience a packed program in an exciting town, benefit from tutorials on Tuesday, join a workshop on Friday, enjoy the social events and some sightseeing! Register now: discounted fees until May 27! <http://www.ada-europe.org/conference2025/registration.html> Extra conference sponsorship allows for an extremely low 25 EUR fee for the Ada Developers Workshop on Friday! See below for an overview, and visit our website for more details about the conference program, registration fees, social events and many more. *** General Information The 29th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2025) returns after 11 years to Paris, France. The conference schedule comprises keynote and invited talks, a journal track, an industrial track, a work-in-progress track, a vendor exhibition, parallel tutorials, and satellite workshops. There will be time for networking during breaks and lunches, as well as various social events. AEiC 2025 is the latest in a series of annual international conferences started in the early 80's, under the auspices of Ada-Europe, the international organization that promotes knowledge and use of the Ada programming language and reliable software in general, into academic education and research, and industrial practice. The Ada-Europe series of conferences has over the years become a leading international forum for providers, practitioners and researchers in reliable software technologies. These events highlight the increased relevance of Ada in general and in safety- and security-critical systems in particular, and provide a unique opportunity for interaction and collaboration between academics and industrial practitioners. The 2025 edition of the conference continues a number of important innovations started in previous years: - reduced conference registration fee for all authors; - extra low registration fee Ada Developers workshop; - journal-based open-access publication model for peer-reviewed papers; - compact program with two core days (Wednesday & Thursday); - tutorials on Tuesday, followed by welcome event for all participants; - workshops on Friday, optional chill event on Thursday evening. *** Overview of the Week - Tue 10: 4 half-day tutorials, 1 full-day tutorial, welcome reception; - Wed 11: core technical program, conference banquet; - Thu 12: core technical program, post conference chill-out; - Fri 13: 3 full-day workshops. Extensive information on AEiC 2025 will be on the conference website, such as an overview of the program, the list of accepted papers and presentations, and descriptions of workshops, tutorials, keynote and invited presentations, and social events. Also check the conference site for registration, accommodation and travel information. The Final Program brochure will be available there as well. *** Venue <http://www.ada-europe.org/conference2025/venue.html> The conference will take place at Mines Paris, a founding member of Université PSL, a leading French engineering school and the French leader institution in research partnerships. It is located along the Luxembourg gardens, next to the Quartier Latin, and is close to public transportation, including line B of the RER to Charles De Gaulle airport (CDG). Paris, the capital city of France, is renowned for its rich history, stunning architecture, and vibrant culture. Often referred to as "The City of Light," Paris is home to iconic landmarks such as the Eiffel Tower, the Louvre Museum, and Notre-Dame Cathedral. If you can stay over before or after the conference, there's a lot to see. Check the Practical Information section of the conference website for more info. *** Invited Speakers <http://www.ada-europe.org/conference2025/keynotes.html> This year the conference will once more feature keynotes and invited talks. All will address topics of relevance in the conference scope, with time for questions and answers. - On Wed morning, June 11, a keynote talk by Stefano Zacchiroli, of Télécom Paris, France, on "Building a Safer Open Source Supply Chain with Software Heritage, the Great Library of Source Code". - On Wed afternoon, June 11, an invited talk by Tullio Vardanega, from University of Padua, Italy, on "Language Ownership: Key Moments in the Lifetime of Ada". *** Conference Core Composition The core conference program features three distinct types of technical presentations, with different duration, in addition to the keynote and invited talks: journal-track talks (25 minutes), industrial-track talks (20 minutes), vendor presentations (15 minutes), work-in-progress-track talks (10 minutes). All papers presented in the journal track, the industrial track and the work-in-progress track have undergone peer review. Presentations are combined into by-theme and not by-track sessions, in order that authors and participants alike enjoy all flavors of the program in a mixed as opposed to segregated combination. The list of accepted papers and presentations, and the detailed schedule, will be announced shortly. *** Tutorials <http://www.ada-europe.org/conference2025/tutorials.html> A full-day tutorial is offered on Tuesday 10th: - "Developing Bare-metal Embedded Software in SPARK Ada for 64-bit ARM Platforms", by J. Germán Rivera, Tesla, USA. In parallel, four half-day tutorials are scheduled: - "Multiple Double and Multiword Arithmetic", by Jan Verschelde, University of Illinois at Chicago, USA; - "Unleash the Power of Ada Generics", by Gautier de Montmollin, Ada-Switzerland, Switzerland; - "Turning your Programming Language into a Modeling Language", by S. Tucker Taft, AdaCore, USA; - "Introduction to the ALiRe Package Manager", by Quentin Dauprat, Université de Caen, Normandie, France. *** Satellite Events Three workshops are held on Friday 13th: - 4th ADEPT workshop "AADL by its practitioners". <http://www.ada-europe.org/conference2025/workshop_adept.html> - 10th International Workshop on "Challenges and New Approaches for Dependable and Cyber-Physical System Engineering" (DeCPS 2025). <http://www.ada-europe.org/conference2025/decps.html> - 2nd "Ada Developers Workshop", an informal yet dynamic gathering for developers in the Ada community to meet, share insights, and present their latest projects or project updates; a full "Ada day" with 8 technical presentations on various Ada-related topics and 10 authors from 5 countries: Belgium, France, Spain, Switzerland, and USA. <http://www.ada-europe.org/conference2025/workshop_adadev.html> *** Social Program <http://www.ada-europe.org/conference2025/social_program.html> The conference provides several opportunities to socialize: - Each day: coffee breaks and lunches offer ample time for interaction and networking with participants and vendors. - Tuesday early evening: Welcome Reception (details to be announced). - On conference days: Mineralogy Museum. The École des Mines features a splendid Mineralogy museum. During the conference, you can access it free of charge by showing your name badge. Do not miss this opportunity! - Wednesday evening: Conference Banquet at the "Bouillon Racine", a typical Parisian restaurant built in 1906 and classified as "historical monument". The restaurant is located within walking distance from the conference location. We will have dinner in the beautiful dining room on the first floor, an authentic turn of the 20th century decoration. - Thursday evening: Chill Event at the Café Latin, a casual typical café, to have a little chat with colleagues during an informal dinner (separate registration). For those who want to get a feeling of the Latin Quarter, we prepared an itinerary that will show you the main milestones of the neighborhood while walking to the Café Latin. *** Further Information Registration: - registration information is provided at <http://www.ada-europe.org/conference2025/registration.html> - early registration discount until Tuesday May 27, 2025 - payment possible by credit card or bank transfer - special low conference fee for authors - discount for Ada-Europe and ACM SIGPLAN members - registration includes coffee breaks, lunches and social events - strong discount on conference fees for students - minimal fee for Ada Developers Workshop - see registration page for all details Promotion: - recommended hashtags: #AEiC2025 #AdaEurope #AdaProgramming The conference is organized by: - Ada-Europe <http://www.ada-europe.org/> - Ada-France <https://www.ada-france.org/> in cooperation with: - ACM SIGPLAN <http://www.sigplan.org/> supported and sponsored by: - Embedded France <https://www.embedded-france.org/> - AdaCore <https://www.adacore.com/> - Emenda <https://emenda.com/> - Systerel <https://www.systerel.fr/> - Scitools <https://scitools.com/> - Pacte Novation <https://www.pactenovation.fr/index.php/ logiciel-critique-ada-fondements-et-enjeux/> - Institut Frederik Bull <https://institutbull.fr/> - Mines Paris <https://www.minesparis.psl.eu/> Please make sure you book accommodation as soon as possible. <https://www.ada-europe.org/conference2025/accommodation.html> For more info and latest updates see the conference website at <http://www.ada-europe.org/conference2025>. We look forward to seeing you in Paris in June 2025! ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2025 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be Dirk.Craeynest(a)kuleuven.be * 29th Ada-Europe Int.Conf. Reliable Software Technologies (AEiC 2025) * June 10-13, 2025, Paris, France * www.ada-europe.org/conference2025

1 0