- computational.science - lists.iccsa.org

Call for Papers, PDSEC-2024 Workshop, May 2024
by Jean-Claude Charr 12 Jan '24

12 Jan '24

**CALL FOR PAPERS** The 25th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC-2024) (http://www.ieee- <http://www.ieee-/> tcsc.org/2024/pdsec/ <http://tcsc.org/2024/pdsec/>) will be held on May 31, 2024 in San Francisco, California, USA, in conjunction with IPDPS 2024. Deadline: PDSEC-2024 deadline: 02 Feb 2024 (AoE) Scope and Interests: The technological trends in HPC system evolution indicates an increasing burden placed on application developers due to the management of the unprecedented complexity levels of hardware and its associated performance characteristics. Many existing scientific applications codes are unlikely to perform well on future systems without major modifications or even complete rewrites. In the future, it will be necessary to utilize, in concert, many characteristics such as multiple levels of parallelism, many lightweight cores, complex memory hierarchies, novel I/O technology, power capping, system-wide temporal/spatial performance heterogeneity and reliability concerns. The parallel and distributed computing (PDC) community has developed new programming models, algorithms, libraries and tools to meet these challenges in order to accommodate productive code development and effective system use. However, the scientific application community still needs to identify the benefit through practical evaluations. Thus, the focus of this workshop is on methodologies and experiences used in scientific and engineering applications and algorithms to achieve sustainable code development for better productivity, application performance and reliability. In particular, we will focus on the following topics in parallel and distributed scientific and engineering applications, and not limited to: - Big scientific data - Performance modeling and simulation for the execution of scalable scientific applications on new heterogeneous architectures - Graph analytics with their (scientific) applications - Code modernization methodologies and experiences for adapting the changes in future computing systems - Languages for scientific computing on hybrid systems (e.g. Python, MPI+X where X is OpenMP, OpenCL, CUDA etc.) - Tools and techniques for improving the performance, reliability and resilience of scientific applications - Use cases of enterprise distributed computing technology (such as MapReduce, Data Analytics and Machine-learning tools) in scientific and engineering applications - Scalable parallel and distributed algorithms supporting science and engineering applications - Performance portability across heterogeneous architecture Important Dates: Paper submission due . . . . . . . . . . . . . . February 02, 2024 Notification of Acceptance . . . . . . . . . . February 23, 2024 Final camera-ready paper . . . . . . . . . . . .February 29, 2024 Workshop . . . . . . . . . . . . . . . . . . . . . . . . May 31, 2024 General Chairs Sabine Roller, German Aerospace Center (DLR), Germany George Bosilca, University of Tennessee, USA Program Chairs Raphael Couturier, University of Franche-Comte, France Neda Ebrahimi Pour, German Aerospace Center (DLR), Germany Publicity Chair Jean-Claude Charr, University of Franche-Comte, France Steering Committee Laurence T. Yang (Chair), St. Francis Xavier University, Canada Thomas Rauber, University of Bayreuth, Germany Gudula Runger, Chemnitz University of Technology, Germany Web Chair Jiawei Wang, St. Francis Xavier University, Canada Sincerely, Jean-Claude Charr Associate professor at IUT NFC University of Franche-Comte, France

1 0

The Seventh International Workshop on Systems and Network Telemetry and Analytics (SNTA 2024)
by Massimo Cafaro 11 Jan '24

11 Jan '24

The Seventh International Workshop on Systems and Network Telemetry and Analytics (SNTA 2024) Pisa, Italy, June 3 - 4, 2024 in conjunction with ACM HPDC 2024 https://sntaworkshop.github.io/2024/ Submission link https://snta24.hotcrp.com/paper/new Submission deadline March 1, 2024 The tasks of systems and network telemetry are vital for effective operations and management of HPC and distributed computing systems by offering comprehensive measurement and analysis capabilities to provide visibility into what is occurring at any time. The tasks will be significantly complicated with the greater complexity of computing systems, increasing network speed, and the newly introduced mobile and IoT devices. Such changes will render the existing telemetry and analysis techniques outdated, and more scalable techniques may be in place for data-driven and deeper data analysis. In addition to the quantitative and qualitative challenges, data pressure in systems and networks also comes from various sources such as sensors, computing systems, networking and security devices, and other emerging computing elements speaking with different syntax and semantics, which makes organizing and incorporating the generated data difficult for extensive analysis. This workshop aims at bridging the systems and network measurement and the latest advances in artificial intelligence and data science technologies to advance the performance and reliability of HPC and distributed systems. New analysis techniques are needed in the modern world from the diverse angles of systems/network performance, availability, and security. For example, real-time streaming analytics algorithms and methods need to be explored for estimating network performance and summarizing the traffic variables to capture the network activities due to the network bandwidth increase. Multivariate analysis of telemetric variables may provide an intuitive, comprehensive view of the systems and network dynamics. New logging techniques are also needed with the latest developments in storage and archival technologies. In addition, many applications in this area may need to address the application-specific requirements and challenges. This workshop intends to share visions of investigating new approaches and methods at the intersection of data sciences and HPC/distributed computing systems. Topics of Interest (but not limited to) • Systems and network measurement, analysis, and summarization • Data-driven, multivariate, streaming-based data processing • Scalable distributed and federated machine learning • Performance modeling, analysis, and optimization • Cybersecurity, forensics, privacy, and anonymization • Intelligent workflow, visualization, and applications • Smart instruments, edge/fog-systems, and IoTs • Wireless, sensor, 5G/6G networks measurement and analysis • Software/Knowledge-Defined-* technologies • Advances in network and storage technologies • Design and evaluation of HPC and distributed systems • Best practices and implementations tied to systems/network data analysis Submission Guidelines All papers must be original and not simultaneously submitted to another journal or conference. Authors are invited to submit either a full (max 8 pages) paper or a short/work-in-progress (max 5 pages) paper. Papers will be peer-reviewed, and accepted papers will be published in the workshop proceedings as part of the ACM digital library. Submission link: https://snta24.hotcrp.com/paper/new Important Dates • Submission deadline: March 1, 2024 • Author notification: April 1, 2024 • Camera-ready deadline: April 18, 2024 • Workshop: June 3-4, 2024 Program Committee • Mohammed Abuhamad, Loyola University Chicago, USA • Stergios Anastasiadis, University of Ioannina, Greece • Engin Arslan, University of Nevada at Reno, USA • Sang-Yoon Chang, University of Colorado at Colorado Springs, USA • Ming-Hung Chen, IBM, USA • Chunglae Cho, ETRI, Korea • Italo Epicoco, University of Salento, Italy • Wenjun Fan, Xi'an Jiaotong-Liverpool University, China • In Kee Kim, University of Georgia, USA • Alina Lazar, Youngstown State University, USA • Chul-Ho Lee, Texas State University, USA • Dongeun Lee, Texas A&M University-Commerce, USA • Che-Rung Lee, National Tsing Hua University, Taiwan • Kwangsung Oh, University of Nebraska Omaha, USA • Amir H. Payberah, KTH Royal Institute of Technology, Sweden • Marco Pulimeno, University of Salento, Italy • Thomas Ropars, Univ. Grenoble Alpes, France • Alex Sim, Lawrence Berkeley National Laboratory, USA • Houjun Tang, Lawrence Berkeley National Laboratory, USA • K. John Wu, Lawrence Berkeley National Laboratory, USA Organizing Committee • Massimo Cafaro, University of Salento, Italy • Eric Chan-Tin, Loyola University Chicago, USA • Jerry Chou, National Tsing Hua University, Taiwan • Jinoh Kim, Texas A&M University-Commerce, USA Keynote Speaker (TBD) Publication Papers will be peer-reviewed, and accepted papers will be published in the workshop proceedings as part of the ACM digital library. Venue The conference will be held in conjunction with ACM HPDC 2024. Contact All questions about submissions should be emailed to SNTA.help(a)gmail.com. -- ************************************************************************************** Prof. Massimo Cafaro, Ph.D. Associate Professor of Parallel Algorithms and Data Mining & Machine Learning Head of HPC Lab https://hpc-lab.unisalento.it Director of Master in Applied Data Science Department of Engineering for Innovation University of Salento, Lecce, Italy Via per Monteroni 73100 Lecce, Italy Voice/Fax +39 0832 297371 Web https://www.massimocafaro.it Web https://www.unisalento.it/people/massimo.cafaro E-mail massimo.cafaro(a)unisalento.it E-mail cafaro(a)ieee.org E-mail cafaro(a)acm.org INGV National Institute of Geophysics and Volcanology Via di Vigna Murata 605 Roma CMCC Foundation Euro-Mediterranean Center on Climate Change Via Augusto Imperatore, 16 - 73100 Lecce massimo.cafaro(a)cmcc.it The sum of the intelligence on the planet is a constant; the population is growing. ************************************************************************************** --

1 0

Ada-Europe conference - 31 Jan Journal Track Extended Deadline
by Dirk.Craeynest＠cs.kuleuven.be 08 Jan '24

08 Jan '24

----------------------------------------------------------------------- UPDATED Call for Contributions 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024) 11-14 June 2024, Barcelona, Spain www.ada-europe.org/conference2024 *** Journal track deadline EXTENDED to 31 January 2024 *** *** Other submissions by 26 February 2024 *** Organized by Ada-Europe and Barcelona Supercomputing Center (BSC), in cooperation with ACM SIGAda, ACM SIGBED, ACM SIGPLAN, and Ada Resource Association (ARA) #AEiC2024 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** General Information The 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024) will take place in Barcelona, Spain. AEiC is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will also include keynotes, Q&A and discussion sessions, and social events. Participants include practitioners and researchers from industry, academia, and government organizations active in the development of reliable software technologies. The topics of interest for the conference include but are not limited to (more specific topics are described on the conference web page): * Formal and Model-Based Engineering of Critical Systems; * High-Integrity Systems and Reliability; * AI for High-Integrity Systems Engineering; * Real-Time Systems; * Ada Language; * Applications in Relevant Domains. The conference comprises different tracks and co-located events: * Journal track papers present research advances supported by solid theoretical foundation and thorough evaluation. * Industrial track contributions highlight industrial open challenges and/or the practitioners' side of a relevant case study or industrial project. * Work-in-progress track papers illustrate novel research ideas that are still at an initial stage, between conception and first prototype. * Tutorials guide attenders through a hands-on familiarization with innovative developments or with useful features related to reliable software. * Workshops provide discussion forums on themes related to the conference topics. * Vendor presentations and exhibitions allow for companies to showcase their latest products and services. *** Important Dates 31 January 2024 EXTENDED submission deadline for journal track papers 26 February 2024 Deadline for submission of industrial track papers, work-in-progress papers, tutorial and workshop proposals 22 March 2024 First round notification for journal track papers, and notification of acceptance for all other types of submissions 11-14 June 2024 Conference *** Call for Journal Track Submissions Following a journal-first model, this edition of the conference includes a journal track, which seeks original and high-quality papers that describe mature research work on the conference topics. Accepted journal track papers will be published in a Special Issue of Elsevier JSA - the Journal of Systems Architecture (Q1 ranked, CiteScore 8.5, impact factor 4.5). Accordingly, the conference is listed as "Journal Published" in the latest update of the CORE Conference Ranking released in August 2023. Contributions must be submitted by 31 January 2024. Submissions should be made online at https://www.editorialmanager.com/jsa/, selecting the "Ada-Europe AEiC 2024" option (submission page open from 15 November 2023) as article type of the paper. General information for submitting to the JSA can be found at the Journal of Systems Architecture website. JSA has adopted the Virtual Special Issue model to speed up the publication process, where Special Issue papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline. Authors who have successfully passed the first round of review will be invited to present their work at the conference. The abstract of the accepted contributions will be included in the conference booklet. The Ada-Europe organization will waive the Open Access fees for the first four accepted papers (whose authors do not already enjoy Open Access agreements). Subsequent papers will follow JSA regular publishing track. Prospective authors may direct all enquiries regarding this track to the corresponding chairs, Bjorn Andersson (baandersson(a)sei.cmu.edu) and Luis Miguel Pinho (lmp(a)isep.ipp.pt) *** Call for Industrial Track Submissions The conference seeks industrial practitioner presentations that deliver insight on the challenges of developing reliable software. Especially welcome kinds of submissions are listed on the conference website. Given their applied nature, such contributions will be subject to a dedicated practitioner-peer review process. Interested authors shall submit a 1-to-2 pages abstract, by 26 February 2024, via EasyChair at https://easychair.org/my/conference?conf=aeic2024, selecting the "Industrial Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be invited to expand their contributions into full-fledged articles for publication in the Ada User Journal, which will form the proceedings of the industrial track of the Conference. Prospective authors may direct all enquiries regarding this track to its chairs Luciana Provenzano (luciana.provenzano(a)mdu.se) and Michael Pressler (Michael.Pressler(a)de.bosch.com) *** Call for Work-in-Progress Track Submissions The work-in-progress track seeks two kinds of submissions: (a) ongoing research and (b) early-stage ideas. Ongoing research submissions are 4-page papers describing research results that are not mature enough to be submitted to the journal track. Early-stage ideas are 1-page papers that pitch new research directions that fall within the scope of the conference. Both kinds of submissions must be original and shall undergo anonymous peer review. Submissions by recent MSc graduates and PhD students are especially sought. Authors shall submit their work by 26 February 2024, via EasyChair at https://easychair.org/my/conference?conf=aeic2024, selecting the "Work-in-Progress Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be offered the opportunity to expand their contributions into 4-page articles for publication in the Ada User Journal, which will form the proceedings of the WiP track of the Conference. Prospective authors may direct all enquiries regarding this track to the corresponding chairs Alejandro R. Mosteo (amosteo(a)unizar.es) and Ruben Martins (rubenm(a)andrew.cmu.edu) *** Awards The organization will offer an honorary award for the best technical presentation, to be announced in the closing session of the conference. *** Call for Tutorials The conference seeks tutorials in the form of educational seminars on themes falling within the conference scope, with an academic or practitioner slant, including hands-on or practical elements. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half-day or full-day), the intended level of the contents (introductory, intermediate, or advanced), and a statement motivating attendance. Tutorial proposals shall be submitted at any time but no later than the 26 February 2024 to the respective chair Maria A. Serrano (maria.serrano(a)nearbycomputing.com) with subject line: "[AEiC 2024: tutorial proposal]". Once submitted, each tutorial proposal will be evaluated by the conference organizers as soon as possible, with decisions from January 1st. The authors of accepted full-day tutorials will receive a complimentary conference registration, halved for half-day tutorials. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops The conference welcomes satellite workshops centred on themes that fall within the conference scope. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the AEiC conference. Workshop organizers shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. Workshop proposals shall be submitted at any time but no later than the 26 February 2024 to the respective chair Sergio Saez (ssaez(a)disca.upv.es) with subject line: "[AEiC 2024: workshop proposal]". Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible, with decisions from January 1st. *** Academic Listing The Journal of Systems Architecture, publication venue of the journal track proceedings of the conference, is Q1 ranked, with CiteScore 8.5 and Impact Factor 4.5. The Ada User Journal, venue of all other technical proceedings of the conference, is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Exhibitors and Sponsors The conference will include a vendor and technology exhibition with the option of a 20 minutes presentation as part of the conference program. Interested providers should direct inquiries to the Exhibition & Sponsorship Chair Ahlan Marriot (ahlan(a)ada-switzerland.ch) *** Venue The conference will take place in Barcelona, Spain. Barcelona is a major cultural, economic, and financial centre, known for its architecture, culture, and Mediterranean atmosphere, a hub for technology and innovation. There's plenty to see and visit in Barcelona, so plan in advance! *** Organizing Committee - Conference Chair Sara Royuela, Barcelona Supercomputing Center, Spain sara.royuela(a)bsc.es - Journal Track Chairs Bjorn Andersson, Carnegie Mellon University, USA baandersson(a)sei.cmu.edu Luis Miguel Pinho, ISEP & INESC TEC, Portugal lmp(a)isep.ipp.pt - Industrial Track Chairs Luciana Provenzano, Mälardalen University, Sweden luciana.provenzano(a)mdu.se Michael Pressler, Robert Bosch GmbH, Germany Michael.Pressler(a)de.bosch.com - Work-In-Progress Track Chairs Alejandro R. Mosteo, CUD Zaragoza, Spain amosteo(a)unizar.es Ruben Martins, Carnegie Mellon University, USA rubenm(a)andrew.cmu.edu - Tutorial Chair Maria A. Serrano, NearbyComputing, Spain maria.serrano(a)nearbycomputing.com - Workshop Chair Sergio Saez, Universitat Politècnica de València, Spain ssaez(a)disca.upv.es - Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland ahlan(a)Ada-Switzerland.ch - Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium Dirk.Craeynest(a)cs.kuleuven.be - Webmaster Hai Nam Tran, University of Brest, France hai-nam.tran(a)univ-brest.fr - Local Chair Nuria Sirvent, Barcelona Supercomputing Center, Spain nuria.sirvent(a)bsc.es *** Journal Track Committee Al Mok, University of Texas at Austin, USA Alejandro Mosteo, CUD Zaragoza, Spain Alwyn Godloe, NASA, USA António Casimiro, University of Lisbon, Portugal Barbara Gallina, Mälardalen University, Sweden Bernd Burgstaller, Yonsei University, South Korea C. Michael Holloway, NASA, USA Cristina Seceleanu, Mälardalen University, Sweden Doug Schmidt, Vanderbilt University, USA Frank Singhoff, University of Brest, FR George Lima, Universidade Federal da Bahia, Brazil Isaac Amundson, Rockwell Collins, USA Jérôme Hugues, CMU/SEI, USA José Cruz, Lockeed Martin, USA Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway Laurent Pautet, Telecom ParisTech, France Leonidas Kosmidis, Barcelona Supercomputing Center, Spain Mario Aldea Rivas, University of Cantabria, Spain Matthias Becker, KTH - Royal Institute of Technology, Sweden Patricia López Martínez, University of Cantabria, Spain Sara Royuela, Barcelona Supercomputing Center, Spain Sergio Sáez, Universitat Politècnica de València, Spain Tucker Taft, AdaCore, USA Tullio Vardanega, University of Padua, Italy Xiaotian Dai, University of York, England *** Industrial Track Committee Aida Causevic, Alstom, Sweden Alexander Viehl, Research Center for Information Technology, Germany Ana Rodríguez, Silver Atena, Spain Aurora Agar, NATO, Netherlands Behnaz Pourmohseni, Robert Bosch GmbH, Germany Claire Dross, AdaCore, France Elena Lisova, Volvo CE, Sweden Enricco Mezzeti, Barcelona Supercomputing Center, Spain Federico Aromolo, Scuola Superiore Sant'Anna, Italy Helder Silva, Edisoft, Portugal Hugo Torres Vieira, Evidence Srl, Italy Irune Agirre, Ikerlan, Spain Jordi Cardona, Rapita Systems, Spain José Ruiz, AdaCore, France Joyce Tokar, Raytheon, USA Luciana Alvite, Alstom, Germany Marco Panunzio, Thales Alenia Space, France Patricia Balbastre Betoret, Valencia Polytechnic University, Spain Philippe Waroquiers, Eurocontrol NMD, Belgium Raúl de la Cruz, Collins Aerospace, Ireland Santiago Urueña, GMV, Spain Stef Van Vlierberghe, Eurocontrol NMD, Belgium *** Work-in-Progress Track Committee Alan Oliveira, University of Lisbon, Portugal J. Javier Gutiérrez, University of Cantabria, Spain Jérémie Guiochet, LAAS-CNRS, France Kalinka Branco, University of São Paulo, Brazil Katherine Kosaian, University of Iowa, USA Kevin Cheang, AWS, USA Kristin Yvonne Rozier, Iowa State University, USA Leandro Buss Becker, University of Manchester, UK Li-Pin Chang, National Yang Ming Chiao Tung University, Taiwan Mathias Preiner, Stanford University, USA Raffaele Romagnoli, Carnegie Mellon University, USA Robert Kaiser, RheinMain University of Applied Sciences, Germany Sara Abbaspour, Mälardalen University, Sweden Sergi Alcaide, Barcelona Supercomputing Center, Spain Simona Bernardi, Unizar, Spain Stefan Mitsch, School of Computing at DePaul University, USA Teresa Lázaro, Aragon's Institute of Technology, Spain Tiago Carvalho, ISEP, Portugal Yannick Moy, AdaCore, France *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 28th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon, Portugal ('18), Warsaw, Poland ('19), online from Santander, Spain ('21), Ghent, Belgium ('22), and Lisbon, Portugal ('23). Information on previous editions of the conference can be found at www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2024 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be * 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024) * June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024

1 0

CFP: IEEE International Conference on Cloud Computing (IEEE CLOUD 2024)
by Bahman Javadi 08 Jan '24

08 Jan '24

IEEE International Conference on Cloud Computing (IEEE CLOUD 2024) July 7-13, 2024, Shenzhen, Chinahttps://cloud.conferences.computer.org/2024 IEEE CLOUD is the flagship conference focusing on innovative cloud computing across all " Everything as a service" paradigms (XaaS). This includes modeling, designing, developing, publishing, monitoring, managing, operating, delivering, and scaling XaaS offerings from the cloud to the edge. The conference is a prime international forum for researchers, academics, businesses, industry, and standard bodies to exchange the latest fundamental advances in the state of the art and practice of cloud computing, identify emerging research topics, and define the future of cloud computing. IEEE CLOUD 2024 invites original papers addressing all aspects of cloud computing infrastructure, applications, and business innovations. Topics of interest include but are not limited to the following: Cloud and AI * Cloud Computing for AI (LLMs, distributed machine learning, federated learning, etc.) * AI for the Cloud (predictive analysis, anomaly detection, automation for load balancing, remediation, and migration) * Use of Cloud to Improve AI Research and Deployment and Automation for Remediation & Mitigation * Observability, Transparency, and Reproducibility Infrastructure * Cloud Computing Systems and Data Center Architectures * Cloud-Centric Network Architectures (SDN, NFV, etc) * Cloud-Native Programming Models (Serverless, Microservices, Containers, etc.) * Virtualization, Containers, and Virtual Machines * Cloud Storage * Multi-Tenancy in the Cloud * Edge and Fog Computing Infrastructure * Internet-of-Things Infrastructure and Cyber-Physical Systems Cloud-based Applications * Large-Scale Cloud Applications * Machine Learning, Deep Learning, and LLM Applications * Distributed Ledger Applications * IoT Applications * Mobile Applications * Digital Twins & Metaverse Applications Cloud Management and Operations * Hybrid-Cloud Integration * Multi-Cloud Environments * Inter-Cloud Inoperability * Distributed and Parallel Query Processing * Resource Management * Cloud Metering and Monitoring * Energy Efficiency, Sustainability, and Management * Fault Tolerance, High availability, and Reliability * Cloud Service Adaptation and Automation * Cloud Federation, Service Composition * Sustainable Cloud Computing Cloud Security * Confidential Cloud Computing and Trusted Cloud Environments * Access Control, Authorization, and Authentication * Assurance, Audit, Certification, Compliance * Privacy-aware Data Management * Cross Data Center and Data Management Cloud Economics * Cloud Strategy for Enterprise Business Transformation * Cloud Service Level Agreement (SLAs) * Economics and Business Models for XaaS * Cloud Quality Management * Cloud ROI Analysis, Cost, and Pricing * Cross Cloud Data Market and Trading Cloud Service Delivery * Infrastructure as a Service (IaaS) * Platform as a Service (PaaS) * Function as a Service (FaaS) * Software as a Service (SaaS) * Network / Storage as a Service * Machine Learning as a Service * LLM as a Service Cloud Computing Paradigms * Quantum Cloud Computing * Sky Computing * Edge Cloud Computing * Mobile Cloud Computing * Satellite Cloud Computing * Computing Continuum and Edge-Cloud-HPC Federation IMPORTANT DATES (ANYWHERE ON EARTH) December 1, 2023: Easy Chair open for submissions March 17, 2024: Deadline to register papers March 24, 2024: Deadline for final submissions May 6, 2024: Acceptance notifications July 7-13, 2024: SERVICES Congress in Shenzhen, China MANUSCRIPT GUIDELINES AND SUBMISSION INFORMATION Please visit theĸInformation for Authors pageĸon the Congress website for manuscript guidelines: https://services.conferences.computer.org/2024/info-for-authors GENERAL CHAIRS Tevfik Kosar, University at Buffalo Sreekrishnan Venkateswaran, Kyndryl Shangguang Wang, BUPT PROGRAM CHAIRS Xuanzhe Liu, Peking University Seetharami Seelam, IBM Research, Yorktown Santonu Sarkar, Birla Institute of Technology & Science PUBLICITY CHAIRS Nicola Bena, University of Milan Bahman Javadi, Western Sydney University Xuan Lu, University of Arizona Madhumita Phukan, Tech Mahindra Carlos Westphall, Federal University of Santa Catarina Zaipeng Xie, Hohai University

