From announce at cs.ucy.ac.cy Thu Sep 1 15:45:50 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Thu, 1 Sep 2022 16:45:50 +0300 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Sixth Call for Papers Message-ID: <0IIDH1NL-0322-LCT1-FVP7-TRLOWJUSL43@cs.ucy.ac.cy> *** Seventh Call for Papers *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Golden Bay Beach Hotel 5*, Larnaca, Cyprus https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: September 12, 2022 (AoE) • Notification: October 17, 2022 • Camera-Ready Submission Deadline: October 24, 2022 • Author Registration Deadline: October 24, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee • https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From gcaltais at gmail.com Fri Sep 2 23:55:17 2022 From: gcaltais at gmail.com (Georgiana Caltais) Date: Fri, 2 Sep 2022 23:55:17 +0200 Subject: [fg-arc] CfP Software Verification and Testing Track at SAC 2023 Message-ID: CfP Software Verification and Testing Track at SAC 2023 38th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Tallinn, Estonia March 27-31, 2023 SAC 2023 website: https://www.sigapp.org/sac/sac2023/ SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 ==== Important dates ==== Oct. 1, 2022 - Submission of regular papers and SRC research abstracts Nov. 19, 2022 - Notification Dec. 6, 2022 - Camera-ready version Dec. 6, 2022 - Author registration due date ==== ACM Symposium on Applied Computing ==== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2023 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place on March 27-31, 2023 in Tallinn, Estonia. ==== Software Verification and Testing Track (SVT) ==== The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. ==== Topics ==== Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification ==== Submission Guidelines ==== Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self- reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to three pages (one extra page may be available at a charge). Please comply to this page limitation already at submission time. Furthermore, in the context of the Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2023 website at https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf Submission of the same abstract to multiple tracks is not allowed. Accepted papers will be published in the ACM SAC 2023 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. Detailed submission instructions are available on the SAC 2023 website. ==== Track Chairs ==== Georgiana Caltais, University of Twente, The Netherlands Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France For further information we refer to the SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Wed Sep 7 15:51:21 2022 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 07 Sep 2022 15:51:21 +0200 Subject: [fg-arc] =?utf-8?q?Onto4FAIR_Workshop_at_SEMANTICS_2022=3A_progr?= =?utf-8?q?amme?= In-Reply-To: <1d82-62c29a80-f-1b6091a0@70202536> Message-ID: <7f9b-6318a200-d-552b8c80@154381116> ** With apologies for multiple postings ** -------------- Onto4FAIR Workshop at SEMANTICS 2022 Programme -------------- 13 September 2022 - Hybrid event Programme: https://2022-eu.semantics.cc/programme Registration: https://2022-eu.semantics.cc/prices 09:45 CEST: Welcome from the organisers 09:50-10:20: Invited presentation *O'FAIRe: Ontology FAIRness Evaluator in the AgroPortal semantic resource repository* Emna Amdouni, Syphax Bouazzouni and Clement Jonquet 10:25-10:55 Short papers session *Building a community-based FAIR metadata schema for Brazilian agriculture and livestock trading data* Filipi Miranda Soares, Fernando Elias Corrêa, Luis Ferreira Pires, Luiz Olavo Bonino da Silva Santos, Debora Pignatari Drucker, Kelly Rosa Braghetto, Dilvan de Abreu Moreira, Alexandre Cláudio Botazzo Delbem, Roberto Fray da Silva, Celso Oviedo da Silva Lopes and Antonio Mauro Saraiva *Persistent Identifiers and their limitations in a dynamic Web* Marcos Da Silveira and Cédric Pruski 10:55-11:10: Break 11:10-12:10: Long papers session *FAIR Data APIs in the FAIR in vivo data sharing* Felix Schwagereit, Martin Romacker, Fabien Richard, Robert Trypuz, Thomas Liener and Olivier Roche *CALLISTO: A semantics-based platform for sharing FAIR scientific data* Thierry Louge, Emmanuel Courcelle, Michelle Sibilla, Nathalie Aussenac-Gilles, Christophe Marteau, Marianna Braza, Jean-Baptiste To, Laurent Orgogozo 12:10-13:00 Panel and discussion 13:00-14:00 Lunch -------------------------------- Best Onto4FAIR organisers From steffen.becker at iste.uni-stuttgart.de Fri Sep 16 20:46:11 2022 From: steffen.becker at iste.uni-stuttgart.de (Steffen Becker) Date: Fri, 16 Sep 2022 20:46:11 +0200 Subject: [fg-arc] CfP Software Engineering im Unterricht der Hochschulen (SEUH) 2023 Message-ID: === CfP Software Engineering im Unterricht der Hochschulen (SEUH) 2023 === = Nachhaltigkeit & Ethik in der Software Engineering Ausbildung und Lehren & Lernen nach der Pandemie = https://www.seuh.org/seuh2023/ Die SEUH ist seit vielen Jahren das Forum im deutschsprachigen Raum, auf dem Lehrende aus Universitäten, Hochschulen für angewandte Wissenschaften sowie dualen Hochschulen ihre Erfolge, Misserfolge und Erfahrungen in der Software Engineering Ausbildung vorstellen, diskutieren und gemeinsam die Qualität der Lehre verbessern. Auch die Aus- und Weiterbildung von Praktikern steht aufgrund der aktuellen Entwicklungen in der Wirtschaft im Fokus der SEUH. Neben inhaltlichen Impulsen rund um Lehren und Lernen bietet die SEUH viel Raum für Diskussion und den gegenseitigen Austausch. Viele Lehrende haben von der SEUH entscheidende Impulse für ihre Arbeit erhalten. Die SEUH 2023 wird durchgeführt an der Uni Paderborn, zeitlich abgestimmt mit der Tagung Software Engineering (SE) der Gesellschaft für Informatik. Die SEUH lebt vom intensiven kollegialen Austausch. Um diesen zu stärken wird neben den üblichen Vortragsformaten auch ein Open Space integriert, in dessen Rahmen aktuell für die Teilnehmer:innen relevante Themen gemeinschaftlich bearbeitet werden. == Themen == Im Fokus der SEUH 2023 stehen die Themenbereiche Aus- und Weiterbildung im Beruf sowie Intelligente Tutorsysteme/AIs für die Ausbildung in SE. Beispiele für mögliche Themen im Bereich Aus- und Weiterbildung im Beruf sind: * Wiederverwendbare Software, Komponenten, Architekturen * Moderne Softwarequalitäten (u.a., Skalierbarkeit, Resillienz) * Technikfolgenabschätzung * Ethische Aspekte des Software Engineerings * Gesellschaftliche Aspekte des Software Engineerings * Neue Programmiersprachen und -paradigmen * Unterstütztes Lebenslanges Lernen Die folgenden Themen sind Anregungen für Beiträge im Bereich Intelligente Tutorsysteme/AIs für die SE-Ausbildung: * AIs zur Unterstützung der Lehre * Lernplattformen für das Software Engineering * Prüfungsformate auf Basis elektronischer Plattformen Weitere aktuelle Themen sind ebenso willkommen. == Formate und Einreichungen == Mögliche Einreichungsformate sind: (*) Reguläre Beiträge (bis zu 12 Seiten) präsentieren und diskutieren neue Ergebnisse der Lehr-Lernforschung im Bereich Software Engineering Ausbildung oder beschreiben ausführliche Erfahrungsberichte mit einer Fallstudie. (*) Positionsbeiträge (bis zu 6 Seiten) stellen neue Ideen, Herausforderungen oder Erfahrungsberichte zur Diskussion. Für den Open Space sind keine formalen Einreichungen erforderlich. Wir freuen uns jedoch über im Vorfeld der SEUH eingebrachte Themenvorschläge, gerne per Mail an seuh2023 at easychair.org. Beiträge sind auf Deutsch oder Englisch willkommen. Formatvorlagen und weitere Informationen sind auf der Homepage hinterlegt. Die Einreichung erfolgt als PDF über EasyChair. == Auswahl der Einreichungen == Über die Annahme der Beiträge entscheidet das Programmkomitee nach mindestens zweifacher Begutachtung. Mindestens ein Autor bzw. eine Autorin eines akzeptierten Beitrags muss sich für die SEUH 2023 anmelden und den Beitrag auf der SEUH vorstellen, entweder vor Ort in Berlin (nach den dann geltenden Corona-Regeln) oder virtuell. Angenommene und präsentierte Beiträge werden in der SEUH-Reihe online über LNI veröffentlicht. == Termine == 31. Oktober 2022 Einreichung von Beiträgen 01. Dezember 2022 Nachricht über die Annahme 31. Dezember 2022 Einreichung der Endbeiträge 22. – 24. Februar 2023 SEUH 2023 == Programm Komitee == Vorsitz Prof. Dr.-Ing. Steffen Becker, Universität Stuttgart Prof. Dr. Christian Gerth, Hochschule Osnabrück Mitglieder Prof. Dr. Martin Fränzle, Universität Oldenburg Prof. Dr. Michael Goedicke, Universität Duisburg-Essen Prof. Dr.-Ing. Anne Koziolek, Karlsruhe Institute of Technology Prof. Dr. Stephan Krusche, Technische Universität München Prof. Dr. Markus Müller-Olm, Universität Münster Prof. Dr. Rick Rabiser, Johannes Kepler Universität Linz Prof. Dr. Axel Schmolitzky, Hochschule für Angewandte Wissenschaften Hamburg Prof. Dr. Juliane Siegeris, Hochschule für Technik und Wirtschaft Berlin Prof. Dr. Veronika Thurner, Hochschule München Dr. Thomas Vogel, Universität Paderborn Prof. Dr.-Ing. Karin Vosseberg, Hochschule Bremerhaven -- Universität Stuttgart - Institut für Software Engineering (ISTE) Prof. Dr.-Ing. Steffen Becker - Software Quality and Architecture (SQA) Tel +49 711 685 88273 https://www.iste.uni-stuttgart.de/sqa From announce at cs.ucy.ac.cy Mon Sep 12 12:46:05 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 12 Sep 2022 13:46:05 +0300 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Last Call for Papers Message-ID: <2E2ZGQAV-8SPQ-VMKI-SOK-IQQ2P6EKHL5Y@cs.ucy.ac.cy> *** Last Call for Papers *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Golden Bay Beach Hotel 5*, Larnaca, Cyprus https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: September 26, 2022 (AoE) • Notification: October 24, 2022 • Camera-Ready Submission Deadline: November 7, 2022 • Author Registration Deadline: November 7, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee • https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From gcaltais at gmail.com Tue Sep 13 15:40:59 2022 From: gcaltais at gmail.com (Georgiana Caltais) Date: Tue, 13 Sep 2022 15:40:59 +0200 Subject: [fg-arc] CfP - 29th International Symposium on Model Checking of Software - SPIN 2023 Message-ID: 29th International Symposium on Model Checking of Software - SPIN 2023 Paris, France April 26-27 co-located with ETAPS 2023 SPIN 2023 website: https://spin-web.github.io/SPIN2023 === Important dates === Jan. 9, 2023 - Abstract Submission Jan. 16, 2023 - Paper Submission Feb. 16, 2023 - Notification === SPIN === The 29th edition of the SPIN symposium aims to bring together researchers and practitioners interested in automated tool-based techniques to analyze and model software for the purpose of verification and validation. We invite submissions presenting theoretical results, novel algorithms, tool development, and empirical evaluation. We accept both long (up to 16 pages) and short (up to 6 pages) papers. More details about topics, submission guidelines and PC can be found on the SPIN website: https://spin-web.github.io/SPIN2023 === Invited Speakers === Simon Gay (University of Glasgow) Joost-Pieter Katoen (RWTH Aachen & University of Twente) Raúl Pardo (IT University of Copenhagen) Caterina Urban (INRIA) === Chairs === Georgiana Caltais (University of Twente) Christian Schilling (Aalborg University) === Steering Committee === Dragan Bosnacki (Eindhoven University of Technology) (chair) Susanne Graf (Verimag) Gerard Holzmann (Nimble Research) Stefan Leue (University of Konstanz) Jaco van de Pol (Aarhus University) Neha Rungta (AWS) Willem Visser (Stellenbosch University) From Bart.DeDecker at cs.kuleuven.be Fri Sep 16 18:20:22 2022 From: Bart.DeDecker at cs.kuleuven.be (Bart De Decker) Date: Fri, 16 Sep 2022 18:20:22 +0200 Subject: [fg-arc] Vacancy - Junior Professor in Distributed Systems Message-ID: Dear colleages, Thanks for helping with sharing the vacancy and apologies for possible double postings. ------------------------------------------------------------------------ *Junior Professor in Distributed Systems** * The KU Leuven  offers an academic vacancy at the /*Department of Computer Science*/, Faculty of Engineering Science. The new faculty member will become a member of the /*DistriNet research unit*/. https://distrinet.cs.kuleuven.be /Distributed Systems/ and /System Software/ is interpreted broadly, and includes for example reliability, security and performance of Internet-based software systems. Candidates will be expected to develop an ambitious research program that integrates well with the current research activities of the research group. Candidates should also be prepared to provide scientific services both within and outside the university, and to contribute to education at bachelor and master level. PROFILE *  a PhD in Computer Science or equivalent *  a strong research track record in distributed systems and system software *  publications in leading international journals and conferences *  international experience *  demonstrable qualities related to academic education *  organizational skills *  a cooperative attitude * a good command of English If you are interested, you should submit your application at the latest *December 15, 2022* through our online application system. For more information, please consult https://www.kuleuven.be/personeel/jobsite/jobs/60117106 ------------------------------------------------------------------------ -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: Bart_DeDecker.vcf Type: text/vcard Size: 351 bytes Desc: not available URL: From gcaltais at gmail.com Fri Sep 16 23:01:49 2022 From: gcaltais at gmail.com (Georgiana Caltais) Date: Fri, 16 Sep 2022 23:01:49 +0200 Subject: [fg-arc] 2nd CfP - Software Verification and Testing Track at SAC 2023 Message-ID: 2nd CfP - Software Verification and Testing Track at SAC 2023 38th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Tallinn, Estonia March 27-31, 2023 SAC 2023 website: https://www.sigapp.org/sac/sac2023/ SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 ==== Important dates ==== Oct. 1, 2022 - Submission of regular papers and SRC research abstracts Nov. 19, 2022 - Notification Dec. 6, 2022 - Camera-ready version Dec. 6, 2022 - Author registration due date ==== ACM Symposium on Applied Computing ==== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum represents an opportunity to interact with different communities sharing an interest in applied computing. SAC 2023 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place on March 27-31, 2023 in Tallinn, Estonia. ==== Software Verification and Testing Track (SVT) ==== The Software Verification and Testing track aims at contributing to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. Also are welcome detailed descriptions of applications of mechanical verification to large scale software. ==== Topics ==== Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification ==== Submission Guidelines ==== Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self- reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to three pages (one extra page may be available at a charge). Please comply to this page limitation already at submission time. Furthermore, in the context of the Student Research Competition (SRC) Program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (maximum of 4 pages in ACM camera-ready format) following the instructions published at the SAC 2023 website at https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf Submission of the same abstract to multiple tracks is not allowed. Accepted papers will be published in the ACM SAC 2023 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. Detailed submission instructions are available on the SAC 2023 website. ==== Track Chairs ==== Georgiana Caltais, University of Twente, The Netherlands Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France For further information we refer to the SAC-SVT 2023 website: http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 -------------- next part -------------- An HTML attachment was scrubbed... URL: From inclezd at miamioh.edu Sun Sep 18 23:37:09 2022 From: inclezd at miamioh.edu (Inclezan, Daniela) Date: Sun, 18 Sep 2022 17:37:09 -0400 Subject: [fg-arc] Second CFP: PADL 2023 Message-ID: Apologies for cross-posting. Please forward to whomever you think may be interested. ============================================================================== Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023 ============================================================================== Conference Description ---------------------- Declarative languages comprise several well-established classes of formalisms, namely, functional, logic, and constraint programming. Such formalisms enjoy both sound theoretical bases and the availability of attractive frameworks for application development. Indeed, they have been already successfully applied to many different real-world situations, ranging from database management to active networks to software engineering to decision support systems. New developments in theory and implementation fostered applications in new areas. At the same time, applications of declarative languages to novel and challenging problems raise many interesting research issues, including designing for scalability, language extensions for application deployment, and programming environments. Thus, applications drive the progress in the theory and implementation of declarative systems, and benefit from this progress as well. PADL is a well-established forum for researchers and practitioners to present original work emphasizing novel applications and implementation techniques for all forms of declarative programming, including functional and logic programming, database and constraint programming, and theorem proving. Topics of interest include, but are not limited to: - Innovative applications of declarative languages - Declarative domain-specific languages and applications - Practical applications of theoretical results - New language developments and their impact on applications - Declarative languages and software engineering - Evaluation of implementation techniques on practical applications - Practical experiences and industrial applications - Novel uses of declarative languages in the classroom - Practical extensions such as constraint-based, probabilistic, and reactive languages PADL 2023 especially welcomes new ideas and approaches related to applications, design and implementation of declarative languages going beyond the scope of the past PADL symposia, for example, advanced database languages and contract languages, as well as verification and theorem proving methods that rely on declarative languages. Submissions ----------- PADL 2023 welcomes three kinds of submission: * Technical papers (max. 15 pages): Technical papers must describe original, previously unpublished research results. * Application papers (max. 8 pages): Application papers are a mechanism to present important practical applications of declarative languages that occur in industry or in areas of research other than Computer Science. Application papers are expected to describe complex and/or real-world applications that rely on an innovative use of declarative languages. Application descriptions, engineering solutions and real-world experiences (both positive and negative) are solicited. * Extended abstracts (max. 3 pages): Describing new ideas, a new perspective on already published work, or work-in-progress that is not yet ready for a full publication. Extended abstracts will be posted on the symposium website but will not be published in the formal proceedings. All page limits exclude references. Submissions must be written in English and formatted according to the standard Springer LNCS style, see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Page numbers (and, if possible, line numbers) should appear on the manuscript to help the reviewers in writing their reports. So, for LaTeX, we recommend that authors use: \pagestyle{plain} \usepackage{lineno} \linenumbers The conference proceedings of PADL 2023 will be published by Springer-Verlag in the Lecture Notes in Computer Science series. Work that already appeared in unpublished or informally published workshops proceedings may be submitted but the authors should notify the program chairs where it has previously appeared. Papers should be submitted electronically at https://easychair.org/conferences/?conf=padl2023 Important Dates --------------- Abstract submission: October 2, 2022 (AoE) Paper submission: October 9, 2022 (AoE) Notification: November 5, 2022 Symposium: January 16-17, 2023 Distinguished Papers -------------------- The authors of a small number of distinguished papers will be invited to submit a longer version for journal publication after the symposium. For papers related to logic programming, that will be in the journal Theory and Practice of Logic Programming (TPLP) https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming , and for papers related to functional programming, in Journal of Functional Programming (JFP) https://www.cambridge.org/core/journals/journal-of-functional-programming. The extended journal submissions should be substantially (roughly 30%) extended: explanations for which there was no space, illuminating examples and proofs, additional definitions and theorems, further experimental results, implementational details and feedback from practical/engineering use, extended discussion of related work, and so on. These submissions will then be subject to the usual peer review process by the journal, although with the aim of a swifter review process by reusing original reviews from PADL. PADL 2023 PC Co-Chairs ---------------------- - Michael Hanus, Kiel University, Germany - Daniela Inclezan, Miami University, United States Programme Committee ------------------- Andreas Abel Gothenburg University, Sweden Annette Bieniusa TU Kaiserslautern, Germany Joachim Breitner Epic Games, Germany William Byrd University of Alabama at Birmingham, USA Pedro Cabalar University of Corunna, Spain Francesco Calimeri University of Calabria, Italy Stefania Costantini University of L'Aquila, Italy Esra Erdem Sabanci University, Turkey Martin Gebser University of Klagenfurt, Austria Robert Glueck University of Copenhagen, Denmark Gopal Gupta University of Texas at Dallas, USA Michael Hanus CAU Kiel, Germany (co-chair) Daniela Inclezan Miami University, USA (co-chair) Tomi Janhunen Tampere University, Finland Patricia Johann Appalachian State University, USA Yukiyoshi Kameyama University of Tsukuba, Japan Ekaterina Komendantskaya Heriot-Watt University, UK Simona Perri University of Calabria, Italy Enrico Pontelli New Mexico State University, USA Tom Schrijvers Katholieke Universiteit Leuven, Belgium Paul Tarau University of North Texas, USA Peter Thiemann University of Freiburg, Germany Peter Van Roy Universite catholique de Louvain, Belgium Janis Voigtlaender University of Duisburg-Essen, Germany Ningning Xie University of Cambridge, UK Contact Address --------------- padl2023 _AT_ easychair.org ------------------------------------------------------------------------------- -- Daniela Inclezan Mary Lou Schallek Associate Professor CSE Graduate Program Director Committee Chair of the Humanitarian Engineering and Computing Minor Miami University 205C Benton Hall 510 E. High St, Oxford, OH 45056 T: 513-529-0355 | MiamiOH.edu -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Mon Sep 19 11:46:57 2022 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 19 Sep 2022 11:46:57 +0200 Subject: [fg-arc] =?utf-8?q?Postdoc_position=3A_knowledge_representation_?= =?utf-8?q?--_collaboration_between_Scienomics/Paris_and_IRIT/Toulouse?= In-Reply-To: <1c7c-6257ce00-13-3e00bb00@149333267> Message-ID: <5cf3-63283a80-1-3739b680@49770969> (apologies for multiple posts) Dear all, We are (urgently) recruiting a post-doc in the context of a collaboration with Scienomics/Paris and IRIT/Toulouse (see details below). Best regards, Cassia Trojahn ------------------------------- Post-doctoral position: Knowledge Representation for materials discovery and product development Context: Collaboration between Scienomics/Paris and IRIT/Toulouse In product development materials are selected and designed based on several criteria including performance, cost of production, availability, recyclability, and others. It is commonly accepted that the chemical space covers at least 1063 molecules making therefore the discovery of new materials with optimal design an impossible task to be performed following exhaustive screening and testing. Learning from known chemicals, translating the design requirements of the products and the constraints of the related processes into requirements for the materials to be discovered and testing then using virtual experiments is a viable route to follow. SCIENOMICS is developing SIMAGORA, an online marketplace offering virtual experiments for the eco-conception and development of products, and the materials needed. It implements no-code concepts and allows interoperability between simulation engines from diverse domains. The aim is to democratize simulation technology and will provide to the international scientific community the capability to offer cutting-edge virtual experimentation technology to all companies worldwide. ** Post-doc tasks ** In SIMAGORA semantics will play an important role since it will allow to gather experience and expertise available and implemented in technology that will be used to assist SIMAGORA users to take decisions. Ontologies are one of the critical technologies since they provide a formal ground for a self-guided online AI agent employing decision algorithms and provides automated virtual experimentation strategies for materials discovery and product development. This post-doc will have the main task of performing research and development activities for enabling semantics-aware data access, integration of heterogeneous sources and interpretation in terms of product design objectives in SIMAGORA. It involves the generation of simulation scenarios (structured graphs in the simulation space) based on ontologies rather than building them ad hoc. Therefore, the project consists of three main activities: (a) research and development in ontologies that will allow to capture product design and materials knowledge; (b) conceive methodologies to develop and evaluate knowledge graphs and (c) contribute to the conception of an AI agent, “robo-advisor”, capable to assist in materials discovery and product development through virtual experimentation execution. ** Requirements for this position ** Applicants are required to have a PhD in Computer Science, a strong background in semantic web technologies, ontology engineering, ontology construction and reasoning. Fluency in written / spoken English is required too. A good publication record and strong programming skills will be a plus.Capability to integrate a diverse group of people and supervise research and development work of PhD candidates. ** Work environment ** Localization : Scienomics, 16 rue de l’Arcade, 75008 Paris, FRANCE with short visits at IRIT, Institut de Recherche en informatique de Toulouse (IRIT) - UPS, 118 Route de Narbonne F-31062 Toulouse Cedex, FRANCE. Duration : 12 months, starting ASAP – 3 months of trying. Salary between 2 131 and 3 338 euros (depending on experience) ** How to apply ** Applications will be accepted until the position is closed. Applicants should send a full Curriculum including a complete list of publications, a cover letter indicating their research interests, achievements to date and vision for the future, as well as either support letters or the name of 2 persons that have worked with them. Contact: Cassia Trojahn and Scienomics From announce at cs.ucy.ac.cy Tue Sep 20 08:28:09 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 20 Sep 2022 09:28:09 +0300 Subject: [fg-arc] 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022): Call for Participation Message-ID: *** Call for Participation *** 38th IEEE International Conference on Software Maintenance and Evolution (ICSME 2022) 3–7 October, 2022, 4* Atlantica Miramare Beach Hotel, Limassol, Cyprus https://cyprusconferences.org/icsme2022/ The IEEE International Conference on Software Maintenance and Evolution (ICSME) is the premier forum for researchers and practitioners to present, discuss, and debate the most recent ideas, innovations, trends, experiences, and challenges facing software maintenance and evolution. Join us on October 5 through 7 in Limassol, Cyprus for a program containing over 100 presentations - including three exciting keynotes: • Roberto Di Cosmo Software Heritage: a revolutionary infrastructure for Open Science and Open Source • Paige Rodeghero '“Hello, World!” Teaching, Onboarding and Supporting Novices & Newcomers • Mark Harman Challenges in testing and evolving large systems In addition to the Research Track, the program includes tool demos, the ROSE festival, industry presentations, PhD posters, Journal First presentations, registered reports, and NIER presentations. This year, we have also placed a focus on Diversity and Inclusion. For details, including how to get there, visit the conference web site. Organisation General Chairs • Rainer Koschke, University of Bremen, Germany • George A. Papadopoulos, University of Cyprus, Cyprus Program Chairs • Paris Avgeriou, University of Groningen, The Netherlands • Dave Binkley, Loyola University Maryland, USA Local Organising Chair and Industry Liaison • Georgia M. Kapitsaki, University of Cyprus, Cyprus New Ideas and Emerging Results Track Chairs • Eleni Constantinou, Eindhoven University of Technology, The Netherlands • Christian Newman, Rochester Institute of Technology, USA Tool Demonstrations Chairs • Sherlock Licorish, University of Otago, New Zealand • Gilles Perrouin, University of Namur, Belgium Industry Track Chairs • Andrea Capiluppi, University of Groningen, The Netherlands • Shi Han, Microsoft Research Beijing, China Journal First Track Chairs • Alexander Chatzigeorgiou, University of Macedonia, Greece • Amjed Tahir, Massey University, New Zealand Doctoral Symposium • Matthias Galster, University of Canterbury, New Zealand • Mark Hills, East Carolina University, USA Joint Artifact Evaluation Track and ROSE Festival Chairs • Maria Papoutsoglou, University of Cyprus, Cyprus • Christoph Treude, University of Melbourne, Australia Most Influential Paper Awards Chairs • Massimiliano Di Penta, University of Sannio, Italy • Jonathan I. Maletic, Kent State University, USA Diversity and Inclusion • Hadil Abukwaik, ABB Corporate Research, Germany • Sonia Haiduc, Florida State University, USA Registered Reports • Maria Teresa Baldassarre, University of Bari, Italy • Mike Papadakis, University of Luxembourg, Luxembourg -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Sep 23 13:23:56 2022 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 23 Sep 2022 11:23:56 +0000 Subject: [fg-arc] =?iso-8859-1?q?FME_Teaching_Tutorials_series_continues_?= =?iso-8859-1?q?on_September_30=2C_2022=2C_at_3_pm_CEST=3A_Prof_Michael_Le?= =?iso-8859-1?q?uschel_=28Heinrich-Heine-University_D=FCsseldorf=2C_German?= =?iso-8859-1?q?y=29_on_=22Teaching_Formal_Methods_and_Theoretical_Compute?= =?iso-8859-1?q?r_Science_with_ProB=22?= Message-ID: Dear all, We continue the Formal Methods Teaching tutorials on the last Friday of September with a lecture on ProB! Prof Michael Leuschel (Heinrich-Heine-University Düsseldorf, Germany) will lecture on Friday September 30, 2022, at 3 pm CEST with a talk entitled "Teaching Formal Methods and Theoretical Computer Science with ProB". More information about our lecturer can be found here: https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages/our-team/team/michael-leuschel. The zoom link for Michael's lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: the tutorial series webpage is here: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Sep 24 09:25:02 2022 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 24 Sep 2022 10:25:02 +0300 Subject: [fg-arc] Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022): Last Mile for Paper Submission Message-ID: *** Last Mile for Paper Submission *** Second International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2022) December 5-7, 2022, Golden Bay Beach Hotel 5*, Larnaca, Cyprus https://cyprusconferences.org/ihaw2022 (Proceedings to be published by Springer in CCIS; Journal Special Issues with SN Computer Science (Springer) and Smart Health (Elsevier); Best Paper Award sponsored by MDPI "Sensors" with 300 CHF) *** Final Deadline: October 3rd AoE (firm!) *** ICT for Health, Accessibility and Wellbeing (IHAW 2022) is the second of the series of International Conferences on "ICT for Societal Challenges". It is a showcase for high quality oral and poster presentations and demonstrations sessions. This conference aims to be a platform for multi and interdisciplinary research at the interplay between Information and Communication Technologies, Biomedical, Neuro-cognitive, and Experimental research. This research includes the design, experimental evaluation and standardization of new ICT scalable systems and in-silico systems for new and future inclusive and sustainable technologies that benefit all: healthy people, people with disabilities or other impairments, people having chronic diseases, etc. User-centered design and innovation, new intuitive ways of human -computer interaction, and user acceptance are the topics of particular interest. Conference Topics Relevant topics include (but are not limited to) the following: Artificial Intelligence, Computation and Data Analytics • Artificial Intelligence methods for medical device testing. • Algorithms, methods and services for condition-specific intervention (e.g., diabetes, obesity, dementia, post cancer treatment, allergies, mental health). • Algorithms, methods and services for predicting and monitoring infectious disease. • Crowd-sourcing and social media analysis for predicting and monitoring infectious disease. • Medical Data and/or Medical Image Analysis. • Electronic Medical Records Analysis. • Computational methods for medical devices. Human Computer Interaction and Cognition • Human-Machine Interaction for healthcare and well-being. • Cognitive Mechatronics for healthcare and well-being. • Models for human-device interaction for medicine. • Cobotics for healthcare and well-being. • Model-based design and configuration tools for healthcare and well-being. Assistive Devices • Precision medicine. • ICT for in-silicon trials. • Implantable medical devices. • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments. ICT & Wellbeing • Age-friendly systems for active and healthy ageing (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection). • ICT systems to improve the quality of life and for daily life activities assistance (education, recreation, and nutrition). • Smart living homes and wearables (Intelligent and personalized digital solutions for sustaining and extending healthy and independent living; personalized early risk detection and intervention). • Smart Systems and services promoting access to the socio-economical and cultural environment. • IoT and smart real-time surveillance systems for monitoring, auditing and control to prevent the spread of the pandemic. • eHealth smart solutions in the fight against a COVID-19 like pandemic. • IoT and Smart Healthcare systems with an environmentally friendly and sustainable footprint. Health Infrastructure and Healthcare Operation Services • Distributed and connected digital healthcare services. • IoT services for real-time monitoring of health data and status of patients and/or older adults. • Wearable devices and IoT systems for remote monitoring of health data and status of patients and/or older adults. • mHealth services and applications using mobile and wearable devices to collect community and clinical health data, and deliver healthcare information to practitioners, researchers and patients. • Sustainable city environments for emergency health management. • 5G and beyond for healthcare in sustainable smart cities. • Wireless Sensor Networks for advanced smart healthcare in sustainable cities. Quality in Healthcare Systems • New experimental validation methods with end-users. • Systems and services for ensuring patient’s commitment to the medication schedule. • Digital health systems and tools for health care professional training and workforce development. • Communication systems and services improving the quality of patient and healthcare provider contact before, during and after admission. • Methods and Technology for Improving the quality of services-oriented care delivery systems. • Methods, Digital Tools and/or Services for inclusive-for-all healthcare systems. • Co-Creation of healthcare systems for social well being of people with special needs, older adults and/or deprivileged or disadvantaged people. • Systems for management of health and care (mental health, pain, neurological disorders, sight, hearing, balance, space awareness; sensory based physiological and psychological non-invasive measurements, preventive healthcare, m-healthcare, e-healthcare, integrated care, serious games, electronic health record, self- management, patient-centered systems for survivorship, palliation and/or end-of-life care). Privacy, Security & Standardization • Standardization, certification, labelling, and communication issues (related to ageing well, to sensory impairment). • Privacy and Security/Regulation compliant services in health care systems (e.g., HIPAA). • Security and privacy of digital health systems and service. • Socio-economic issues of smart healthcare in sustainable societies. • Privacy, security and ethics in eHealth smart solutions and surveillance at scale in the fight against a COVID-19 pandemic. High-quality original submissions that address such future issues, show the design and evaluation in (near-) real scenarios, explain how to benchmark systems, and outline the education and training procedures for acquiring new perceptual skills while using such systems are welcome. Research and technical papers are expected to present significant and original contributions validated with the targeted end-users. Submissions should clearly state the progress beyond the existing state-of- the-art and the expected societal benefits of the developed technology. When possible, validate scenarios with the target user groups and well-identified technology readiness levels (https://en.wikipedia.org/wiki/Technology_readiness_level) should be at least outlined. Submissions We invite Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field. All submissions will be reviewed by the Program Committee. As was the case for IHAW 2021, the proceedings of IHAW 2022 will be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899) and will be presented in the technical sessions of the conference. The Best Paper Award is sponsored by MDPI "Sensors" with 300 CHF. The authors of the best papers accepted and presented at IHAW2022 will be invited to submit extended versions of their papers for further review and possible inclusion in either of two Journal Special Issues that will be organised with SN Computer Science (Springer) and Smart Health (Elsevier). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/my/conference?conf=icihaw2022 . Important Dates • Submission Deadline: October 3, 2022 (AoE, firm!) • Notification: October 24, 2022 • Camera-Ready Submission Deadline: November 7, 2022 • Author Registration Deadline: November 7, 2022 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Achilleas Achilleos, Frederick University, Cyprus Scientific Vice-Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Publicity Chair • Jessica Allingham, Lakehead University, Canada Finance Chair • Petros Stratis, Easy Conferences LTD, Cyprus Steering and Program Committee • https://cyprusconferences.org/ihaw2022/committees/ -------------- next part -------------- An HTML attachment was scrubbed... URL: From maurice.terbeek at isti.cnr.it Mon Sep 26 17:39:43 2022 From: maurice.terbeek at isti.cnr.it (Maurice ter Beek) Date: Mon, 26 Sep 2022 17:39:43 +0200 Subject: [fg-arc] [FSEN 2023] Second Call for Papers FSEN 2023 Message-ID: <1259d82b-0225-b379-8040-5b0bd5e3597c@isti.cnr.it> SECOND CALL FOR PAPERS Tenth International Conference on Fundamentals of Software Engineering 2023 - Theory and Practice (FSEN '23) http://fsen.ir/2023 Tehran, Iran May 3-5, 2023 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Tehran, Iran, May 3-5, 2023. -- Important Dates -- Abstract Submission: October 7, 2022 (AoE) Paper Submission: October 14, 2022 (AoE) Notification: December 2, 2022 Final pre-Conference Version: January 20, 2023 (AoE) Conference: May 3-5, 2023 -- Keynote Speakers (confirmed) -- Wolfgang Ahrendt, Chalmers University of Technology, Sweden Dines Bjørner, Technical University of Denmark, Denmark Mohammad Reza Mousavi, King's College London, UK Heike Wehrheim, University of Oldenburg, Germany -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2023. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS post-proceedings and conference pre-proceedings 2) Short paper for the LNCS post-proceedings and conference pre-proceedings 3) Poster included only in the pre-proceedings Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'23 will be published by Springer in the LNCS series. Pre-proceedings, printed locally by IPM, will be available at the conference. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'23. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Pejman Lotfi-Kamran - IPM, Iran -- Program Chairs -- Hossein Hojjat - Tehran Institute for Advanced Studies, Iran Erika Abraham - RWTH Aachen University, Germany -- Publicity Chair -- Maurice ter Beek - CNR-ISTI Pisa, Italy -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Frank de Boer - CWI, the Netherlands; Leiden University, the Netherlands Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- SEE WEBSITE -- Maurice H. ter Beek head FMT lab, ISTI-CNR, Pisa, Italy e-mail: maurice.terbeek at isti.cnr.it homepage: fmt.isti.cnr.it/~mtbeek office phone:   +39-050-6213471 mobile phone: +39-348-2436998 -------------- next part -------------- An HTML attachment was scrubbed... URL: From zaitsev.dmitry at gmail.com Fri Sep 30 09:18:13 2022 From: zaitsev.dmitry at gmail.com (Dmitry Zaitsev) Date: Fri, 30 Sep 2022 09:18:13 +0200 Subject: [fg-arc] (PN) 2nd CfP - Software Verification and Testing Track at SAC 2023 In-Reply-To: References: Message-ID: Dear colleagues, Two Kalibr missiles flew over our house roofs and blasted a few hundreds meters away the first morning of the war, thus we moved from Ukraine We are in France where my wife receives a Pause grant and I look for a job, say a (senior) researcher because I speak very little French. Please help me to get a job in the EU (a professor teaching in English or a senior researcher). My CV, papers, software and models, videolectures etc are put on my web site Jack Dongarra recommends me as well as other outstanding scientists. -- Yours truly, Dmitry Zaitsev Dr.Sci., Professor, Senior Member of ACM and IEEE http://daze.ho.ua https://youtu.be/Cy6xRTpP0d8 On Thu, Sep 29, 2022 at 2:43 PM Georgiana Caltais wrote: > 2nd CfP - Software Verification and Testing Track at SAC 2023 > > 38th Annual ACM/SIGAPP Symposium on Applied Computing > Software Verification and Testing Track > Tallinn, Estonia > March 27-31, 2023 > > SAC 2023 website: > https://www.sigapp.org/sac/sac2023/ > > SAC-SVT 2023 website: > http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 > > > ==== Important dates ==== > > Oct. 1, 2022 - Submission of regular papers and SRC research abstracts > Nov. 19, 2022 - Notification > Dec. 6, 2022 - Camera-ready version > Dec. 6, 2022 - Author registration due date > > ==== ACM Symposium on Applied Computing ==== > > The ACM Symposium on Applied Computing (SAC) has gathered scientists > from different areas of computing over the last thirty years. The forum > represents an opportunity to interact with different communities sharing > an interest in applied computing. > > SAC 2023 is sponsored by the ACM Special Interest Group on Applied > Computing (SIGAPP), and will take place on March 27-31, 2023 in > Tallinn, Estonia. > > ==== Software Verification and Testing Track (SVT) ==== > > The Software Verification and Testing track aims at contributing to the > challenge of improving the usability of formal methods in software > engineering. The track covers areas such as formal methods for > verification and testing, based on theorem proving, model checking, > static analysis, and run-time verification. We invite authors to submit > new results in formal verification and testing, as well as development > of technologies to improve the usability of formal methods in software > engineering. Also are welcome detailed descriptions of applications of > mechanical verification to large scale software. > > ==== Topics ==== > > Possible topics include, but are not limited to: > > * model checking > * theorem proving > * correct by construction development > * model-based testing > * software testing > * symbolic execution > * static and dynamic analysis > * abstract interpretation > * analysis methods for dependable systems > * software certification and proof carrying code > * fault diagnosis and debugging > * verification and validation of large scale software systems > * real world applications and case studies applying software testing > and verification > * benchmarks and data sets for software testing and verification > > ==== Submission Guidelines ==== > > Paper submissions must report on original, unpublished work. Submitted > papers will undergo a double-blind review process. Author(s) name(s) > and address(es) must not appear in the body of the paper, and self- > reference should be avoided and made in the third person. We welcome > research papers and posters. Research papers should have at most 8 > two-column pages in ACM format (further two pages, to a total of 10 > pages, may be available at a charge). The length of a poster is limited > to three pages (one extra page may be available at a charge). Please > comply to this page limitation already at submission time. > > Furthermore, in the context of the Student Research Competition (SRC) > Program to provide graduate students the opportunity to meet and > exchange ideas with researchers and practitioners in their areas of > interest, graduate students are invited to submit research abstracts > (maximum of 4 pages in ACM camera-ready format) following the > instructions published at the SAC 2023 website at > > https://www.sigapp.org/sac/sac2023/authorkit/ACM_SigConf-SRC2023.pdf > > Submission of the same abstract to multiple tracks is not allowed. > > Accepted papers will be published in the ACM SAC 2023 proceedings in the > ACM digital library. Paper registration is required, allowing the > inclusion of the paper/poster in the conference proceedings. An author > or a proxy attending SAC MUST present the paper. This is a requirement > for the paper/poster to be included in the ACM digital library. No-show > of registered papers and posters will result in excluding them from the > ACM digital library. > > Detailed submission instructions are available on the SAC 2023 > website. > > ==== Track Chairs ==== > > Georgiana Caltais, University of Twente, The Netherlands > Pascale Le Gall, CentraleSupélec, Université Paris-Saclay, France > > For further information we refer to the SAC-SVT 2023 website: > http://logimics.mics.centralesupelec.fr/en/SAC-SVT-2023 > ---- > [[ Petri Nets World: ]] > [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] > [[ Mailing list FAQ: ]] > [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] > [[ Post messages/summary of replies: ]] > [[ petrinet at informatik.uni-hamburg.de ]] > -- Yours truly, Dmitry Zaitsev Dr.Sci., Professor, Senior Member of ACM and IEEE http://daze.ho.ua https://youtu.be/Cy6xRTpP0d8 -------------- next part -------------- An HTML attachment was scrubbed... URL: