June 2023 - computational.science

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