1 0

AI, Big Data and Blockchain 2024 - Call for Papers
by MobiWIS Conference 07 Jan '24

07 Jan '24

------------------------ Call for Papers ----------------------------- The 5th Joint International Conference on AI, Big Data and Blockchain (ABB 2024) Hybrid Event, Vienna, Austria 19-21 Aug 2024 http://www.ficloud.org/abb2024/ ----------------------------------------------------------------------- Artificial Intelligence (AI) and the associated machine & deep learning models, methods, tools and techniques have increasingly been used for developing autonomous and intelligent systems which can revolutionize industrial and commercial applications in various fields such as online commerce, intelligent transportation, healthcare and medicine, security, manufacturing, education, games, and various other industrial applications. All such fields produce and consume massive amount of big data, which include, for example, online commerce data (marketing data, customer reviews, customer relationship), transportation data (road sensors, cameras, GPS), and data about healthcare, social media, and various other applications. Deep learning techniques and big data techniques yield useful outputs in predicting, discovering and acquiring insights and deeper knowledge about events for better and efficient decision making. The groundbreaking technology of blockchain technology also enable decentralization, immutability, and transparency of data and applications. It has been exploited in modern research and industrial domains in order to achieve high level of trust, security and reliable execution of applications and data which are shared across a network of computers. The joint international conference on AI, Big Data and Blockcain aims to enable synergy between these areas and to provide a leading forum for researchers, developers, practitioners, and professional from public sectors and industries in order to meet and share latest solutions and ideas in solving cutting edge problems in modern information society and economy. The conference focuses on specific challenges in AI, big data and blockchain. Topics of interest include (but not limited to): - Deep/Machine learning based models - Statistical models and learning - Data analysis, insights and hidden pattern - Data analysis and decision making - Data wrangling, munching and cleaning - Data integration and fusion - Data visualization - Data and information quality - Security threat detection - Visualizing security threats - Enhancing privacy and trust - Data mining; Information extraction; - Sentiment analysis - Data classification and clustering - Knowledge acquisition and learning - Clustering, classification and regression - Supervised and unsupervised learning - Blockain security and trust - Blockchain data management - Data & application reliability - Blockchain and data distribution - Blockain and finacial transactions - Blockchain and Bitcoin applications - Blockain and NoSQL databases - Protocols for blockchain - Cryptography, Cryptocurrency - Fraud detection and prevention - Blockchain and Internet of Things - Scalability of blockchains Application areas: - Finance, business and retail - Intelligent transportation - Healthcare and clinical decision support - Bioinformatics and biomedical informatics - Computer vision - Human activity recognition - Cybersecurity - Natural language processing - Recommender systems - Social media and networks Important Dates: Submission Deadline: 11 March 2024 Authors Notification: 25 May 2024 Final Manuscript Due: 15 June 2024 Paper Submission: Papers must be written in English. Full papers should be limited to 12 pages. Short papers should be limited to 8 pages. Papers must be formatted in Springer's format. See Information for Authors of Springer Proceedings ( https://www.springer.com/us/authors-editors/conference-proceedings/conferen… ). All papers accepted for this conference are peer-reviewed and are planned to be published by Springer in the Lecture Notes in Networks and Systems series. Submitted research papers may not overlap with papers that have already been published or that are simultaneously submitted to a journal or a conference with proceeding Submission:of papers are done through the EasyChair submission system. See conference website for further details.

1 0

FiCloud 2024 Conference - Call for Papers
by MobiWIS Conference 07 Jan '24

07 Jan '24

----------------------Call for Papers ------------------------------- The 11th International Conference on Future Internet of Things and Cloud (FiCloud 2024) Vienna, Austria [Hybrid] 19-21 August 2024 http://www.ficloud.org/2024 --------------------------------------------------------------------------------------- The Internet of Things (IoT) vision is to provide a dynamic and global network infrastructure which is characterized by intelligent and self configuring capabilities. IoT is considered as an integral part of the future Internet. It is based on interoperable communication protocols in order to enable the interaction and integration of virtual as well as physical Things such as computers, smart devices, sensors, cars, refrigerators, food packages, medicines, etc. Things can be seamlessly integrated into the information network and interaction can be made through the provision of intelligent interfaces. In not so distant future, IoT will be forcing its way into every aspect of our lives and technologies including smart homes, smart cities, environment and nature, green energy, food, medicine, automotive, aerospace and aviation, telecommunication, and so on. IoT is generally characterized by real world and small Things, limited capacity, constrained devices and the consequential issues such as less reliability, security and privacy. Cloud computing on the other hand deals mainly with virtual world and has unlimited capabilities in terms of storage and processing power. Thus cloud and IoT are the main complementary aspects of the future Internet. IoT can benefit from the unlimited capabilities and resources of cloud computing. Similarly, cloud can benefit from IoT by extending its scope to deal with real world things in a more distributed and dynamic manner. The theme of this conference is to promote the state of the art in scientific and practical research of the IoT and cloud computing. It provides a forum for bringing together researchers and practitioners from academia, industry, and public sector in an effort to present their research work and share research and development ideas in the area of IoT and cloud computing. CONFERENCE TRACKS: - Software Models and Services - Big Data in Cloud and IoT - Security, Privacy and Trust - Context-aware Systems - Networking and Communication Protocols - Performance Modelling and Evaluation - AI and Machine Learning - Energy Efficiency - Cloud and IoT Continuum - Fog and Edge Computing - Industry Track Important Dates: Submission Deadline: 11 March 2024 Authors Notification: 25 May 2024 Final Manuscript Due: 15 June 2024 Paper submission and Publication: Authors are requested to submit papers reporting original research results and experience. The page limit for full papers is 8 pages and for short papers is 6 pages. Papers should be prepared using IEEE two-column template. See instructions on the conference website link (given above). All papers accepted for this conference are planned to be published in the conference proceedings by the IEEE Computer Society Conference Publishing Service (CPS). The proceedings will be submitted to the IEEE-Xplore and the IEEE Computer Society (CSDL) digital libraries. The proceedings are also submitted for indexing through IEE INSPEC, EI (Compendex), Thomson ISI, and other indexing services. Authors of selected papers will be invited to submit extended versions of their papers for special issues in international journals. For paper submission please, see the conference website.

1 0

MobiWis 2024 Conference - Call for Papers
by MobiWIS Conference 07 Jan '24

07 Jan '24

------------------------ Call for Papers----------------------------- The 20the International Conference on Mobile Web and Intelligent Information Systems (MobiWis 2024) Hybrid Event, Vienna, Austria 19-21 Aug 2024 http://www.mobiwis.org/2024/ ----------------------------------------------------------------------------- The areas of the Web, mobile technologies, and information systems have been following a continuous and steady development over a number of years through the innovative research and practices of researchers, developers and practitioners from academia, industry, governmental and scientific organizations. The International Conference on Mobile Web and Intelligent Information Systems (MobiWis) aims to enable synergy between these areas and provides the premier venue to present and discuss latest research and developments related to research issues of the mobile web and the engineering of intelligent and innovative mobile systems and services. The conference comprises a set of carefully selected tracks that focus on the particular challenges regarding mobile Web and intelligent information systems. Topics of conference include (but not limited to): Conference Tracks: - Smart and Intelligent Systems - Software Design and Development - Middleware and SOA - Pervasive and Ubiquitous Applications - Data management - Security, Trust and Privacy - Mobile Commerce and Services - Transforming Technology - HCI in Mobile Applications - Context & Location-aware Services - Network and Communication - Industrial Applications and Demos Important Dates: Submission Deadline: 11 March 2024 Authors Notification: 25 May 2024 Final Manuscript Due: 15 June 2024 Submission Instructions: Full papers must be in English and must not exceed 12 pages. Short papers should be limited to 8 pages. Papers should be formatted in Springer's LNCS format. See submission instructions on the conference website. Publication: All accepted papers are planned to be included in the conference proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series. For each accepted paper, at least one author must register for the conference and present the paper. Authors of selected papers will be invited to submit an extended version of their papers for a special issues in international journals (see conference website). Lecture Notes in Computer Science (LNCS) series is indexed by the ISI Conference Proceedings Citation Index - Science (CPCI-S), included in ISI Web of Science, EI Engineering Index (Compendex and Inspec databases), ACM Digital Library, dblp, Google Scholar, Scopus, etc. See LNCS - Information on Abstracting and Indexing ( http://www.springer.com/computer/lncs?SGWID=0-164-6-1068921-0)

1 0

Ada-Europe Conference - 2nd Call for Contributions - AEiC 2024
by Dirk.Craeynest＠cs.kuleuven.be 04 Dec '23

04 Dec '23

----------------------------------------------------------------------- UPDATED Call for Contributions 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024) 11-14 June 2024, Barcelona, Spain www.ada-europe.org/conference2024 *** Journal track submissions by 15 January 2024 *** *** Other submissions by 26 February 2024 *** Organized by Ada-Europe and Barcelona Supercomputing Center (BSC), in cooperation with ACM SIGAda, ACM SIGBED, ACM SIGPLAN, and Ada Resource Association (ARA) #AEiC2024 #AdaEurope #AdaProgramming ----------------------------------------------------------------------- *** General Information The 28th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2024) will take place in Barcelona, Spain. AEiC is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. The program will also include keynotes, Q&A and discussion sessions, and social events. Participants include practitioners and researchers from industry, academia, and government organizations active in the development of reliable software technologies. The topics of interest for the conference include but are not limited to (more specific topics are described on the conference web page): * Formal and Model-Based Engineering of Critical Systems; * High-Integrity Systems and Reliability; * AI for High-Integrity Systems Engineering; * Real-Time Systems; * Ada Language; * Applications in Relevant Domains. The conference comprises different tracks and co-located events: * Journal track papers present research advances supported by solid theoretical foundation and thorough evaluation. * Industrial track contributions highlight industrial open challenges and/or the practitioners' side of a relevant case study or industrial project. * Work-in-progress track papers illustrate novel research ideas that are still at an initial stage, between conception and first prototype. * Tutorials guide attenders through a hands-on familiarization with innovative developments or with useful features related to reliable software. * Workshops provide discussion forums on themes related to the conference topics. * Vendor presentations and exhibitions allow for companies to showcase their latest products and services. *** Important Dates 15 January 2024 Deadline for submission of journal track papers 26 February 2024 Deadline for submission of industrial track papers, work-in-progress papers, tutorial and workshop proposals 22 March 2024 First round notification for journal track papers, and notification of acceptance for all other types of submissions 11-14 June 2024 Conference *** Call for Journal Track Submissions Following a journal-first model, this edition of the conference includes a journal track, which seeks original and high-quality papers that describe mature research work on the conference topics. Accepted journal track papers will be published in a Special Issue of Elsevier JSA - the Journal of Systems Architecture (Q1 ranked, CiteScore 8.5, impact factor 4.5). Accordingly, the conference is listed as "Journal Published" in the latest update of the CORE Conference Ranking released in August 2023. Contributions must be submitted by 15 January 2024. Submissions should be made online at https://www.editorialmanager.com/jsa/, selecting the "Ada-Europe AEiC 2024" option (submission page open from 15 November 2023) as article type of the paper. General information for submitting to the JSA can be found at the Journal of Systems Architecture website. JSA has adopted the Virtual Special Issue model to speed up the publication process, where Special Issue papers are published in regular issues, but marked as SI papers. Acceptance decisions are made on a rolling basis. Therefore, authors are encouraged to submit papers early, and need not wait until the submission deadline. Authors who have successfully passed the first round of review will be invited to present their work at the conference. The abstract of the accepted contributions will be included in the conference booklet. The Ada-Europe organization will waive the Open Access fees for the first four accepted papers (whose authors do not already enjoy Open Access agreements). Subsequent papers will follow JSA regular publishing track. Prospective authors may direct all enquiries regarding this track to the corresponding chairs, Bjorn Andersson (baandersson(a)sei.cmu.edu) and Luis Miguel Pinho (lmp(a)isep.ipp.pt) *** Call for Industrial Track Submissions The conference seeks industrial practitioner presentations that deliver insight on the challenges of developing reliable software. Especially welcome kinds of submissions are listed on the conference website. Given their applied nature, such contributions will be subject to a dedicated practitioner-peer review process. Interested authors shall submit a 1-to-2 pages abstract, by 26 February 2024, via EasyChair at https://easychair.org/my/conference?conf=aeic2024, selecting the "Industrial Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be invited to expand their contributions into full-fledged articles for publication in the Ada User Journal, which will form the proceedings of the industrial track of the Conference. Prospective authors may direct all enquiries regarding this track to its chairs Luciana Provenzano (luciana.provenzano(a)mdu.se) and Michael Pressler (Michael.Pressler(a)de.bosch.com) *** Call for Work-in-Progress Track Submissions The work-in-progress track seeks two kinds of submissions: (a) ongoing research and (b) early-stage ideas. Ongoing research submissions are 4-page papers describing research results that are not mature enough to be submitted to the journal track. Early-stage ideas are 1-page papers that pitch new research directions that fall within the scope of the conference. Both kinds of submissions must be original and shall undergo anonymous peer review. Submissions by recent MSc graduates and PhD students are especially sought. Authors shall submit their work by 26 February 2024, via EasyChair at https://easychair.org/my/conference?conf=aeic2024, selecting the "Work-in-Progress Track". The format for submission is strictly in PDF, following the Ada User Journal style. Templates are available at http://www.ada-europe.org/auj/guide. The abstract of the accepted contributions will be included in the conference booklet. The corresponding authors will get a presentation slot in the prime-time technical program of the conference and will also be offered the opportunity to expand their contributions into 4-page articles for publication in the Ada User Journal, which will form the proceedings of the WiP track of the Conference. Prospective authors may direct all enquiries regarding this track to the corresponding chairs Alejandro R. Mosteo (amosteo(a)unizar.es) and Ruben Martins (rubenm(a)andrew.cmu.edu) *** Awards The organization will offer an honorary award for the best technical presentation, to be announced in the closing session of the conference. *** Call for Tutorials The conference seeks tutorials in the form of educational seminars on themes falling within the conference scope, with an academic or practitioner slant, including hands-on or practical elements. Tutorial proposals shall include a title, an abstract, a description of the topic, an outline of the presentation, the proposed duration (half-day or full-day), the intended level of the contents (introductory, intermediate, or advanced), and a statement motivating attendance. Tutorial proposals shall be submitted at any time but no later than the 26 February 2024 to the respective chair Maria A. Serrano (maria.serrano(a)nearbycomputing.com) with subject line: "[AEiC 2024: tutorial proposal]". Once submitted, each tutorial proposal will be evaluated by the conference organizers as soon as possible, with decisions from January 1st. The authors of accepted full-day tutorials will receive a complimentary conference registration, halved for half-day tutorials. The Ada User Journal will offer space for the publication of summaries of the accepted tutorials. *** Call for Workshops The conference welcomes satellite workshops centred on themes that fall within the conference scope. Proposals may be submitted for half- or full-day events, to be scheduled at either end of the AEiC conference. Workshop organizers shall also commit to producing the proceedings of the event, for publication in the Ada User Journal. Workshop proposals shall be submitted at any time but no later than the 26 February 2024 to the respective chair Sergio Saez (ssaez(a)disca.upv.es) with subject line: "[AEiC 2024: workshop proposal]". Once submitted, each workshop proposal will be evaluated by the conference organizers as soon as possible, with decisions from January 1st. *** Academic Listing The Journal of Systems Architecture, publication venue of the journal track proceedings of the conference, is Q1 ranked, with CiteScore 8.5 and Impact Factor 4.5. The Ada User Journal, venue of all other technical proceedings of the conference, is indexed by Scopus and by EBSCOhost in the Academic Search Ultimate database. *** Call for Exhibitors and Sponsors The conference will include a vendor and technology exhibition with the option of a 20 minutes presentation as part of the conference program. Interested providers should direct inquiries to the Exhibition & Sponsorship Chair Ahlan Marriot (ahlan(a)ada-switzerland.ch) *** Venue The conference will take place in Barcelona, Spain. Barcelona is a major cultural, economic, and financial centre, known for its architecture, culture, and Mediterranean atmosphere, a hub for technology and innovation. There's plenty to see and visit in Barcelona, so plan in advance! *** Organizing Committee - Conference Chair Sara Royuela, Barcelona Supercomputing Center, Spain sara.royuela(a)bsc.es - Journal Track Chairs Bjorn Andersson, Carnegie Mellon University, USA baandersson(a)sei.cmu.edu Luis Miguel Pinho, ISEP & INESC TEC, Portugal lmp(a)isep.ipp.pt - Industrial Track Chairs Luciana Provenzano, Mälardalen University, Sweden luciana.provenzano(a)mdu.se Michael Pressler, Robert Bosch GmbH, Germany Michael.Pressler(a)de.bosch.com - Work-In-Progress Track Chairs Alejandro R. Mosteo, CUD Zaragoza, Spain amosteo(a)unizar.es Ruben Martins, Carnegie Mellon University, USA rubenm(a)andrew.cmu.edu - Tutorial Chair Maria A. Serrano, NearbyComputing, Spain maria.serrano(a)nearbycomputing.com - Workshop Chair Sergio Saez, Universitat Politècnica de València, Spain ssaez(a)disca.upv.es - Exhibition & Sponsorship Chair Ahlan Marriott, White Elephant GmbH, Switzerland ahlan(a)Ada-Switzerland.ch - Publicity Chair Dirk Craeynest, Ada-Belgium & KU Leuven, Belgium Dirk.Craeynest(a)cs.kuleuven.be - Webmaster Hai Nam Tran, University of Brest, France hai-nam.tran(a)univ-brest.fr - Local Chair Nuria Sirvent, Barcelona Supercomputing Center, Spain nuria.sirvent(a)bsc.es *** Journal Track Committee Al Mok, University of Texas at Austin, USA Alejandro Mosteo, CUD Zaragoza, Spain Alwyn Godloe, NASA, USA António Casimiro, University of Lisbon, Portugal Barbara Gallina, Mälardalen University, Sweden Bernd Burgstaller, Yonsei University, South Korea C. Michael Holloway, NASA, USA Cristina Seceleanu, Mälardalen University, Sweden Doug Schmidt, Vanderbilt University, USA Frank Singhoff, University of Brest, FR George Lima, Universidade Federal da Bahia, Brazil Isaac Amundson, Rockwell Collins, USA Jérôme Hugues, CMU/SEI, USA José Cruz, Lockeed Martin, USA Kristoffer Nyborg Gregertsen, SINTEF Digital, Norway Laurent Pautet, Telecom ParisTech, France Leonidas Kosmidis, Barcelona Supercomputing Center, Spain Mario Aldea Rivas, University of Cantabria, Spain Matthias Becker, KTH - Royal Institute of Technology, Sweden Patricia López Martínez, University of Cantabria, Spain Sara Royuela, Barcelona Supercomputing Center, Spain Sergio Sáez, Universitat Politècnica de València, Spain Tucker Taft, AdaCore, USA Tullio Vardanega, University of Padua, Italy Xiaotian Dai, University of York, England *** Industrial Track Committee Aida Causevic, Alstom, Sweden Alexander Viehl, Research Center for Information Technology, Germany Ana Rodríguez, Silver Atena, Spain Aurora Agar, NATO, Netherlands Behnaz Pourmohseni, Robert Bosch GmbH, Germany Claire Dross, AdaCore, France Elena Lisova, Volvo CE, Sweden Enricco Mezzeti, Barcelona Supercomputing Center, Spain Federico Aromolo, Scuola Superiore Sant'Anna, Italy Helder Silva, Edisoft, Portugal Hugo Torres Vieira, Evidence Srl, Italy Irune Agirre, Ikerlan, Spain Jordi Cardona, Rapita Systems, Spain José Ruiz, AdaCore, France Joyce Tokar, Raytheon, USA Luciana Alvite, Alstom, Germany Marco Panunzio, Thales Alenia Space, France Patricia Balbastre Betoret, Valencia Polytechnic University, Spain Philippe Waroquiers, Eurocontrol NMD, Belgium Raúl de la Cruz, Collins Aerospace, Ireland Santiago Urueña, GMV, Spain Stef Van Vlierberghe, Eurocontrol NMD, Belgium *** Work-in-Progress Track Committee Alan Oliveira, University of Lisbon, Portugal J. Javier Gutiérrez, University of Cantabria, Spain Jérémie Guiochet, LAAS-CNRS, France Kalinka Branco, University of São Paulo, Brazil Katherine Kosaian, University of Iowa, USA Kevin Cheang, AWS, USA Kristin Yvonne Rozier, Iowa State University, USA Leandro Buss Becker, University of Manchester, UK Li-Pin Chang, National Yang Ming Chiao Tung University, Taiwan Mathias Preiner, Stanford University, USA Raffaele Romagnoli, Carnegie Mellon University, USA Robert Kaiser, RheinMain University of Applied Sciences, Germany Sara Abbaspour, Mälardalen University, Sweden Sergi Alcaide, Barcelona Supercomputing Center, Spain Simona Bernardi, Unizar, Spain Stefan Mitsch, School of Computing at DePaul University, USA Teresa Lázaro, Aragon's Institute of Technology, Spain Tiago Carvalho, ISEP, Portugal Yannick Moy, AdaCore, France *** Previous Editions Ada-Europe organizes annual international conferences since the early 80's. This is the 28th event in the Reliable Software Technologies series, previous ones being held at Montreux, Switzerland ('96), London, UK ('97), Uppsala, Sweden ('98), Santander, Spain ('99), Potsdam, Germany ('00), Leuven, Belgium ('01), Vienna, Austria ('02), Toulouse, France ('03), Palma de Mallorca, Spain ('04), York, UK ('05), Porto, Portugal ('06), Geneva, Switzerland ('07), Venice, Italy ('08), Brest, France ('09), Valencia, Spain ('10), Edinburgh, UK ('11), Stockholm, Sweden ('12), Berlin, Germany ('13), Paris, France ('14), Madrid, Spain ('15), Pisa, Italy ('16), Vienna, Austria ('17), Lisbon, Portugal ('18), Warsaw, Poland ('19), online from Santander, Spain ('21), Ghent, Belgium ('22), and Lisbon, Portugal ('23). Information on previous editions of the conference can be found at www.ada-europe.org/confs/ae. ----------------------------------------------------------------------- Our apologies if you receive multiple copies of this announcement. Please circulate widely. Dirk Craeynest, AEiC 2024 Publicity Chair Dirk.Craeynest(a)cs.kuleuven.be * 28th Ada-Europe Int. Conf. Reliable Software Technologies (AEiC 2024) * June 11-14, 2024, Barcelona, Spain, www.ada-europe.org/conference2024

