From kopp.dev at gmail.com Tue Jul 6 00:03:25 2021 From: kopp.dev at gmail.com (Oliver Kopp) Date: Tue, 6 Jul 2021 00:03:25 +0200 Subject: [fg-arc] Promotionsstelle im Bereich Softwarearchitekturen im Automobilumfeld Message-ID: Liebe engagierte gegenwärtige und zukünftige Forscher:innen, auf diesem Wege möchte ich Sie auf die Möglichkeit von Promotionsstellen bei der Mercedes-Benz AG im Themenbereich "Softwarearchitektur und Engineering" aufmerksam machen. In der Mercedes-Benz Cars Forschung und Entwicklung gestalten wir die Automobilgenerationen der Zukunft. Im Mittelpunkt stehen hier die nächsten und übernächsten Schritte des Mercedes-Benz Betriebssystems (Mercedes-Benz Operation Systems - MBOS) einer software-defined Architektur, die es uns erlaubt das Fahrzeug von Grund auf neu zu denken. Nachhaltigkeit, höchste Qualität und Energieeffizienz prägen unsere Arbeit. Excellenz in der Softwareentwicklung ist uns eine Selbstverständlichkeit. Weitere Details finden sich unter https://jobs.daimler.com/Stellenanzeige/293450/promotion-im-themenbereich-softwarearchitektur-und-engineering-in-zusammenarbeit-mit-einer-universitat-ab-august-2021.html . Zögern Sie nicht, mich oder den angegebenen Kontakt für weitere Details anzusprechen. Würde mich freuen, jemanden aus der Wirtschaftsinformatik "beim Daimler" begrüßen zu dürfen. Viele Grüße Dr. Oliver Kopp -- https://orcid.org/0000-0001-6962-4290 -------------- next part -------------- An HTML attachment was scrubbed... URL: From joao at joaoff.com Fri Jul 2 12:03:03 2021 From: joao at joaoff.com (=?UTF-8?Q?Jo=C3=A3o_F=2E_Ferreira?=) Date: Fri, 2 Jul 2021 11:03:03 +0100 Subject: [fg-arc] Second Call for Papers (Deadline Extension): Formal Methods Teaching Workshop and Tutorial (FMTea 2021) Message-ID: [ Please distribute, apologies for multiple postings. ] ========================================================= Call for Papers: Formal Methods Teaching Workshop and Tutorial (FMTea 2021) 21 November 2021, *online* Co-located with the 24th International Symposium on Formal Methods, FM 2021 FMTea21 is a one-day combined workshop and tutorial that brings together researchers and educators working on formal methods to share their experiences in teaching formal methods, discuss key challenges, and stimulate collaboration that can lead to ways to reboot the presence of formal methods in curricula. FMTea21 will be an online event at the 24th International Symposium on Formal Methods, FM2021. More details can be found on the workshop website: https://fmtea.github.io ========================================================= Invited Speakers ======================== - Tobias Nipkow (Technical University Munich, Germany) "Teaching Algorithms and Data Structures with a Proof Assistant" - Jeremy Avigad (Carnegie Mellon University, USA) "Tutorial on the Lean Theorem Prover" - Laura Kovacs (Vienna University of Technology, Austria) "Online teaching and examining in deductive verification and automated deduction" Important Dates ======================== - 9 July 2021: Deadline for abstract submission (AoE) - 16 July 2021: Deadline for submission of papers (AoE) - 9 August 2021: Notifications to authors - 17 September 2021: Deadline for camera-ready version - 21 November 2021: FMTea21 Workshop (online) Objectives and Scope ======================== Formal Methods provide software engineering with tools and techniques for rigorously reasoning about the correctness of systems. While in recent years formal methods are increasingly being used in industry, university curricula are not adapting at the same pace. Some existing formal methods classes interest and challenge students, whereas others fail to ignite student motivation. It is thus important to develop, share, and discuss approaches to effectively teach formal methods to the next generations. This discussion is now more important than ever due to the challenges and opportunities that arose from the pandemic, which forced many educators to adapt and deliver their teaching online. Exchange of ideas is critical to making these new online approaches a success and having a greater reach. Topics ======================== In the workshop part of the event, we welcome papers detailing experiences with FM Teaching, including papers discussing successes and failures of various methods, case studies, tools, etc. Given the increasing importance of online teaching and self-learning, we also welcome reports of experiences with online teaching, including experiences with teaching formal methods via MOOCs. We invite novel papers that cover, but are not limited to, the following aspects: - Experiences and proposals related with "traditional" FM learning and teaching - Experiences and proposals related with online FM learning and teaching - Integrating/embedding FM teaching/thinking within other computer science courses - Teaching FM for industry - Innovative learning and teaching methods for FM Submission Details ======================== FMTea21 invites high quality papers reporting on opinions, approaches, and experiences related to the topic of teaching Formal Methods. Each submitted paper will be reviewed by at least three PC members. As in previous events, the conference proceedings will be published in Springer's Lecture Notes in Computer Science series. All submissions must be original, unpublished, and not submitted for publication elsewhere. Submissions must be in PDF format, using the Springer LNCS style files. Papers should not exceed 15 pages in length. Submissions should be made using the FMTea21 Easychair web site: https://easychair.org/conferences/?conf=fmtea21 All accepted papers must be remotely presented at the workshop. Authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register to the conference by an early date, to be indicated by the FM2021 organizers, and present the paper. Organization ======================== FMTea21 is organized by FME’s Teaching Committee, whose broad aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. To that end, the committee manages a list of FM courses taught worldwide (https://fme-teaching.github.io) and plans to collect other resources as well, such as FM case studies, FM inspirational papers, etc. Program Committee ======================== - João F. Ferreira (co-chair), INESC-ID & IST, University of Lisbon, Portugal - Alexandra Mendes (co-chair), INESC TEC & University of Beira Interior, Portugal - Claudio Menghi (co-chair), University of Luxembourg, Luxembourg - Sandrine Blazy, University of Rennes 1, France - Brijesh Dongol, University of Surrey, UK - Catherine Dubois, ENSIIE, France - Rustan Leino, Amazon Web Services, US - José N. Oliveira, University of Minho, Portugal - Luigia Petre, Åbo Akademi University, Finland - Leila Ribeiro, Federal University of Rio Grande do Sul, Brazil - Kristin Rozier, Iowa State University, US - Pierluigi San Pietro, Politecnico di Milano, Italy - Emil Sekerinski, McMaster University, Canada - Graeme Smith, The University of Queensland, Australia - Kenji Taguchi, CAV, Japan Contact ======================== All questions about submissions should be emailed to the chairs. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Jul 3 11:26:26 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 3 Jul 2021 12:26:26 +0300 Subject: [fg-arc] Academic Positions -- Department of Computer Science -- University of Cyprus Message-ID: <7SO1Q1T7-EJJJ-DFOJ-OEQ8-LJFJCMVF5M1O@cs.ucy.ac.cy> ACADEMIC POSITIONS -- DEPARTMENT OF COMPUTER SCIENCE -- UNIVERSITY OF CYPRUS The University of Cyprus was founded in 1989 and admitted its first students in 1992. Within a short time, the University of Cyprus achieved international distinctions. Today, it is ranked as the 84th young university (under 50 years) and #501-600 worldwide by the Times Higher Education Rankings. These notable distinctions are the result of dedication to continuous development. The pursuit of research excellence constitutes a key strategic objective of the University of Cyprus. Moreover, the University continually extends and upgrades its programs of undergraduate and graduate studies. To best serve its research and educational aims, the University recruits high-caliber academic staff who can make significant contributions to the development of internationally competitive research projects and to the design and delivery of new curricula. The University of Cyprus invites applications for two (2) tenure-track academic positions at the rank of Lecturer or Assistant Professor in the Department of Computer Science, as follows: * one (1) position in the field of “Software Engineering” * one (1) position in the fields of “Networks or Cybersecurity” For all academic ranks, an earned Doctorate from a recognised University is required. Requirements for appointment depend on academic rank and include: prior academic experience, research record and notable scientific contributions, involvement in the development and teaching of high quality undergraduate and graduate curricula. The minimum requirements for each academic rank are listed on the webpage at https://www.ucy.ac.cy/acad.staff.procedures . Candidates need not be citizens of the Republic of Cyprus. The official languages of instruction are Greek and Turkish. For the above position, fluency in the Greek language is necessary. In case the selected candidate does not have sufficient knowledge of the Greek language, it is the candidate's and the Department's responsibility to ensure that the candidate acquires sufficient knowledge of the Greek language within 3 years from appointment. Each Department sets its own criteria for the required level of fluency in the Greek language. The annual gross salary (including the 13th salary) for full time employment, according to the current legislation, is:
Assistant Professor (Scale A13-A14) €58,428.91-€78,798.61
Lecturer (Scale A12-A13) €44,410.28-€72,265.43
Employee contributions to the various state funds will be deducted from the above amounts. Candidates are invited to submit their applications electronically by uploading the following documents (in English, in PDF form) at the following link: https://applications.ucy.ac.cy/recruitment . 1. Cover Letter. 2. Curriculum Vitae. 3. Copy of ID/Passport. 4. Copies of degree certificates. 5. Summary of previous research work and a statement of future research agenda (up to 3 pages). 6. List of publications. 7. Representative publications (up to 3 publications which should be individually uploaded). The submission of representative publications is non-mandatory for the rank of Lecturer. 8. The names and email addresses of three academic referees, who, upon submission of the application, will be automatically notified to provide recommendation letters (in English), up to seven days past the submission deadline. Documents 1-7 must be uploaded as separate PDF documents. The deadline for applications is on Monday 27th of September 2021. Applicants selected for appointment will be required to submit copies of degree certificates officially certified by the Ministry of Education (for degrees received from universities in Cyprus) or from the Issuing Authority (for degrees from foreign universities). Applications, supporting documents and reference letters submitted in response to previous calls will not be considered and must be resubmitted. Applications not conforming to the specifications of this call, i.e. which do not include all the required documents as specified on the electronic submission system, will not be considered. It is the applicant’s responsibility to ensure that his/her application has successfully been submitted. Upon submission, the candidate will receive an automated confirmation email. For more information, candidates may contact the Human Resources Service (tel.: +357 22 89 4146/4155 or via email: applications at ucy.ac.cy) or the Department of Computer Science (tel: +357 22 892669). -------------- next part -------------- An HTML attachment was scrubbed... URL: From jens_classen at sfu.ca Wed Jul 7 20:20:52 2021 From: jens_classen at sfu.ca (Jens Classen) Date: Wed, 7 Jul 2021 11:20:52 -0700 Subject: [fg-arc] Call for Applications: Doctoral Consortium of KR 2021 -- Extended Deadline: July 23 Message-ID: (apologies for cross-posting) The submission deadline for the Doctoral Consortium has been extended. Moreover, the date for the main part of the DC has been fixed. Please find below the updated dates. We also want to stress that students who are at an earlier or more advanced stage of the completion of their thesis are encouraged to apply if they would benefit from participation at the DC. *Important Dates* Submission: July 23, 2021 Notification: July 30, 2021 Doctoral Consortium: November 5, 2021 ===================================================================== KR Doctoral Consortium Call for Applications November 5, 2021 Virtual (Originally: Hanoi, Vietnam) https://kr2021.kbsg.rwth-aachen.de The 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) invites PhD students to apply for the Doctoral Consortium program. 1) AIMS AND SCOPE The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: * to provide a forum for students to present their current research, and receive feedback from other students and senior researchers; * to promote contacts among PhD students working in similar areas; * to support students with information and advice on academic, research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but we also encourage students to apply who are at an earlier or more advanced stage of the completion of their thesis. Accepted students will participate in several dedicated DC events, which are planned to include a lightning talk session, a poster session, a mentoring event, and a DC invited talk. Details will be announced in due time. Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. Note that due to the ongoing global Covid-19 pandemic, KR 2021 and all of the DC events will take place online. 2) APPLICATION SUBMISSION Applications must be submitted through the EasyChair conference system (a link will be provided later). Each application must contain the following elements combined into a single PDF document: (1) Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. It must be four pages maximum and use the same style as for KR paper submissions. (2) Curriculum Vitae. A description of your background and relevant experience (research, education, employment), of two pages maximum. (3) Letter of recommendation. A letter from your thesis advisor that states that he/she supports your participation in the DC. (4) Optionally, a suggestion of up to 5 potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Doctoral students who submit to the DC are permitted to have previously published their research, and are encouraged to submit papers to workshops associated to KR 2021. 3) IMPORTANT DATES Application deadline: July 23, 2021 Acceptance notification: July 30, 2021 Doctoral Consortium: November 5, 2021 (main part) November 8, 2021 (lightning talks at main conference) For further information, please contact the DC chairs: Jens Classen, Simon Fraser University (jens_classen at sfu.ca) Magdalena Ortiz, TU Vienna (ortiz at kr.tuwien.ac.at) From announce at cs.ucy.ac.cy Wed Jul 7 09:53:11 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Wed, 7 Jul 2021 10:53:11 +0300 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Call for Late Submissions Message-ID: *** Call for Late Submissions *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGaXJzdCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSUNUIGZvciBIZWFsdGgsIEFjY2Vzc2liaWxpdHkgYW5kIFdlbGxiZWluZyAoSUhBVyAyMDIxKTogQ2FsbCBmb3IgTGF0ZSBTdWJtaXNzaW9ucwk2NTQJTGlzdHMJMTI2CWNsaWNrCXllcwlubw==&url=http%3A%2F%2Fcyprusconferences.org%2Fihaw2021%2F (Proceedings to be published by Springer; Special Session on AAL, see below; Special Journal Issue with SN Computer Science) The call for late submissions has a firm deadline on July 30, 2021 ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first 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: • AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing • 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) • Precision medicine • ICT for in-silico trials • Implantable medical devices • Computational methods for medical device • Models for human-device interaction for medicine • Systems promoting access to the socio-economical and cultural environment • Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments • 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) • New experimental validation methods with end-users • Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) 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. Early works and works- in-progress are invited to submit a short or demo paper. 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. Special Session on Active Assisted Living (AAL) Do you do research or commercial work in the active and healthy ageing area and you want to participate in the discussion driving the future of healthy ageing? Do you have a funded project in the AAL programme and would like to present the results of the project? Then the Special Session on AAL is the perfect opportunity for you to be involved in an ecosystem that promotes active and healthy ageing. This special session at the IHAW 2021 conference aims to bring together the community of healthy ageing to present their results and to discuss the existing opportunities in health technology and reflect on the future of ageing well in the digital world. You will be presented with the opportunity to meet and discuss with several stakeholders from universities, industry, regional and national authorities, private companies working with older adults and many more. You can use the opportunity to showcase the best practices and find solutions to challenges through presentations, discussions, workshops and networking. The Special Session on AAL is the ideal meeting place for presenting the results from cutting-edge, funded AAL projects, as well as independent research or commercial work in the active and healthy ageing area, performed from: • Universities and research institutions • End-user organisations and companies working with older adults • Industry professionals involved in the technology sector with an interest in active and healthy ageing • Health care and social care providers • Individuals and organisations implicated in the AAL funded projects The goal of this Special Session is to engage researchers and all relevant stakeholders of the healthy ageing value chain into networking and discussions to present their experiences and provide answers and solutions to problems and issues faced by older adults. This community is of great importance since it drives and aims to achieve better conditions and a healthier and improved society for the future of older adults. The proactive involvement of the community in conceptualising, designing and developing cost-effective systems that offer services to serve our ageing society, as well as the presentation of the solutions and discussion and exchange of ideas in this special session aims to drive and cultivate innovative thinkers, creative people and change makers in the area of active and healthy ageing. Please follow the submission guidelines and important dates as they are stated below and make sure that under the abstract of your submitted paper there is the statement: "Submitted to the Special Session on AAL". Accepted papers will be published by Springer in the CCIS Series. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a special issue with SN Computer Science (https://www.springer.com/journal/42979). Submissions of all types should be carefully formatted according to the Springer format for conference proceedings: http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGaXJzdCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSUNUIGZvciBIZWFsdGgsIEFjY2Vzc2liaWxpdHkgYW5kIFdlbGxiZWluZyAoSUhBVyAyMDIxKTogQ2FsbCBmb3IgTGF0ZSBTdWJtaXNzaW9ucwk2NTQJTGlzdHMJMTI2CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQlGaXJzdCBJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gSUNUIGZvciBIZWFsdGgsIEFjY2Vzc2liaWxpdHkgYW5kIFdlbGxiZWluZyAoSUhBVyAyMDIxKTogQ2FsbCBmb3IgTGF0ZSBTdWJtaXNzaW9ucwk2NTQJTGlzdHMJMTI2CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dicihaw2021 . Important Dates • Submission Deadline: July 30, 2021 (AoE) (firm) • Notification: August 23, 2021 • Camera-Ready Submission Deadline: September 6, 2021 • Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair and Special Session Chair • Achilleas Achilleos, Frederick University, Cyprus Publicity Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair • Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From facs.conf.2021 at gmail.com Mon Jul 12 10:32:40 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Mon, 12 Jul 2021 10:32:40 +0200 Subject: [fg-arc] FACS 2021 - Final CFP: Extended Deadline (July 16) Message-ID: ============================================================================= ** ** Final Call for Papers: FACS 2021 ** ** 17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** ** https://facs2021.inria.fr ** ============================================================================= ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Radu Calinescu (University of York, UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Paper: July 16, 2021 (extended) * Notification: August 20, 2021 * Conference: October 28-29, 2021 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and other artifacts; * formal syntax and semantics of modeling languages; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * (behavioral) type systems for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * rigorous model-based analysis; * components for the Internet of things and cyber-physical systems; * artificial intelligence and machine learning for components and services; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## SUBMISSION & PUBLICATION We solicit submissions related to the topics mentioned above in the following categories: * full papers: original research, applications and experiences, surveys (16 pages max, excluding references); * short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references). Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2021. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issue of the International Journal on Software and Systems Modeling (SoSyM). ## CHAIRS Gwen Salaün, University Grenoble Alpes, France Anton Wijs, Eindhoven University of Technology, The Netherlands ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology, Korea Christel Baier, TU Dresden, Germany Luís Soares Barbosa, University of Minho, Portugal, Simon Bliudze, Inria Lille, France Javier Camara, University of York, UK Francisco Duran, University of Malaga, Spain Fatemeh Ghassemi, University of Tehran, Iran Sung-Shik Jongmans, Open University and CWI, the Netherlands Olga Kouchnarenko, University of Franche-Comté, France Alfons Laarman, Leiden University, The Netherlands Ivan Lanese, University of Bologna, Italy Zhiming Liu, Southwest University, China Alberto Lluch-Lafuente, Technical University of Denmark, Denmark Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria Sophia Antipolis, France Mieke Massink, CNR ISTI, Italy Hernán Melgratti, University of Buenos Aires, Argentina Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo, Norway Jun Pang, University of Luxembourg José Proença, CISTER, Portugal Jorge Pérez, University of Groningen, The Netherlands Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Gwen Salaün, Université Grenoble Alpes, France Ana Sokolova, University of Salzburg, Austria Jacopo Soldani, University of Pisa, Italy Anton Wijs, Eindhoven University of Technology, The Netherlands Shoji Yuen, Nagoya University, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From Coen.De.Roover at vub.be Fri Jul 9 15:39:03 2021 From: Coen.De.Roover at vub.be (Coen DE ROOVER) Date: Fri, 9 Jul 2021 13:39:03 +0000 Subject: [fg-arc] Full-time faculty position in Brussels Message-ID: <0A7EB712-CF23-48BB-AEE1-41408591E87A@vub.be> The computer science department of the Vrije Universiteit Brussel is offering a full-time position as professor to reinforce its programming languages and software engineering branch within the subject area of "Static security guarantees for programming languages". The position is published under the heading: Tenure track lecturer (Research) “Static security guarantees for programming languages” on the university's job offers website at https://jobs.vub.be/job/Elsene-Tenure-track-lecturer-%28Research%29-'Static-security-guaranties-for-programming-languages'/687214901/ You will be offered a tenure track appointment, for an assignment of 1 FTE, for 5 years, with eligibility for tenure in the rank of associate professor (or higher) by the end of this initial period, with planned starting date 01/02/2022. The deadline for applying is September 6th, 2021. Applications should reach us through the website. The person to contact for further information is: Prof. dr. Wolfgang De Meuter at Wolfgang.De.Meuter at vub.be or on +02/2629.34.81. ** Position description ** Education and Research domain: Static security guarantees for programming languages Education: * The teaching load associated with a full-time appointment includes teaching general Computer Science courses at the bachelor’s level as well as specialised, research-related courses at the master’s level; * The average teaching load after the initial years is four courses of 6 ECTS a year including a specialised course directly related to your expertise; * For all courses support from teaching assistance is available; * The exact course list will be negotiated with you, and will depend on your expertise and language skills; Research: * You will reinforce the research of the Software Languages Lab (soft.vub.ac.be); * The lab is active in software language research (e.g. programming languages and DBMS languages) and software engineering research; * You will be active in the domain of the static aspects of programming languages with a focus on security aspects. This includes designing static type systems (e.g., dependently typed languages), using automated proof assistants (e.g., Coq), writing secure compilers, secure virtual machines, etc.; Other: * You will be part of the management structure of the Software Languages Lab, and you are expected to actively contribute to the operational aspects and to the further development of the lab; * This implies the guidance of PhD and master students, but also starting new projects and applying for funding; For this function, our Brussels Humanities, Sciences & Engineering Campus (Elsene) will serve as your home base. ** Additional Information ** Applications should be submitted by September 6th, 2021 through https://jobs.vub.be/job/Elsene-Tenure-track-lecturer-%28Research%29-'Static-security-guaranties-for-programming-languages'/687214901/ From facs.conf.2021 at gmail.com Mon Jul 12 10:24:51 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Mon, 12 Jul 2021 10:24:51 +0200 Subject: [fg-arc] FACS 2021 - Final CFP: Extended Deadline (July 16) Message-ID: ============================================================================= ** ** Final Call for Papers: FACS 2021 ** ** 17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** ** https://facs2021.inria.fr ** ============================================================================= ## OVERVIEW Component-based software development proposes sound engineering principles and techniques to cope with the complexity of present-day software systems. However, many challenging conceptual and technological issues remain in component-based software development theory and practice. Furthermore, the advent of service-oriented and cloud computing, cyber-physical systems, and the Internet of Things has brought to the fore new dimensions, such as quality of service and robustness to withstand faults, which require revisiting established concepts and developing new ones. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. ## INVITED SPEAKERS * Radu Calinescu (University of York, UK) * Corina Pasareanu (NASA Ames, CMU, USA) ## DATES * Paper: July 16, 2021 (extended) * Notification: August 20, 2021 * Conference: October 28-29, 2021 All deadlines are AoE. ## SCOPE The conference seeks to address the application of formal methods in all aspects of software components and services. Specific topics include, but are not limited to: * formal models for software components and their interaction; * formal aspects of services, service-oriented architectures, business processes, cloud computing, cyber-physical systems, Internet of Things, and other artifacts; * formal syntax and semantics of modeling languages; * design and verification methods for software components and services; * composition and deployment: models, calculi, languages; * formal methods and modeling languages for components and services; * (behavioral) type systems for components and services; * models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; * components for real-time, safety-critical, secure, and/or embedded systems; * rigorous model-based analysis; * components for the Internet of things and cyber-physical systems; * artificial intelligence and machine learning for components and services; * probabilistic techniques for modeling and verification of component-based systems; * model-based testing of components and services; * case studies and experience reports; * tools supporting formal methods for components and services. ## SUBMISSION & PUBLICATION We solicit submissions related to the topics mentioned above in the following categories: * full papers: original research, applications and experiences, surveys (16 pages max, excluding references); * short papers: tools and demonstrations, new ideas and emerging results, position papers (6 pages max, excluding references). Paper submission is done via EasyChair at: https://easychair.org/conferences/?conf=facs2021. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Each paper will be reviewed by at least three PC members and evaluated in terms of novelty, importance, evidence, and clarity. The proceedings of FACS 2021 will be published as a volume of LNCS. All accepted papers will be published in this LNCS volume. Authors should consult Springer’s authors’ guidelines and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issue of the International Journal on Software and Systems Modeling (SoSyM). ## CHAIRS Gwen Salaün, University Grenoble Alpes, France Anton Wijs, Eindhoven University of Technology, The Netherlands ## PROGRAM COMMITTEE Kyungmin Bae, Pohang University of Science and Technology, Korea Christel Baier, TU Dresden, Germany Luís Soares Barbosa, University of Minho, Portugal, Simon Bliudze, Inria Lille, France Javier Camara, University of York, UK Francisco Duran, University of Malaga, Spain Fatemeh Ghassemi, University of Tehran, Iran Sung-Shik Jongmans, Open University and CWI, the Netherlands Olga Kouchnarenko, University of Franche-Comté, France Alfons Laarman, Leiden University, The Netherlands Ivan Lanese, University of Bologna, Italy Zhiming Liu, Southwest University, China Alberto Lluch-Lafuente, Technical University of Denmark, Denmark Markus Lumpe, Swinburne University of Technology, Australia Eric Madelaine, Inria Sophia Antipolis, France Mieke Massink, CNR ISTI, Italy Hernán Melgratti, University of Buenos Aires, Argentina Fabrizio Montesi, University of Southern Denmark Peter Csaba Ölveczky, University of Oslo, Norway Jun Pang, University of Luxembourg José Proença, CISTER, Portugal Jorge Pérez, University of Groningen, The Netherlands Camilo Rocha, Pontificia Universidad Javeriana Cali, Colombia Gwen Salaün, Université Grenoble Alpes, France Ana Sokolova, University of Salzburg, Austria Jacopo Soldani, University of Pisa, Italy Anton Wijs, Eindhoven University of Technology, The Netherlands Shoji Yuen, Nagoya University, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From emily.leblanc at nrl.navy.mil Sat Jul 10 13:57:23 2021 From: emily.leblanc at nrl.navy.mil (Leblanc, Emily C CIV USN NRL (5512) Washington DC (USA)) Date: Sat, 10 Jul 2021 11:57:23 +0000 Subject: [fg-arc] =?utf-8?b?Q0FVU0FMwqAyMDIxwqBDYWxswqBmb3LCoFBhcGVyc8Kg?= =?utf-8?q?=28workshop_of_ICLP-21=29?= Message-ID: [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] Workshop on Causal Reasoning and Explanation in Logic Programming CALL FOR PAPERS *** CAUSAL 2021 *** CAUSAL 2021 is a workshop of ICLP 2021, to be held virtually September 20-27, 2021. Additional details about virtual attendance will be announced soon. ----------------------------------------------------- CAUSAL 2021 Important Dates * Paper submission: July 17th 2021 * Notification: July 31st 2021 * Final Versions: August 15th 2021 * Workshop Date: TBA (in September 20-27, 2021) ----------------------------------------------------- Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interests include (but are not limited to): * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Learning causal relations and information * Novel causal benchmarks * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format, available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2021 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2021 website (https://iclp2021.dcc.fc.up.pt/) for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Organizers ---------- * Emily LeBlanc, US Naval Research Lab, USA (emily.leblanc at nrl.navy.mil, ecl.drexel at gmail.com) * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Yuliya Lierler, University of Nebraska at Omaha, USA -------------- next part -------------- An HTML attachment was scrubbed... URL: From ecsa.publicity at gmail.com Mon Jul 12 09:46:41 2021 From: ecsa.publicity at gmail.com (ECSA Publicity) Date: Mon, 12 Jul 2021 09:46:41 +0200 Subject: [fg-arc] Call For Participation: 15th European Conference on Software Architecture (ECSA 2021) Message-ID: ********************************************************** Call for Participation: 15th European Conference on Software Architecture (ECSA 2021) Växjö, Sweden, September 13-17, 2021 (virtual) ********************************************************** Web: https://conf.researchr.org/home/ecsa-2021 Tweeter: @ECSACONF The European Conference on Software Architecture (ECSA) is the premier European software architecture conference, providing researchers, practitioners, and educators with a platform to present and discuss the most recent, innovative and significant findings and experiences in the field of software architecture research and practice. The 15th European Conference on Software Architecture (ECSA 2021) will be held from 13 to 17 September 2021. ECSA 2021 was originally planned in the beautiful city of Växjö Sweden. Yet due to COVID-19 and considering what impact this may have on the conference, the ECSA Steering and Organizing Committee decided to organize ECSA 2021 as a virtual event. We would like to express our empathy and condolences with those affected by COVID-19. Our primary concern is that members of our community, and their families and friends, remain safe and well. ***SCOPE*** ECSA 2021 aims to focus on how Software Architecture can enable the success of the next generation of software-enabled systems to address the challenges of society, such as health, climate, sustainability, mobility, diversity, and future of production. This raises questions such as: What are the current research successes that position Software Architecture at the core of the ability to build and sustain systems of the future? What automation, tools, and techniques do software architects and engineers need in order to ensure architectures developed are adaptable, evolvable, verifiable, and meet their quality and functional requirements? The program committee of 15th European Conference on Software Architecture seeks submissions of original and unpublished high-quality papers describing fundamental and applied research, new methods, approaches, and processes, novel applications, approaches for education and training in software architecture, and experience reports on all topics related to software architecture including, but not limited to: - Foundational principles of software architecture - Linking requirements engineering and software architectures - Quality attributes and software architectures - Architectural design, analysis and evaluation - Architecture description languages and meta-models - Architecture verification and validation - Management of architectural knowledge, decisions, and rationale - Cross-disciplinary efforts and software architecture - Architectures for reconfigurable and self-adaptive systems - Architectural concerns of autonomic systems - Architectural patterns, styles and tactics, reference architectures - Architecture viewpoints and views - Architecture conformance - Software architecture and virtualization - Architecture-centric process models and frameworks - Software architecture and agility, continuous integration, continuous development and DevOps tools - Component-based models and deployment, middleware - Software architecture and system architecture, including software-defined networking - Software tools and environments for architecture-centric software engineering - Cultural, economic, business, social and managerial aspects of software architecture - Software architecture in different areas such as the cloud/edge-cloud, big data, blockchain, cyber-physical systems, IoT, autonomous systems, systems of systems, energy-aware software - Architecture and technical debt - Empirical studies, systematic literature reviews, and mapping studies in software architecture. ***REGISTRATION*** Registration is now open! Register for ECSA here: http://axacoair.se/go?52jymis3 ***REGISTRATION DEADLINES*** Early Registration: 1 August 2021 Late Registration: 17 September 2021 ***REGISTRATION OPTIONS*** The registration includes full participation in all sessions (workshops, tutorials and main conference) and any interactive events (chats, question and answer sessions, social events, and so forth). - Participants (authors and non authors): €65 (Early registration), €90 (Late registration) - Students: free (Select the student category, documents to prove student status need to be provided) All prices include VAT. Important note: Each paper must have at least one registration as Participant (this implies that a student that is the unique author of a paper, or a student that is the only participant for a paper with multiple authors, has to register with the full price). ***REGISTRATION-RELATED ENQUIRIES*** If you have any questions regarding your registrations, please contact diana.unander at lnu.se ***ORGANIZERS*** - General Co-Chair, Raffaela Mirandola, Politecnico di Milano, Italy - General Co-Chair, Danny Weyns, KU Leuven, Belgium and Linnaeus University, Sweden - Program Co-Chair, Stefan Biffl, Technische Universität Wien, Austria - Program Co-Chair, Elena Navarro, University of Castilla‐La Mancha, Spain - Industrial Co-Chair, Marjan Sirjani, Malardalen University, Sweden - Industrial Co-Chair, Welf Löwe, Linnaeus University, Sweden - Workshop & Tutorial Co-Chair, Patrizia Scandurra, University of Bergamo, Italy - Workshop & Tutorial Co-Chair, Matthias Galster, University of Canterbury, New Zealand - Tool Demos Co-Chair, Romina Spalazzese, Malmö University, Sweden - Tool Demos Co-Chair, Ilias Gerostathopoulos, Vrije Universiteit Amsterdam, Netherlands - DE&I Co-Chair, Ingrid Nunes, Universidade Federal do Rio Grande do Sul (UFRGS), Brazil - DE&I Co-Chair, Thomas Vogel, Humboldt-Universität zu Berlin, Germany - Doctoral Symposium Co-Chair, Genaina Rodrigues, University of Brasilia, Brazil - Doctoral Symposium Co-Chair, Radu Calinescu, University of York, United Kingdom - Journal First Chair, Tomi Männistö, University of Helsinki, Finland - Proceeding Chair, Robert Heinrich, Karlsruhe Institute of Technology (KIT), Germany - Publicity Co-Chair, Aurora Macías, University of Castilla-La Mancha, Spain - Publicity Co-Chair, Jürgen Musil, TU Wien, Austria - Local Chair, Diana Unander, Linnaeus University, Sweden - Virtualization Co-Chair, Mauro Caporuscio, Linnaeus University, Sweden - Virtualization Co-Chair, Romain Christian Herault, Linnaeus University, Sweden - Web Chair, Mirko D’Angelo, Ericsson Research, Sweden -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Thu Jul 15 11:49:21 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Thu, 15 Jul 2021 11:49:21 +0200 Subject: [fg-arc] IEEE ICSA 2022: Technical Track first cfp Message-ID: <9cc301dd-0945-b45c-d311-85993d10aaad@univ-nantes.fr> The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual. Two reasons to submit: ICSA is A-ranked according to 2021 CORE and it will be in Honolulu! https://icsa-conferences.org/2022/ Technical Track deadline is November 1st. ======= Apologies for cross-posting ========================== Technical Track Call for Papers: The IEEE International Conference on Software Architecture (ICSA) is the premier gathering of practitioners and researchers interested in software architecture, component-based software engineering, and quality aspects of complex software systems. The 19th IEEE International Conference on Software Architecture (ICSA 2022) continues the tradition of a working conference, where researchers meet practitioners and where software architects can explain the problems they face in their day-to-day work and try to influence the future of the field. Interactive working sessions will be the place where researchers meet practitioners to identify opportunities to create the future. As the world gradually comes o ut of the COVID-19 pandemic, governments and businesses are busy planning for economic and community recovery. The theme of ICSA 2022 is “Software Architecture and Recovery”. Dependability and recoverability have long been quality concerns for software architects, both in practice and in theory. ICSA 2022 will dedicate some sessions to focus on how good Software Architecture practice can enable and accelerate COVID-19 recovery. We are particularly interested in soliciting papers describing novel tools, techniques and methods that enhance software architectures to be resilient, dependable, and recoverable. We are also looking for software and system architecture case studies that have been designed and developed for disaster response and recovery purposes. We call on both researchers and practitioners for contributions that advance our understanding of architectures in real-world software, facilitate empirical research by making architectural artifacts and tools publicly available, and promote replicability of results through common datasets and benchmarks. We welcome original papers that explore and explain the role of architecture in current systems and future systems. This conference looks at what can be learned from our software architecture history, experience, studies, and best practices. Important Dates Abstracts due: Nov. 1, 2021 Full papers due: Nov. 8, 2021 – 23:59 AoE (Anywhere on Earth) Notification of acceptance: Dec. 15, 2021 Camera-ready due: Jan. 11, 2022 – 23:59 AoE (Anywhere on Earth) Topics Topics of interest for the conference include (but are not limited to) the following themes: Architecture for specific types of systems, such as Systems of Systems, Edge / fog / IoT systems, AI / ML systems, Cyber-physical systems, Systems using blockchain or quantum computing, self-adaptive systems, or autonomous systems Architecture evaluation and quality aspects of software architectures Architecture & CI/CD, and DevOps Microservices,  Containerization, Serverless platforms, and event-driven architectures Model-driven engineering and component-based software engineering Agile architecting,continuous architecting, and other approaches to architecting Automatic extraction and generation of software architecture descriptions Refactoring and evolving architecture design decisions and solutions Architecture frameworks and architecture description languages Linking architecture to requirements and/or implementation Architecture conformance Reusable architectural solutions and software architecture knowledge management Software architecture for legacy systems and systems integration Architecting families of products Cultural, ethics, economic, business, financial, social, and managerial aspects of software architecture Roles and responsibilities for software architects Training, soft skills, coaching, mentoring, education, and certification of software architects Stakeholder management and collaborating with other business and technical domains State-of-the-art and state-of-practice in software architecture Theme-related topics, including Resilient and dependable software architectures Recovery oriented software architecture Case studies of software systems for COVID-19 recovery Open Science Principles The ICSA conference encourages authors of research papers to follow the principles of transparency, reproducibility, and replicability. In particular, the conference supports the adoption of open data and open source principles and encourages authors to disclose data in order to increase reproducibility and replicability. For more background information, please refer to the Artefact Evaluation Track (AET). This year, authors of submissions to the Technical Track have an additional choice to make, in that they either: opt to make data and/or code available; in this case, if accepted, their paper will be automatically submitted to AET for check of criteria, and whether badges can be assigned to the paper; or opt not to make their research artifacts and datasets accessible to the program committee; in that case, authors are asked to comment in their submitted paper on why this is not possible, practical, or desirable. This statement should be present at the end of the introduction section, and may be deleted in the final version of the paper, if accepted. Possible reasons may involve privacy restrictions and/or non-disclosure agreements. While sharing research artifacts is desired but not mandatory for submission or acceptance, the program committee members may use this information to inform their decision. Submission We solicit the submission of technical research papers that describe original and significant results of theoretical, empirical, conceptual, or experimental work in software architecture. The submissions will be evaluated based on novelty, soundness, significance / relevance, open science principles (as outlined above), and presentation quality, in that order. All submissions must conform to the IEEE paper formatting and submission instructions and must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two additional pages containing only references are permitted. The submissions must conform to the author instructions. Please note that ICSA 2022 will pursue a double-blind review process for technical research papers only, therefore all technical research paper submissions have to fulfill the double-blind reviewing requirements. Technical research papers submitted that disregard these review requirements will be desk-rejected without review. For artefacts that will be published following the open science principles (see above), we ask that authors undertake reasonable, possibly non-exhaustive, steps to not disclose their identity, e.g., by anonymizing author names, handles, affiliations, and URLs. Leakage of information in additional artefact will not lead to desk rejection. Reviewers will be asked to treat artefacts and papers as confidential. All papers are to be submitted electronically via the EasyChair submission system by the submission deadline, and must not have been published before or be submitted for review elsewhere while under consideration at ICSA. Publication All accepted technical research papers will be published in the ICSA 2022 main proceedings, and appear in IEEE Xplore Digital Library. Submissions that are rejected as technical research papers, but for which reviews show a strong potential for positively influencing the state of the art, state of practice in software architecture, or strong potential to stimulate discussion will be invited to submit as a short paper (up to 8 pages including references) or a poster (poster presented at the conference + optional 2 page summary). Short papers and 2-page summaries will be published in the ICSA 2022 companion proceedings. Note that at least one author of an accepted contribution is required to register and present the work at the conference. Program Committee Chairs: Anna Liu, Amazon Web Services Ingo Weber, TU Berlin, Germany Members: t.b.d. -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page LS2N Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: sigle_ls2n_bleu_fonce-quadricmjn.png Type: image/png Size: 40942 bytes Desc: not available URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: logoIUT-Q.png Type: image/png Size: 11419 bytes Desc: not available URL: From dalila.tamzalit at univ-nantes.fr Thu Jul 15 11:50:22 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Thu, 15 Jul 2021 11:50:22 +0200 Subject: [fg-arc] IEEE ICSA 2022: Technical Track first cfp Message-ID: <3ffcb28f-8516-9670-ddb7-a3379f0cd26b@univ-nantes.fr> The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual. Two reasons to submit: ICSA is A-ranked according to 2021 CORE and it will be in Honolulu! https://icsa-conferences.org/2022/ Technical Track deadline is November 1st. ======= Apologies for cross-posting ========================== Technical Track Call for Papers: The IEEE International Conference on Software Architecture (ICSA) is the premier gathering of practitioners and researchers interested in software architecture, component-based software engineering, and quality aspects of complex software systems. The 19th IEEE International Conference on Software Architecture (ICSA 2022) continues the tradition of a working conference, where researchers meet practitioners and where software architects can explain the problems they face in their day-to-day work and try to influence the future of the field. Interactive working sessions will be the place where researchers meet practitioners to identify opportunities to create the future. As the world gradually comes o ut of the COVID-19 pandemic, governments and businesses are busy planning for economic and community recovery. The theme of ICSA 2022 is “Software Architecture and Recovery”. Dependability and recoverability have long been quality concerns for software architects, both in practice and in theory. ICSA 2022 will dedicate some sessions to focus on how good Software Architecture practice can enable and accelerate COVID-19 recovery. We are particularly interested in soliciting papers describing novel tools, techniques and methods that enhance software architectures to be resilient, dependable, and recoverable. We are also looking for software and system architecture case studies that have been designed and developed for disaster response and recovery purposes. We call on both researchers and practitioners for contributions that advance our understanding of architectures in real-world software, facilitate empirical research by making architectural artifacts and tools publicly available, and promote replicability of results through common datasets and benchmarks. We welcome original papers that explore and explain the role of architecture in current systems and future systems. This conference looks at what can be learned from our software architecture history, experience, studies, and best practices. Important Dates Abstracts due: Nov. 1, 2021 Full papers due: Nov. 8, 2021 – 23:59 AoE (Anywhere on Earth) Notification of acceptance: Dec. 15, 2021 Camera-ready due: Jan. 11, 2022 – 23:59 AoE (Anywhere on Earth) Topics Topics of interest for the conference include (but are not limited to) the following themes: Architecture for specific types of systems, such as Systems of Systems, Edge / fog / IoT systems, AI / ML systems, Cyber-physical systems, Systems using blockchain or quantum computing, self-adaptive systems, or autonomous systems Architecture evaluation and quality aspects of software architectures Architecture & CI/CD, and DevOps Microservices,  Containerization, Serverless platforms, and event-driven architectures Model-driven engineering and component-based software engineering Agile architecting,continuous architecting, and other approaches to architecting Automatic extraction and generation of software architecture descriptions Refactoring and evolving architecture design decisions and solutions Architecture frameworks and architecture description languages Linking architecture to requirements and/or implementation Architecture conformance Reusable architectural solutions and software architecture knowledge management Software architecture for legacy systems and systems integration Architecting families of products Cultural, ethics, economic, business, financial, social, and managerial aspects of software architecture Roles and responsibilities for software architects Training, soft skills, coaching, mentoring, education, and certification of software architects Stakeholder management and collaborating with other business and technical domains State-of-the-art and state-of-practice in software architecture Theme-related topics, including Resilient and dependable software architectures Recovery oriented software architecture Case studies of software systems for COVID-19 recovery Open Science Principles The ICSA conference encourages authors of research papers to follow the principles of transparency, reproducibility, and replicability. In particular, the conference supports the adoption of open data and open source principles and encourages authors to disclose data in order to increase reproducibility and replicability. For more background information, please refer to the Artefact Evaluation Track (AET). This year, authors of submissions to the Technical Track have an additional choice to make, in that they either: opt to make data and/or code available; in this case, if accepted, their paper will be automatically submitted to AET for check of criteria, and whether badges can be assigned to the paper; or opt not to make their research artifacts and datasets accessible to the program committee; in that case, authors are asked to comment in their submitted paper on why this is not possible, practical, or desirable. This statement should be present at the end of the introduction section, and may be deleted in the final version of the paper, if accepted. Possible reasons may involve privacy restrictions and/or non-disclosure agreements. While sharing research artifacts is desired but not mandatory for submission or acceptance, the program committee members may use this information to inform their decision. Submission We solicit the submission of technical research papers that describe original and significant results of theoretical, empirical, conceptual, or experimental work in software architecture. The submissions will be evaluated based on novelty, soundness, significance / relevance, open science principles (as outlined above), and presentation quality, in that order. All submissions must conform to the IEEE paper formatting and submission instructions and must not exceed 10 pages for the main text, inclusive of all figures, tables, appendices, etc. Two additional pages containing only references are permitted. The submissions must conform to the author instructions. Please note that ICSA 2022 will pursue a double-blind review process for technical research papers only, therefore all technical research paper submissions have to fulfill the double-blind reviewing requirements. Technical research papers submitted that disregard these review requirements will be desk-rejected without review. For artefacts that will be published following the open science principles (see above), we ask that authors undertake reasonable, possibly non-exhaustive, steps to not disclose their identity, e.g., by anonymizing author names, handles, affiliations, and URLs. Leakage of information in additional artefact will not lead to desk rejection. Reviewers will be asked to treat artefacts and papers as confidential. All papers are to be submitted electronically via the EasyChair submission system by the submission deadline, and must not have been published before or be submitted for review elsewhere while under consideration at ICSA. Publication All accepted technical research papers will be published in the ICSA 2022 main proceedings, and appear in IEEE Xplore Digital Library. Submissions that are rejected as technical research papers, but for which reviews show a strong potential for positively influencing the state of the art, state of practice in software architecture, or strong potential to stimulate discussion will be invited to submit as a short paper (up to 8 pages including references) or a poster (poster presented at the conference + optional 2 page summary). Short papers and 2-page summaries will be published in the ICSA 2022 companion proceedings. Note that at least one author of an accepted contribution is required to register and present the work at the conference. Program Committee Chairs: Anna Liu, Amazon Web Services Ingo Weber, TU Berlin, Germany Members: t.b.a. -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From ecl.drexel at gmail.com Fri Jul 16 14:04:10 2021 From: ecl.drexel at gmail.com (Emily LeBlanc) Date: Fri, 16 Jul 2021 08:04:10 -0400 Subject: [fg-arc] Deadline Extension CAUSAL 2021: Workshop on Causal Reasoning and Explanation (co-located with LPNMR 2019) Message-ID: ========================================================================= CALL FOR PAPERS CAUSAL 2021: Workshop on Causal Reasoning and Explanation in Logic Programming https://sites.google.com/view/causal2021/ ========================================================================= A workshop of 37th International Conference on Logic Programming September 20-27, 2021 (the event will be virtual) ========================================================================= Important Dates *************** * Paper submission: August 1st 2021 * Notification: August 15th 2021 * Final Versions: August 29th 2021 * Workshop Date: TBA (in September 20-27, 2021) Overview ******** Sophisticated causal reasoning has long been prevalent in human society and continues to have an undeniable impact on the advancement of science, technology, medicine, and other significant fields. From the development of ancient tools to modern roots of causal analysis in business and industry, reasoning about causality and having the ability to explain causal mechanisms enables us to identify how an outcome of interest came to be and gives insight into how to bring about, or even prevent, similar outcomes in future scenarios. This workshop aims to bring together researchers and practitioners of logic programming with a dedicated focus on methods and trends emerging from the study of causality and explanation. We welcome the submission of papers on systems, tools, and applications of logic programming methods for causal reasoning and explanation. In particular, we encourage submissions presenting recent developments, including works in progress. The workshop will present the latest research and application developments in these areas and provide opportunities to discuss current and future research directions and relationships to other fields (e.g. Machine Learning, Diagnosis, Natural Language Processing and Understanding, Philosophy of Science). An important expected outcome of this workshop is to collect first-hand feedback from the ICLP community about the role and placement of causal reasoning and explanation in the landscape of modern computer theory as well as in the software industry. Topics of interests include (but are not limited to): ***************************************************** * Modeling causal theories in logic programming * Formalization of types of causes: sufficient, necessary, actual, etc * Causality, temporal reasoning and action theories * Causality and counterfactual reasoning * Causality, learning and experimental design * Causality and probability * Causality and equivalence * Causality and ontology * Learning causal relations and information * Novel causal benchmarks * Relating LP based causality and Causal Networks * Challenging problems and benchmark examples * Justifications and argumentation * Explainable AI * Explanations for diagnosis and debugging * Tools, systems and applications Submissions must describe original research and be prepared using the Springer LNAI/LNCS format, available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines The workshop invites submissions of two types: * Full papers not exceeding 13 pages (excluding references) * Extended abstracts not exceeding 3 pages (excluding references) Please submit your paper via EasyChair: https://easychair.org/conferences/?conf=causal2021 At least one co-author of each accepted paper must register for and attend the workshop. Please check the ICLP 2021 website (https://iclp2021.dcc.fc.up.pt/) for registration procedure and fees. We are planning to publish a special issue with selected workshop papers. Organizers ********** * Emily LeBlanc, US Naval Research Lab, USA (emily.leblanc at nrl.navy.mil, ecl.drexel at gmail.com) * Joost Vennekens, KU Leuven, Belgium * Tran Cao Son, New Mexico State University, USA * Pedro Cabalar, Corunna University, Spain * Jorge Fandiño, University of Nebraska at Omaha, USA * Marcello Balduccini, Saint Joseph's University, USA * Yuliya Lierler, University of Nebraska at Omaha, USA ========================================================================= -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Tue Jul 20 11:53:30 2021 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Tue, 20 Jul 2021 11:53:30 +0200 Subject: [fg-arc] =?utf-8?q?=5BVirtual_OM-2021=5D_Final_CFP=3A_16th_wshop?= =?utf-8?q?_on_Ontology_Matching_collocated_with_ISWC=2C_the_submission_de?= =?utf-8?q?adline_is_on_Aug=2E_9th?= Message-ID: <5814-60f69d00-5-eb02bf0@264649971> ** Apologies for multiple postings ** ------------------------------------------------------------------------------ FINAL CALL FOR CONTRIBUTIONS THE SUBMISSION DEADLINE IS APPROACHING ON AUGUST 9TH, 2021 ------------------------------------------------------------------------------ The Sixteenth International Workshop on ONTOLOGY MATCHING (OM-2021) http://om2021.ontologymatching.org/ October 25th, 2021, International Semantic Web Conference (ISWC) Workshop Program, VIRTUAL CONFERENCE BRIEF DESCRIPTION AND OBJECTIVES Ontology matching is a key interoperability enabler for the Semantic Web, as well as a useful technique in some classical data integration tasks dealing with the semantic heterogeneity problem. It takes ontologies as input and determines as output an alignment, that is, a set of correspondences between the semantically related entities of those ontologies. These correspondences can be used for various tasks, such as ontology merging, data interlinking, query answering or navigation over knowledge graphs. Thus, matching ontologies enables the knowledge and data expressed with the matched ontologies to interoperate. The workshop has three goals: 1. To bring together leaders from academia, industry and user institutions to assess how academic advances are addressing real-world requirements. The workshop will strive to improve academic awareness of industrial and final user needs, and therefore, direct research towards those needs. Simultaneously, the workshop will serve to inform industry and user representatives about existing research efforts that may meet their requirements. The workshop will also investigate how the ontology matching technology is going to evolve, especially with respect to data interlinking, knowledge graph and web table matching tasks. 2. To conduct an extensive and rigorous evaluation of ontology matching and instance matching (link discovery) approaches through the OAEI (Ontology Alignment Evaluation Initiative) 2021 campaign: http://oaei.ontologymatching.org/2021/ 3. To examine similarities and differences from other, old, new and emerging, techniques and usages, such as web table matching or knowledge embeddings. This year, in sync with the main conference, we encourage submissions specifically devoted to: (i) datasets, benchmarks and replication studies, services, software, methodologies, protocols and measures (not necessarily related to OAEI), and (ii) application of the matching technology in real-life scenarios and assessment of its usefulness to the final users. TOPICS of interest include but are not limited to: Business and use cases for matching (e.g., big, open, closed data); Requirements to matching from specific application scenarios (e.g., public sector, homeland security); Application of matching techniques in real-world scenarios (e.g., in cloud, with mobile apps); Formal foundations and frameworks for matching; Novel matching methods, including link prediction, ontology-based access; Matching and knowledge graphs; Matching and deep learning; Matching and embeddings; Matching and big data; Matching and linked data; Instance matching, data interlinking and relations between them; Privacy-aware matching; Process model matching; Large-scale and efficient matching techniques; Matcher selection, combination and tuning; User involvement (including both technical and organizational aspects); Explanations in matching; Social and collaborative matching; Uncertainty in matching; Expressive alignments; Reasoning with alignments; Alignment coherence and debugging; Alignment management; Matching for traditional applications (e.g., data science); Matching for emerging applications (e.g., web tables, knowledge graphs). SUBMISSIONS Contributions to the workshop can be made in terms of technical papers and posters/statements of interest addressing different issues of ontology matching as well as participating in the OAEI 2021 campaign. Long technical papers should be of max. 12 pages. Short technical papers should be of max. 5 pages. Posters/statements of interest should not exceed 2 pages. All contributions have to be prepared using the LNCS Style: http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0 and should be submitted in PDF format (no later than August 9th, 2021) through the workshop submission site at: https://www.easychair.org/conferences/?conf=om2021 Contributors to the OAEI 2021 campaign have to follow the campaign conditions and schedule at http://oaei.ontologymatching.org/2021/. DATES FOR TECHNICAL PAPERS AND POSTERS: August 9th, 2021: Deadline for the submission of papers. September 6th, 2021: Deadline for the notification of acceptance/rejection. September 20th, 2021: Workshop camera ready copy submission. October 25th, 2021: OM-2021, Virtual Conference. Contributions will be refereed by the Program Committee. Accepted papers will be published in the workshop proceedings as a volume of CEUR-WS as well as indexed on DBLP. ORGANIZING COMMITTEE 1. Pavel Shvaiko (main contact) Trentino Digitale, Italy 2. Jérôme Euzenat INRIA & Univ. Grenoble Alpes, France 3. Ernesto Jiménez-Ruiz City, University of London, UK & SIRIUS, University of Oslo, Norway 4. Oktie Hassanzadeh IBM Research, USA 5. Cássia Trojahn IRIT, France PROGRAM COMMITTEE: Alsayed Algergawy, Jena University, Germany Manuel Atencia, INRIA & Univ. Grenoble Alpes, France Zohra Bellahsene, LIRMM, France Jiaoyan Chen, University of Oxford, UK Valerie Cross, Miami University, USA Jérôme David, University Grenoble Alpes & INRIA, France Gayo Diallo, University of Bordeaux, France Daniel Faria, Instituto Gulbenkian de Ciéncia, Portugal Alfio Ferrara, University of Milan, Italy Marko Gulic, University of Rijeka, Croatia Wei Hu, Nanjing University, China Ryutaro Ichise, National Institute of Informatics, Japan Antoine Isaac, Vrije Universiteit Amsterdam & Europeana, Netherlands Naouel Karam, Fraunhofer, Germany Prodromos Kolyvakis, EPFL, Switzerland Patrick Lambrix, Linköpings Universitet, Sweden Oliver Lehmberg, University of Mannheim, Germany Fiona McNeill, Heriot Watt University, UK Peter Mork, MITRE, USA Axel Ngonga, University of Paderborn, Germany George Papadakis, University of Athens, Greece Catia Pesquita, University of Lisbon, Portugal Henry Rosales-Méndez, University of Chile, Chile Kavitha Srinivas, IBM, USA Pedro Szekely, University of Southern California, USA Valentina Tamma, University of Liverpool, UK Ludger van Elst, DFKI, Germany Xingsi Xue, Fujian University of Technology, China Ondrej Zamazal, Prague University of Economics, Czech Republic ------------------------------------------------------- More about ontology matching: http://www.ontologymatching.org/ http://book.ontologymatching.org/ ------------------------------------------------------- Best Regards, Cassia Trojahn https://www.irit.fr/~Cassia.Trojahn/ From announce at cs.ucy.ac.cy Tue Jul 20 13:28:33 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Tue, 20 Jul 2021 14:28:33 +0300 Subject: [fg-arc] First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021): Last Call for Late Submissions Message-ID: <8W3A4WE-6TQX-YRY5-5UMC-QLYVN0PWAZCX@cs.ucy.ac.cy> *** Last Call for Late Submissions *** First International Conference on ICT for Health, Accessibility and Wellbeing (IHAW 2021) November 8-10, 2021, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/ihaw2021/ (Proceedings to be published by Springer; Special Session on AAL, see below; Special Journal Issue with SN Computer Science) The call for late submissions has a firm deadline on July 30, 2021 ICT for Health, Accessibility and Wellbeing (IHAW 2021) is the first 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: • AI and Cognition, Cognitive Mechatronics, Human-Machine Interaction, Cobotics, Model-based design and configuration tools for healthcare and well-being, AI methods for medical device testing • 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) • Precision medicine • ICT for in-silico trials • Implantable medical devices • Computational methods for medical device • Models for human-device interaction for medicine • Systems promoting access to the socio-economical and cultural environment • Age-friendly systems for active and healthy aging (telepresence, robotics solutions, innovative solutions for independent living, innovative elderly care, integrated care, age-related risks prevention/detection) • Multimodal assistive ICT devices to empower people with sensory, cognitive, motor, balance and spatial impairments • 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) • New experimental validation methods with end-users • Standardization, certification, labeling, privacy, security and communication issues (related to aging well, to sensory impairment) 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. Early works and works- in-progress are invited to submit a short or demo paper. 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. Special Session on Active Assisted Living (AAL) Do you do research or commercial work in the active and healthy ageing area and you want to participate in the discussion driving the future of healthy ageing? Do you have a funded project in the AAL programme and would like to present the results of the project? Then the Special Session on AAL is the perfect opportunity for you to be involved in an ecosystem that promotes active and healthy ageing. This special session at the IHAW 2021 conference aims to bring together the community of healthy ageing to present their results and to discuss the existing opportunities in health technology and reflect on the future of ageing well in the digital world. You will be presented with the opportunity to meet and discuss with several stakeholders from universities, industry, regional and national authorities, private companies working with older adults and many more. You can use the opportunity to showcase the best practices and find solutions to challenges through presentations, discussions, workshops and networking. The Special Session on AAL is the ideal meeting place for presenting the results from cutting-edge, funded AAL projects, as well as independent research or commercial work in the active and healthy ageing area, performed from: • Universities and research institutions • End-user organisations and companies working with older adults • Industry professionals involved in the technology sector with an interest in active and healthy ageing • Health care and social care providers • Individuals and organisations implicated in the AAL funded projects The goal of this Special Session is to engage researchers and all relevant stakeholders of the healthy ageing value chain into networking and discussions to present their experiences and provide answers and solutions to problems and issues faced by older adults. This community is of great importance since it drives and aims to achieve better conditions and a healthier and improved society for the future of older adults. The proactive involvement of the community in conceptualising, designing and developing cost-effective systems that offer services to serve our ageing society, as well as the presentation of the solutions and discussion and exchange of ideas in this special session aims to drive and cultivate innovative thinkers, creative people and change makers in the area of active and healthy ageing. Please follow the submission guidelines and important dates as they are stated below and make sure that under the abstract of your submitted paper there is the statement: "Submitted to the Special Session on AAL". Accepted papers will be published by Springer in the CCIS Series. Submissions We invite three types of paper submissions: 1. Research and Technical papers, up to 15 pages, describing original unpublished research, making a substantial contribution to the research field 2. Short papers, up to 6 pages, describing original unpublished research, making a small but solid contribution to the field 3. Demos, up to 4 pages, describing innovative tools that address topics relevant to the conference All submissions will be reviewed by the Program Committee. Accepted contributions will appear in the archival proceedings of IHAW 2021, published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899), and will be presented in plenary sessions of the conference. The authors of the best papers accepted for IHAW2021 will be invited to submit extended versions for a special issue with SN Computer Science (https://www.springer.com/journal/42979). 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 and should specify on the first page the type of submission ("R&T", "Short", "Demo"). The submission process will be handled through Easy Chair and the submission link is: https://easychair.org/conferences/?conf=icihaw2021 . Important Dates • Submission Deadline: July 30, 2021 (AoE) (firm) • Notification: August 23, 2021 • Camera-Ready Submission Deadline: September 6, 2021 • Author Registration Deadline: September 6, 2021 Organizers Honorary General Chair • Edwige Pissaloux, University of Rouen Normandy, France General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Scientific Chair • Salim Bouhlel, University of Sfax, Tunisia Scientific Vice-Chair and Special Session Chair • Achilleas Achilleos, Frederick University, Cyprus Publicity Chair • Ramiro Velazquez, Universidad Panamericana, Mexico Finance Chair • Petros Stratis, Easy Conferences LTD., Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Tue Jul 27 08:00:14 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Tue, 27 Jul 2021 08:00:14 +0200 Subject: [fg-arc] IEEE ICSA 2022: Call for Workshop Proposals Message-ID: <29871880-eee1-c59b-e835-5304007629b4@univ-nantes.fr> The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ * Call for Workshop Proposals – ICSA 2022: deadline September 6, 2021. * * https://icsa-conferences.org/2022/conference-tracks/workshop-proposals/ * * ICSA 2022 will be held in Honolulu, Hawaii between March 12-16, 2022, in a hybrid mode, face-to-face and online meetings. ICSA 2022 workshops aim to provide a forum for researchers and software architects to explore and exchange experiences and R&D results in the field of software architecture. Rising interest and new development in software architecture, new explorations, software architecture application and integration to other areas of software engineering and new perspectives in software architecture are suitable themes for ICSA workshop. Workshops may be half-day or one-day events. For ideas of ICSA workshop themes, please refer to past ICSA workshops. * * Workshop organizers are responsible for submission and selection of papers. Submissions must follow the IEEE Computer Science proceedings format , as workshop proceedings will be published in ICSA 2022 Companion proceedings, and appear in IEEE Xplore Digital Library. Workshop organizers may allow for different types of contributions (e.g., technical, position, and case study papers), but a workshop paper should not exceed a maximum of 8 pages in IEEE format. Proposal Submission Workshop proposals must be written in English, not exceed 4 pages in IEEE CS proceedings format , and must be submitted electronically in PDF through EasyChair. Proposals should include: * Title * Names and affiliations of organizers * Past workshops (at ICSA, ECSA, or elsewhere) held by the organizers * Description of the workshop theme and its relations with the field of Software Architecture * Goals and objectives for the workshop * Whether you prefer full-day or half-day option * Hybrid format for the workshop explained * Justification in case of proposing different important dates than below Evaluation Criteria Workshop proposals will be reviewed based on: * Potential of the workshop to advance the state of software architecture research and/or practice * Timeliness and expected interest in the topic * Organizers’ ability to lead a successful workshop Important Considerations * At least one of the workshop organizers needs to register for the conference and attend the workshop in person (online attendance of the main organizer shall only be kept for emergency situations). * Workshops will be conducted in a hybrid meeting mode. Presenters of accepted papers may attend in person or online. Important Dates These dates apply to all workshops: * Workshop proposal submission deadline: by September 6, 2021 * Workshop proposal notification: by September 20, 2021 * Workshop Call for Submission: by September 23, 2021 on ICSA 2022 website and SEWorld * Paper submission: December 8, 2021 (optionally abstract on Dec 1, 2021) * Paper notification: January 14, 2022 * Workshop program publication: February, 2022 * Camera-ready workshop papers due: January 27, 2022 (firm) * Workshop dates: to be announced Workshop Chairs * Barbora Buhnova, Masaryk University, Czech Republic * Antony Tang, Swinburne University of Technology and VU University, Australia * -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 09:10:51 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 09:10:51 +0200 Subject: [fg-arc] IEEE ICSA 2022: Call for Tutorial Proposals Message-ID: ** ** ***The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ ** Call for Tutorial Proposals – ICSA 2022 ICSA 2022 tutorials provide a valuable opportunity for conference participants to expand their knowledge and skills in specific software architecture topics. Tutorials will be held before or after the main ICSA 2022 conference in half-day or full-day sessions (between March 12-15, 2022). Tutorial Proposal Submission Tutorial proposals must be written in English, consist of 2-4 pages in IEEE CS proceedings format , and must be submitted electronically in PDF through EasyChair. The proposal shall describe the relevance of the topic, including the state of the art, the implementation of the planned tutorial session, as well as the background of the presenter(s). In particular, the proposal should contain: * Tutorial title (one line). * A summary of 350 words (maximum) suitable for posting on the conference web site. The summary should contain topic description and relevance for the ICSA community including (i) a description of the topic; (ii) the state of the art in the topic; (iii) the intended audience and the profile of the ideal target audience for the tutorial; and (iv) the relevance for ICSA. The topic should be described in detail, stressing its importance and timeliness, including the 2 or 3 key take-away messages the audience should leave with. * Implementation section: this section should include (i) the duration of the proposed tutorial – half or full day, if both durations are suitable submit two different outlines; (ii) a preliminary schedule of events including estimated times; (iii) a description of what the tutorial will cover; (iv) an explanation of how the tutorial will be conducted – lecture, hands on exercise, facilitated discussion, group activity, role playing, games, etc. – including a description of materials to be included in the tutorial notes; (v) how the tutorial will be conducted, face-to-face, online or both. * The Presenter(s)’ Background section: this section should include affiliation, relevant biographical information (250 words maximum), as well as summaries of the presenters’ technical, presentation, and tutorial qualification and experience. This section should include a description of where and when the tutorial has been offered previously and the past number of attendees. Publication Lecturers of accepted tutorials will be invited to write a tutorial description of 2-4 pages, which will be published in ICSA 2022 Companion proceedings, and appear in IEEE Xplore Digital Library. Submission Instructions Tutorial proposals will be reviewed by a small subset of the main conference’s program committee. Acceptance will be based on: * Evaluation of the tutorial’s interest to the community (research and/or practice) * Timeliness and expected interest in the topic * Organizer’s ability to lead a successful tutorial * Balance and synergy with other ICSA 2022 events Important Considerations * Tutorial lecturers need to register for the conference and attend it to give the tutorial. * If the number of tutorial registrations is lower than 5 by DATE , then the conference organizers reserve the right to cancel the tutorial. * Tutorials will be run in a hybrid mode of face-to-face and online simultaneously onsite. Important Dates * Tutorial proposal submission deadline: by December 8, 2021 * Tutorial proposal notification: by January 14, 2022 * Camera-Ready Tutorial Summary: January 27, 2022 (firm) * Tutorial handouts submission deadline: March 1, 2022 * Tutorial days: to be announced Tutorial Chairs * Barbora Buhnova, Masaryk University, Czech Republic * Antony Tang, Swinburne University of Technology and VU University, Australia * -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 09:21:28 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 09:21:28 +0200 Subject: [fg-arc] IEEE ICSA 2022: Call for Journal First Track Message-ID: **The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ ** ** *Call for Journal First Track – ICSA 2022* ****** *Call for Papers*** ICSA 2022 has a partnership with *Empirical Software Engineering (EMSE)* *, **IEEE Software* *,*and *Journal of Systems and Software (JSS)* **to incorporate journal-first papers into its program. Authors of journal-first papers accepted by EMSE, IEEE Software or JSS are invited to submit their work to be presented at ICSA 2022. This will allow authors of journal-first papers to present their work to the community. *Scope *** We solicit submissions of accepted papers that meet the following criteria: ·The paper was accepted to EMSE, IEEE Software, or JSS no earlier than November 1, 2020 and no later than November 8, 2021 ·The paper is related to the software architecture topics that are in the scope of the conference. ·The paper has not been presented at, and is not under consideration for, journal-first programs of other conferences. *Submissions*** Authors of manuscripts that meet the above criteria are invited to submit a proposal directly in the EasyChair submission system consisting of (1) paper title, (2) authors, (3) abstract, (4) a pointer to the original journal paper (DOI) or pre-print, and (5) an acknowledgement that the paper meets the above mentioned criteria. *Evaluation *** Authors will be invited to present their paper at ICSA 2022 after checking that the paper meets the above criteria. Because the papers have been already reviewed and accepted by the journal, they will not be reviewed again for technical content. Our plan is to include in the journal first program as many papers as possible; only in case an exceptionally high number of proposals is received, not all submissions might be selected. If needed, presentation proposals will be prioritized according to fit to the conference theme and structure of sessions. *Important Dates *** *Proposal:*December 8th 2021 *Notification:*Jan 14th 2021 *Camera-ready:*Jan 27th 2022 *Notes:*All deadlines are 23:59h *AoE* (anywhere on Earth) *Presentation *** As journal first presenter, you will have all the benefits of the conference presentation such as reaching a wider audience, interactions and discussion with peers, and feedback by peers on your work. At least one author of each presentation accepted for the journal-first program must register and attend the conference to present the paper. The journal-first manuscripts are published through the journals and will not be part of the ICSA 2022 proceedings. The journal-first papers will be listed in the conference program and companion proceedings and ICSA 2022 participants will have access to the paper abstracts and a pointer to the journal publication outside the conference proceedings. *Organization*** Aldeida Aleti (Monash University, Australia) Grace A. Lewis (Carnegie Mellon Software Engineering Institute, USA) -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 09:41:50 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 09:41:50 +0200 Subject: [fg-arc] IEEE ICSA 2022: Call for Software Architecture in practice Message-ID: *The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/* ** *Software Architecture in practice track – ICSA 2022* ** Call for Contributions This year’s Software Architecture in Practice track will be a practice focused event inspired by successful practitioner-oriented conferences like*SATURN*. It will consist of workshops, demonstrations, and presentations based on the speakers’ experiences and practice working as architects. We will be selecting proposals for engaging and experimental sessions oriented towards architects working in the real world. Proposals are evaluated on these criteria: * depth of the proposer’s experience * clarity and practical applicability * capacity to be engaging and involving * novelty * fit with the conference theme Contributions are presentation-only. There will be no need to submit a paper. Keep an eye on the call for submissions for more details! Important Dates *Proposal submission*: December 1st, 2021 *Notification of acceptance*: January 14th, 2022 *Notes*: All deadlines are 23:59h*AoE*(anywhere on Earth) -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 09:44:55 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 09:44:55 +0200 Subject: [fg-arc] IEEE ICSA 2022: New and Emerging Ideas (NEMI) track Message-ID: <413932b1-1744-9042-8606-790a484a925e@univ-nantes.fr> **The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ ** ** *New and Emerging Ideas (NEMI) track – ICSA 2022* ============================== CALL FOR PAPERS ICSA 2022: NEW AND EMERGING IDEAS (NEMI) TRACK https://icsa-conferences.org/2022/conference-tracks/new-and-emerging-ideas ============================== The goal of the New and Emerging Ideas (NEMI) track at ICSA is to encourage the software architecture community to propose new software architecture research visions and ideas, which can potentially challenge the status quo of the software architecture discipline (research and practice) and point to new directions. The ICSA 2022 NEMI track seeks the following types of contributions: New Ideas: * Visions or new directions supported by a strong and well-motivated scientific foundation or practical application. * Arguments or results that challenge established results or beliefs, providing evidence that calls for fundamentally new directions, opening up new research avenues or software architecture practices. * Radically new approaches, techniques, or theories that can bring new results to software architecture research or practice. Emerging Results: * Not yet fully mature research results, which may lack full validation but that clearly point to important scientific novelty or gaps, and that can stimulate reflection. Papers should trigger discussion and raise awareness and reflection on specific topics in research and/or practice. NEMI papers must clearly motivate and illustrate a rationale for changing current practice and/or research in software architecture. Evaluation results are not required for NEMI papers (but if such results exist, then they may be presented, if only to give the reviewers insights into the evaluation plan). Strong argumentation and reasoning is expected to inspire the readers. Moreover, NEMI submissions must include a section titled “Discussion” including critical reflection that explicitly addresses relevant aspects for discussion during the conference. These aspects include, for example, potential societal impact of the vision, ideas, and/or results proposed; alternatives and their pros and cons also in comparison with the proposal; aspects going beyond technical barriers that may affect the feasibility of the submitted proposal, and others. ============================== Scope of NEMI Track ============================== NEMI provides a forum for innovative, thought-provoking insights in software architecture to accelerate the exposure of the community to early and ongoing yet promising and potentially inspiring innovations in industry and academia. A NEMI track paper is not just a scaled-down version of an ICSA research track paper. The NEMI track is reserved for first class, top quality technical contributions. In principle, the track addresses the same software architecture topics of interest as those of the research track. However, NEMI authors are encouraged to combine those topics in new ways to establish connections to other fields outside of classical software architecture, push the boundaries of software architecture to new avenues, as well as to argue for the importance of software architecture research and practice in areas not explicitly listed. ============================== Out of scope ============================== A NEMI submission should not be just incremental results on existing research, nor disguised advertisements for previously published results, products, tools or methods, or experience reports. ICSA 2022 has several tracks and workshops where such work can be submitted. ============================== Evaluation ============================== Each submission will be reviewed and evaluated in terms of the following quality criteria: * Value: the problem is worth exploring, ideally inspired by real-world use; * Impact: the potential for disruption of current practice and/or research; * Originality: new insights or ideas/visions; * Rationale: soundness of the justification, reasoning, and argumentation; * Evaluation: appropriate consideration of relevant literature and/or research evaluation to demonstrate originality, arguments, and limitations; and * Quality: overall manuscript quality. ============================== Formatting and Submission ============================== All NEMI submissions must conform to the Author Instructions and must not exceed 5 pages, including all text, references, appendices, and figures. No double-blind, but single-blind review will apply to NEMI papers. All papers must be submitted electronically via EasyChair, by the submission deadline. Submissions must not have been published elsewhere and must not be under review or submitted for review elsewhere while under consideration for ICSA 2022 NEMI track. ============================== Important dates (AoE) ============================== * Abstract submission - December 1st 2021 * Full paper submission - December 8th 2021 * Notification of acceptance - Jan 14th 2022 * Camera ready paper submission - Jan 27th 2022 ============================== Publication and Attendance ============================== All accepted contributions will be published in ICSA 2022 Companion proceedings and will appear in IEEE Xplore Digital Library. At least one author of an accepted contribution is required to register and present the work at the conference. Authors of accepted contributions will be requested to produce a short video presentation that can be watched by other participants during the sessions, prior to live discussions. ============================== Organization ============================== Track Chairs * Patricia Lago, Vrije Universiteit Amsterdam, The Netherlands, p.lago at vu.nl * Elisa Yumi Nakagawa, University of São Paulo, Brazil, elisa at icmc.usp.br Program Committee TO BE COMPLETED —– For more information, please contact the NEMI Track chairs: * Patricia Lago, Vrije Universiteit Amsterdam, The Netherlands (p.lago (at) vu.nl) * Elisa Yumi Nakagawa, University of São Paulo, Brazil (elisa (at) icmc.usp.br) -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 09:55:25 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 09:55:25 +0200 Subject: [fg-arc] IEEE ICSA 2022: Artifact Evaluation Track Message-ID: <56ed5c33-a9ed-ae76-d106-4e18007d8710@univ-nantes.fr> **The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ ** ** *Artifact Evaluation Track – ICSA 2022* ** *----------------------------------------------------* * CFP ICSA 2022 - Artifact Evaluation Track 12-15 March | Honolulu, Hawaii (USA) https://icsa-conferences.org/2022/ ---------------------------------------------------- ** ICSA 2022 will be the second ICSA featuring an Artifact Evaluation Track. An artifact evaluation track aims to review and promote the research artifacts of accepted papers. Artifacts can be software systems, scripts, or datasets. High quality artifacts of published research papers are a foundation for the research results to be reproduced by other researchers and are thus a desirable part of the publication itself. The artifact evaluation system is based on the upcoming NISO Recommended Practice on Reproducibility Badging and Definitions, which is supported by our publisher, IEEE, and the evaluation criteria are also inspired by ACM’s artifact review and badging system as well as the criteria used by ICSE 2021. Who can submit? ------------------------------------ Authors of the papers accepted to the following ICSA 2022 tracks are invited to submit an artifact for evaluation for the Research Object Reviewed (ROR) – reusable badge and the Open Research Object (ORO) badge: Technical Track, Journal-First Track, Software Architecture in Practice Track, and New and Emerging Ideas Track. All authors of papers related to the topics mentioned in the call for papers of the ICSA technical track are invited to submit studies for the Results Reproduced (ROR-R) and Results Replicated (RER) badges. In addition, authors of any prior software architecture research are invited to submit an artifact for evaluation as Results Reproduced (ROR-R) and Results Replicated (RER). Please note that we require one author of each artifact submission to peer-review 2-3 other artifacts! Candidate Artifacts ------------------------------------ Artifacts of interest include (but are not limited to) the following: - Software, which are implementations of systems or algorithms potentially useful in other studies. - Data repositories, which are data (e.g., logging data, system traces, survey raw data) that can be used for multiple software engineering approaches. - Frameworks, which are tools and services illustrating new approaches to software engineering that could be used by other researchers in different contexts. This list is not exhaustive, so the authors are asked to email the chairs before submitting if their proposed artifact is not on this list. Further information on data sharing principles and approaches are further introduced along an introduction of the general notion of open science in the book chapter Open Science in Software Engineering by Méndez, Graziotin, Wagner, and Seibold: https://arxiv.org/abs/1904.06499. The best artifact selected by the reviewers will be awarded the best artifact award. For accepted ICSA 2022 papers, we plan to integrate the badge on the paper in the official IEEE proceedings. Evaluation Criteria and Badges ------------------------------------ Evaluation criteria for badges and additional information have been taken from ICSE 2021, which are based on the ACM policy on Artifact Review and Badging Version 1.1, and from the upcoming NISO Recommended Practice on Reproducibility Badging and Definitions, which is supported by our publisher, IEEE. The ICSA artifact evaluation track uses a single-blind review process. The reviewers for the artifacts will be a combination of artifact authors and ICSA program committee members. Artifacts will be evaluated using the criteria in the last row of the table below. The goal of this track is to encourage reusable research products. In order to obtain any badge every artifact will be required to be Functional, that is, it must be properly documented, consistent, complete, exercisable, and include appropriate evidence of verification and validation. The badges to be awarded as well as the evaluation criteria are the following ones: RESEARCH OBJECT REVIEWED (ROR) – REUSABLE: Functional + very carefully documented and well-structured to the extent that reuse and repurposing is facilitated. In particular, norms and standards of the research community for artifacts of this type are strictly adhered to. OPEN RESEARCH OBJECT (ORO): Functional + placed on a publicly accessible archival repository. A DOI or link to this repository along with a unique identifier for the object is provided. (this matches the ACM “Available” badge) RESULTS REPRODUCED (ROR-R): ROR + ORO + main results of the paper have been obtained in a subsequent study by a person or team other than the authors, using, in part, artifacts provided by the author. RESULTS REPLICATED (RER): ROR + ORO + the main results of the paper have been independently obtained in a subsequent study by a person or team other than the authors, without the use of author-supplied artifacts. Papers with such badges contain functional and reusable products that other researchers can use to bootstrap their own research. Experience shows that such papers earn increased citations and greater prestige in the research community. General information and further suggested reading about artifact evaluation can be viewed in a public draft standard by Baldassarre, Ernst, Hermann and Menzies. Important Dates ------------------------------------ Artifact Evaluation Registration Deadline: January 11, 2022 (mandatory) Artifact Evaluation Submissions Deadline: January 14, 2022 Artifact Evaluation Notification: January 31, 2022 Submission and Review Submission and Review ------------------------------------ Please, see details at: https://icsa-conferences.org/2022/conference-tracks/artifact-evaluation-track/ Organization ------------------------------------ Elena Navarro, University of Castilla-La Mancha, Artifact Evaluation Chair Peng Xin, Fudan University, Artifact Evaluation Chair * -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 09:51:12 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 09:51:12 +0200 Subject: [fg-arc] IEEE ICSA 2022: Early Career Researchers Forum (ECRF 2022) Message-ID: <3a679d25-9a71-6a25-e8b9-0bedbf8c9197@univ-nantes.fr> **The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ ** ** *Early Career Researchers Forum (ECRF) – ICSA 2022* Call for Papers The goal of the Early Career Researchers Forum (ECRF-ICSA 2022) is to inspire and bring together early career researchers in the field of software architecture. The forum provides a vibrant place for discussing potential and ongoing research in any stage, from ideas to results. The forum strives to provide a friendly environment for early career researchers to get feedback on their work, exchange experiences, ask questions, and explore available research pathways. In addition, the forum stimulates interaction between early career researchers and experienced academic and industry members of the community by offering a two-stage submission process that will enable early career researchers to obtain one-on-one feedback on their papers before submitting them for review. Participation Participation is open to anyone who considers themselves an early career researcher, wanting to share research ideas and (preliminary or mature) results with their peers, and looking for an opportunity to inspire and be inspired, and to learn about research paths. Early career researchers in any stage of their research, including postdocs, Ph.D. candidates, undergraduate students, and industry researchers, are all welcome. In addition, we highly encourage and invite early career researchers presenting their work in the main ICSA conference to also participate in this forum. Topics Areas of interest include software architecture, component-based software engineering, and quality aspects of software and how these relate to the design of software architectures, as provided by the scope of the ICSA2022 conference. ICSA Early Career Researcher Best Paper Award The Early Career Researcher Best Paper Award may be given to the author of the most promising idea/contribution presented at the Early Career Researchers Forum. The award winner will be acknowledged during the main conference and given the opportunity to present their work within the main conference program. Types of Submissions There are three ways of contributing to the program of the forum: ·*Ongoing Research Papers (4 to 6 pages)* presenting previously unpublished research, including motivation, goals, preliminary results, planned next steps, and industry impact of ongoing research ·*Research Abstracts (2 pages)* outlining (preferably more mature) research of early career authors that are also presenting in the ICSA2022 main program, and would like to actively engage in the forum. The research presented in the forum does not have to be the same research presented in the main track. However, if it is the same research, please note that these abstracts cannot simply be the same abstracts from the paper in the main track. The two pages should contain a short summary of the work, details of current and potential industry impact, and ideas for future research related to this work that the authors would like to discuss in this forum to obtain feedback ·*Emerging Ideas (2 pages)* outlining very early ideas on a possible research topic, such as a potential dissertation topic, with the goal of obtaining feedback from forum attendees In all types of submissions, we challenge the authors to think about the potential impact of their research on industrial practice (whether in the near- or long-term, based on the nature of the research), and to dedicate a section to the Industrial Impact of their work. The authors of Ongoing Research Papers will be assigned an experienced mentor who will help the author prepare for the actual submission (Stage 1), and advise on potential areas or impacts that the authors may be missing. The mentor’s feedback will need to be reflected in the revised submission as a condition for the paper to be accepted (Stage 2). *Recommendation Letter*** Ask your main research advisor (in case of research candidates) or supervisor (in case of PhD graduates or industry researcher) for a letter of recommendation. This letter should include: ·Your name and position ·Current status of your research ·An endorsement of the publication of your submission The letter should be in PDF format and should be sent directly by your advisor via email to both ECRF-ICSA2022 Co-Chairs. This recommendation letter will be held confidential. The e-mail subject should have the subject “ICSA2022-ECRF Recommendation” plus your Last Name. Deadline for sending the recommendation letter: January 25, 2022. Formatting and Submission Instructions All submissions must conform to the Author Instructions, and be submitted electronically via the EasyChair submission system (Early Career Researchers Forum track), by the submission deadline, and must not have been published before. Important Dates *Abstract submission*: December 1st, 2021 *Full paper submission*: December 8th, 2021 *Notification of acceptance*: January 14th, 2022 *Camera ready paper submission*: January 27th, 2022 *Notes*: All deadlines are 23:59h *AoE* (anywhere on Earth) Publication and Attendance All accepted contributions will be published in *ICSA 2022 Companion proceedings*, and appear in IEEE Xplore Digital Library. At least one author of an accepted contribution is required to register and present the work at the conference. If you do not attend the forum your paper will not be published. There is no option for remote participation. Presentation and Discussion To further facilitate the discussions around the presented research topics, we assign discussants to each presentation. Please find the description of the discussant below. presenter will give her/his talk about their research. Following the presentation, the discussants assigned to each paper will make brief comments (5 minutes), including some combination of: ·how the paper made the discussant think differently about her or his own work ·how the paper is related in some way to the discussant’s own work ·some advice for the authors in continuing their work ·identification of collaboration opportunities or synergies ·discussion questions based on the presented paper Organization For more information please contact the ECRF Program Committee Chairs: Yan Liu , Concordia University, Canada Qinghua Lu , CSIRO’s Data61, Australia Program Committee Ian Gorton, Northeastern University, United States of America Neil Ernst, University of Victoria, Canada Jeff Gray, University of Alabama, United States of America Ying Zou, Queen’s University, Canada Yuanfang Cai, Drexel University, United States of America Paris Avgeriou, University of Groningen (RuG), Belgium Qin Zheng, Tsinghua University, China Shanshan Li, Nanjing University, China Peng Liang, Wuhan University, China Loek Cleophas, TU Eindhoven, The Netherlands; and Stellenbosch University, South Africa -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From dalila.tamzalit at univ-nantes.fr Wed Jul 28 10:01:32 2021 From: dalila.tamzalit at univ-nantes.fr (Dalila Tamzalit) Date: Wed, 28 Jul 2021 10:01:32 +0200 Subject: [fg-arc] IEEE ICSA 2022: Poster Track Message-ID: <1d8dac4c-26c4-68b1-7c8c-13512eed170f@univ-nantes.fr> **The IEEE International Conference on Software Architecture (ICSA) 2022 is on the way! Please note that deadlines are earlier than usual: https://icsa-conferences.org/2022/ ** ** *Poster Track – ICSA 2022* Call for Contributions The 19th International Conference on Software Architecture (ICSA 2022) Poster Track provides an opportunity for both practitioners and researchers to present and discuss the most recent advances, ideas, experiences, and challenges in the field of Software Architecture by means of poster presentations. *Posters*are intended to stimulate face-to-face discussions among conference participants: reflections on the past, descriptions of current initiatives, visions of the future, and new results in Software Architecture research and practice are welcome. During the conference, there will be a face-to-face poster session (in A1 poster format, 594mm x 841mm). Conference participants are encouraged to support the task of selecting*the best poster*by dot voting (allocating stickers to their favorite posters). The best poster award will be presented during the main conference. Submissions Submissions of posters must have up to four pages (including references) in IEEE Style, describing the work, the expected benefits, and how it relates to other industrial or research efforts. Contributions should be submitted using the online submission system:Easychair Evaluation The selection criteria of the posters will consider their originality, relevance for the ICSA audience, technical soundness, and presentation quality. Each submission will be evaluated by at least two members of the PC. Important dates *Abstract submission*: December 1st, 2021 *Full paper submission*: December 8th, 2021 *Notification of acceptance*: January 14th, 2022 *Final paper submission*: January 27th, 2022 *Notes*: All deadlines are 23:59h*AoE*(anywhere on Earth) Organization Raffaela Mirandola (Politecnico di Milano, Italy) Jennifer Perez (Universidad Politécnica de Madrid, Spain) Program Committee T.B.A. -- *Dalila Tamzalit* **/Maître de Conférences HC HdR - Associate-Professor/ Page web - Home page Laboratoire des Sciences du Numérique de Nantes  - CNRS UMR 6004 Équipe NaoMod   4 rue Alfred Kastler, 44307 Nantes Cedex 3 - FRANCE   33 (0)2.51.85.80.54 IUT Nantes - Département Informatique   3, rue du Maréchal Joffre   44 041  Nantes cedex 1 - FRANCE                      Tel : 33 (0)2.40.30.60.57 -------------- next part -------------- An HTML attachment was scrubbed... URL: From victor.perez at software.imdea.org Fri Jul 30 19:04:38 2021 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Fri, 30 Jul 2021 19:04:38 +0200 (CEST) Subject: [fg-arc] Call for Workshops - FLoC 2022 Message-ID: <20210730170500.E9F9F14080@software.imdea.org> Second Call for Workshops- FLoC 2022 — The 2022 Federated Logic Conference July 31 - August 12, 2022 Haifa, Israel http://www.floc2022.org/ CALL FOR WORKSHOPS The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops. LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Frederic Blanqui Frederic.Blanqui at inria.fr FSCD (7th International Conference on Formal Structures for Computation and Deduction) http://fscd-conference.org/ Workshop chair: Nachum Dershowitz nachumd at tau.ac.il ITP (13th International Conference on Interactive Theorem Proving) https://itp-conference.github.io/ Workshop chair: Cyril Cohen cyril.cohen at inria.fr IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chairs: Simon Robillard simon.robillard at imt-atlantique.fr Sophie Tourret stourret at mpi-inf.mpg.de CSF (35th IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Musard Balliu musard at kth.se CAV (34th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: TBD KR (19th International Conference on Principles of Knowledge Representation and Reasoning) http://www.kr.org/ Workshop chair: Stefan Borgwardt stefan.borgwardt at tu-dresden.de ICLP (38th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Daniela Inclezan inclezd at miamioh.edu SAT (25th International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: Alexander Nadel alexander.nadel at intel.com CP (25th International Conference on Principles and Practice of Constraint Programming) http://a4cp.org/events/cp-conference-series Workshop chair: TBD SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged); - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.); - potential invited speakers (note that expenses of workshop invited speakers are not covered by FLoC); - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre or post FLoC); - virtual/hybrid backup plans (including platform preference). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2022workshops Please see the Workshop Guidelines page: https://floc2022.org/workshops/ for further details and FAQ. IMPORTANT DATES Submission of workshop proposals deadline: September 27, 2021 (note extended deadline) Notification: November 1, 2021 Pre-FLoC workshops: Sunday & Monday, July 31–August 1, 2022 (note corrected dates) Post-FLoC workshops: Thursday & Friday, August 11-12, 2022 CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: shaull at technion.ac.il GuillermoAlberto.Perez at uantwerpen.be FLoC 2022 WORKSHOP CHAIRS Shaull Almagor Guillermo A. Perez