1 0

Call for Papers, PDSEC-2024 Workshop, May 2024
by Jean-Claude Charr 01 Dec '23

01 Dec '23

**CALL FOR PAPERS** The 25th IEEE International Workshop on Parallel and Distributed Scientific and Engineering Computing (PDSEC-2024) (http://www.ieee- <http://www.ieee-/> tcsc.org/2024/pdsec/ <http://tcsc.org/2024/pdsec/>) will be held on May 31, 2024 in San Francisco, California, USA, in conjunction with IPDPS 2024. Deadline: PDSEC-2024 deadline: 19 Jan 2024 (AoE) Scope and Interests: The technological trends in HPC system evolution indicates an increasing burden placed on application developers due to the management of the unprecedented complexity levels of hardware and its associated performance characteristics. Many existing scientific applications codes are unlikely to perform well on future systems without major modifications or even complete rewrites. In the future, it will be necessary to utilize, in concert, many characteristics such as multiple levels of parallelism, many lightweight cores, complex memory hierarchies, novel I/O technology, power capping, system-wide temporal/spatial performance heterogeneity and reliability concerns. The parallel and distributed computing (PDC) community has developed new programming models, algorithms, libraries and tools to meet these challenges in order to accommodate productive code development and effective system use. However, the scientific application community still needs to identify the benefit through practical evaluations. Thus, the focus of this workshop is on methodologies and experiences used in scientific and engineering applications and algorithms to achieve sustainable code development for better productivity, application performance and reliability. In particular, we will focus on the following topics in parallel and distributed scientific and engineering applications, and not limited to: - Big scientific data - Performance modeling and simulation for the execution of scalable scientific applications on new heterogeneous architectures - Graph analytics with their (scientific) applications - Code modernization methodologies and experiences for adapting the changes in future computing systems - Languages for scientific computing on hybrid systems (e.g. Python, MPI+X where X is OpenMP, OpenCL, CUDA etc.) - Tools and techniques for improving the performance, reliability and resilience of scientific applications - Use cases of enterprise distributed computing technology (such as MapReduce, Data Analytics and Machine-learning tools) in scientific and engineering applications - Scalable parallel and distributed algorithms supporting science and engineering applications - Performance portability across heterogeneous architecture Important Dates: Paper submission due . . . . . . . . . . . . . . January 19, 2024 Notification of Acceptance . . . . . . . . . . February 23, 2024 Final camera-ready paper . . . . . . . . . . . .February 29, 2024 Workshop . . . . . . . . . . . . . . . . . . . . . . . . May 31, 2024 General Chairs Sabine Roller, German Aerospace Center (DLR), Germany George Bosilca, University of Tennessee, USA Program Chairs Raphael Couturier, University of Franche-Comte, France Neda Ebrahimi Pour, German Aerospace Center (DLR), Germany Publicity Chair Jean-Claude Charr, University of Franche-Comte, France Steering Committee Laurence T. Yang (Chair), St. Francis Xavier University, Canada Thomas Rauber, University of Bayreuth, Germany Gudula Runger, Chemnitz University of Technology, Germany Web Chair Jiawei Wang, St. Francis Xavier University, Canada Sincerely, Jean-Claude Charr Associate professor at IUT NFC University of Franche-Comte, France

1 0

Deadline Extended: The 24th IEEE/ACM International Symposium on Cluster, Cloud, and Internet Computing (CCGrid 2024)
by Bahman Javadi 01 Dec '23

01 Dec '23

The 24th IEEE/ACM International Symposium on Cluster, Cloud, and Internet Computing (CCGrid 2024) is a leading forum for disseminating and discussing research activities and results on a broad range of topics in distributed systems, ranging from computing Clusters to widely distributed clouds and emerging Internet computing paradigms, such as fog/edge computing for Internet of Things (IoT)/big data applications. The conference features keynotes, technical presentations, posters, workshops, and the SCALE challenge featuring live demonstrations. https://2024.ccgrid-conference.org/call-for-papers/ Specific topics of interest include but are not limited to the following research tracks: - Track 1 <https://2024.ccgrid-conference.org/tracks-and-activities/track1/>: Hardware Systems and Networking: Sustainable and green computing; architecture, networking of data centers; virtualized hardware (GPUs, tensor processing units, FPGAs); RISC V / Open hardware architectures, etc. - Track 2 <https://2024.ccgrid-conference.org/tracks-and-activities/track2/>: Software Systems and Platforms: Service-oriented architectures; utility computing models; IaaS, PaaS, SaaS; programming models and runtime systems; resource management and scheduling; and energy-efficient software. - Track 3 <https://2024.ccgrid-conference.org/tracks-and-activities/track3/>: Machine Learning (ML) for Systems and Systems for ML: Techniques, platforms, and systems for supporting machine learning and artificial intelligence applications; use of ML/AI applications to enhance the performance of cluster, cloud and Internet-computing systems; ML/AI techniques for workload prediction; application scheduling, resource placement, resilience in cluster, cloud and Internet-computing systems. - Track 4 <https://2024.ccgrid-conference.org/tracks-and-activities/track4/>: Future Compute Continuum and Seamless Ecosystems: Internet computing frontiers; future Internet; osmotic computing; cloud-economics; post- and Non-Von Neumann computing; quantum computing. - Track 5 <https://2024.ccgrid-conference.org/tracks-and-activities/track5/>: Applications and Workflows: Data science; machine learning and artificial intelligence applications; cyber-physical systems; e-Health; Internet of Things (IoT)-enabled smart systems and applications; workflows. - Track 6 <https://2024.ccgrid-conference.org/tracks-and-activities/track6/>: Performance Monitoring, Modeling, Analysis, and Benchmarking: Performance models; monitoring and evaluation tools; analysis of system/application performance; performance benchmarking; visualization for system or application performance; cloud performance; edge performance; and cloud-native performance tools. - Track 7 <https://2024.ccgrid-conference.org/tracks-and-activities/track7/>: Distributed and Parallel Storage Systems: storage and memory stack architecture; distributed and parallel storage; HW/SW co-design for storage systems; NVM storage; cloud storage; edge storage; storage- and memory-as-a-service; file and data management; key-value stores; CDNs; data privacy, integrity, and regulation; resilience of service attacks. - Track 8 <https://2024.ccgrid-conference.org/tracks-and-activities/track8/>: Education about Cluster, Cloud and Internet Computing: curriculum, didactics, and technology developments for cluster, cloud, and Internet-scale computing; virtual laboratory; teaching parallel and distributed systems; teaching performance; teaching cloud, cluster, and Internet-scale technologies; sharing digital learning objects; sharing lab experiments; reproducing educational experiments; teaching methodology in cluster, cloud and Internet computing. Papers Due (Abstract): November 27, 2023, extended to December 4, 2023 Papers Due (Final): December 4, 2023, extended to December 11, 2023

1 0

WSCG 2024 - CfP - 32. Conf. on Computer Graphics, Visualization and Computer Vision 2024
by Prof. Ing. Vaclav Skala, CSc. 26 Nov '23

26 Nov '23

Please, forward also to your fellows and/or PhD students Info sent via a list server: computational.science(a)lists.iccsa.org ----------- WSCG 2024 - Call for Papers -------------- 32. WSCG 2024 Conference on Computer Graphics, Visualization & Computer Vision 2024 (preferred physical mode) -- In cooperation with the Eurographics Association -- Pilsen (the city of beer) close to Prague, Czech Republic June 3-6, 2024 - http://www.wscg.cz - detailed info - http://www.wscg.eu ------------------ Important dates & Submission: January 10, 2024 - special session/workshop proposals via email only -------------- via submission server only --------------- February 28, 2024 Abstract - recommended sooner February 28, 2024 - Full, Short, Poster papers (submission via server only [http://wscgreg.zcu.cz] Accepted papers to be published in - Computer Science Research Notes, ISSN 2464-4617. The best selected papers will be published in the - Journal of WSCG, ISSN 1213-6972. >> At least one author has to present the paper physically or online or pre-recorded. << Proceedings will be produced after the conference with DOI and sent for indexing Scopus, WoS, etc. ALL papers will be published as Open Access papers Recent publications available via http://wscg.zcu.cz/DL/wscg_DL.htm - repository since 1992. Accepted workshops/sessions: - Meshless methods in Computer Graphics and Visualization - Other agreements expected Contact: ======== Prof. Vaclav Skala mailto:WSCGconf@gmail.com?subject=WSCG2024 Conference organizer & Chair --------------------------- Prof. Vaclav Skala Contact: http://www.VaclavSkala.eu c/o University of West Bohemia, Faculty of Applied Sciences Dept. of Computer Science and Engineering, Univerzitni 8, CZ 30614, Plzen, Czech Republic -- ~~~~~~~~~~~~~~~~~ Prof.Vaclav Skala http://www.VaclavSkala.eu tel. 37-763-2473 ID verification: https://www.zcu.cz/cs/Employees/person.html?personId=16821 c/o University of West Bohemia Computer Graphics and Visualization Faculty of Applied Sciences Dept.of Computer Science & Engineering Univerzitni 8 CZ 306 14 Plzen Czech Republic ORCID: 0000-0001-8886-4281 ResearcherID: http://www.researcherid.com/rid/F-9141-2011 Scopus Author ID: https://www.scopus.com/authid/detail.uri?authorId=7004643209 Research Gate: https://www.researchgate.net/profile/Vaclav_Skala/publications DBLP: https://dblp.org/orcid/0000-0001-8886-4281 https://dblp.org/pid/s/VaclavSkala.html ACM: https://dl.acm.org/profile/81100496969 ~~~~~~~~~~~~~~~~~~~ Jakákoli ujednání vzešlá z této e-mailové/elektronické komunikace se do jejich písemného potvrzení podepsaného oprávněnými osobami nepovažují za platná, účinná a vůči ZČU závazná. ~~~~~~~~~~~~~~~~~~~~~~~~~~~ Any arrangements arising from this e-mail / electronic communication shall not be considered valid, effective and binding upon the UWB until their written confirmation signed by the authorized persons. ~~~~~~~~~~~~~~~~~~~~~~~~~~~

1 0

CFP OLA'2024 Optimization & Learning @Dubrovnik
by El-Ghazali Talbi 19 Nov '23

19 Nov '23

Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **************************************************************************************** OLA'2024 International Conference on Optimization and Learning 13-15 May 2024 Dubrovnik, Croatia http://ola2024.sciencesconf.org/ SCOPUS Springer Proceedings **************************************************************************************** OLA is a conference focusing on the future challenges of optimization and/or machine learning methods and their applications. The conference OLA'2024 will provide an opportunity to the international research community in optimization and learning to discuss recent research results and to develop new ideas and collaborations in a friendly and relaxed atmosphere. OLA'2024 welcomes presentations that cover any aspects of optimization and/or machine learning research such as big optimization and learning, optimization for learning, learning for optimization, optimization and learning under uncertainty, deep learning, new high-impact applications, parameter tuning, 4th industrial revolution, computer vision, hybridization issues, optimization-simulation, meta-modeling, high-performance computing, parallel and distributed optimization and learning, surrogate modeling, multi-objective optimization ... Submission papers: We will accept two different types of submissions: - S1: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages - S2: Original research contributions of a maximum of 12 pages Important dates: =============== Paper submission deadline Dec 16, 2023 Notification of acceptance Feb 09, 2024 Proceedings: Accepted papers in categories S1 and S2 will be published in the proceedings. A SCOPUS and DBLP indexed Springer book will be published for accepted long papers. Proceedings will be available at the conference. -- *********************************************************************** OLA'2024 International Conference on Optimization and Learning (SCOPUS, Springer) Dubrovnik, Croatia, May 13-15, 2024 https://ola2024.sciencesconf.org/ *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS

1 0

Final Call - Special Session on High Performance Computing in Modelling and Simulation (HPCMS)
by William Spataro 30 Oct '23

30 Oct '23

(sorry for cross postings) ************************************************************************** CALL FOR PAPERS: 10th Special Session on High Performance Computing in Modelling and Simulation (HPCMS) The 32nd Euromicro International Conference on Parallel, and Network-Based Computing Dublin (Ireland) 20-22 March 2024 https://pdp2024.org/workshops/ Extended deadline: Nov 18th, 2023 Contact: William Spataro - spataro(a)unical.it ************************************************************************* AIMS AND SCOPE The development of models through which computers can simulate the evolution of artificial and natural systems is fundamental for the advancement of Science. In the last decades, the increasing power of computers has allowed to considerably extend the application of computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. Following the success of our past HPCMS workshops at PDP (since 2014), we are glad to invite you to our tenth edition which will take place in Dublin (Ireland). An important mission of the HPCMS Workshop is to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the High Performance Computing for Modelling and Simulation field. HPCMS intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economy, etc. 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, GPGPU 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 - Hardware approaches of high performance computing in modeling and simulation IMPORTANT DATES EXTENDED DEADLINE Paper submission: 18 November 2023 Acceptance notification: 18 December 2023 Camera ready due: 8 January 2024 Conference: 20 - 22 March 2024 Submission guidelines For submission, please use the following link: http://www.easychair.org/conferences/?conf=pdp2024 selecting the "High Performance Computing in Modeling and Simulation (HPCMS) - PDP Workshop" submission link. Authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). 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. Manuscript submission Publication All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted for inclusion in Xplore and the CSDL, and for indexing, among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. Special Issue As for previous editions, organizers of the HPCMS session are planning a Special Issue of an important international ISI Journal, based on distinguished papers that will be accepted for the session. Organizers William Spataro - University of Calabria, Italy Giuseppe A. Trunfio - University of Sassari, Italy Donato D'Ambrosio, University of Calabria, Italy Rocco Rongo, University of Calabria, Italy Andrea Giordano, ICAR-CNR, Italy Program Committee Angelos Amanatiadis, Democritus University of Thrace, Greece 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 Antonios Gasteratos, Democritus University of Thrace, Greece Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Rolf Hoffmann, Darmstadt University, Germany Ioannis Karafyllidis, Democritus University of Thrace, Greece 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, Degiro, The Netherlands Massimo Cafaro, University of Salento, 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 -- °-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-° 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

CFP - ICACT2024/IEEE ComSoc in Phoenix Pyongchang
by Peter Mueller 24 Oct '23

24 Oct '23

Call for Papers: ICACT2024/IEEE ComSoc in Phoenix Pyongchang, Winter Olympic place (face to face conference) Feb. 04 – 07, 2024. Phoenix Pyeongchang, Korea (south) www.icact.org <http://track.maillink.co.kr/procresponse?a=3I-17200985I-41463I-4goaSoZE-8zP…> * Paper Submission Due Date: Oct. 31, 2023 * Included in the IEEE Xplore DL, and indexed by EI Compendex, SCOPUS, etc GENERAL INFORMATION: Authors are invited to submit a full paper PDF file (Min. 3 pages) describing the original work. It must be written in English and should be prepared in given style of IEEE ComSoc Template given on the ICACT Website, and submitted to the ICACT Website www.icact.org.<http://track.maillink.co.kr/procresponse?a=4I-17200985I-41463I-4goaSoZE-8zP…> TOPICS: as follows, but not limited to 1. Wireless Communication, Satellite Communications, AESA 2. Mobile Communication, 5G, 6G, Cloud & Mobile Computing 3. Communication Network, Optical, Internet, Router, Networks-on-Chip 4. Quantum Security, App & Web Security, Network Forensics 5. Authentication, Bio-metric, Private Security, Facial Recognition 6. Information & Network Security, Vulnerability, OWASP, DDoS 7. Hacking & Defense Security, Malware, Macro, Ransomware 8. Blockchain, Cryptocurrency, Cloud and Distributed Application Security 9. Metaverse, Computer Vision, Graphics & Image Processing, XR, AR, VR, HMD 10. Robotics, Smart City/Farm/Factory, Autonomous Driving, IoT, IoE, UWB, MEMS/NEMS 11. Digital Twin, Software Platform, Smart Service & App, UI, Browser, Game 12. Web Service, SNS, Telecommuting, Computational Thinking, Coding 13. WWW, SDN, NFV, CDN, OpenFlow, Future Web 14. Recommender System, AI, Machine Learning, Deep Learning, Big Data, Data Mining 15. Enterprise Information System, Industry 4.0, 3D Printer 16. Process mining, e-Government, e-Commerce, e-Services 17. System Work Method, Software Development 18. Network Management, Operation and Maintenance 19. Processing-In-Memory, Cloud Computing 20. Future Network, Information Centric Network 21. Drone, UAV, ITS, LBS, GIS, Telematics 22. 3D & IPTV, Internet Telephony, VoIP, MoIP PRESENTATION: The accepted paper will be presented in an oral session. All the presented papers will appear in the IEEE Xplore Digital library, only if at least one of the authors attends the conference to present the paper. BEST PAPER AWARDS: ICACT committee will present the Best Paper Awards to the authors of selected outstanding papers, and invite to the IEEE Xplore-TACT journal. ORGANIZING CHAIR: Prof. Thomas Byeongnam Yoon, Ph.D. Global IT Research Institute (GIRI), office(at)icact.org, +82-70-4146-4991 1713 Bundang-Obelisk bldg., 216 Seohyun-Ro, Bundang-Gu, Sungnam Kyunggi-Do, 13591, Korea (south) GIRI, 1713 Bundang-Obelisk bldg., 216 Seohyunno, Bundang-gu, Sungnam Kyunggi-do, 13591, Republic of Korea Email:office(at)icact.org

1 0

Call for Poster - IEEE HPCC 2023 (High Performance Computing and Communications), Dec. 2023
by Jesson Butt 19 Oct '23

19 Oct '23

Call for Poster: The 25th IEEE International Conference on High Performance Computing and Communications (HPCC 2023), 13-15 Dec. 2023, Melbourne, Australia. Website: http://www.swinflow.org/confs/2023/hpcc/poster.htm Important Dates: Deadline for proceedings published posters with display at conference: 23 October 2023 Notification of Acceptance: 25 October 2023 Final versions of proceeding published posters: 30 October 2023 Submissions: Please email your posters to confs.aus(a)gmail.com with the email subject as "HPCC 2023 poster submission". --------------- Participants are invited to submit posters and research posters to HPCC 2023. HPCC 2023 is created to provide a prime international forum for both researchers, industry practitioners and environment experts to exchange the latest fundamental advances in the state of the art and practice of high performance computing and communications as well as joint-venture and synergic research and development across various related areas. Topics of interest for posters and demos include, but not limited to: Scope and Topics Topics of particular interest include, but are not limited to: 1. Parallel and distributed system architectures 2. Languages and compilers for high performance computing 3. Parallel and distributed software technologies 4. Parallel and distributed algorithms 5. Embedded systems 6. Peer-to-peer computing 7. Cluster computing 8. Web services and Internet computing 9. Cloud computing 10. Utility computing 11. Performance evaluation and measurement 12. Tools and environments for software development 13. Distributed systems and applications 14. High-performance scientific and engineering computing 15. Database applications and data mining 16. Biological/molecular computing 17. Collaborative and cooperative environments 18. Mobile computing and wireless communications 19. Computer Networks 20. Telecommunications 21. Pervasive/ubiquitous computing and intelligence 22. Autonomic, reliability and fault-tolerance 23. Trust, security and privacy Chairs: Muneeb Hassan, Deakin University, Australia

1 0

ICCSA 2024: Call for Workshop Proposals
by Osvaldo Gervasi 15 Oct '23

15 Oct '23

*************************************************************************************************************************** ** ** ** We apologize for multiple messages received. ** ** ** *************************************************************************************************************************** ** The 24th International Conference on Computational Science and its Applications ** ** ** ** Le Qui Don Technical University, Hanoi, Vietnam ** ** ** ** July 1-4, 2024 ** ** ** ** https://iccsa.org ** ** ** ** CALL FOR WORKSHOP PROPOSALS ** ** ** *************************************************************************************************************************** We encourage and invite interested parties to submit a proposal for organizing a Workshop. Workshop proposals will be collected and evaluated as they are received until October 24, 2023. The Workshop proposals should be submitted from the researcher's home page on the ICCSA 2024 Electronic Submission System: https://ess.iccsa.org. The form to be filled will require the following information: 1) Title of the Workshop (Please select a simple name, close to the aim of the workshop. Do not include here the acronym.) 2) The Acronym of the Workshop including the year, 2024 (e.g.: VRA 2024) 3) The description of the Workshop, detailed Introduction, aim and purposes of the Workshop 4) Description of the topics (themes) of the workshop 5) The detailed list (name, surname, email, organization, country) of the Program Committee members 6) Name, Surname, e-mail address and Organization of all Workshop organizer(s), which HAVE TO BE REGISTERED TO THE PORTAL in advance. *THIS IS A NEW REQUIREMENT FOR INCREASING SECURITY*. Please ask all Workshop Organizer to register and respond to the email for VALIDATING THE ACCOUNT. The MAXIMUM number of organizers for a workshop is 6. 7) Previous experience of the organizer(s) in organizing Workshops (if any). 8) Name, the affiliation, and e-mail addresses of at least three colleagues of the organizer(s) who can assess the ability to organize a Workshop 9) A short description on how the workshop will be advertised. The organization of successful workshops in previous editions of ICCSA (at least 5 papers accepted in the Proceedings, minimum no-show up, several discussions and questions during/after presentations), including the participation of the Workshop Organizers to the Conference, will be given priority ranking for acceptance. The information provided by the workshop organizer(s) to the Conference Chairs shall remain strictly confidential. The Workshop Organizers are responsible for all the organizational aspects including soliciting submissions and providing the details of an adequate number of reviewers for the Workshop papers. Workshop Organizers are also fully responsible for ensuring that only high quality papers are accepted for publication in the Proceedings and for verifying the correctness of the layout adopted by the authors. They are also responsible for choosing the actual reviewers (three at a minimum) for each paper and for monitoring the reviewing process on the reviewing system, in collaboration with the Conference Program Chairs. Papers with less than 3 reviews will be subject to Actions by Program Committee Chairs. Workshop Organizers (or their Deputies) are committed to attending ICCSA 2024, setting the order of presentations and chairing their related workshop(s). The publication in the Springer LNCS series need still be confirmed. Paper submission ---------------- GENERAL TRACKS PAPERS: The submitted paper must be between 12 to 18 pages long and formatted according to the LNCS rules. WORKSHOP PAPERS: The submitted paper must be between 12 to 18 pages long and formatted according to the LNCS rules. PHD SHOWCASE PAPERS (General Tracks or Workshop): The submitted paper must be between 10 to 18 pages long and formatted according to the LNCS rules. SHORT PAPERS (General Tracks or Workshop): The submitted paper must be between 8 to 11 pages long and formatted according to the LNCS rules. PROCEEDINGS The proceedings will be published as a special series of volumes of the Lecture Notes on Computer Science (LNCS) edited by Springer (We are waiting for the acceptance by Springer), and indexed by Scopus, EI Engineering Index, Thomson Reuters Conference Proceedings Citation Index (included in ISI Web of Science), and several other indexing services. The papers will contain linked references, XML versions and citable DOI numbers. All reviewed papers will be checked against Plagiarism and Generative AI. Contact Information: David Taniar Department of Software Systems and Cybersecurity Monash University Melbourne Australia Email: david <dot> taniar <at> monash <dot> edu Osvaldo Gervasi Department of Mathematics and Computer Science, University of Perugia Via Vanvitelli, 1 06123 Perugia Italy Phone: +39-075-5855048 Fax: +39-075-5855024 Email: osvaldo <dot> gervasi <at> unipg <dot> it URL: http://ogervasi.unipg.it

1 0

PDP 2024 Special Session on High Performance Computing in Modelling and Simulation (HPCMS)
by William Spataro 15 Oct '23

15 Oct '23

(sorry for cross postings) ************************************************************************** CALL FOR PAPERS: 10th Special Session on High Performance Computing in Modelling and Simulation (HPCMS) Within PDP 2024 (https://www.pdp2024.org/) The 32nd Euromicro International Conference on Parallel, and Network-Based Computing Dublin (Ireland) 20-22 March 2024 https://www.pdp2024.org/ Deadline: Nov 11th, 2023 Contact: William Spataro - spataro(a)unical.it ************************************************************************* AIMS AND SCOPE The development of models through which computers can simulate the evolution of artificial and natural systems is fundamental for the advancement of Science. In the last decades, the increasing power of computers has allowed to considerably extend the application of computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. Following the success of our past HPCMS workshops at PDP (since 2014), we are glad to invite you to our tenth edition which will take place in Dublin (Ireland). An important mission of the HPCMS Workshop is to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the High Performance Computing for Modelling and Simulation field. HPCMS intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economy, etc. 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, GPGPU 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 - Hardware approaches of high performance computing in modeling and simulation IMPORTANT DATES Paper submission: 31 October 2023 Acceptance notification: 11 December 2023 Camera ready due: 8 January 2024 Conference: 20 - 22 March 2024 Submission guidelines * IMPORTANT NEW SUBMSSION PROCEDURE * For speeding up the review/submision process, please submit your paper directly to spataro(a)unical.it with email subject "Paper submision for HPCMS workshop at PDP 2024" (contanct info also for more information before submitting potential papers). Prospective authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). 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. Manuscript submission Publication All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted for inclusion in Xplore and the CSDL, and for indexing, among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. Special Issue As for previous editions, organizers of the HPCMS session are planning a Special Issue of an important international ISI Journal, based on distinguished papers that will be accepted for the session. Organizers William Spataro - University of Calabria, Italy Giuseppe A. Trunfio - University of Sassari, Italy Donato D'Ambrosio, University of Calabria, Italy Rocco Rongo, University of Calabria, Italy Andrea Giordano, ICAR-CNR, Italy Program Committee Angelos Amanatiadis, Democritus University of Thrace, Greece 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 Antonios Gasteratos, Democritus University of Thrace, Greece Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Rolf Hoffmann, Darmstadt University, Germany Ioannis Karafyllidis, Democritus University of Thrace, Greece 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, Degiro, The Netherlands Massimo Cafaro, University of Salento, 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 -- °-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-° 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

(CALL FOR PARTICIPATION) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris Wright, Karla Vanessa 02 Oct '23

02 Oct '23

**************************************************************** Call for Participation PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X Held in conjunction with SC23, Denver, CO November 13, 2023 9:00am - 5:30pm (MST) Room 702 / Hybrid Event **************************************************************** Alternatives to MPI+X are worth exploring as programmer productivity becomes a major component of the time to science. Alternatives include parallel programming languages (e.g. Chapel, Regent, Fortran 2018), general purpose libraries (e.g. Charm++, COMPSs, HPX, Legion, UPC++), and domain specific libraries (e.g. Arkouda, Dask, Spark). With many options to choose from, it is hard for programmers to know which alternative models are appropriate for their application and for programming model developers to understand the opportunities for improvement. Through discussion of specific applications, PAW-ATM brings together application experts and programming model developers to improve applications and models. Program 9:00 - 9:02 Karla V. Morris Wright, Elliott Slaughter, Engin Kayraklioglu, Irene Moulitsas, Bill Long, and Daniele Lezzi "PAW-ATM2023 Introduction" 9:02 - 10:00 Survey of Technologies for Developers of Parallel Applications: Open discussion after presentations on SHMEM, Julia, Swift/T, and cuNumeric Session Chair: Jan Ciesko - Sandia National Laboratories Barbara Chapman - Hewlett Packard Enterprise Justin Wozniak - Argonne National Laboratory Johannes Blaschke - Lawrence Berkeley National Laboratory Rohan Yadav - NVIDIA 10:00 - 10:30 Morning Break (30 min) 10:30 - 12:30 Session 1 Session Chair: Henry Monge Camacho - Oak Ridge National Laboratory 10:30 - 10:54 Tom Westerhout and Bradford L. Chamberlain "Implementing Scalable Matrix-Vector Products for the Exact Diagonalization Methods in Quantum Many-Body Physics" 10:54 - 11:18 Scott Bachman, Rebecca Green, Anna Bakker, Helen Fox, Sam Purkis, and Ben Harshbarger "High-Performance Programming and Execution of a Coral Biodiversity Mapping Algorithm Using Chapel" 11:18 - 11:42 Jiakun Yan, Hartmut Kaiser, and Marc Snir "Design and Analysis of the Network Software Stack of an Asynchronous Many-Task System - The LCI Parcelport of HPX" 11:42 - 12:06 Marcin Rogowski, Jeff R. Hammond, David E. Keyes, and Lisandro Dalcin "shmem4py: High-Performance One-Sided Communication for Python Applications" 12:06 - 12:30 James Psota, and Armando Solar-Lezama "Pure: Evolving Message Passing to Better Leverage Shared Memory Within Nodes" 12:30 - 2:00 Lunch Break (90 min) 2:00 - 3:00 Session 2 Session Chair: Damian Rouson - Lawrence Berkeley National Laboratory Distinguished Speaker: Ethan Gutmann - National Center for Atmospheric Research "Trials, Tribulations and Joys of Developing with Alternative Parallel Frameworks" 3:00 - 3:30 Afternoon Break (30 min) 3:30 - 3:54 Session 3 Session Chair: Engin Kayraklioglu Julian Bellavita, Mathias Jacquelin, Esmond Ng, Dan Bonachea, Johnny Corbino, and Paul H Hargrove "symPACK: A GPU-Capable Fan-Out Sparse Cholesky Solver" 3:54 - 5:30 Panel Discussion: Charting a Path to Success with Alternatives to MPI+X Panel Chair: Michelle Strout - Hewlett Packard Enterprise Panelists: Ewa Deelman - University of Southern California Jonathan Graham - Los Alamos National Laboratory Ethan Gutmann - National Center for Atmospheric Research Laxmikant Kale - University of Illinois Urbana-Champaign George Karypis - University of Minnesota http://sourceryinstitute.github.io/PAW/ Best Regards, PAW-ATM2023 Organizing Committee

1 0

PDP 2024 Special Session on High Performance Computing in Modelling and Simulation (HPCMS)
by William Spataro 24 Sep '23

24 Sep '23

(sorry for cross postings) ************************************************************************** CALL FOR PAPERS: 10th Special Session on High Performance Computing in Modelling and Simulation (HPCMS) Within PDP 2024 (https://www.pdp2024.org/) The 32th Euromicro International Conference on Parallel, and Network-Based Computing Dublin (Ireland) 20-22 March 2023 https://www.pdp2022.org/ Deadline: October 31st, 2023 Contact: William Spataro - spataro(a)unical.it ************************************************************************* AIMS AND SCOPE The development of models through which computers can simulate the evolution of artificial and natural systems is fundamental for the advancement of Science. In the last decades, the increasing power of computers has allowed to considerably extend the application of computing methodologies in research and industry, but also to the quantitative study of complex phenomena. This has permitted a broad application of numerical methods for differential equation systems (e.g., FEM, FDM, etc.) on one hand, and the application of alternative computational paradigms, such as Cellular Automata, Genetic Algorithms, Neural networks, Swarm Intelligence, etc., on the other. These latter have demonstrated their effectiveness for modelling purposes when traditional simulation methodologies have proven to be impracticable. Following the success of our past HPCMS workshops at PDP (since 2014), we are glad to invite you to our tenth edition which will take place in Dublin (Ireland). An important mission of the HPCMS Workshop is to provide a platform for a multidisciplinary community composed of scholars, researchers, developers, educators, practitioners and experts from world leading Universities, Institutions, Agencies and Companies in Computational Science, and thus in the High Performance Computing for Modelling and Simulation field. HPCMS intent is to offer an opportunity to express and confront views on trends, challenges, and state-of-the art in diverse application fields, such as engineering, physics, chemistry, biology, geology, medicine, ecology, sociology, traffic control, economy, etc. 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, GPGPU 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 - Hardware approaches of high performance computing in modeling and simulation IMPORTANT DATES Paper submission: 31 October 2023 Acceptance notification: 27 November 2023 Camera ready due: 16 January 2024 Conference: 20 - 22 March 2024 Submission guidelines Please contact spataro(a)unical.it for more information before submitting potential papers. Prospective authors should submit a full paper not exceeding 8 pages in the IEEE Conference proceedings format (IEEEtran, double-column, 10pt). 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. For submission, please use the following link and select the HPCMS session: https://easychair.org/conferences/?conf=pdp2024 and select the "High Performance Computing in Modelling and Simulation" track. Manuscript submission Publication All accepted papers will be included in the same volume, published by the Conference Publishing Services (CPS). The Final Paper Preparation and Submission Instructions will be published after the notification of acceptance. Authors of accepted papers are expected to register and present their papers at the Conference. Conference proceedings will be submitted for inclusion in Xplore and the CSDL, and for indexing, among others, to DBLP, Scopus ScienceDirect, and ISI Web of Knowledge. Special Issue As for previous editions, organizers of the HPCMS session are planning a Special Issue of an important international ISI Journal, based on distinguished papers that will be accepted for the session. Organizers William Spataro - University of Calabria, Italy Giuseppe A. Trunfio - University of Sassari, Italy Donato D'Ambrosio, University of Calabria, Italy Rocco Rongo, University of Calabria, Italy Andrea Giordano, ICAR-CNR, Italy Program Committee Angelos Amanatiadis, Democritus University of Thrace, Greece 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 Antonios Gasteratos, Democritus University of Thrace, Greece Ioakeim Georgoudas, Democritus University of Thrace, Greece Marco Beccutti, University of Torino, Italy Rolf Hoffmann, Darmstadt University, Germany Ioannis Karafyllidis, Democritus University of Thrace, Greece 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, Degiro, The Netherlands Massimo Cafaro, University of Salento, 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 -- °-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-° 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 -°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-°-° -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000>

1 0

2024 Luis W. Alvarez Postdoc Fellowship and Admiral Grace Hopper Postdoc Fellowship at Berkeley Lab
by Esmond G. Ng 23 Sep '23

23 Sep '23

Berkeley Lab is now accepting applications for the 2024 Luis W. Alvarez Postdoctoral Fellowship and the 2024 Admiral Grace Hopper Postdoctoral Fellowship in the Computing Sciences Area. Apply now for these two prestigious fellowships! Researchers in computer science, mathematics, data science, or any computational science discipline who have received their Ph.D. within the last three years (i.e., no earlier than January 1, 2021 and no later than September 30, 2024) are encouraged to apply. The successful applicants will receive a competitive salary, professional travel allowance, relocation assistance, excellent benefits, and an opportunity to work in the San Francisco Bay Area. Since its founding in 2002, the Luis W. Alvarez Fellowship has cultivated exceptional young scientists who have gone on to make outstanding contributions to computational and computing sciences. The Admiral Grace Hopper Fellowship was established in 2015. Additional information on the Luis W. Alvarez Postdoctoral Fellowship and the Admiral Grace Hopper Postdoctoral Fellowship can be found at https://cs.lbl.gov/careers/computing-fellowships/. Berkeley Lab’s Computing Sciences Area researches, develops, and deploys new tools and technologies to meet these needs and to advance research in our core capabilities of computer science, mathematics, data science, and computational science. In addition to fundamental advances in our core capabilities, we impact such areas as materials science, chemistry, biology, astrophysics, climate change, combustion, and fusion energy. Research areas in Computing Sciences include but are not limited to: developing scientific applications and software technologies for extreme-scale and energy-efficient computing; developing mathematical modeling for complex scientific problems; designing algorithms to improve the performance of scientific applications; researching digital and post-digital computer architectures for science; developing and advancing extreme-scale scientific data management, analysis, and visualization; developing and advancing next-generation machine learning, AI, and data science approaches for science; advancing quantum computing and networking technologies, software, algorithms and applications; evaluating or developing new and promising HPC systems and networking technologies; researching methods to control and manage next-generation networks; and managing scientific data and workflows in distributed environments Application Process: For consideration applications are due October 2, 2023. Details of the application process can be found by search for job 99672 at https://jobs.lbl.gov/.

1 1

[VHPC JSA SI] November 30th deadline: CfP Journal SI::Virtualization in High-Performance Cloud Computing (Elsevier JSA)
by Michael Alexander 12 Sep '23

12 Sep '23

following the 18th Workshop on Virtualization in High-Performance Cloud Computing” (VHPC), we would like to invite you to submit a paper to the Special Issue on Virtualization in High-Performance Cloud Computing Journal of Systems Architecture (JSA) Elsevier, a first quarter ranked Scientific Journal Ranking/CiteScore journal. Special Issue: Virtualization in High-Performance Cloud Computing Journal of Systems Architecture (JSA) Elsevier Submission deadline: November 30th, 2023 Accelerator Virtualization::we particularly welcome submissions on: *architectural propositions of specialized accelerator hardware for LLM **training and inference, with a keen focus on their virtualization.* *This includes, but is not limited to, systolic arrays utilized in matrix multiplication, similar to those in TPUs.* ---------------------------------------------------------------------------------------------------------------- Call for Papers Special Issue: Virtualization in High-Performance Cloud Computing Journal of Systems Architecture (JSA) Elsevier Submission deadline: November 30, 2023 ------------------------------------------------------------ ---------------------------------------------------- This JSA Special Issue solicits original, high-quality submissions related to topics of interest for the VHPC series of workshops, i.e., virtualization across the entire software stack with a special focus on the intersection of HPC, Containerization/Virtualization and Cloud/Edge Computing. Each topic encompasses aspects related to design/architecture, management, performance management, modeling and configuration/tooling: # Accelerator virtualization We particularly welcome submissions on architectural propositions of specialized accelerator hardware for LLM training and inference, with a keen focus on their virtualization. This includes, but is not limited to, systolic arrays utilized in matrix multiplication, similar to those in TPUs. # Design / Architecture: * Containers and OS-level virtualization (LXC, Docker, rkt, Singularity, Shifter) * Hypervisor support for heterogeneous resources (GPUs, co-processors, FPGAs, etc.) * 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/Edge 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 * 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 * Manuscript submission information: # Guest editors: Prof. Tommaso Cucinotta, Scuola Superiore Sant’Anna, Pisa, Italy Michael Alexander, Austrian Academy of Sciences Anastassios Nanos, Nubificus, Ltd., UK # Important Dates Submission Start Date: September 15, 2023 Submission deadline: November 30, 2023 Expected Acceptance Deadline (Subject to change): January 1, 2024 # Paper Submission JSA SI call at Elsevier: https://www.sciencedirect.com/journal/journal-of-systems-architecture/about… General information for submitting papers to JSA can be found at: https://www.elsevier.com/journals/journal-of-systems-architecture/1383-7621… Submissions should be made online at https://www.editorialmanager.com/jsa/ , select VHPC as article type. While optional, we highly recommend registering your abstract. Please email your abstract to vhpc.dist(a)gmail.com and use "JSASI" as your subject line. # URLs: * Feel free to follow the following X/Twitter resources on the HPC Virtualization SI, the VHPC workshop, in-context HPC updates: - VHPC Workshop X/Twitter <https://urldefense.com/v3/__https://twitter.com/VHPCworkshop__;!!P1tgJ-3e!A…> - Follow Link VHPC/HPC updates on X/Twitter <https://urldefense.com/v3/__https://twitter.com/intent/follow?screen_name=V…> - X/Twitter HPC Virtualization Community <https://twitter.com/i/communities/1700614991332688215> CfP pages: - VHPC Special Issue <https://vhpc.github.io/jsa_si/> - Journal of Systems Architecture Call for Papers <https://www.sciencedirect.com/journal/journal-of-systems-architecture/about…> * Abstract registration, paper submissions - Elsevier Submission Link <https://www.editorialmanager.com/jsa/> - Register HPC Virtualization Abstract Email <vhpc.dist(a)gmail.com?subject=JSASI> Kind regards, Tommaso Cucinotta, Michael Alexander, Anastassios Nanos

1 0

OLA'2024@Dubrovnik Optimization & Learning Int. Conf.
by El-Ghazali Talbi 08 Sep '23

08 Sep '23

Apologies for cross-posting. Appreciate if you can distribute this CFP to your network. **************************************************************************************** OLA'2024 International Conference on Optimization and Learning 13-15 May 2024 Dubrovnic, Croatia http://ola2024.sciencesconf.org/ SCOPUS Springer Proceedings **************************************************************************************** OLA is a conference focusing on the future challenges of optimization and/or machine learning methods and their applications. The conference OLA'2024 will provide an opportunity to the international research community in optimization and learning to discuss recent research results and to develop new ideas and collaborations in a friendly and relaxed atmosphere. OLA'2024 welcomes presentations that cover any aspects of optimization and/or machine learning research such as big optimization and learning, optimization for learning, learning for optimization, optimization and learning under uncertainty, deep learning, new high-impact applications, parameter tuning, 4th industrial revolution, computer vision, hybridization issues, optimization-simulation, meta-modeling, high-performance computing, parallel and distributed optimization and learning, surrogate modeling, multi-objective optimization ... Submission papers: We will accept two different types of submissions: - S1: Extended abstracts of work-in-progress and position papers of a maximum of 3 pages - S2: Original research contributions of a maximum of 12 pages Important dates: =============== Paper submission extended deadline Dec 16, 2023 Notification of acceptance Feb 09, 2024 Proceedings: Accepted papers in categories S1 and S2 will be published in the proceedings. A SCOPUS and DBLP indexed Springer book will be published for accepted long papers. Proceedings will be available at the conference. -- *********************************************************************** OLA'2024 International Conference on Optimization and Learning (SCOPUS, Springer) Dubrovnik, Croatia, May 2024 https://ola2024.sciencesconf.org/ *********************************************************************** Prof. El-ghazali TALBI Polytech'Lille, University Lille - INRIA CRISTAL - CNRS

1 0

CFP - IEEE HPCC2023 (High Performance Computing and Communications), Dec. 2023
by Jesson Butt 07 Sep '23

07 Sep '23

Call for papers: The 25th IEEE International Conference on High Performance Computing and Communications (HPCC 2023), 13-15 Dec. 2023, Melbourne, Australia. Website: http://www.swinflow.org/confs/2023/hpcc/ Key dates: Submission Deadline: September 15, 2023 (HST, Firm) Notification: October 15, 2023 Final Manuscript Due: October 30, 2023 Submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm Publication: Proceedings will be published by IEEE CS Press. Distinguished papers will be invited to special issues of selected journals listed on the conference website. =========== Introduction With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. Among a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), HPCC conference comes to its 25th edition of a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. IEEE HPCC is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing (TCSC). Scope and Topics Topics of particular interest include, but are not limited to: Track 1: High Performance Computing and Applications - High Performance Computing Theory - High Performance Computing Architectures - System Software and Middleware - System Software Support for Scientific Workflows - Storage and I/O Systems - Resource Management - Instruction-Level and Thread-Level Parallelism - Performance Modeling and Evaluation - Massively Multicore Systems - Future Novel Computing Platforms - Database Applications and Data Mining - High Performance Computing for Bioinformatics - High Performance Computing for Big Data - High Performance Computing for AI - High Performance Computing for Block Chains - Green High Performance Computing Track 2: Parallel and Distributed Computing and Systems - Parallel and Distributed System Architectures - Parallel and Distributed Algorithms - Data Center Architectures - Resource Virtualization - Web Services and Internet Computing - Cloud, Edge, and Cluster Computing - Sustainable and Energy Efficient Computing - Federated Learning - Embedded Systems - Distributed Systems and Applications - Pervasive/Ubiquitous Computing & Intelligence - Distributed Graphics and VR/AR/MR Systems - Distributed AI and Soft/Natural Computing - Power-Efficient and Green Computing Systems - Parallel and Distributed Computing for Big Data - Parallel and Distributed Computing for AI Track 3: Communications and Networking - Network and Interconnect Architectures - Computer Networks - Internet Architectures and Protocols - Telecommunications - Trust, Security, and Privacy - Energy-Aware Computing and Networking - 5G Network - Software Defined Networking - Network Functions Virtualization - Machine Learning and Deep Learning - Social Networking and Computing - Performance Evaluation and Measurement Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper. submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be invited to special issues of selected journals listed on the conference website. General Chairs Xian-He Sun, Illinois Institute of Technology, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence T. Yang, St. Francis Xavier University, Canada Program Chairs Muneeb Hassan, Deakin University, Australia Carson Leung, University of Manitoba, Canada

1 1

CFP: Parallel Computational Technologies 2024 (Chelyabinsk, Russia, April 2-4, 2024)
by Цымблер Михаил Леонидов ич 06 Sep '23

06 Sep '23

FIRST ANNOUNCEMENT AND CALL FOR PAPERS Parallel Computational Technologies (PCT 2024), 18th International Scientific Conference, April 2-4, 2024, Chelyabinsk, Russia http://agora.guru.ru/pavt/eng https://link.springer.com/conference/pct Conference founders: Russian Academy of Sciences (http://www.ras.ru) HPC Consortium of Russian Universities (http://hpc-russia.ru) WELCOME Russian Academy of Sciences, High-Performance Computing Consortium of Russian Universities, Moscow State University, and South Ural State University are jointly organizing the 18th International Scientific Conference on Parallel Computational Technologies (PCT 2024) to be held in Chelyabinsk, Russia, April 2-4, 2024. The main purpose of the PCT 2024 conference is to provide an opportunity to report and discuss the results achieved by leading research groups in solving practical issues using supercomputer and neural network technologies. The scope of the conference covers all aspects of the application of cloud, supercomputer and neural network technologies in science and technology such as applications, hardware and software, specific languages and packages. On working days of the conference, a supercomputer exhibition will be organized, where leading manufacturers of hardware and software present their latest products in the field of high performance computing. LANGUAGE The official languages of the Conference are Russian and English. SCOPE The scope of the conference includes, but not limited to, the following topics: * Parallel and distributed computing technologies * Cloud computing * Prospective multiprocessor architectures * Big data and data mining * Artificial neural networks and deep learning * Management, administration, monitoring and testing of multiprocessor systems * Computational Mathematics * Computational Physics * Computational Chemistry * Gas hydrodynamics and heat transfer * High nonlinear and rapid processes in mechanics * Bioinformatics and medicine * Nanotechnology * Geoinformatics * Cryptography * Image processing and visualization * Computer algebra * Supercomputer education. CALL FOR PAPERS PCT 2024 admits papers presenting original contribution that have not been previously published and are not being submitted to another conference or journal. There are three categories of submissions: * Full paper describes the results of completed scientific research (12 to 15 pages in the LNCS one-column page format). * Short paper reports preliminary results of uncompleted scientific research (up to 12 pages in the LNCS one-column page format). * Abstract of the poster contains information about plans and initial results of recently started scientific research (one standard A4 page). Papers may be prepared in LaTeX or MS Word according to the LNCS one-column page format (see guidelines at the conference website http://agora.guru.ru/pavt2024/, "For Authors" section). Papers should be submitted electronically in PDF format through EasyChair system https://easychair.org/conferences/?conf=pct2024 by February 15, 2024. Each paper will be reviewed by three Program Committee members and/or invited experts to ensure high quality and relevance to the conference. At least one author of the accepted paper must attend the conference and present the paper. PROCEEDINGS All accepted full papers will be published in Springer’s Communications in Computer and Information Science series (https://link.springer.com/conference/pct, indexed in Web of Science and Scopus), final approval pending. All accepted short papers and posters will be published electronically and indexed in Russian Science Index. The best short papers will be published (after further revision) in the Computational Mathematics and Software Engineering series of the Bulletin of the South Ural State University (http://vestnikvmi.susu.ru, indexed in Russian Science Citation Index on the Web of Science platform). IMPORTANT DATES * Submission of abstracts: December 1, 2023 * Submission of the papers: February 1, 2024 * Notification of acceptance: March 1, 2024 * Camera-ready version: April 15, 2024 * Registration for participation in supercomputer exhibition: March 1, 2024 * Registration of participants (non-speakers): March 25, 2024 * Conference: April 1, 2024: arrival date April 2-4, 2024: conference work dates April 5, 2024: departure date CONTACT INFORMATION WEB PAGES Conference web site: http://agora.guru.ru/pavt/eng Submission web site: https://easychair.org/conferences/?conf=pct2024. Leonid Sokolinsky, DSc., Prof. (SUSU, Chelyabinsk) Co-chair of the PCT Program Committee E-mail: Leonid.Sokolinsky(a)susu.ru Tel.: (+7-351) 272 35 00 Mikhail Zymbler, DSc., Assoc. Prof. (SUSU, Chelyabinsk) Academic secretary of the PCT Program Committee E-mail: mzym(a)susu.ru Tel.: (+7-351) 267 90 06, ext. 112 PROGRAM COMMITTEE Co-chairs of the Program Committee: Jack Dongarra, University of Tennessee (USA) Leonid Sokolinsky, South Ural State University (Russia) Vladimir Voevodin, corresponding member of RAS, Moscow State University (Russia) Academic secretary of the Program Committee: Mikhail Zymbler, South Ural State University (Russia) Members of the Program Committee: S.V. Ablameyko, Belarusian State University (Republic of Belarus) A.P. Afanasiev, Institute for Systems Analysis RAS (Russia) E.N. Akimova, Institute of Mathematics and Mechanics UrB RAS (Russia) A. Andrzejak, Heidelberg University (Germany) P. Balaji, Argonne National Laboratory (USA) Yu.Ya. Boldyrev, Saint-Petersburg Polytechnic University (Russia) J. Carretero, Carlos III University of Madrid (Spain) R.K. Gazizov, Ufa State Aviation Technical University (Russia) V.D. Goryachev, Tver State Technical University (Russia) V.P. Il'in, Institute of Computational Mathematics and Mathematical Geophysics SB RAS (Russia) H. Kobayashi, Tohoku University (Japan) J. Kunkel, University of Hamburg (Germany) S. Kumar, Rudrapur (India) J. Labarta, Barcelona Supercomputing Center (Spain) A. Lastovetsky, University College Dublin (Ireland) T. Ludwig, German Climate Computing Center (Germany) V.N. Lykosov, Institute of Numerical Mathematics RAS (Russia) D. Mallmann, Julich Supercomputing Centre (Germany) M. Michalewicz, A*STAR Computational Resource Centre (Singapore) V.E. Malyshkin, Institute of Computational Mathematics and Mathematical Geophysics SB RAS (Russia) V.Ya. Modorsky, Perm Polytechnic University (Russia) R. Prodan, Alpen-Adria-Universität Klagenfurt (Austria) A.V. Shamakina, High Performance Computing Center in Stuttgart (Germany) P. Shumyatsky, University of Brasilia (Brazil) H. Sithole, Centre for High Performance Computing (Republic of South Africa) A.V. Starchenko, Tomsk State University (Russia) T. Sterling, Indiana University (USA) M. Taufer, University of Delaware (USA) V.E. Turlapov, State University of Nizhny Novgorod (Russia) R. Wyrzykowski, Czestochowa University of Technology (Poland) M.V. Yakobovsky, Institute for Mathematical Modelling RAS (Russia) Y. Yamazaki, Federal University of Pelotas (Brazil)

1 0

CFP: The 24th IEEE/ACM International Symposium on Cluster, Cloud, and Internet Computing (CCGrid 2024)
by Bahman Javadi 02 Sep '23

02 Sep '23

The 24th IEEE/ACM International Symposium on Cluster, Cloud, and Internet Computing (CCGrid 2024) is a leading forum for disseminating and discussing research activities and results on a broad range of topics in distributed systems, ranging from computing Clusters to widely distributed clouds and emerging Internet computing paradigms, such as fog/edge computing for Internet of Things (IoT)/big data applications. The conference features keynotes, technical presentations, posters, workshops, and the SCALE challenge featuring live demonstrations. We solicit original contributions in all aspects of distributed systems and applications in the context of cluster, cloud, and Internet computing environments. Specific topics of interest include but are not limited to the following research tracks: * Track 1: Hardware Systems and Networking: Sustainable and green computing; architecture, networking of data centers; virtualized hardware (GPUs, tensor processing units, FPGAs); RISC V / Open hardware architectures, etc. * Track 2: Software Systems and Platforms: Service-oriented architectures; utility computing models; IaaS, PaaS, SaaS; programming models and runtime systems; resource management and scheduling; and energy-efficient software. * Track 3: Machine Learning (ML) for Systems and Systems for ML: Techniques, platforms, and systems for supporting machine learning and artificial intelligence applications; use of ML/AI applications to enhance the performance of cluster, cloud and Internet-computing systems; ML/AI techniques for workload prediction; application scheduling, resource placement, resilience in cluster, cloud and Internet-computing systems. * Track 4: Future Compute Continuum and Seamless Ecosystems: Internet computing frontiers; future Internet; osmotic computing; cloud-economics; post- and Non-Von Neumann computing; quantum computing. * Track 5: Applications and Workflows: Data science; machine learning and artificial intelligence applications; cyber-physical systems; e-Health; Internet of Things (IoT)-enabled smart systems and applications; workflows. * Track 6: Performance Monitoring, Modeling, Analysis, and Benchmarking: Performance models; monitoring and evaluation tools; analysis of system/application performance; performance benchmarking; visualization for system or application performance; cloud performance; edge performance; and cloud-native performance tools. * Track 7: Distributed and Parallel Storage Systems: storage and memory stack architecture; distributed and parallel storage; HW/SW co-design for storage systems; NVM storage; cloud storage; edge storage; storage- and memory-as-a-service; file and data management; key-value stores; CDNs; data privacy, integrity, and regulation; resilience of service attacks. * Track 8: Education about Cluster, Cloud and Internet Computing: curriculum, didactics, and technology developments for cluster, cloud, and Internet-scale computing; virtual laboratory; teaching parallel and distributed systems; teaching performance; teaching cloud, cluster, and Internet-scale technologies; sharing digital learning objects; sharing lab experiments; reproducing educational experiments; teaching methodology in cluster, cloud and Internet computing. Paper Submission Authors are invited to submit papers electronically. Submitted manuscripts should be structured as technical papers and may not exceed 10 letter size (8.5 x 11) pages including figures, tables and references using the IEEE format for conference proceedings. 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. Papers determined to be under active review elsewhere will be rejected without review. Submissions received after the due date, exceeding the length limit, or not appropriately structured may also not be considered. Authors may contact the conference chairs for more information. The proceedings will be published through the IEEE Press, USA, and will be made available online through the IEEE and ACM Digital Libraries. Important Dates Papers Due (Abstract): November 27, 2023 Papers Due (Final): December 4, 2023 Notification of Acceptance: February 12, 2024 Camera Ready Papers Due: March 4, 2024 Conference: May 6-9, 2024 Program Committee Co-Chairs Alexandru Iosup, Vrije Universiteit Amsterdam, Netherlands Xubin He, Temple University, USA Beth Plale, Indiana University, USA

1 0

Open PhD student position at KIT: Uncertainty quantification in multiscale materials modelling
by Kondov, Ivan (SCC) 01 Sep '23

01 Sep '23

Dear all, We are inviting applicants for the following open position (see below). With my best regards, Ivan Kondov PhD Position (3 years 75% salary level E13) Uncertainty quantification in multiscale materials modelling Courses: mathematics, physics, computational science, materials science Topic description Uncertainty quantification has been adopted for single-scale methods such as density functional theory (DFT), force field methods and coarse-grained modeling. These methods, although widely applied, are still no black-box methods. Their successful application still requires a very good knowledge of their strengths and shortcomings. Moreover, combining these methods raises the question about propagation of uncertainty across the time and length scales. Application 1 (in project P1 "Friction at solid--liquid interfaces") Quantities obtained from molecular dynamics (MD) simulations fluctuate naturally because of thermal effects. A key aspect of our continuum-coupling scheme will therefore be to disentangle thermal fluctuations from uncertainties. Methods for local and global sensitivity analysis have to be developed to determine and discriminate the errors caused by the MD simulations. This requires the development of a machine learning (ML) regression scheme that predicts amplitudes of thermal fluctuations, e.g. of the stress tensor, in addition to mean values as well as their respective uncertainties for active learning scenarios. With these amplitudes, the continuum solver will be extended to incorporate these fluctuations. This requires a reformulation of the height-averaged continuum equation, starting from fluctuating hydrodynamics. A key challenge here will be the analytical computation of statistical fluctuations of the averaged field that needs to fulfil some form of fluctuation-dissipation theorem. Application 2 (in project P3 "Single-site catalysis in porous materials") Reaction and diffusion rates, computed by either DFT or machine learning force fields (MLFF), contain uncertainties of various kinds that are propagated through the kinetic Monte Carlo (KMC) simulation. Especially when two or more KMC rates are produced using a common method and input data that may result in error cancellation or accumulation. The effects of such correlated uncertainties will be investigated using global sensitivity analysis. This will make possible to identify the critical uncertainties in the most influential rates determining the kinetic pathway. We will analyze the uncertainties affecting the predicted effect of confinement, as well as uncertainties arising from the DFT calculations. Requirements Knowledge or experience in at least one of these methodological fields will be an advantage for the candidate: mathematical modelling, machine learning / statistical modeling, and uncertainty quantification. Partners This thesis will be carried out in the framework of the interdisciplinary Research Training Group 2450 "Tailored Scale-Bridging Approaches to Computational Nanoscience" in close collaboration with partner PhD students within the training group. Contact Dr. Ivan Kondov Steinbuch Centre for Computing Karlsruhe Institute of Technology ivan.kondov(a)kit.edu

1 0

GandALF 2023: Registration is open – Call For Participation
by Gabriele Puppis 21 Aug '23

21 Aug '23

*[apologies for cross-postings]* * Registration is finally open for the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23), to be held in Udine (Italy) on September 18-20, 2023. *** Early registration deadline is September 4, 2023 (Monday) *** We invite you to attend GandALF 2023. We will offer a very exciting technical and social program, which includes 15 contributed talks, 4 invited talks by renowned international theoretical computer scientists: - Weighted Automata At The Border Of Decidability by Laure Daviaud <https://www.city.ac.uk/about/people/academics/laure-daviaud> – University of East Anglia (UK),- Complexity Aspects Of Logics In Team Semantics by Juha Kontinen <https://researchportal.helsinki.fi/en/persons/juha-kontinen> – University of Helsinki (Finland),- Strategic Reasoning Under Imperfect Information – The Case Of Synchronous Recall by Sophie Pinchinat <https://people.irisa.fr/Sophie.Pinchinat/> – IRISA/University of Rennes (France),- The Church Synthesis Problem Over Continuous Time by Alexander Rabinovich <http://www.cs.tau.ac.il/~rabinoa> – Tel Aviv University (Israel), and an enchanting boat trip and dinner at a traditional Casone (check it out at https://gandalf23.uniud.it/excursion/ <https://gandalf23.uniud.it/excursion/>). To register to the conference, follow the instructions at https://gandalf23.uniud.it/registration/ <https://gandalf23.uniud.it/registration/>. For more details about GandALF 2023 and about how to organize your visit to Udine, check our webpage (https://gandalf23.uniud.it/ <https://gandalf23.uniud.it/>). The full program will be published soon. cheers Dario and Antonis (GandALF 23 PC co-chairs)*

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 07 Aug '23

07 Aug '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= Valeria Cardellini, University of Rome Tor Vergata, Italy. Patrizio Dazzi, University of Pisa, Italy. Gabriele Mencagli, University of Pisa, Italy. Matteo Nardelli, Bank of Italy, Italy. Massimo Torquati, University of Pisa, Italy. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

CFP: IEEE HPCC2023 (High Performance Computing and Communications), Dec. 2023
by Jesson Butt 30 Jul '23

30 Jul '23

Call for papers: The 25th IEEE International Conference on High Performance Computing and Communications (HPCC 2023), 13-15 Dec. 2023, Melbourne, Australia. Website: http://www.swinflow.org/confs/2023/hpcc/ Key dates: Submission Deadline: August 25, 2023 Notification: October 15, 2023 Final Manuscript Due: October 30, 2023 Submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm Publication: Proceedings will be published by IEEE CS Press. Distinguished papers will be invited to special issues of selected journals listed on the conference website. =========== Introduction With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. Among a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), HPCC conference comes to its 25th edition of a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. IEEE HPCC is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing (TCSC). Scope and Topics Topics of particular interest include, but are not limited to: Track 1: High Performance Computing and Applications - High Performance Computing Theory - High Performance Computing Architectures - System Software and Middleware - System Software Support for Scientific Workflows - Storage and I/O Systems - Resource Management - Instruction-Level and Thread-Level Parallelism - Performance Modeling and Evaluation - Massively Multicore Systems - Future Novel Computing Platforms - Database Applications and Data Mining - High Performance Computing for Bioinformatics - High Performance Computing for Big Data - High Performance Computing for AI - High Performance Computing for Block Chains - Green High Performance Computing Track 2: Parallel and Distributed Computing and Systems - Parallel and Distributed System Architectures - Parallel and Distributed Algorithms - Data Center Architectures - Resource Virtualization - Web Services and Internet Computing - Cloud, Edge, and Cluster Computing - Sustainable and Energy Efficient Computing - Federated Learning - Embedded Systems - Distributed Systems and Applications - Pervasive/Ubiquitous Computing & Intelligence - Distributed Graphics and VR/AR/MR Systems - Distributed AI and Soft/Natural Computing - Power-Efficient and Green Computing Systems - Parallel and Distributed Computing for Big Data - Parallel and Distributed Computing for AI Track 3: Communications and Networking - Network and Interconnect Architectures - Computer Networks - Internet Architectures and Protocols - Telecommunications - Trust, Security, and Privacy - Energy-Aware Computing and Networking - 5G Network - Software Defined Networking - Network Functions Virtualization - Machine Learning and Deep Learning - Social Networking and Computing - Performance Evaluation and Measurement Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper. submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be invited to special issues of selected journals listed on the conference website. General Chairs Xian-He Sun, Illinois Institute of Technology, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence T. Yang, St. Francis Xavier University, Canada Program Chairs Muneeb Hassan, Deakin University, Australia Carson Leung, University of Manitoba, Canada

1 0

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris, Karla NMN 19 Jul '23

19 Jul '23

Call for Papers PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X https://sourceryinstitute.github.io/PAW/ Held in conjunction with SC23, Denver, CO Submissions deadline: July 24, 2023 July 31, 2023 Notification to authors: August 31, 2023 Workshop date: November 13, 2023 Summary As supercomputers become more and more powerful, the number and diversity of applications that can be tackled with these machines grows. Unfortunately, the architectural complexity of these supercomputers grows as well, with heterogeneous processors, multiple levels of memory hierarchy, and many ways to move data and synchronize between processors. The MPI+X programming model, use of which is considered by many to be standard practice, demands that a programmer be expert in both the application domain and the low-level details of the architecture(s) on which that application will be deployed, and the availability of such superhuman programmers is a critical bottleneck. Things become more complicated when evolution and change in the underlying architecture translates into significant re-engineering of the MPI+X code to maintain performance. Numerous alternatives to the MPI+X model exist, and by raising the level of abstraction on the application domain and/or the target architecture, they offer the ability for "mere mortal" programmers to take advantage of the supercomputing resources that are available to advance science and tackle urgent real-world problems. However, compared to the MPI+X approach, these alternatives generally lack two things. First, they aren't as well known as MPI+X and a domain scientist may simply not be aware of models that are a good fit to their domain. Second, they are less mature than MPI+X and likely have more functionality or performance "potholes" that need only be identified to be addressed. PAW-ATM is a forum for discussing HPC applications written in alternatives to MPI+X. Its goal is to bring together application experts and proponents of high-level languages to present concrete example uses of such alternatives, describing their benefits and challenges. Scope and Aims The PAW-ATM workshop is designed to be a forum for discussion of supercomputing-scale parallel applications and their implementation in programming models outside of the dominant MPI+X paradigm. Papers and talks will explore the benefits (or perhaps drawbacks) of implementing specific applications with alternatives to MPI+X, whether those benefits are in performance, scalability, productivity, or some other metric important to that application domain. Presenters are encouraged to generalize the experience with their application to other domains in science and engineering and to bring up specific areas of improvement for the model(s) used in the implementation. In doing so, our hope is to create a setting in which application authors, language designers, and architects can present and discuss the state of the art in alternative scalable programming models, while also wrestling with how to increase their effectiveness and adoption. Beyond well-established HPC scientific simulations, we also encourage submissions exploring artificial intelligence, big data analytics, machine learning, and other emerging application areas. Topics of interest include, but are not limited to: * Novel application development using high-level parallel programming languages and frameworks. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from artificial intelligence, data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using alternatives to MPI+X and comparisons to standard programming models. * Novel algorithms enabled by high-level parallel abstractions. * Experience with the use of new compilers and runtime environments. * Libraries using or supporting alternatives to MPI+X. * Benefits of hardware abstraction and data locality on algorithm implementation. Papers that include description of applications that demonstrate the use of alternative programming models will be given higher priority. Submissions Submissions are solicited in 2 categories: 1. Full-length papers presenting novel research results: Full-length papers will be published in the workshop proceedings. Submitted papers must describe original work that has not appeared in, nor is under consideration for, another conference or journal. Papers shall be eight (8) pages minimum and not exceed ten (10) pages including text, appendices, and figures, but excluding bibliography and acknowledgments. Submissions shall not exceed twelve (12) pages total under any circumstance. 1. Extended abstracts summarizing preliminary/published results: Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended to propose timely communications of novel work that will be formally submitted elsewhere at a later stage, and/or of already published work that would be of interest to the PAW-ATM audience in terms of topic and timeliness. Extended abstracts shall not exceed four (4) pages. See https://sourceryinstitute.github.io/PAW/ for further details. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratories ORGANIZING COMMITTEE * Engin Kayraklioglu - Hewlett Packard Enterprise * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory PROGRAM COMMITTEE CO-CHAIRS * Bill Long - Hewlett Packard Enterprise * Daniele Lezzi - Barcelona Supercomputing Center PROGRAM COMMITTEE * Dan Bonachea - Lawrence Berkeley National Laboratory * Jan Ciesko - Sandia National Laboratories * Iacopo Colonnelli - University of Turin * Mario Di Renzo - University of Salento and Stanford University * Salvatore Filippone - Universita di Roma Tor Vergata * Magne Haveraaen - University of Bergen * Peter Hawkins - Google * Engin Kayraklioglu - Hewlett Packard Enterprise * Jannis Klikenberg - RWTH Aachen University * Daniele Lezzi - Barcelona Supercomputing Center * Bill Long - Hewlett Packard Enterprise * Francesc Lordan - Barcelona Supercomputing Center * Lee Margetts - University of Manchester * Fabrizio Marozzo - University of Calabria * Josh Milthorpe - Australian National University * Henry Monge Camacho - Oak Ridge National Laboratory * Karla Morris - Sandia National Laboratories * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory * Kenjiro Taura - University of Tokyo * Miwako Tsuji - RIKEN Advanced Institute for Computational Science ADVISORY COMMITTEE * Bradford L. Chamberlain - Hewlett Packard Enterprise * Damian W. I. Rouson - Lawrence Berkeley National Laboratory * Katherine A. Yelick - Lawrence Berkeley National Laboratory ARTIFACT EVALUATION COMMITTEE CHAIR * Irene Moulitsas - Cranfield University ARTIFACT EVALUATION COMMITTEE MEMBERS * Scott Baden - University of California San Diego * Desmond Bisandu - Cranfield University * Valentin Churavy - Massachusetts Institute of Technology * Fabio Durastante - University of Pisa * Yakup Koray Budanaz - Technical University of Munich * Boyu Kuang - Cranfield University * Soren Rasmussen - National Center for Atmospheric Research * Anjiang Wei - Stanford University IMPORTANT DATES * Submissions deadline: July 24, 2023 July 31, 2023 * Manuscripts review period: August 2-23, 2023 * Notification to authors: August 31, 2023 * Updated AD/AE appendix due from authors: September 4, 2023 * PAW-ATM workshop date: November 13, 2023

1 0

CFP: IEEE HPCC 2023 (High Performance Computing and Communications), Dec. 2023
by Jesson Butt 08 Jul '23

08 Jul '23

Call for papers: The 25th IEEE International Conference on High Performance Computing and Communications (HPCC 2023), 17-21 Dec. 2023, Melbourne, Australia. Website: www.swinflow.org/confs/2023/hpcc Key dates: Submission Deadline: August 25, 2023 (11:59pm UTC/GMT) Notification: October 15, 2023 Final Manuscript Due: October 30, 2023 Submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm Publication: Proceedings will be published by IEEE CS Press. Distinguished papers will be invited to special issues of selected journals listed on the conference website. =========== Introduction With the rapid growth in computing and communications technology, the past decade has witnessed a proliferation of powerful parallel and distributed systems and an ever increasing demand for practice of high performance computing and communications (HPCC). HPCC has moved into the mainstream of computing and has become a key technology in determining future research and development activities in many academic and industrial branches, especially when the solution of large and complex problems must cope with very tight timing schedules. Among a series of highly successful International Conferences on High Performance Computing and Communications (HPCC), HPCC conference comes to its 25th edition of a forum for engineers and scientists in academia, industry, and government to address the resulting profound challenges and to present and discuss their new ideas, research results, applications and experience on all aspects of high performance computing and communications. IEEE HPCC is sponsored by IEEE, IEEE Computer Society, and IEEE Technical Committee on Scalable Computing (TCSC). Scope and Topics Topics of particular interest include, but are not limited to: 1. Parallel and distributed system architectures 2. Languages and compilers for high performance computing 3. Parallel and distributed software technologies 4. Parallel and distributed algorithms 5. Embedded systems 6. Peer-to-peer computing 7. Cluster computing 8. Web services and Internet computing 9. Cloud computing 10. Utility computing 11. Performance evaluation and measurement 12. Tools and environments for software development 13. Distributed systems and applications 14. High-performance scientific and engineering computing 15. Database applications and data mining 16. Biological/molecular computing 17. Collaborative and cooperative environments 18. Mobile computing and wireless communications 19. Computer Networks 20. Telecommunications 21. Pervasive/ubiquitous computing and intelligence 22. Autonomic, reliability and fault-tolerance 23. Trust, security and privacy Submission Guidelines Submissions must include an abstract, keywords, the e-mail address of the corresponding author and should not exceed 8 pages for main conference, including tables and figures in IEEE CS format. The template files for LATEX or WORD can be downloaded here. All paper. submissions must represent original and unpublished work. Each submission will be peer reviewed by at least three program committee members. Submission of a paper should be regarded as an undertaking that, should the paper be accepted, at least one of the authors will register for the conference and present the work. Submit your paper(s) in PDF file at the submission site: http://www.swinflow.org/confs/2023/hpcc/submission.htm. Publications Accepted and presented papers will be included into the IEEE Conference Proceedings published by IEEE CS Press. Authors of accepted papers, or at least one of them, are requested to register and present their work at the conference, otherwise their papers may be removed from the digital libraries of IEEE CS and EI after the conference. Distinguished papers will be invited to special issues of selected journals listed on the conference website. General Chairs Xian-He Sun, Illinois Institute of Technology, USA Beniamino Di Martino, Universita' della Campania "Luigi Vanvitelli", Italy Laurence T. Yang, St. Francis Xavier University, Canada Program Chairs Muneeb Hassan, Deakin University, Australia Carson Leung, University of Manitoba, Canada

1 0

CFP: Fifth International Conference on Microservices
by Alessandro Bocci 04 Jul '23

04 Jul '23

International Conference on Microservices: Call for Papers ========================================================== Fifth International Conference on Microservices October 10th-12th 2023, Pisa, Italy https://www.conf-micro.services/2023/ Important Dates (EXTENDED) --------------- - Submission deadline : July 09th, 2023 (AoE) (extended) - Notification to authors: July 19th, 2023 (AoE) (extended) - Camera-ready due: July 30th, 2023 (AoE) - Early bird registration until: July 30th, 2023 (AoE) - October 10th-12th, 2023 Theme and Topics ---------------- Microservices are pervading enterprise IT, with many big companies already adopting microservice architectures to deliver their core businesses. Microservices indeed provide an alternative to traditional software architectures, which brings various additional benefits, including increased flexibility, scalability, and improved resilience to failures. Additionally, microservices allow for faster and more efficient development, as well as better collaboration between cross-functional teams. As the technology landscape continues to evolve and become more complex, the importance of microservices in building modern, scalable, and effective applications cannot be overstated. The 5th International Conference on Microservices (Microservices 2023) seeks contributions from both industry and academia covering all aspects and phases of the design and implementation of microservice architectures, as well as experiences based on daily working with them. Topics of interests include, but are not limited to, the following: - Software engineering methods for microservices, specifically (but not limited to) agile service design practices, behavior- and domain-driven design - Formal models for microservices - Programming languages, notations, and techniques for microservices - Verification (both static and runtime) of microservice systems - Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development - DevOps for microservices, in particular (but not limited to) continuous deployment and distributed monitoring - Microservices in the context of development, security, and operations (DevSecOps) - Secure by design in the context of Microservices - Microservice operation and contributor analysis - Microservice management: fault, configuration, accounting/cost, performance, security - Co-change and change impact analysis - Discovery/recovery and reverse engineering of microservices solutions - Microservice evolution - Global governance for microservices - Methodologies for identification, specification, and realization of candidate services - Patterns for cloud-native application architectures; service API design and management - Microservices infrastructure components: API gateways, side cars, and service meshes; reactive messaging brokers; service registries; service containers and cluster managers; infrastructure as code - Function-as-a-service and serverless cloud offerings; service-based event sourcing and data streaming architectures - Security and other service quality concerns (consistency, availability, recoverability) in microservices; dealing with General Data Protection Regulation (GDPR) compliance and other data privacy requirements Testing for microservices: unit tests, system tests, acceptance and regression tests, test-driven service development Internet technologies: services, human interactions, data analytics and AI for IoT, architecture things centric, sensor networks, security, privacy, applications - AI and Microservices (including Datasets, Open-source technology) - Cyber-physical Systems: AI/ML applications, security - Industrial case studies and applications: Data Science/Big Data, Smart Industry, Healthcare, Government, Manufacturing, Logistics and Supply Chain Management - Empirical studies of microservices adoption - Case Studies and Surveys on the topic of Microservices - Sustainable practices in the Microservices community - Education about Microservices technologies Submissions Guidelines ---------------------- A submission should describe a talk to be given at the conference in the form of extended abstracts with a maximum of two pages for talks from industry and six pages for academic presentations (including references). Submissions can be based on work in progress, scientific work published or submitted for publication, practical experience reports, or practical tool demonstrations. They must further be prepared using the TBA template, be in PDF format, printable in black and white on A4 paper, and interpretable by common PDF tools. Submissions must be in English. Contributions may be submitted via TBA. The submission deadline is June 25th, 2023 AoE. Resubmissions are allowed until the submission deadline. Contributions will be reviewed and selected by the Program Committee. Extended abstracts of accepted contributions will be available electronically before the conference. Selected contributions will be invited to submit manuscripts based on their abstracts for conference post-proceedings. Organisation ------------ General Chair: Antonio Brogi, University of Pisa (IT) Program Chairs: Tomas Cerny, Baylor University (US) Valentina Lenarduzzi, University of Oulu (FI) Jacopo Soldani, University of Pisa (IT) Industrial Liaison Chair: Claudio Guidi, italianaSoftware (IT) Publicity Chair: Alessandro Bocci, University of Pisa (IT) Philip Wizenty, University of Applied Sciences and Arts Dortmund (DE) Local Chairs: Stefano Forti, University of Pisa (IT) Steering Committee ----------------- Giulio Manzonetto, Université Sorbonne Paris Nord Fabrizio Montesi, University of Southern Denmark Sabine Sachweh, University of Applied Sciences and Arts Dortmund Program Committee ----------------- Amr S. Abdelfattah, Baylor University (USA) Nour Ali, Brunel University London (UK) Carlo Aliprandi, Extra RED (IT) Hernán Astudillo, Universidad Técnica Federico Santa Maria (CL) Luciano Baresi, Politecnico di Milano (IT) Justus Bogner, University of Stuttgart (DE) Andrea Janes, Vorarlberg University of Applied Science (AT) Ivan Lanese, University of Bologna (IT) Pavas Navaney, Oracle (USA) Phu Nguyen, SINTEF (NO) Claus Pahl, Free University of Bozen-Bolzano (IT) Florian Rademacher, RWTH Aachen University (DE) Larisa Safina, INRIA (FR) Davide Taibi, University of Oulu (FI) Pavel Tisnovsky, Red Hat (USA) Nabil El Ioini, The University of Nottingham (MY) Richard Lipka, University of West Bohemia (CZ) Muhammad Waseem, University of Jyväskylä (FI) Contact Information ------------------- Please contact us if you have questions: https://www.conf-micro.services/2023/contact/

1 0

Summer School on Reactive Synthesis + Workshop on Synthesis, Monitoring and Learning at University of Udine
by Gabriele Puppis 04 Jul '23

04 Jul '23

*** apologies for cross-postings *** ===== Call for Attendance ===== ----------------------------------------------------------------------------- Third edition of the UniVr/UniUd Summer School on Formal Methods for Cyber-Physical Systems - Udine, August 28-31 http://tcs.uniud.it/summer-school + Workshop on Synthesis, Monitoring and Learning - Udine, August 31-September 1 http://tcs.uniud.it/smile ----------------------------------------------------------------------------- Synthesis is a fundamental problem in computer science and mathematics, concerned with automatically generating programs that satisfy a given logical specification. Its applications span a range of domains, including model-based system design, software engineering, and automated theorem proving. For instance, designing a controller that guides the behavior of a reactive system, that is, a system that continually interacts with its environment, can be framed as a synthesis problem. Similarly, the design and verification of a distributed system often depend on distributed synthesis, which finds programs that enforce correct component interaction and satisfy desired specifications. The third edition of the Summer School on Formal Methods for Cyber-Physical Systems offers an in-depth exploration of reactive synthesis, a topic that was already introduced in the first edition of the school. The lecturers will provide a systematic account of the main achievements and the current trends of research in reactive synthesis, covering both theory and applications. The course will begin with an overview of the classical synthesis problem in the finite-state setting, as originally formulated by Church and solved by Buechi and Landweber. This introductory part will introduce the terminology of infinite two-player games, explain the automatic construction of winning strategies in “regular games”, and address history of the subject, discussing extensions and open problems. From there, the course will investigate approaches for making reactive synthesis more efficient and practical, including techniques for solving the synthesis problem in restricted settings, for decomposing the problem into subproblems, and for employing algorithms, data structures, and heuristics to manage complexity. Variants of the synthesis problem will also be explored, such as control strategies for hybrid and distributed systems, monitor synthesis, synthesis under incomplete information, distributed synthesis, and symmetric synthesis. The implementation of synthesis tools will also receive significant attention, with a focus on recent advances and applications of UPPAAL Stratego and the SYNTCOMP reactive synthesis competition. The summer school will conclude with a workshop on emerging research trends in synthesis, monitoring, and learning, which showcases some exciting interactions between formal methods and machine learning. Distinguished invited speakers will lead the workshop. Participants will also have the opportunity to engage with peers from around the world and may propose to deliver short research talks voluntarily. ### Lecturers Wolfgang Thomas - RWTH Aachen University, Germany 3-hour lecture on “Synthesis of strategies in infinite two-player games” We give an introduction to the synthesis of reactive systems in the finite-state setting, using the terminology of infinite two-player games and explaining the automatic construction of winning strategies in “regular games”. We also address the history of the subject, discuss extensions, and mention basic problems that are still open. Martin Zimmermann - Aalborg University, Denmark 3-hour lecture on “Synthesis of infinite-state systems” The reactive synthesis problem asks to compute, from a given specification of the input-output behavior of a reactive system, a system satisfying this specification (or to determine that no such system exists). In this lecture, we consider the synthesis of infinite-state systems with a focus on pushdown systems, which model simple recursive systems with finite data. On a technical level, we show how to solve infinite games on configuration graphs of pushdown automata and present recent work on generalizations to history-deterministic pushdown automata. Kim G. Larsen - Aalborg University, Denmark 3-hour lecture on “Synthesis and Optimization for Cyber Physical Systems” In these lectures we will present recent advances and applications of the tool UPPAAL Stratego (www.uppaal.org) supporting automatic synthesis of guaranteed safe and near-optimal control strategies for Cyber Physical Systems (CPS). UPPAAL Stratego combines symbolic methods from model checking, reinforcement learning methods from machine learning, as well as abstraction techniques for hybrid games. Trade-offs between efficiency of strategy representation and degree of optimality subject to safety constraints will be discussed, as well as successful applications (autonomous driving maneuvers, heating systems and traffic control). Dana Fisman - Ben Gurion University of the Negev, Israel 3-hour lecture on “Automata learning of languages of finite and infinite words” In these lectures we will get acquainted with the research area called grammatical inference or automata learning. We will start with the earliest results on the subject, and span different learning paradigms. We will describe several positive results, and efficient algorithms for learning regular languages. We will prove several negative results for learning different classes of languages in different learning paradigms. We will then discuss state-of-the-art results on learning regular languages of infinite words. Swen Jacobs - CISPA Helmholtz-Center for Information Security, Germany 3-hour lecture on “Reactive synthesis: towards practice” I will give an overview of different lines of research that try to make reactive synthesis (more) practical. This includes research into approaches to restrict the problem to more efficiently solvable fragments, into ways to split the problem into subproblems that can be solved independently or iteratively, and into efficient algorithms and data structures as well as heuristics that allow us to implement synthesis tools that can solve problems of significant size. I will report on progress observed in the reactive synthesis competition (SYNTCOMP), and on case studies and benchmark problems that demonstrate the capabilities of state-of-the-art synthesis tools. Alessandro Cimatti - Fondazione Bruno Kessler, Italy 3-hour lecture on “Runtime verification and monitor synthesis” Runtime Verification (RV) is a lightweight verification technique that aims at checking whether a run of a system under scrutiny (SUS) satisfies or violates a given correctness specification. The lecture will first overview the general framework of RV, and the techniques to synthesize run-time monitors that can be efficiently executed in combination with the SUS. Then, we will cover the relationship between RV and the field of Fault Detection and Isolation (FDI). In FDI, runtime monitors are built taking into account models of the SUS, in order to monitor the occurrence of internal (faulty) conditions that are not directly observable. ### Programme Monday, August 28 13:30 - 14:00 Registration 14:00 - 14:30 Course Introduction 14:30 - 16:00 Wolfgang Thomas 16:00 - 16:30 Coffee break 16:30 - 18:00 Wolfgang Thomas Tuesday, August 29 09:30 - 11:00 Martin Zimmermann 11:00 - 11:30 Coffee break 11:30 - 13:00 Martin Zimmermann 13:00 - 14:00 Lunch 14:30 - 16:00 Kim G. Larsen 16:00 - 16:30 Coffee break 16:30 - 18:00 Kim G. Larsen Wednesday, August 30 09:30 - 11:00 Dana Fisman 11:00 - 11:30 Coffee break 11:30 - 13:00 Dana Fisman 13:00 - 14:00 Lunch 14:30 - 16:00 Swen Jacobs 16:00 - 16:30 Coffee break 16:30 - 18:00 Swen Jacobs 19:00 - 23:00 Social dinner Thursday, August 31 09:30 - 11:00 Alessandro Cimatti 11:00 - 11:30 Coffee break 11:30 - 13:00 Alessandro Cimatti 13:00 - 14:00 Lunch 14:30 - 16:30 Workshop on Synthesis, Monitoring and Learning Friday, September 1 09:30 - 14:00 Workshop on Synthesis, Monitoring and Learning ### Admission and accommodation The course is offered in a hybrid format giving the possibility to remotely attend the course (on the Microsoft Teams platform). On-site places are limited and assigned on first come first served basis. The registration fees are: - On-site participation, 250.00 Euro + VAT 22% - Online participation, 120.00 Euro + VAT 22% Deadline for online application is August 18, 2023. Participation application is available at https://www.cism.it/en/activities/courses/J2303/ ### Contacts CISM, Palazzo del Torso Piazza Garibaldi 18, 39100 Udine, Italy tel. +39 0432 248511 email: cism(a)cism.it | www.cism.it ### Organization Angelo Montanari - University of Udine, Italy Gabriele Puppis - University of Udine, Italy Tiziano Villa - University of Verona, Italy

1 0

(CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris, Karla NMN 03 Jul '23

03 Jul '23

Call for Papers PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X https://sourceryinstitute.github.io/PAW/ Held in conjunction with SC23, Denver, CO Submissions deadline: July 24, 2023 Notification to authors: August 31, 2023 Workshop date: November 13, 2023 Summary As supercomputers become more and more powerful, the number and diversity of applications that can be tackled with these machines grows. Unfortunately, the architectural complexity of these supercomputers grows as well, with heterogeneous processors, multiple levels of memory hierarchy, and many ways to move data and synchronize between processors. The MPI+X programming model, use of which is considered by many to be standard practice, demands that a programmer be expert in both the application domain and the low-level details of the architecture(s) on which that application will be deployed, and the availability of such superhuman programmers is a critical bottleneck. Things become more complicated when evolution and change in the underlying architecture translates into significant re-engineering of the MPI+X code to maintain performance. Numerous alternatives to the MPI+X model exist, and by raising the level of abstraction on the application domain and/or the target architecture, they offer the ability for "mere mortal" programmers to take advantage of the supercomputing resources that are available to advance science and tackle urgent real-world problems. However, compared to the MPI+X approach, these alternatives generally lack two things. First, they aren't as well known as MPI+X and a domain scientist may simply not be aware of models that are a good fit to their domain. Second, they are less mature than MPI+X and likely have more functionality or performance "potholes" that need only be identified to be addressed. PAW-ATM is a forum for discussing HPC applications written in alternatives to MPI+X. Its goal is to bring together application experts and proponents of high-level languages to present concrete example uses of such alternatives, describing their benefits and challenges. Scope and Aims The PAW-ATM workshop is designed to be a forum for discussion of supercomputing-scale parallel applications and their implementation in programming models outside of the dominant MPI+X paradigm. Papers and talks will explore the benefits (or perhaps drawbacks) of implementing specific applications with alternatives to MPI+X, whether those benefits are in performance, scalability, productivity, or some other metric important to that application domain. Presenters are encouraged to generalize the experience with their application to other domains in science and engineering and to bring up specific areas of improvement for the model(s) used in the implementation. In doing so, our hope is to create a setting in which application authors, language designers, and architects can present and discuss the state of the art in alternative scalable programming models, while also wrestling with how to increase their effectiveness and adoption. Beyond well-established HPC scientific simulations, we also encourage submissions exploring artificial intelligence, big data analytics, machine learning, and other emerging application areas. Topics of interest include, but are not limited to: * Novel application development using high-level parallel programming languages and frameworks. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from artificial intelligence, data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using alternatives to MPI+X and comparisons to standard programming models. * Novel algorithms enabled by high-level parallel abstractions. * Experience with the use of new compilers and runtime environments. * Libraries using or supporting alternatives to MPI+X. * Benefits of hardware abstraction and data locality on algorithm implementation. Papers that include description of applications that demonstrate the use of alternative programming models will be given higher priority. Submissions Submissions are solicited in 2 categories: 1. Full-length papers presenting novel research results: Full-length papers will be published in the workshop proceedings. Submitted papers must describe original work that has not appeared in, nor is under consideration for, another conference or journal. Papers shall be eight (8) pages minimum and not exceed ten (10) pages including text, appendices, and figures, but excluding bibliography and acknowledgments. Submissions shall not exceed twelve (12) pages total under any circumstance. 1. Extended abstracts summarizing preliminary/published results: Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended to propose timely communications of novel work that will be formally submitted elsewhere at a later stage, and/or of already published work that would be of interest to the PAW-ATM audience in terms of topic and timeliness. Extended abstracts shall not exceed four (4) pages. See https://sourceryinstitute.github.io/PAW/ for further details. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratories ORGANIZING COMMITTEE * Engin Kayraklioglu - Hewlett Packard Enterprise * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory PROGRAM COMMITTEE CO-CHAIRS * Bill Long - Hewlett Packard Enterprise * Daniele Lezzi - Barcelona Supercomputing Center PROGRAM COMMITTEE * Dan Bonachea - Lawrence Berkeley National Laboratory * Jan Ciesko - Sandia National Laboratories * Iacopo Colonnelli - University of Turin * Mario Di Renzo - University of Salento and Stanford University * Salvatore Filippone - Universita di Roma Tor Vergata * Magne Haveraaen - University of Bergen * Peter Hawkins - Google * Engin Kayraklioglu - Hewlett Packard Enterprise * Jannis Klikenberg - RWTH Aachen University * Daniele Lezzi - Barcelona Supercomputing Center * Bill Long - Hewlett Packard Enterprise * Francesc Lordan - Barcelona Supercomputing Center * Lee Margetts - University of Manchester * Fabrizio Marozzo - University of Calabria * Josh Milthorpe - Australian National University * Henry Monge Camacho - Oak Ridge National Laboratory * Karla Morris - Sandia National Laboratories * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory * Kenjiro Taura - University of Tokyo * Miwako Tsuji - RIKEN Advanced Institute for Computational Science ADVISORY COMMITTEE * Bradford L. Chamberlain - Hewlett Packard Enterprise * Damian W. I. Rouson - Lawrence Berkeley National Laboratory * Katherine A. Yelick - Lawrence Berkeley National Laboratory ARTIFACT EVALUATION COMMITTEE CHAIR * Irene Moulitsas - Cranfield University ARTIFACT EVALUATION COMMITTEE MEMBERS * Scott Baden - University of California San Diego * Desmond Bisandu - Cranfield University * Valentin Churavy - Massachusetts Institute of Technology * Fabio Durastante - University of Pisa * Yakup Koray Budanaz - Technical University of Munich * Boyu Kuang - Cranfield University * Soren Rasmussen - National Center for Atmospheric Research * Anjiang Wei - Stanford University IMPORTANT DATES * Submissions deadline: July 24, 2023 * Manuscripts review period: August 2-23, 2023 * Notification to authors: August 31, 2023 * Updated AD/AE appendix due from authors: September 4, 2023 * PAW-ATM workshop date: November 13, 2023

1 0

GandALF 2023: Deadline extension (abstract and paper submission)
by Gabriele Puppis 28 Jun '23

28 Jun '23

[apologies for cross-postings] · New abstract submission deadline: 23 June 2023 *30 June 2023* · New paper submission deadline: 30 June 2023 *7 July 2023* The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on *September 18-20, 2023*. The aim of GandALF 2023 <https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Rooz29B…> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: · Automata Theory · Automated Deduction · Computational aspects of Game Theory · Concurrency and Distributed computation · Decision Procedures · Deductive, Compositional, and Abstraction Techniques for Verification · Finite Model Theory · First-order and Higher-order Logics · Formal Languages · Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems · Game Semantics · Games and Automata for Verification · Logical aspects of Computational Complexity · Logics of Programs · Modal and Temporal Logics · Model Checking · Models of Reactive and Real-Time Systems · Probabilistic Models (Markov Decision processes) · Program Analysis and Software Verification · Reinforcement Learning · Run-time Verification and Testing · Specification and Verification of Finite and Infinite-state Systems · Synthesis Important Dates · Abstract submission deadline: 23 June 2023 *30 June 2023* · Paper submission deadline: 30 June 2023 *7 July 2023* · Acceptance notification: 7 August 2023 · Camera-ready deadline: 6 September 2023 · Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://urldefense.com/v3/__https://time.is/Anywhere_on_Earth__;!!IBzWLUs!R…> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <https://urldefense.com/v3/__http://www.eptcs.org/__;!!IBzWLUs!Rooz29BBsOWdk…>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://urldefense.com/v3/__https://lmcs.episciences.org/__;!!IBzWLUs!Rooz2…> . The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <https://urldefense.com/v3/__http://style.eptcs.org__;!!IBzWLUs!Rooz29BBsOWd…>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 <https://urldefense.com/v3/__https://easychair.org/conferences/?conf=gandalf…> Invited Speakers · Laure Daviaud <https://urldefense.com/v3/__https://www.city.ac.uk/about/people/academics/l…> – University of East Anglia (UK) · Juha Kontinen <https://urldefense.com/v3/__https://researchportal.helsinki.fi/en/persons/j…> – University of Helsinki (Finland) · Sophie Pinchinat <https://urldefense.com/v3/__https://people.irisa.fr/Sophie.Pinchinat/__;!!I…> – IRISA/University of Rennes (France) · Alexander Rabinovich <https://urldefense.com/v3/__http://www.cs.tau.ac.il/*rabinoa__;fg!!IBzWLUs!…> – Tel Aviv University (Israel) Program Committee · Dario Della Monica (co-chair) – University of Udine (Italy) · Antonis Achilleos (co-chair) – Reykjavik University (Iceland) · Parosh Aziz Abdulla – Uppsala University (Sweden) · Christel Baier – Technische Universität Dresden (Germany) · Valentina Castiglioni – Reykjavik University (Iceland) · Giorgio Delzanno – University of Genova (Italy) · Léo Exibard – Université Gustave Eiffel (France) · Gabriele Fici – University of Palermo (Italy) · Dana Fisman – Ben-Gurion University (Israel) · Nicola Gigante – Free University of Bozen-Bolzano (Italy) · Miika Hannula – University of Helsinki (Finland) · Naoki Kobayashi – The University of Tokyo (Japan) · Orna Kupferman – Hebrew University (Israel) · Martin Leucker – University of Lübeck (Germany) · Jakub Michaliszyn – University of Wrocław (Poland) · Fabio Mogavero – University of Napoli (Italy) · Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) · Pawel Parys – University of Warsaw (Poland) · Guillermo Pérez – University of Antwerp (Belgium) · Giovanni Pighizzini – University of Milano (Italy) · Gabriele Puppis – University of Udine (Italy) · Joshua Sack – California State University Long Beach (USA) · Ocan Sankur – CNRS/Irisa (France) · Patrick Totzke – University of Liverpool (UK) · Jana Wagemaker – Reykjavik University (Iceland) · Matteo Zavatteri– University of Padova (Italy) · Martin Zimmermann – Aalborg University (Denmark) Steering Committee · Luca Aceto – Reykjavik University (Iceland) · Javier Esparza – University of Munich (Germany) · Salvatore La Torre – University of Salerno (Italy) · Angelo Montanari – University of Udine (Italy) · Mimmo Parente – University of Salerno (Italy) · Jean-François Raskin – Université libre de Bruxelles (Belgium) · Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/ <https://urldefense.com/v3/__https://gandalf23.uniud.it/__;!!IBzWLUs!Rooz29B…>

1 0

Elsevier JSA Special Issue on VHPC
by Tommaso Cucinotta 15 Jun '23

15 Jun '23

[feel free to forward to possible interested colleagues, apologies for cross-posting] Dear all, the International Workshop on “Virtualization in High-Performance Cloud Computing” (VHPC), just recently completed on May in co-location with the ISC High Performance 2023 conference in Hamburg, has come to its *18th successful edition*. Therefore, we're glad to celebrate the "maturity" of the VHPC series of workshops, by accompanying this year edition with a *Special Issue of the Elsevier Journal of Systems Architecture (JSA), focusing on VHPC-related research topics*: https://www.sciencedirect.com/journal/journal-of-systems-architecture/about… (Q1 journal in Scimago SJR/CiteScore rankings) Papers for the JSA Special Issue on VHPC are due on *September 29th, 2023*. Authors of accepted papers at VHPC 2023 and previous recent editions of the workshop are invited to submit extended versions of their VHPC papers to the JSA Special Issue. These will undergo a new peer-reviewing process, to meet the high standards required for publishing on JSA. Extended papers need to provide significant unpublished novel contents, compared to the already published workshop papers (check the guide for authors for details). The *JSA VHPC Special Issue call for papers is also open to any other submission dealing with topics within the VHPC scope*, e.g., virtualization across the entire software stack with a special focus on the intersection among HPC, Containerization/Virtualization and Cloud/Edge Computing, encompassing aspects related to design/architecture, management & orchestration, performance & fault-tolerance, modeling and configuration/tooling. For more information, submission guidelines, and the submission link, please, refer to the *official page about the JSA Special Issue on VHPC*: https://www.sciencedirect.com/journal/journal-of-systems-architecture/about… Kind regards, The JSA VHPC Special Issue Guest Editors. Tommaso Cucinotta, Scuola Superiore Sant’Anna, Pisa, Italy Michael Alexander, Institute of Science and Technology, Austria, and Scilytics Anastassios Nanos, Nubificus, Ltd., UK -- Tommaso Cucinotta, Computer Engineering PhD Associate Professor at the Real-Time Systems Laboratory (ReTiS) Scuola Superiore Sant'Anna, Pisa, Italy http://retis.sssup.it/people/tommaso

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 14 Jun '23

14 Jun '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= Valeria Cardellini, University of Rome Tor Vergata, Italy. Patrizio Dazzi, University of Pisa, Italy. Gabriele Mencagli, University of Pisa, Italy. Matteo Nardelli, Bank of Italy, Italy. Massimo Torquati, University of Pisa, Italy. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

GandALF 2023: Last Call For Papers
by Gabriele Puppis 01 Jun '23

01 Jun '23

[apologies for cross-postings] The Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 23) will be held in Udine (Italy) on September 18-20, 2023. The aim of GandALF 2023 <https://gandalf23.uniud.it/> is to bring together researchers from academia and industry who are actively working in the fields of Games, Automata, Logics, and Formal Verification. The idea is to cover an ample spectrum of themes, ranging from theory to applications, and stimulate cross-fertilization. Papers focused on formal methods are especially welcome. Authors are invited to submit original research or tool papers on all relevant topics in these areas. Papers discussing new ideas that are at an early stage of development are also welcome. The topics covered by the conference include, but are not limited to, the following: - Automata Theory - Automated Deduction - Computational aspects of Game Theory - Concurrency and Distributed computation - Decision Procedures - Deductive, Compositional, and Abstraction Techniques for Verification - Finite Model Theory - First-order and Higher-order Logics - Formal Languages - Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems - Game Semantics - Games and Automata for Verification - Logical aspects of Computational Complexity - Logics of Programs - Modal and Temporal Logics - Model Checking - Models of Reactive and Real-Time Systems - Probabilistic Models (Markov Decision processes) - Program Analysis and Software Verification - Reinforcement Learning - Run-time Verification and Testing - Specification and Verification of Finite and Infinite-state Systems - Synthesis Important Dates - Abstract submission deadline: 23 June 2023 - Paper submission deadline: 30 June 2023 - Acceptance notification: 7 August 2023 - Camera-ready deadline: 6 September 2023 - Conference dates: 18-20 September 2023 ⚠ all deadlines are AoE <https://time.is/Anywhere_on_Earth> Publication The proceedings will be published by Electronic Proceedings in Theoretical Computer Science <http://www.eptcs.org/>. Authors of selected papers will be invited to submit a revised version of their work to a special issue of Logical Methods in Computer Science <https://lmcs.episciences.org/>. The previous editions of GandALF already led to special issues of the International Journal of Foundations of Computer Science (GandALF 2010), Theoretical Computer Science (GandALF 2011 and 2012), Information and Computation (GandALF 2013, 2014, 2016, 2017, 2018, 2019, and 2020), Acta Informatica (GandALF 2015) and Logical Methods in Computer Science (GandALF 2021 and 2022). Submission Submitted papers should not exceed 14 pages (excluding references and clearly marked appendices) using EPTCS format (please use the LaTeX style provided here <http://style.eptcs.org/>), be unpublished, and contain original research. For papers reporting experimental results, authors are encouraged to make their data available with their submission. Submissions must be in PDF format and will be handled via easychair at the following address: https://easychair.org/conferences/?conf=gandalf23 Invited Speakers - Laure Daviaud <https://www.city.ac.uk/about/people/academics/laure-daviaud> – City, University of London (UK) - Juha Kontinen <https://researchportal.helsinki.fi/en/persons/juha-kontinen> – University of Helsinki (Finland) - Sophie Pinchinat <https://people.irisa.fr/Sophie.Pinchinat/> – IRISA/University of Rennes (France) - Alexander Rabinovich <http://www.cs.tau.ac.il/~rabinoa> – Tel Aviv University (Israel) Program Committee - Dario Della Monica (co-chair) – University of Udine (Italy) - Antonis Achilleos (co-chair) – Reykjavik University (Iceland) - Parosh Aziz Abdulla – Uppsala University (Sweden) - Christel Baier – Technische Universität Dresden (Germany) - Valentina Castiglioni – Reykjavik University (Iceland) - Giorgio Delzanno – University of Genova (Italy) - Léo Exibard – Université Gustave Eiffel (France) - Gabriele Fici – University of Palermo (Italy) - Dana Fisman – Ben-Gurion University (Israel) - Nicola Gigante – Free University of Bozen-Bolzano (Italy) - Miika Hannula – University of Helsinki (Finland) - Naoki Kobayashi – The University of Tokyo (Japan) - Orna Kupferman – Hebrew University (Israel) - Martin Leucker – University of Lübeck (Germany) - Jakub Michaliszyn – University of Wrocław (Poland) - Fabio Mogavero – University of Napoli (Italy) - Shankara Narayanan Krishna – Indian Institute of Technology, Bombay (India) - Pawel Parys – University of Warsaw (Poland) - Guillermo Pérez – University of Antwerp (Belgium) - Giovanni Pighizzini – University of Milano (Italy) - Gabriele Puppis – University of Udine (Italy) - Joshua Sack – California State University Long Beach (USA) - Ocan Sankur – CNRS/Irisa (France) - Patrick Totzke – University of Liverpool (UK) - Jana Wagemaker – Radboud University (Netherlands) - Matteo Zavatteri– University of Padova (Italy) - Martin Zimmermann – Aalborg University (Denmark) Steering Committee - Luca Aceto – Reykjavik University (Iceland) - Javier Esparza – University of Munich (Germany) - Salvatore La Torre – University of Salerno (Italy) - Angelo Montanari – University of Udine (Italy) - Mimmo Parente – University of Salerno (Italy) - Jean-François Raskin – Université libre de Bruxelles (Belgium) - Martin Zimmermann – Aalborg University (Denmark) Website https://gandalf23.uniud.it/

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 29 May '23

29 May '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= Valeria Cardellini, University of Rome Tor Vergata, Italy. Patrizio Dazzi, University of Pisa, Italy. Gabriele Mencagli, University of Pisa, Italy. Matteo Nardelli, Bank of Italy, Italy. Massimo Torquati, University of Pisa, Italy. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

CALL FOR PAPERS) PAW-ATM: Parallel Applications Workshop, Alternatives To MPI+X
by Morris, Karla NMN 24 May '23

24 May '23

Call for Papers PAW-ATM 2023: Parallel Applications Workshop, Alternatives To MPI+X https://sourceryinstitute.github.io/PAW/ Held in conjunction with SC23, Denver, CO Submissions deadline: July 24, 2023 Notification to authors: August 31, 2023 Workshop date: November 13, 2023 Summary As supercomputers become more and more powerful, the number and diversity of applications that can be tackled with these machines grows. Unfortunately, the architectural complexity of these supercomputers grows as well, with heterogeneous processors, multiple levels of memory hierarchy, and many ways to move data and synchronize between processors. The MPI+X programming model, use of which is considered by many to be standard practice, demands that a programmer be expert in both the application domain and the low-level details of the architecture(s) on which that application will be deployed, and the availability of such superhuman programmers is a critical bottleneck. Things become more complicated when evolution and change in the underlying architecture translates into significant re-engineering of the MPI+X code to maintain performance. Numerous alternatives to the MPI+X model exist, and by raising the level of abstraction on the application domain and/or the target architecture, they offer the ability for "mere mortal" programmers to take advantage of the supercomputing resources that are available to advance science and tackle urgent real-world problems. However, compared to the MPI+X approach, these alternatives generally lack two things. First, they aren't as well known as MPI+X and a domain scientist may simply not be aware of models that are a good fit to their domain. Second, they are less mature than MPI+X and likely have more functionality or performance "potholes" that need only be identified to be addressed. PAW-ATM is a forum for discussing HPC applications written in alternatives to MPI+X. Its goal is to bring together application experts and proponents of high-level languages to present concrete example uses of such alternatives, describing their benefits and challenges. Scope and Aims The PAW-ATM workshop is designed to be a forum for discussion of supercomputing-scale parallel applications and their implementation in programming models outside of the dominant MPI+X paradigm. Papers and talks will explore the benefits (or perhaps drawbacks) of implementing specific applications with alternatives to MPI+X, whether those benefits are in performance, scalability, productivity, or some other metric important to that application domain. Presenters are encouraged to generalize the experience with their application to other domains in science and engineering and to bring up specific areas of improvement for the model(s) used in the implementation. In doing so, our hope is to create a setting in which application authors, language designers, and architects can present and discuss the state of the art in alternative scalable programming models, while also wrestling with how to increase their effectiveness and adoption. Beyond well-established HPC scientific simulations, we also encourage submissions exploring artificial intelligence, big data analytics, machine learning, and other emerging application areas. Topics of interest include, but are not limited to: * Novel application development using high-level parallel programming languages and frameworks. * Examples that demonstrate performance, compiler optimization, error checking, and reduced software complexity. * Applications from artificial intelligence, data analytics, bioinformatics, and other novel areas. * Performance evaluation of applications developed using alternatives to MPI+X and comparisons to standard programming models. * Novel algorithms enabled by high-level parallel abstractions. * Experience with the use of new compilers and runtime environments. * Libraries using or supporting alternatives to MPI+X. * Benefits of hardware abstraction and data locality on algorithm implementation. Papers that include description of applications that demonstrate the use of alternative programming models will be given higher priority. Submissions Submissions are solicited in 2 categories: 1. Full-length papers presenting novel research results: Full-length papers will be published in the workshop proceedings. Submitted papers must describe original work that has not appeared in, nor is under consideration for, another conference or journal. Papers shall be eight (8) pages minimum and not exceed ten (10) pages including text, appendices, and figures, but excluding bibliography and acknowledgments. Submissions shall not exceed twelve (12) pages total under any circumstance. 1. Extended abstracts summarizing preliminary/published results: Extended abstracts will be evaluated separately and will not be included in the published proceedings; they are intended to propose timely communications of novel work that will be formally submitted elsewhere at a later stage, and/or of already published work that would be of interest to the PAW-ATM audience in terms of topic and timeliness. Extended abstracts shall not exceed four (4) pages. See https://sourceryinstitute.github.io/PAW/ for further details. WORKSHOP CHAIR * Karla Morris - Sandia National Laboratories ORGANIZING COMMITTEE * Engin Kayraklioglu - Hewlett Packard Enterprise * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory PROGRAM COMMITTEE CO-CHAIRS * Bill Long - Hewlett Packard Enterprise * Daniele Lezzi - Barcelona Supercomputing Center PROGRAM COMMITTEE * Dan Bonachea - Lawrence Berkeley National Laboratory * Jan Ciesko - Sandia National Laboratories * Iacopo Colonnelli - University of Turin * Mario Di Renzo - University of Salento and Stanford University * Salvatore Filippone - Universita di Roma Tor Vergata * Magne Haveraaen - University of Bergen * Peter Hawkins - Google * Engin Kayraklioglu - Hewlett Packard Enterprise * Jannis Klikenberg - RWTH Aachen University * Daniele Lezzi - Barcelona Supercomputing Center * Bill Long - Hewlett Packard Enterprise * Francesc Lordan - Barcelona Supercomputing Center * Lee Margetts - University of Manchester * Fabrizio Marozzo - University of Calabria * Josh Milthorpe - Australian National University * Henry Monge Camacho - Oak Ridge National Laboratory * Karla Morris - Sandia National Laboratories * Irene Moulitsas - Cranfield University * Elliott Slaughter - SLAC National Accelerator Laboratory * Kenjiro Taura - University of Tokyo * Miwako Tsuji - RIKEN Advanced Institute for Computational Science ADVISORY COMMITTEE * Bradford L. Chamberlain - Hewlett Packard Enterprise * Damian W. I. Rouson - Lawrence Berkeley National Laboratory * Katherine A. Yelick - Lawrence Berkeley National Laboratory ARTIFACT EVALUATION COMMITTEE CHAIR * Irene Moulitsas - Cranfield University ARTIFACT EVALUATION COMMITTEE MEMBERS * Scott Baden - University of California San Diego * Desmond Bisandu - Cranfield University * Valentin Churavy - Massachusetts Institute of Technology * Fabio Durastante - University of Pisa * Yakup Koray Budanaz - Technical University of Munich * Boyu Kuang - Cranfield University * Soren Rasmussen - National Center for Atmospheric Research * Anjiang Wei - Stanford University IMPORTANT DATES * Submissions deadline: July 24, 2023 * Manuscripts review period: August 2-23, 2023 * Notification to authors: August 31, 2023 * Updated AD/AE appendix due from authors: September 4, 2023 * PAW-ATM workshop date: November 13, 2023

1 0

[Announcements][Last Call]: The 12th EAI International Conference on Cloud Computing (EAI CloudComp 2023)
by Wayne Chiu 18 May '23

18 May '23

*** Apologies for Cross-Posting *** ----------------------------------------------------------------------- CFP *Last Call* - EAI CloudComp 2023 The 12th International Conference on Cloud Computing (EAI CloudComp 2023) https://cloudcomp.eai-conferences.org/2023/ 25-26, October, 2023, Hong Kong, Hong Kong S.A.R. ----------------------------------------------------------------------- *Submission Deadline: 20 May, 2023 (AoE)* ----------------------------------------------------------------------- # Scope # As a novel computing paradigm, cloud computing has changed the world tremendously in the past two decades. It offers scalable computing and storage resources as services to support various applications cost- effectively and flexibly. It has also promoted the proliferation of big data analytics and deep learning in the last decade. Currently, cloud computing is continuing to power and drive technological development and advances in various areas such as industrial manufacturing, medical healthcare, intelligent transportation, smart city, e-government, e-commerce, and e-finance, etc. It is also the backbone for emerging edge/fog computing technologies and Internet of Things (IoT) applications, which constitute a rapidly-evolving ecosystem that profoundly changes the world’s IT landscape and people’s lives. CloudComp 2023 aims to bring together researchers and industry developers to discuss and share their recent viewpoints and contributions to cloud computing, It aims to present recent theories, experiences, and results obtained in a wide area relevant to computing, giving researchers and industrial practitioners an opportunity to gain in-depth insight on the current and futuristic cloud computing technologies. # Topics # We welcome contributions from the following fields: - Cloud Architecture - • X as a Service Paradigms - • Cloud Computing Architecture - • Public/Private/Hybrid Cloud - • Edge Computing / Fog Computing - • IoT/Sensor Clouds - • Simulation and Virtualization in Cloud Computing - • Cloud Data Management Architecture - Cloud Management - • Cloud Resource Scheduling and Computation Offloading - • Edge Resource Management and Optimization - • Quality of Service (QoS) in Cloud Computing - • Cost Models and Optimization in Cloud Computing - • Privacy, Security and Trust Issues in Cloud Computing - • Heterogeneity in Cloud Computing - • Energy-saving Issue in Cloud Computing - • Cloud Data Management - Cloud Applications - • Cloud Computing for Big Data Processing - • High Performance Computing based on Cloud - • Cloud Supported Smart X Technologies - • Distributed and Parallel Query Processing - • 5G and Cloud Computing - • Blockchain Techniques for Cloud Computing - • Edge Computing Applications # Publication # All registered papers will be submitted for publishing by Springer and made available through *Springer* Link Digital Library. Proceedings will be submitted for inclusion in leading indexing services, such as Web of Science, Compendex, Scopus, DBLP, EU Digital Library, IO-Port, MatchSciNet, Inspec and Zentralblatt MATH. Authors of selected papers will be invited to submit an extended version to: • Wireless Networks (WINET) Journal [IF: 2.602 (2020)] All accepted authors are eligible to submit an extended version in a fast track of: • EAI Endorsed Transactions on Cloud Systems • EAI Endorsed Transactions on Scalable Information Systems Additional publication opportunities: • Sensors • EAI Transactions series (Open Access) • EAI/Springer Innovations in Communications and Computing Book Series (titles in this series are indexed in Ei Compendex, Web of Science & Scopus) ----------------------------------------------------------------------- # Paper Submission # Papers should be submitted through EAI ‘Confy+‘ system, and have to comply with the Springer format (see Author’s kit section). • Regular papers should be up to 12-15+ pages in length. • Short papers should be 6-11 pages in length. . Please note that regular papers should be 10-20 pages in length. This conference uses single-blind review model. Reviewers are . anonymous to authors, names and affiliations of authors are shown to the Program Committee. All conference papers undergo a thorough peer review process prior to the final decision and publication. This process is facilitated by experts in the Technical Program Committee during a dedicated conference period. Standard peer review is enhanced by EAI Community Review which allows EAI members to bid to review specific papers. All review assignments are ultimately decided by the responsible Technical Program Committee Members while the Technical Program Committee Chair is responsible for the final acceptance selection. You can learn more about Community Review here. # Important Dates # Full Paper Submission deadline 20 May 2023 Notification deadline 30 July 2023 Camera-ready deadline 15 September 2023 Start of Conference 25 October 2023 End of Conference 26 October 2023 # Organisation # General Chairs - Wenjuan Li, The Hong Kong Polytechnic University, HK Technical Program Committee Chairs - Jiannong Cao, Hong Kong Polytechnic University, HK - Weizhi Meng, Technical University of Denmark, DK Technical Program Committee https://cloudcomp.eai-conferences.org/2023/organizing-committee/

1 0

[Deadline extended] WSCC 2023: Workshop on Scalable Compute Continuum (co-located with EuroPar 2023)
by Matteo Nardelli 02 May '23

02 May '23

(Our apologies if you received multiple copies of this CFP) ************************************************************************** WSCC 2023: Euro-Par 2023 International Workshop International Workshop on Scalable Compute Continuum Date: 28 August - September 2023 Location: Limassol, Cyprus Workshop web page: https://wscc2023.di.unipi.it/ Euro-Par web page: https://2023.euro-par.org/ ************************************************************************** * Call for Papers The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming resource fragmentation and segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, proactive, autonomous, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. In this landscape, the workshop is willing to attract contributions in the area of distributed systems with particular emphasis on support for geographically distributed platforms and autonomic features to deal with variable workloads and environmental events, and take the best of heterogeneous and distributed infrastructures. A partial list of interesting topics of this workshop is the following: - Scalable architectures and systems for Compute Continuum - System software for cloud-edge-IoT orchestration - Distributed and decentralized management of resources and application deployment in the Compute Continuum - Programming models, languages and patterns for the Compute Continuum - Compute Continuum performance modeling and analysis - Compute Continuum as a service - Energy-efficient solutions for sustainable Compute Continuum - AI in the Compute Continuum - Scalable applications for Compute Continuum (IoT, microservices, serverless) - Data-intensive and stream processing systems and applications in the Compute Continuum - Digital Twins and industry applications in the Compute Continuum - Prototypes and real-life experiments involving Compute Continuum - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum * Submission Instructions The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and a maximum of 12 pages. * Special Issue Selected papers will be invited to submit an extended version to the Special Issue of the Elsevier Future Generation Computer Systems on “Scalable Compute Continuum”. For important dates and additional info, see the related Call for Papers: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… * Important Dates May 19th, 2023 Paper submission deadline June 19th, 2023 Paper acceptance notifications July 2nd, 2023 Camera-ready due * Workshop Co-Chairs - Valeria Cardellini, University of Rome Tor Vergata, Italy - Patrizio Dazzi, University of Pisa, Italy - Gabriele Mencagli, University of Pisa, Italy - Matteo Nardelli, Bank of Italy, Italy - Massimo Torquati, University of Pisa, Italy Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

[Deadline approaching] WSCC 2023: Workshop on Scalable Compute Continuum (co-located with EuroPar 2023)
by Matteo Nardelli 26 Apr '23

26 Apr '23

(Our apologies if you received multiple copies of this CFP) ************************************************************************** WSCC 2023: Euro-Par 2023 International Workshop International Workshop on Scalable Compute Continuum Date: 28 August - September 2023 Location: Limassol, Cyprus Workshop web page: https://wscc2023.di.unipi.it/ Euro-Par web page: https://2023.euro-par.org/ ************************************************************************** * Call for Papers The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming resource fragmentation and segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, proactive, autonomous, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. In this landscape, the workshop is willing to attract contributions in the area of distributed systems with particular emphasis on support for geographically distributed platforms and autonomic features to deal with variable workloads and environmental events, and take the best of heterogeneous and distributed infrastructures. A partial list of interesting topics of this workshop is the following: - Scalable architectures and systems for Compute Continuum - System software for cloud-edge-IoT orchestration - Distributed and decentralized management of resources and application deployment in the Compute Continuum - Programming models, languages and patterns for the Compute Continuum - Compute Continuum performance modeling and analysis - Compute Continuum as a service - Energy-efficient solutions for sustainable Compute Continuum - AI in the Compute Continuum - Scalable applications for Compute Continuum (IoT, microservices, serverless) - Data-intensive and stream processing systems and applications in the Compute Continuum - Digital Twins and industry applications in the Compute Continuum - Prototypes and real-life experiments involving Compute Continuum - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum * Submission Instructions The papers should be formatted according to the LNCS guidelines. They should be between a minimum of 10 and a maximum of 12 pages. * Special Issue Selected papers will be invited to submit an extended version to the Special Issue of the Elsevier Future Generation Computer Systems on “Scalable Compute Continuum”. For important dates and additional info, see the related Call for Papers: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… * Important Dates May 5th, 2023 Paper submission deadline June 19th, 2023 Paper acceptance notifications July 2nd, 2023 Camera-ready due * Workshop Co-Chairs - Valeria Cardellini, University of Rome Tor Vergata, Italy - Patrizio Dazzi, University of Pisa, Italy - Gabriele Mencagli, University of Pisa, Italy - Matteo Nardelli, Bank of Italy, Italy - Massimo Torquati, University of Pisa, Italy Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

Job Opening: Professor / Associate Professor / Assistant Professor (Artificial Intelligence in Healthcare) at Hong Kong Baptist University
by COMP HKBU 24 Apr '23

24 Apr '23

The Department of Computer Science at Hong Kong Baptist University presently offers BSc, MSc, MPhil, and PhD programmes, and is now seeking exceptional candidates for the following tenure-track faculty position. *Professor / Associate Professor / Assistant Professor (Artificial Intelligence in Healthcare) (PR0707/22-23)* The appointee will be expected to conduct high-impact research, teach and supervise students at both undergraduate and postgraduate levels, and contribute to professional and institutional services. In addition, the appointee will collaborate with colleagues to pursue new strategic research initiatives under the Department/Faculty/University. Applicants should possess a PhD degree in Computer Science, Computer Engineering, Information Systems, or a related field, and have demonstrated abilities to conduct high-quality research in areas including but not limited to: • Machine learning for clinical decision making; • Natural language processing for electronic health records; • Computer vision for medical image analysis; • Explainable AI for healthcare applications; and • Data privacy and security in healthcare. Applicants should also show strong commitment to undergraduate and postgraduate teaching in computer science and/or information systems, possess track record of innovative research and high-impact publications, and be able to bid for and pursue externally-funded research programmes. The initial appointment will be offered on a fixed-term contract of three years. Re-appointment thereafter will be subject to mutual agreement. For enquiries, please contact Professor Jianliang Xu, Head of Department (email:xujl@comp.hkbu.edu.hk). More information about the Department can be found at https://www.comp.hkbu.edu.hk. *Rank and salary will be commensurate with qualifications and experience.* Application Procedure: Applicants are invited to submit their applications at the HKBU e-Recruitment System (https://jobs.hkbu.edu.hk) with samples of publications, preferably three best ones out of their most recent publications/works. They should also request two referees to send in confidential letters of reference, with PR number (stated above) quoted on the letters, to the Human Resources Office (Email: recruit(a)hkbu.edu.hk) direct. Those who are not invited for interview 4 months after the submission of application may consider their applications unsuccessful. All application materials including publication samples, scholarly/creative works will be disposed of after completion of the recruitment exercise. Details of the University's Personal Information Collection Statement can be found at https://hro.hkbu.edu.hk/pics. The University reserves the right not to make an appointment for the posts advertised, and the appointment will be made according to the terms and conditions applicable at the time of offer. Review of applications is ongoing until the positions are filled. URL: *https://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=872 <https://www.comp.hkbu.edu.hk/v1/?page=job_vacancies&id=872>*

1 0

[hpc-announce] [CfP] 1st ASMECC workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) - co-located with ACSOS'23
by Gamblin, Todd 21 Apr '23

21 Apr '23

[Apologies if you got multiple copies of this email. If you'd like to opt out of these announcements, information on how to unsubscribe is available at the bottom of this email.] # 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) The 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) is co-located with the 4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2023) that will take place in Toronto, Canada on September 25-29, 2023. ## Important Dates * Abstract deadline: July 1st, 2023 (soft) * Submission deadline: July 10th, 2023 * Notification: July 31st, 2023 * Camera-ready submission: August 5th, 2023 * Workshop date: September 25-29, 2023 (TBD) All times are intended in Anywhere on Earth (AoE) timezone. ## Scope and Topics Edge-cloud computing continuum paradigms (e.g. edge, fog, mist computing) enable distributed and pervasive computing and networking to support a variety of novel ICT-based applications and services. They represent a deployment target and a management plane for the software elements (components, microservices, functions) making up modern distributed applications. The heterogeneity, pervasiveness, dynamism, and interplay with applications, that characterise the cloud-edge continuum provide significant opportunities and challenges, in terms of operational flexibility and efficiency. A major challenge lies in supporting the autonomic management of applications while respecting and opportunistically optimising against the set of constraints, requirements, and preferences indicated by applications, users, owners, and providers. Edge-cloud continua have to become intelligent, embedding cognitive-like capabilities for monitoring, reasoning, planning, and acting. A number of specific issues arise, requiring novel ideas and techniques to be developed. For instance, how can MAPE-K architectures be adapted to work on the edge-cloud continuum? How may learning be exploited to refine dynamic deployment policies or anticipate changes? How can the learned models be explained? What programming models can be used to adequately express application logic independently of its deployment across the continuum? What formal specification languages can support architectural descriptions while enabling analysis of properties of interest? How can the infrastructure self-organise into resilient structures supporting connectivity and distributed task allocation? How to promote sustainability and energy/resource-efficiency across the edge-cloud continuum? These are just a few research questions that may be investigated. But the investigation itself requires tools, simulators, and benchmarks to conduct experiments in controlled environments without incurring in the costs of running experiments in real-world settings. This workshop solicits papers that investigate on the use of autonomic/self-* techniques to understand, design, and develop solutions on/for the edge-fog-cloud continuum. The topics of interest include (but are not limited to) the following: - Algorithms for self-adaptive/self-organising management of applications across the edge-fog-cloud continuum - Devops solutions for the edge-fog-cloud continuum - Languages for the specification of deployments, applications, or management policies - AI techniques for the edge-fog-cloud continuum - ML techniques for the edge-fog-cloud continuum - Mathematical methods supporting modelling and algorithmic solutions for the edge-fog-cloud and its management issues - Soft computing techniques for the edge-fog-cloud continuum - Self-* techniques for the edge-fog-cloud continuum - Theories and models at the basis of applications and platforms on the edge-fog-cloud continuum - Tools or simulators for the edge-fog-cloud continuum - Edge-cloud computing for the Internet of Things and cyber-physical systems - Edge-cloud computing for swarm systems ## Submission instructions Originality. Submitted papers must be original, unpublished, and not concurrently submitted for publication elsewhere. Kinds of submissions. Submitted papers should provide original research contributions, and must not exceed 6 pages (including references; up to two additional pages may be purchased for CR). The workshop welcomes different kinds of research work: theoretical, experimental, review, tool, application. Format. All paper submissions should follow the formatting indications of the main conference, i.e., IEEE 8.5” x 11” Two-Column Format (IEEE Manuscript Templates for Conference Proceedings). E-submission site: <https://urldefense.us/v3/__https://easychair.org/conferences/?conf=acsos202… > NOTE: upon submission, you have to select the track “Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum”. ## Review process Reviews. Papers will be peer reviewed for originality, relevance to themes, significance, presentation, soundness, and overall quality – emphasising breadth and relevance to the topics of the workshop. All papers will be reviewed by a TPC with a minimum of 3 reviews per paper. Reviews will be single-blind. ## Post-acceptance instructions Registration and presentation. At least one of the authors of every accepted paper must register and present the paper at the workshop. Publication and indexing. All accepted and presented papers will be submitted to IEEE Xplore and indexing databases like Elsevier, IET, and Scopus. ## Workshop Chairs - Roberto Casadei (Alma Mater Studiorum - University of Bologna, Italy) - Lukas Esterle (Aarhus University, Denmark) - Stefano Forti (University of Pisa, Italy) For any inquiry, please contact us at <asmecc23.workshop(a)easychair.org>. ******************************************************************************** The hpc-announce mailing list has been setup to have a common mailing list to share information with respect to upcoming HPC related events. You are included in this mailing list based on your participation or interest in a previous HPC conference or other event. The purpose for providing a single mailing list is to allow participants to easily identify such emails, and handle them appropriately. Some options include: 1. If you feel that the number of such emails is too many, filter them to less-frequently-read folders in your email client. 2. Change your subscription to a digest option (https://urldefense.us/v3/__https://lists.mcs.anl.gov/mailman/listinfo/hpc-a… ) which will consolidate emails sent that week into a single summary email. If you do not remember your password (which is needed to change these options), you can reset it using the "Unsubscribe or Edit Options" button at the bottom of the page. 3. Finally, if you do not wish to receive any emails from hpc-announce, you can unsubscribe from the mailing list (https://urldefense.us/v3/__https://lists.mcs.anl.gov/mailman/listinfo/hpc-a… ). Once unsubscribed, we guarantee that you will not be added back in through participation in a different HPC related conference or event. You will need to send an email to hpc-announce-owner(a)mcs.anl.gov to be added back on. If you need help with any of the above, please email us at hpc-announce-owner(a)mcs.anl.gov. ********************************************************************************

1 0

[CfP] 1st ASMECC workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) - co-located with ACSOS'23
by Roberto Casadei 21 Apr '23

21 Apr '23

# 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) The 1st ASMECC Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum (ASMECC 2023) is co-located with the 4th IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS 2023) that will take place in Toronto, Canada on September 25-29, 2023. ## Important Dates * Abstract deadline: July 1st, 2023 (soft) * Submission deadline: July 10th, 2023 * Notification: July 31st, 2023 * Camera-ready submission: August 5th, 2023 * Workshop date: September 25-29, 2023 (TBD) All times are intended in Anywhere on Earth (AoE) timezone. ## Scope and Topics Edge-cloud computing continuum paradigms (e.g. edge, fog, mist computing) enable distributed and pervasive computing and networking to support a variety of novel ICT-based applications and services. They represent a deployment target and a management plane for the software elements (components, microservices, functions) making up modern distributed applications. The heterogeneity, pervasiveness, dynamism, and interplay with applications, that characterise the cloud-edge continuum provide significant opportunities and challenges, in terms of operational flexibility and efficiency. A major challenge lies in supporting the autonomic management of applications while respecting and opportunistically optimising against the set of constraints, requirements, and preferences indicated by applications, users, owners, and providers. Edge-cloud continua have to become intelligent, embedding cognitive-like capabilities for monitoring, reasoning, planning, and acting. A number of specific issues arise, requiring novel ideas and techniques to be developed. For instance, how can MAPE-K architectures be adapted to work on the edge-cloud continuum? How may learning be exploited to refine dynamic deployment policies or anticipate changes? How can the learned models be explained? What programming models can be used to adequately express application logic independently of its deployment across the continuum? What formal specification languages can support architectural descriptions while enabling analysis of properties of interest? How can the infrastructure self-organise into resilient structures supporting connectivity and distributed task allocation? How to promote sustainability and energy/resource-efficiency across the edge-cloud continuum? These are just a few research questions that may be investigated. But the investigation itself requires tools, simulators, and benchmarks to conduct experiments in controlled environments without incurring in the costs of running experiments in real-world settings. This workshop solicits papers that investigate on the use of autonomic/self-* techniques to understand, design, and develop solutions on/for the edge-fog-cloud continuum. The topics of interest include (but are not limited to) the following: - Algorithms for self-adaptive/self-organising management of applications across the edge-fog-cloud continuum - Devops solutions for the edge-fog-cloud continuum - Languages for the specification of deployments, applications, or management policies - AI techniques for the edge-fog-cloud continuum - ML techniques for the edge-fog-cloud continuum - Mathematical methods supporting modelling and algorithmic solutions for the edge-fog-cloud and its management issues - Soft computing techniques for the edge-fog-cloud continuum - Self-* techniques for the edge-fog-cloud continuum - Theories and models at the basis of applications and platforms on the edge-fog-cloud continuum - Tools or simulators for the edge-fog-cloud continuum - Edge-cloud computing for the Internet of Things and cyber-physical systems - Edge-cloud computing for swarm systems ## Submission instructions Originality. Submitted papers must be original, unpublished, and not concurrently submitted for publication elsewhere. Kinds of submissions. Submitted papers should provide original research contributions, and must not exceed 6 pages (including references; up to two additional pages may be purchased for CR). The workshop welcomes different kinds of research work: theoretical, experimental, review, tool, application. Format. All paper submissions should follow the formatting indications of the main conference, i.e., IEEE 8.5” x 11” Two-Column Format (IEEE Manuscript Templates for Conference Proceedings). E-submission site: <https://easychair.org/conferences/?conf=acsos2023> NOTE: upon submission, you have to select the track “Workshop on Autonomic and Self-* Management for the Edge-Cloud Continuum”. ## Review process Reviews. Papers will be peer reviewed for originality, relevance to themes, significance, presentation, soundness, and overall quality – emphasising breadth and relevance to the topics of the workshop. All papers will be reviewed by a TPC with a minimum of 3 reviews per paper. Reviews will be single-blind. ## Post-acceptance instructions Registration and presentation. At least one of the authors of every accepted paper must register and present the paper at the workshop. Publication and indexing. All accepted and presented papers will be submitted to IEEE Xplore and indexing databases like Elsevier, IET, and Scopus. ## Workshop Chairs - Roberto Casadei (Alma Mater Studiorum - University of Bologna, Italy) - Lukas Esterle (Aarhus University, Denmark) - Stefano Forti (University of Pisa, Italy) For any inquiry, please contact us at <asmecc23.workshop(a)easychair.org>.

1 0

FGCS Special Issue on Scalable Compute Continuum
by Matteo Nardelli 17 Apr '23

17 Apr '23

(Our apologies if you received multiple copies of this CFP) ============================================== Future Generation Computer Systems Special Issue on Scalable Compute Continuum The full call for papers is available on the official FGCS website: https://www.sciencedirect.com/journal/future-generation-computer-systems/ab… ============================================== Motivation and Scope ======================= The “Compute Continuum” paradigm promises to manage the heterogeneity and dynamism of widespread computing resources, aiming to simplify the execution of distributed applications improving data locality, performance, availability, adaptability, energy management as well as other non-functional features. This is made possible by overcoming the fragmentation of IoT-edge-cloud resources and their segregation in tiers, enabling applications to be seamlessly executed and relocated along a continuum of resources spanning from the edge to the cloud. By distributing resources all around, the emerging Compute Continuum paradigm supports the execution of data-intensive applications as close as possible to data sources and end users. Besides consolidated vertical and horizontal scaling patterns, this paradigm also offers more detailed adaptation actions that strictly depend on the specific infrastructure components (e.g., to reduce energy consumption, or to exploit specific hardware such as GPUs and FPGAs). This enables the enhancement of latency-sensitive applications, the reduction of network bandwidth consumption, the improvement of privacy protection, and the development of novel services aimed at improving living, health, safety, and mobility. All of this should be achievable by application developers without having to worry about how and where the developed application components will be executed. Therefore, to unleash the true potential offered by the Compute Continuum, autonomous, proactive, and infrastructure-aware management is desirable, if not mandatory, calling for novel interdisciplinary approaches that exploit optimization theory, control theory, machine learning, and artificial intelligence methods. This special issue aims to investigate and gather research contributions on the emerging Compute Continuum, seeking solutions for running distributed applications while efficiently managing heterogeneous and widespread computing resources. Topics of interest include, but are not limited to, the following: - Scalable architectures and systems for the Compute Continuum; - System software for cloud-edge-IoT orchestration; - Distributed and decentralized management of resources and application deployment in the - Compute Continuum; - Programming models, languages and patterns for the Compute Continuum; - Compute Continuum performance modeling and analysis; - Compute Continuum as a service; - Energy-efficient solutions for sustainable Compute Continuum; - AI in the Compute Continuum; - Scalable applications for Compute Continuum (IoT, microservices, serverless); - Data-intensive and stream processing systems and applications in the Compute Continuum; - Digital Twins and industry applications in the Compute Continuum; - Prototypes and real-life experiments involving the Compute Continuum; - Benchmarks and experimental platforms for reproducible experiments in the Compute Continuum. Guest Editors ======================= Valeria Cardellini, University of Rome Tor Vergata, Italy. Patrizio Dazzi, University of Pisa, Italy. Gabriele Mencagli, University of Pisa, Italy. Matteo Nardelli, Bank of Italy, Italy. Massimo Torquati, University of Pisa, Italy. Important Dates ======================= Submission portal opens: May 1, 2023 Deadline for paper submission: November 3, 2023 Latest acceptance deadline for all papers: March 8, 2024 Manuscript Submission Instructions ======================= The FGCS’s submission system ( https://www.editorialmanager.com/FGCS/default.aspx) will be open for submissions to our Special Issue from May 1, 2023. When submitting your manuscript please select the article type VSI: SI_SCC_ScalCompContinuum. All submissions deemed suitable by the editors to be sent for peer review will be reviewed by at least two independent reviewers. Once your manuscript is accepted, it will go into production to be published in the special issue. Looking forward to receiving your excellent submissions soon. Best regards, Valeria Cardellini, Patrizio Dazzi, Gabriele Mencagli, Matteo Nardelli, and Massimo Torquati

1 0

Last Call: Springer(LNCS): The Ninth International Conference on Mining Intelligence and Knowledge Exploration (MIKE 2023)
by Seifedine Kadry 14 Apr '23

14 Apr '23

Dear Colleagues, The MIKE 2023 Program Committee invites submissions of original theoretical research, applied research, and deployed application papers on all aspects of Learning Algorithms, Data / Text Mining, and Knowledge discovery techniques for the main technical program. http://www.mike.org.in/2023/#l-start Please make a note of these dates in your calendar Workshop Proposal April 30, 2023 Full Paper Submission (extend it) April 30, 2023, 11:59 PM PST Author Notification May 15, 2023 Camera Ready Copy and Registration Deadline May 25, 2023 Conference June 28-30, 2023 -- Regards, Seifedine Kadry, PhD Professor FIET, SMIEEE, ACM

1 0

International Workshop on Virtual Reality and Augmented Reality and Applications (VRA 2023)
by Osvaldo Gervasi 14 Apr '23

14 Apr '23

1 0

Associate Professor in Cyber Security
by Andrii Shalaginov 12 Apr '23

12 Apr '23

Dear All, Kristiania University College (Norway) is hiring an Associate Professor in Cyber Security. A permanent full-time position is available for an outstanding candidate in the field of Information Technology focusing on Cyber Security at the School of Economics, Innovation, and Technology. The department offers education in Cyber Security on both bachelor and master levels with a variety of specialization and application areas. We put a strong emphasis on industrial connections and research-driven innovation when it comes to teaching and student projects. The research portfolio includes several national and international research and development projects with the specific alignment towards the United Nations sustainable development goals and inclusion of the research results in teaching activities. The research environment covers several groups and labs working in relevant Cyber Security areas with established research agenda and international visibility. Application deadline: 19th of April, 2023 More information and application page: https://web103.reachmee.com/ext/I021/1682/job?site=6&lang=NO&validator=4368… -- Best regards / Med vennlig hilsen, Andrii Shalaginov (PhD in InfoSec | CCSKv4 | KLCP | LPIC-1) Associate Professor Program Director of Bachelor in Cyber Security Program Director of Master in Cyber Security Head of Smart Security Lab (SmartSecLab) School of Economics, Innovation and Technology M +47 46 572 592 | andrii.shalaginov(a)kristiania.no<mailto:andrii.shalaginov@kristiania.no> Kristiania University College Visiting address: Kirkegata 24 PB 1190 Sentrum, 0107 Oslo Kristiania University College is a foundation with over 108 years of experience – Think ahead! [https://brandpad.io/cloudinary/brandpad/image/upload/17558/kristiania_mail_…]

1 0