From michael at se-rwth.de Fri Oct 1 14:49:20 2021 From: michael at se-rwth.de (Michael, Judith) Date: Fri, 1 Oct 2021 12:49:20 +0000 Subject: [fg-arc] SE'22 | Joint Call for Workshop Papers Message-ID: Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen, die SE'22 (www.se-2022.de) wird vom 21. bis 25. Februar 2022 virtuell in Berlin stattfinden und wieder ein spannendes Programm bieten, unter anderem 4 spannende Workshops. Einreichungen hierzu sind bis zum 03.12.2021 möglich. Den vollständigen Call for Workshop Papers finden Sie anbei. Mit freundlichen Grüßen, Judith Michael und Andreas Wortmann +++ SE'22: Joint Call for Workshop Papers +++ -------------------------------------------------------------------------------- Joint Call for Workshop Papers SE22 - Software Engineering 2022 21.-25. Februar 2022 | online | https://se-2022.de -------------------------------------------------------------------------------------------- Die Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI) findet vom 21.-25. Februar 2022 statt. Die Organisation liegt beim Institut für Informatik der Humboldt-Universität zu Berlin. Die jährlich stattfindende Tagung des Fachbereichs Softwaretechnik der Gesellschaft für Informatik dient als Plattform für den Austausch von Erfahrungen und Erkenntnissen aus dem Bereich der Softwaretechnik. Die Tagung richtet sich sowohl an Softwareentwickler und Softwareentwicklerinnen aus der Praxis, als auch an Forscherinnen und Forscher aus dem akademischen Umfeld. Um die SE22 auch in Zeiten von Covid-19 sicher abhalten zu können, setzen wir auf eine komplett virtuelle Lösung. Wir haben uns passende und spannende Konzepte überlegt, um das "SE-Feeling" möglichst auch virtuell zu transportieren. Eines unserer Ziele hierbei ist eine erhöhte Reichweite der Konferenz und ihrer Beiträge durch kostenlose Teilnahme (höchst wahrscheinlich auch für Autorinnen und Autoren). Vorträge und Demos werden live oder als Videos präsentiert und bieten Platz für anschließende Diskussion. Einiges bleibt aber wie gewohnt. Die SE22 bietet eine Plattform für die besten Paper der SE Community sowie Workshops und Tools&Demos. Es wird weiterhin einen Konferenzband geben und Workshop Beiträge werden als gemeinsamer Tagungsband in der Digital Library der Gesellschaft für Informatik (GI e.V.) https://dl.gi.de publiziert. Wir freuen uns über Einreichungen für die folgenden Workshops (Details auf den Websites der jeweiligen Workshops): +++ Anforderungsmanagement in Enterprise Systems-Projekten (AESP'22) https://www.sis-consulting.com/se22-anforderungsmanagement-in-enterprise-systems-projekten/ Viele Enterprise Systems-Auswahl-, Einführungs- und Weiterentwicklungsprojekte scheitern aufgrund fehlender, falscher, mangelhafter bzw. lückenhafter Anforderungen. Dies darum, weil es in diesen Projekten häufig falsche Erwartungshaltungen, Definitions- und Meinungsverschiedenheiten zum Anforderungsmanagement zwischen Kunden, Beratern, Herstellern und Implementierungspartner gibt. Diese Herausforderungen sollen bei diesem 3. Workshop aufgezeigt, besprochen und diskutiert werden. +++ Automotive Software Engineering (ASE'22) https://ase-workshop.github.io/2022/ Wie seine Vorgänger setzt sich der 19. Workshop Automotive Software Engineering mit der Problematik der Softwareentwicklung im Automobilbereich und folglich mit dafür geeigneten Methoden, Techniken und Werkzeugen auseinander. Mit zunehmend vernetzten Fahrzeugen, modernen Fahrerassistenzfunktionen und den Herausforderungen des vollautomatisierten Fahrens spielt die Automobilsoftware heutzutage mehr denn je eine wichtige Rolle. Beiträge aus allen Bereichen der Softwareentwicklung für moderne Fahrzeuge sind erwünscht. +++ Avionics Systems and Software Engineering (AvioSE'22) https://aviose-workshop.github.io/ Die Entwicklung von digitalen Systemen in der Luftfahrt ist beeinflusst von hoher Zuverlässigkeit, steigender Systemkomplexität, neuen Funktionen, strikten Zulassungsanforderungen und zunehmender Kostendruck. Benötigt werden neue Entwicklungsmethoden für zukünftige Anwendungen, wie Personal-Air-Transport, Crew-Workload-Reduction und unbemannte Luftfahrzeuge (UAV). Gleichzeitig gibt es ungelöste Herausforderungen in den Bereichen Kommunikation, Navigation, Multi-Core-Prozessoren, künstlicher Intelligenz und Security. Der AvioSE-Workshop dient dem Austausch über neue Technologien, Systeme, Software, Methoden und Werkzeuge zwischen Wissenschaft und Industrie. +++ Software Engineering in Cyber-Physical Production Systems (SECPPS) https://rickrabiser.github.io/secpps-ws/ Software spielt eine immer wichtigere Rolle beim effizienten Betrieb von industriellen Produktionssystemen. Aktuelle Entwicklungen im Software Engineering sollten auch in der Automatisierung von Produktionssystemen Einzug halten. Vor allem die Beherrschung von Variabilität und Komplexität in Cyber-physischen Produktionssystemen verlangt nach neuen Methoden und Werkzeugen. Diese sollen im Rahmen des Workshops Software Engineering in Cyber-Physical Production Systems (SECPPS) diskutiert werden. Achtung: Für diesen Workshop suchen wir nicht nach Einreichungen/Papers, sondern Lightning Talks und Project Showcases. Dazu werden wir für den Workshop angemeldete Teilnehmer*innen vor dem Workshop kontaktieren. ---------------------------------------- Wichtige Daten ---------------------------------------- 03.12.2021: Einreichungsfrist für Workshop-Beiträge 07.01.2022: Benachrichtigung für Workshop-Beiträge 31.01.2022: Einreichung der finalen Workshop-Beiträge 21/22.01.2022: Workshop Präsentationen -------------------------------------------------------------------- Dipl.-Ing. Dr. techn. Judith Michael | http://www.se-rwth.de Team Leader Model-Based Assistance and Information Services Lehrstuhl für Software Engineering | Informatik 3 Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21323 / Fax -22218 | -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 1 11:44:00 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 1 Oct 2021 12:44:00 +0300 Subject: [fg-arc] 9th European Conference on Service-Oriented and Cloud Computing (ESOCC 2022): Second Call for Contributions Message-ID: *** Second Call for Contributions *** 9th European Conference on Service-Oriented and Cloud Computing (ESOCC 2022) March 22-24, 2022, Lutherstadt Wittenberg, Germany https://www.esocc-conf.eu Scope Service-oriented and cloud computing have made a huge impact both on the software industry and on the research community. Today, service and cloud technologies are applied to build large-scale software landscapes as well as to provide single software services to end users. Services today are independently developed and deployed as well as freely composed while they can be implemented in a variety of technologies, a quite important fact from a business perspective. Similarly, cloud computing aims at enabling flexibility by offering a centralised sharing of resources. The industry's need for agile and flexible software and IT systems has made cloud computing the dominating paradigm for provisioning computational resources in a scalable, on- demand fashion. Nevertheless, service developers, providers, and integrators still need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service- oriented applications in the cloud. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state of the art and practice of service- oriented computing and cloud computing in Europe. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of service-oriented computing and cloud computing, as well as to explore the new trends in those areas and foster future collaborations in Europe and beyond. Tracks - Main conference: three days of invited talks, panels, and presentations of selected research papers, including a dedicated day to satellite workshops. - PhD Symposium: an opportunity for PhD students to present their research activities and perspectives, to critically discuss them with other PhD students and with established researchers in the area, hence getting fruitful feedback and advices on their research activities. - Projects Track: a useful opportunity for researchers to disseminate the latest research developments in their projects and meet representatives of other consortia. Details about all the tracks are available at the conference web site: https://www.esocc-conf.eu . Topics of interest ESOCC 2022 seeks original, high quality papers related to all aspects of service- oriented and cloud computing. Specific topics of interest include but are not limited to: - Service and Cloud Computing Models  • Design patterns, guidelines and methodologies  • Governance models  • Architectural models  • Requirements engineering  • Formal Methods  • Model-Driven Engineering  • Quality models  • Security, Privacy & Trust models  • Self-Organising Service-Oriented and Cloud Architectures Models  • Testing models - Service and Cloud Computing Engineering  • Service Discovery, Matchmaking, Negotiation and Selection  • Monitoring and Analytics  • Governance and management  • Cloud Interoperability, Multi-Cloud, Cross-Cloud, Federated Cloud solutions  • Frameworks & Methods for Building Service and Cloud based Applications  • Cross-layer adaptation  • Edge/Fog computing  • Cloud, Service Orchestration & Management  • Service Level Agreement Management  • Service Evolution/Optimisation  • Service & Cloud Testing and Simulation  • QoS for Services and Clouds  • Semantic Web Services  • Service mining  • Service & Cloud Standards  • FaaS / Serverless computing - Technologies  • DevOps in the Cloud  • Containerized services  • Emerging Trends in Storage, Computation and Network Clouds  • Microservices: Design, Analysis, Deployment and Management  • Next Generation Services Middleware and Service Repositories  • RESTful Services  • Service and Cloud Middleware & Platforms  • Blockchain for Services & Clouds  • Services and Clouds with IoT  • Fog Computing with Service and Cloud - Business and Social aspects  • Enterprise Architectures for Service and Cloud  • Service-based Workflow Deployment & Life-cycle Management  • Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities  • Business Process as a Service - BPaaS  • Service and Cloud Business Models  • Service and Cloud Brokerage  • Service and Cloud Marketplaces  • Service and Cloud Cost & Pricing  • Crowdsourcing Business Services  • Social and Crowd-based Cloud  • Energy issues in Cloud Computing  • Sustainability issues Submissions from industry are welcome (for example, use cases). Submissions ESOCC 2022 invites submissions in all the tracks: - Regular research papers (15 pages including references) - PhD Symposium (8 pages including references, authored by the PhD student with indication of his/her supervisors' names) - Projects Track (1 to 5 pages including references, describing an ongoing project) We only accept original papers, not submitted for publication elsewhere. The papers must be formatted according to the LNCS proceedings guidelines. They must be submitted to the EasyChair site at https://easychair.org/conferences/?conf=esocc2022 by selecting the right track. All accepted regular research papers are expected to be published in the main conference proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs). Accepted papers of the other tracks and the satellite workshops are expected to be published by Springer in the Communications in Computer and Information Science (CCIS) series (https://www.springer.com/series/7899). At least one author of each accepted paper is expected to register and present the work at the conference. A journal special issue is planned, and authors of selected accepted papers will be invited to submit extended versions of their articles. Workshop Proposals ESOCC 2022 also invites proposals for satellite workshops. More details about the proposal format and submission can be found at https://esocc-conf.eu/index.php/workshops/ . Important Dates Regular research & industrial papers: - Paper submission: 31 October 2021 - Notifications: 7 January 2022 - Camera Ready versions due: 20 January 2022 Projects track: - Paper submission: 14 January 2022 - Paper notification: 25 February 2022 - Camera Ready Version: 11 March 2022 PhD Symposium Track: - Paper submission: 14 January 2022 - Paper notification: 25 February 2022 - Camera Ready Version: 11 March 2022 Industrial Track: - Paper submission: 14 January 2022 - Paper notification: 25 February 2022 - Camera Ready Version: 11 March 2022 Satellite Workshops: - Workshop Proposal submission: 8 October 2021 - Workshop Proposal notification: 15 October 2021 - Workshop Paper submission: 14 January 2022 - Workshop Paper notification: 25 February 2022 - Workshop Camera Ready Version: 11 March 2022 Organization General Chair • Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Programme Co-Chairs • Fabrizio Montesi (University of Southern Denmark, Denmark) • George A. Papadopoulos (University of Cyprus, Cyprus) Industrial Track Chair • Andreas Both (Anhalt University of Applied Science) Projects Track Chair • Damian Tamburri (Technical University Eindhoven) Workshops Co-Chairs • Guadalupe Ortiz (University of C·diz, Spain) • Christian Zirpins (Karlsruhe University of Applied Science) PhD Symposium Co-Chair • Jacopo Soldani (University of Pisa) • Massimo Villari (University of Messina) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sun Oct 3 14:16:32 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 3 Oct 2021 15:16:32 +0300 Subject: [fg-arc] 2022 IEEE International Conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS 2022): Third Call for Papers and Final Call for Special Sessions Proposals Message-ID: *** Third Call for Papers and Final Call for Special Sessions Proposals *** 2022 IEEE International Conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS 2022) May 25-27, 2022, Golden Bay Hotel 5*, Larnaca, Cyprus http://cyprusconferences.org/eais2022/ (Proceedings to be published by the IEEE Xplore Digital Library; Special Journal Issue with Evolving Systems, Springer) IEEE EAIS 2022 will provide a working and friendly atmosphere and will be a leading international forum focusing on the discussion of recent advances, the exchange of recent innovations and the outline of open important future challenges in the area of Evolving and Adaptive Intelligent Systems. Over the past decade, this area has emerged to play an important role on a broad international level in today's real-world applications, especially those ones with high complexity and dynamic changes. Its embedded modelling and learning methodologies are able to cope with real-time demands, changing operation conditions, varying environmental influences, human behaviours, knowledge expansion scenarios and drifts in online data streams. Conference Topics Basic Methodologies Evolving Soft Computing Techniques. Evolving Fuzzy Systems. Evolving Rule-Based Classifiers. Evolving Neuro-Fuzzy Systems. Adaptive Evolving Neural Networks. Online Genetic and Evolutionary Algorithms. Data Stream Mining. Incremental and Evolving Clustering. Adaptive Pattern Recognition. Incremental and Evolving ML Classifiers. Adaptive Statistical Techniques. Evolving Decision Systems. Big Data. Problems and Methodologies in Data Streams Stability, Robustness, Convergence in Evolving Systems. Online Feature Selection and Dimension Reduction. Online Active and Semi-supervised Learning. Online Complexity Reduction. Computational Aspects. Interpretability Issues. Incremental Adaptive Ensemble Methods. Online Bagging and Boosting. Self-monitoring Evolving Systems. Human-Machine Interaction Issues. Hybrid Modelling, Transfer Learning. Reservoir Computing. Applications of EAIS Time Series Prediction. Data Stream Mining and Adaptive Knowledge Discovery. Robotics. Intelligent Transport and Advanced Manufacturing. Advanced Communications and Multimedia Applications. Bioinformatics and Medicine. Online Quality Control and Fault Diagnosis. Condition Monitoring Systems. Adaptive Evolving Controller Design. User Activities Recognition. Huge Database and Web Mining. Visual Inspection and Image Classification. Image Processing. Cloud Computing. Multiple Sensor Networks. Query Systems and Social Networks. Alternative Statistical and Machine Learning Approaches. Special Sessions Proposals Distinguished researchers working in theory, analysis and applications of evolving adaptive and intelligent systems and related areas are encouraged to submit proposals within the technical scope of IEEE EAIS 2022. Researchers interested in organising special sessions are invited to submit a formal proposal to the Special Sessions Chair Gabriella Casalino (gabriella.casalino at uniba.it) and to the General Chair George Angelos Papadopoulos (george at cs.ucy.ac.cy), by specifying: - Special Session Lead Organiser email address, details and mini-bio - Co-Organiser(s) details and mini-bio (optional) - Special Session title - Aim and scope of the Special Session (~half a page) - A list of main topics of the Special Session - A list of potential/expected contributors Submissions Submitted papers should not exceed 8 pages plus at most 2 pages overlength. Submissions of full papers are accepted online through Easy Chair (https://easychair.org/conferences/?conf=eais2022). The EAIS 2022 proceedings will be published on IEEE Xplore Digital Library. Authors of selected papers will be invited to submit extended versions for possible inclusion in a special issue of Evolving Systems - An Interdisciplinary Journal for Advanced Science and Technology (Springer). Important Dates • Special Session proposal submission: October 15, 2021 • Special Session proposal acceptance: October 22, 2021 • Paper submission: January 10, 2022 • Notification of acceptance/rejection: February 19, 2022 • Camera ready submission: March 20, 2022 • Authors registration: March 20, 2022 • Conference Dates: May 25-27, 2022 Social Media FB: https://www.facebook.com/IEEEEAIS Twitter: https://twitter.com/IEEE_EAIS Linkedin: https://www.linkedin.com/events/2022ieeeconferenceonevolvingand6815560078674972672/ Organization Honorary Chairs • Dimitar Filev, Ford Motor Co., USA • Nikola Kasabov, Auckland University of Technology, New Zealand General Chairs • George A. Papadopoulos, University of Cyprus, Nicosia, Cyprus • Plamen Angelov, Lancaster University, UK Program Committee Chairs • Giovanna Castellano, University of Bari, Italy • José A. Iglesias, Carlos III University of Madrid, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Fri Oct 8 15:40:50 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Fri, 8 Oct 2021 16:40:50 +0300 Subject: [fg-arc] ACM International Conference on Information Technology for Social Good (GoodIT 2022): First Call for Contributions Message-ID: <12DZAL22-D7L-ZJAQ-11U6-QIM43J6TYCVM@cs.ucy.ac.cy> *** First Call for Contributions *** ACM International Conference on Information Technology for Social Good (GoodIT 2022) 7–9 September, 2022, 5* St. Raphael Resort & Marina, Limassol, Cyprus https://cyprusconferences.org/goodit2022/ Scope The ACM GoodIT conference seeks papers describing significant research contributions related to the application of information technologies (IT) to social good. Social good is typically defined as something that provides a benefit to the general public. In this context, clean air and water, Internet connection, education, and healthcare are all good examples of social goods. However, new media innovations and the explosion of online communities have added new meaning to the term. Social good is now about global citizens uniting to unlock the potential of individuals, technology, and collaboration to create a positive societal impact. GoodIT solicits papers that address important research challenges related to, but not limited to: • Citizen science • Civic intelligence • Decentralized approaches to IT • Digital solutions for Cultural Heritage • Environmental monitoring • Ethical computing • Frugal solutions for IT • Game, entertainment, and multimedia applications • Health and social care • IT for automotive • IT for development • IT for education • T for smart living • Privacy, trust and ethical issues in ICT solutions • Smart governance and e-administration • Social informatics • Socially responsible IT solutions • Sustainable cities and transportation • Sustainable IT • Technology addressing the digital divide Main Track Paper Submission The papers should not exceed six (6) pages (US letter size) double-column, including figures, tables, and references in standard ACM format (https://cyprusconferences.org/goodit2022/index.php/authors/). They must be original works and must not have been previously published. At least one of the authors of all accepted papers must register and present the work at the conference; otherwise, the paper will not be published in the proceedings. All accepted and presented papers will be included in the conference proceedings published in the ACM Digital Library. Special journal issues will be organised where the best accepted papers will be invited to submit extended versions. Separate call-for-papers will be announced for the special tracks (more information will be available on the conference web site). Work-in-Progress and PhD Track Inside ACM GoodIT, the Work-in-Progress and PhD Track provides an opportunity to showcase interesting new work that is still at an early stage. We encourage practitioners and researchers to submit to the Work-in-Progress venue as it provides a unique opportunity for sharing valuable ideas, eliciting feedback on early-stage work, and fostering discussions and collaborations among colleagues. Moreover, this track provides a platform for PhD students to present and receive feedback on their ongoing research. Students at different stages of their research will have the opportunity to present and discuss their research questions, goals, methods and results. This is an opportunity to obtain guidance on various aspects of their research from established researchers and other PhD students working in research areas related to technologies for social good. Important: For this specific track, papers must not exceed four (4) pages (US letter size) double column, including figures, tables, and references in standard ACM format (https://cyprusconferences.org/goodit2022/index.php/authors/). Important Dates • Submission deadline for all types of contributions: 23 May 2022 • Notification of acceptance: 20 June 2022 • Camera-ready submission and author registration: 11 July 2022 Program Chairs • Costas Mourlas, University of Athens, Greece • Diogo Pacheco, University of Exeter, UK • Catia Prandi, University of Bologna, Italy WiP & PhD Track Chairs • Marco Furini, University of Modena e Reggio Emilia, Italy • Dimitris Gouscos, University of Athens, Greece • Barbara Guidi, University of Pisa, Italy -------------- next part -------------- An HTML attachment was scrubbed... URL: From facs.conf.2021 at gmail.com Thu Oct 14 10:19:37 2021 From: facs.conf.2021 at gmail.com (FACS 2021) Date: Thu, 14 Oct 2021 10:19:37 +0200 Subject: [fg-arc] FACS 2021 - Call for Participation Message-ID: ============================================================================= ** ** Call for Participation: FACS 2021 ** ** 17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** October 28-29, 2021 ** ** 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. ## REGISTRATION FACS 2021 is free to attend, but registration is mandatory. Registered attendees will receive invites to the online event. Registration is open until Friday, 22 October 2021. https://facs2021.inria.fr/registration/ ## PROGRAMME TIME GMT+2 (Amsterdam, Berlin, Bern, Brussels, Budapest, Madrid, Oslo, Paris, Praga, Rome, Sofia, Stockholm, Vienna, Warsaw) # OCTOBER 28, 2021 # 13h -> 15h - Session 1 (Modelling & Composition) Component-based Approach Combining UML and BIP for Rigorous System Design. Salim Chehida, Saddek Bensalem and Abdelhakim Baouya. Composable Partial Multiparty Session Types. Claude Stolze, Marino Miculan and Pietro Di Gianantonio. A Canonical Algebra of Open Transition Systems. Elena Di Lavore, Alessandro Gianola, Mario Román, Nicoletta Sabadini and Pawel Sobocinski. Corinne, a Tool for the Composition of Choreography Automata. Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese and Emilio Tuosto. # 15h15 -> 16h30 - Session 2 (Invited Talk) Parametric and Interval Model Checking - Recent Advances and Applications. Radu Calinescu # OCTOBER 29, 2021 # 13h -> 15h - Session 3 (Verification) Specification and Verification of Parametric Systems with Recursive Architectures. Marius Bozga and Radu Iosif. A linear parallel algorithm to compute bisimulation and relational coarsest partitions. Jan Martens, Jan Friso Groote, Lars B. van den Haak, Pieter Hijma and Anton Wijs. Automated Generation of Initial Configurations for Testing Component Systems. Frederic Dadeau, Jean-Philippe Gros and Olga Kouchnarenko. Monitoring Distributed Component-Based Systems. Yliès Falcone, Hosein Nazarpour, Saddek Bensalem and Marius Bozga. # 15h15 -> 16h30 - Session 4 (Invited Talk) Learning Assumptions for Verifying Cryptographic Protocols Compositionally. Corina Pasareanu -------------- next part -------------- An HTML attachment was scrubbed... URL: From steffen.becker at iste.uni-stuttgart.de Fri Oct 15 08:43:45 2021 From: steffen.becker at iste.uni-stuttgart.de (Steffen Becker) Date: Fri, 15 Oct 2021 08:43:45 +0200 Subject: [fg-arc] CfP ICSA 2022 Message-ID: <6220d100-3f46-4bb1-9c4b-a6e4cb56bcfd@iste.uni-stuttgart.de> === Apologies for cross-posting === This call for paper gentle reminder of all the deadlines still open for the different tracks of ICSA 2022. The premier conference on Software Architecture, A-Ranked according to CORE 2021, will be held in Honolulu and will be a hybrid event. https://icsa-conferences.org/2022/ #icsa2022. 12-15 March, 2022 Please don't forget that this year, ICSA's deadlines are earlier than usual. The deadlines are reminded hereafter: Technical Track: abstract : November 1st, 2021 & full papers: November 8th, 2021. Due in 3 weeks Journal-first track: December 8th, 2021. Software Architecture in Practice Track: December 1st, 2021. New and Emerging Ideas Track: abstract: December 1st, 2021 & Full paper : December 8th, 2021. Early Career Researchers Forum: abstract: December 1st, 2021 & Full paper : December 8th, 2021. Artifact Evaluation Track: Registration Deadline: January 11th, 2022 (mandatory) & Submissions Deadline: January 14th, 2022. Poster Track: abstract: December 1st, 2021 & Full paper : December 8th, 2021. Tutorial proposals: December 8th, 2021. (Workshops proposal - deadline passed - September 6th, 2021) Best regards, Steffen Becker -- Universität Stuttgart - Institut für Software Engineering (ISTE) Prof. Dr.-Ing. Steffen Becker - Software Quality and Architecture (SQA) Tel +49 711 685 88273 https://www.iste.uni-stuttgart.de/sqa From thanh.dinhvan at gmail.com Wed Oct 13 10:45:08 2021 From: thanh.dinhvan at gmail.com (Thanh Dinh) Date: Wed, 13 Oct 2021 15:45:08 +0700 Subject: [fg-arc] KR 2021: Final Call for Participation (Online event, free registration until Friday, October 15) Message-ID: <3c9317e3-2ca9-6655-6a10-37988224ad63@gmail.com> FINAL CALL FOR PARTICIPATION 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021) November 3-12, 2021 - Virtual https://kr2021.kbsg.rwth-aachen.de/ *** Registration is free but mandatory (deadline: October 15, 2021) *** Knowledge Representation and Reasoning (KR) is a well-established and lively field of research.  In KR, a fundamental assumption is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. This assumption, that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems.  Consequently, KR has contributed to the theory and practice of various areas in AI, including automated planning and natural language understanding, and to fields beyond AI, including databases, verification, software engineering, and robotics. In recent years, KR has contributed also to new and emerging fields, including the semantic web, computational biology, cyber security, and the development of software agents. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and principles underlying the representation and computational management of knowledge. CONFERENCE FORMAT AND REGISTRATION KR 2021 will be organized as a virtual conference and welcomes all researchers interested in KR to participate! We are happy to announce that participation is *free*. The deadline for registering is October 15, 2021. Information about how to register for the main conference and associated events can be found at: https://kr2021.kbsg.rwth-aachen.de/page/registration There will be also be a limited-capacity *live gathering* in Rome to watch the conference and exchange with other participants. For details, consult: https://kr2021.kbsg.rwth-aachen.de/page/live_gathering_in_rome The list of papers accepted at the main conference and the Doctoral Consortium can also be found on the conference webpage. INVITED TALKS Martin Grohe (RWTH Aachen University, Germany) > The Logic of Graph Neural Networks Jochen Renz  (Australian National University, Australia) > Spatial and Physical Reasoning: From Angry Birds to Open World AI Uli Sattler  (University of Manchester, UK) > Description Logic and OWL: A Tale of Discoveries, Design Choices,   Challenges, and Lessons Learnt (Great Moments in KR) Joshua Tenenbaum  (MIT, USA) > Reverse Engineering Human Cognitive Development: What Do We Start With,   and How Do We Learn The Rest? Francesca Toni  (Imperial College, UK) > The Interactionist View of Reasoning for Explainable AI TRACKS & SPECIAL SESSIONS * Applications and Systems Track * Recent Published Research Track * Special Session: KR and Machine Learning * Special Session: KR and Robotics * Special Session: Diversity and Inclusion WORKSHOPS * Explainable Logic-Based Knowledge Representation (XLoKR) * Computational Machine Ethics (CME) * Knowledge Representation for Hybrid and Compositional AI (KRHCAI) * Ontology Uses and Contribution to Artificial Intelligence (OnUCAI) * Second-Order Quantifier Elimination and Related Topics (SOQE) * Semantics-Powered Health Data Analytics (SEPDA) TUTORIALS * Answer Set Programming: From Theory to Practice   by Roland Kaminski, Javier Romero, Torsten Schaub & Philipp Wanko * Belief Revision and Judgment Aggregation in Ontologies   by Jake Chandler and Richard Booth * Completeness, Recall, and Negation in Open-World Knowledge Bases   by Simon Razniewski, Hiba Arnaout, Shrestha Ghosh & Fabian M. Suchanek * Complex Event Recognition and Forecasting  by Elias Alevizos and Alexander Artikis * KR&R Meets Cyber-Physical Systems: Formalization, Behavior, Trustworthiness  by Marcello Balduccini, Edward Griffor & Tran Cao Son * Planning with multi-agent, flexible, temporal, epistemic & contingent  (MAFTEC) aspects  by Aurélie Beynier, Frédéric Maris & Francois Schwarzentruber * Proof-Theoretic Approaches to Logical Argumentation  by Ofer Arieli & Christian Strasser * Solving equations in modal and description logics  by Philippe Balbiani CO-LOCATED EVENTS * NMR 2021 (20th International Workshop on Non-Monotonic Reasoning) CONFERENCE CHAIRS General: * Esra Erdem (Sabanci University, Turkey) Program: * Meghyn Bienvenu (CNRS & University of Bordeaux, France) * Gerhard Lakemeyer (RWTH Aachen University, Germany) Applications and Systems Track: * Martin Gebser (University of Klagenfurt, Austria) * Ulrike Sattler (University of Manchester, UK) Recently Published Research Track: * Vladimir Lifschitz (University of Texas at Austin, USA) * Pierre Marquis (Artois University & Institut Universitaire de France, France) Special Session on KR & Machine Learning: * Vaishak Belle (University of Edinburgh, UK) * Luc de Raedt (KU Leuven, Belgium) Special Session on KR & Robotics: * Alessandro Saffioti (University of Örebro, Sweden) * Mary-Anne Williams (University of Technology Sydney, Australia) Workshop and Tutorials: * Markus Kroetzsch (TU Dresden, Germany) * Yongmei Liu (Sun Yat-sen University, China) Doctoral Consortium: * Jens Classen (Simon Fraser University) * Magdalena Ortiz (TU Vienna, Austria) Local Organization: * Giuseppe De Giacomo (Sapienza University, Italy) * Son Tran (New Mexico State University, USA) * Long Tran-Thanh (University of Warwick, UK) * Thanh Van Dinh (East Asia University of Technology, Vietnam) Virtual Conference Arrangements: * Stefan Borgwardt (TU Dresden, Germany) * Marco Console (Sapienza University Italy) * Long Tran-Thanh (University of Warwick, UK) Sponsorship: * Kuldeep S. Meel (NUS, Singapore) * Zeynep G. Saribatur (TU Wien, Austria) Publicity: * Thanh Van Dinh (East Asia University of Technology, Vietnam) * Paolo Felli (Free University of Bozen-Bolzano, Italy) Diversity and Inclusion: * Magdalena Ortiz (TU Vienna, Austria) * Maria Vanina Martinez (Universidad de Buenos Aires, Argentina) * Marco Maratea (University of Genova, Italy) From Cassia.Trojahn at irit.fr Fri Oct 15 09:18:46 2021 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Fri, 15 Oct 2021 09:18:46 +0200 Subject: [fg-arc] =?utf-8?q?Postdoc_position_=3A_knowledge_representation?= =?utf-8?q?_IRIT_-_Airbus?= Message-ID: <7b88-61692b80-11-2d72b8c0@4763253> (apologies for multiple posts) Dear all, We are recruiting at the Institute of Research in Informatics of Toulouse (IRIT, France) a post-doc in the context of a collaboration with Airbus (see details below). Best regards, Nathalie Hernandez and Cassia Trojahn ------ *Context: Collaboration between IRIT and Airbus on the Digital Design, Manufacturing and Services Transformation project* Digital Design, Manufacturing and Services (DDMS) is the project that aims at transforming Airbus methods, processes and tools with the objectif of improving the strategic axes of the company: from the ability to develop a new product more quickly to its reduction of the ecological footprint. The issues of knowledge representation and sharing are at the heart of the capacities to be implemented in order to succeed in this development. In DDMS, the Modeling & Simulation department is therefore working to have the necessary foundations, in terms of methods and tools, for the knowledge representation and sharing, in relation with other Airbus entities in order to implement an industrial solution. *Description* As part of the development of DDMS capabilities in 2021, the tasks that are to be taken into account are the following : *      to align different domain ontologies *      to implement a domain ontology validation mechanism, particularly through the useof shape constraints (SHACL) *     to enable the semantic integration of data (development of an Ontology Based Data Access service). For each task, the expected activities are: *         the application of knowledge representation to solve the problems of a pilot business application use case in the Airbus environment *         the synthesis of a methodological approach and an architectural solution based on this case *         a generalized framework to respond to this problem in other areas by applying the methodological principles acquired and synthesized previously. The proposed pilot case is Flight Dynamics and Sizing, which is responsible, in conjunction with pre-projects and industrialization, for sizing the aircraft according to loads, mass, aerodynamic forces, flight controls in particular. It is expected to continue on themes such as: *     Automatic publication of ontology documentation *     Managing the criticality of data in ontologies *     Reasoning in the service of extending data sets and checking the consistency of information *     Semantic search in data Searching for ontologies in catalogs (notably using dcat) *Requirements for this position* Applicants are required to have a PhD in Computer Science, a strong background in semantic web technologies, ontology engineering, linked data management and query, and if possible, in ontology alignment. Fluency in written / spoken English is required too. A good publication record and strong programing skills will be a plus. *Work environment* Localization : Institut de Recherche en Informatique de Toulouse (IRIT) – Universite Toulouse - Jean Jaures / Maison de la Recherche, 5, allees Antonio Machado 31058 Toulouse, and Airbus (St Martin du Touch). *Duration* : 9 months, starting in january 2022 - probability of renewal 9 to 12 months. Salary between 2 663 to 3953 (depending on experience). *How to apply* Applications will be accepted until the position is closed. Applicants should send a full Curriculum including a complete list of publications, a cover letter indicating their research interests, achievements to date and vision for the future, as well as either support letters or the name of 2 persons that have worked with them. Contact: Nathalie Hernandez and Cassia Trojahn *Full description: https://bit.ly/2Ysp6zk* From david_georg.reichelt at uni-leipzig.de Sat Oct 16 18:13:22 2021 From: david_georg.reichelt at uni-leipzig.de (David Georg Reichelt) Date: Sat, 16 Oct 2021 18:13:22 +0200 Subject: [fg-arc] Call for Participation: Symposium on Software Performance 2021 Message-ID:         12th Symposium on Software Performance 2021 (SSP 2021)                      Call for Participation                         Leipzig, Germany                       November 09-10, 2021              https://www.performance-symposium.org/2021/ ------------------------------------------------------------------------------- The Symposium on Software Performance (SSP) brings together researchers and practitioners interested in software performance, where "performance" is understood both in a classical sense as “the amount of useful work accomplished by a software system compared to the time and resources used”, as well as in a broader sense as "the manner in which or the efficiency with which a software system reacts or fulfills its intended purpose". The scope of SSP spans measurement, modeling, benchmark design, and run-time management. The focus is both on classical performance metrics such as response time, throughput, and resource utilization, as well as on the relationship of such metrics to other software quality attributes including but not limited to scalability, elasticity, (energy) efficiency, dependability (in terms of availability and reliability), resilience, security, and privacy. Topics of interest include the design of metrics, benchmarks, and tools for quantitative system evaluation and analysis, as well as the development of methodologies, techniques and tools for modeling, measurement, load testing, monitoring, profiling, workload characterization, and run-time management of software systems with respect to the mentioned quality attributes. The symposium is organized by the three established research groups Descartes, Kieker, and Palladio; thus this symposium also serves as a joint community meeting. Descartes' focus are techniques and tools for engineering self-aware computing systems designed for maximum dependability and efficiency. Kieker is a well‐established tool and approach for monitoring software performance of complex, large, and distributed IT systems. Palladio is a likewise‐established tool and approach for modeling architectures of IT systems and for simulating quality properties, such as for example performance or reliability metrics. ------------------------------------------------------------------------------- PROGRAM SSP 2021 takes place in Leipzig from November 9 to 10, 2021. The preliminary program is available at https://www.performance-symposium.org/2021/program/ ------------------------------------------------------------------------------- REGISTRATION Registration is free and open until October 20th! To register to SSP 2021, please fill in the form at the following link: https://www.performance-symposium.org/2021/registration/ -------------------------------------------------------------------------------- CONTACT David Georg Reichelt, Leipzig University, University Computing Centre,+49 341 97 33300, david_georg.reichelt at uni-leipzig.de From alexander.romanovsky at newcastle.ac.uk Mon Oct 18 18:40:11 2021 From: alexander.romanovsky at newcastle.ac.uk (Alexander Romanovsky) Date: Mon, 18 Oct 2021 16:40:11 +0000 Subject: [fg-arc] CfP Reliability, safety and security of railway systems (RSSRail 2022) Message-ID: International Conference on Reliability, Safety and Security of Railway Systems RSSRail 2022 https://rssrail2021.univ-gustave-eiffel.fr/ Call for papers Conference chairs: -Anne Haxthausen (Technical University of Denmark) -Simon Collart-Dutilleul (Université Gustave Eiffel) -Thierry Lecomte (CLEARSY) The 4th International Conference on Reliability, Safety and Security of Railway Systems will be held on the 1st and 2nd of June 2022, in the International Union of Railways Congress Center, Paris. In 2021 the RSSRail conference was replaced by a special issue of the "Formal Aspects of Computing" journal. RSSRail 2022 will address challenges currently faced by the railway industry such as: * improving system safety * decreasing production costs and time to market * reducing carbon emissions and running costs * increasing the capacity of the railway. Railway systems are now being integrated into larger multi-transport networks. Such systems require an even higher degree of automation at all levels of operation. These trends dramatically increase the complexity of railway applications and pose new challenges in developing novel methods of modelling, analysis, verification and validation to ensure their reliability, safety and security, as well as in supporting novel mechanisms and procedures to help make the case that development processes meet the mandated standards. The RSSRail 2022 conference will build on the success of RSSRail 2016 (June 28-30, Paris, France) that took place in the Maison de la RATP, RSSRail 2017 (November 14-16, Pistoia, Italy) and RSSRail 2019 (June 4-6, Lille, France), and will contribute to a range of key objectives. Development of the complex railway systems of the future requires integrated environments and methods that support different abstraction levels and different views, including: * systems architecture * safety analysis * security analysis * verification tools and methods. The conference aims to bring together researchers and engineers interested in building critical railway applications and systems. This will be a working conference in which research challenges and progress will be discussed and evaluated by both researchers and engineers, focusing on their potential to be deployed in industrial settings. Topics of particular interest include: * safety in development processes and safety management * combined approaches to safety and security * system and software safety analysis * formal modelling and verification techniques * system reliability * validation according to the standards * safety and security argumentation * fault and intrusion modelling and analysis * evaluation of system capacity, energy consumption, cost and their interplay * tool and model integration, toolchains * domain-specific languages and modelling frameworks * model reuse for reliability, safety and security * modelling for maintenance strategy engineering. Submissions We can accept three types of submission: * Research papers – not more than 16 pages in length * Industrial experience reports – not more than 10 pages in length * PhD student papers – not more than 10 pages in length. To submit your paper please go to the conference submission site Submissions must be formatted in the Springer LNCS format Accepted papers will be published by Springer in a volume in the LNCS series. Important dates * November 25th, 2021 – abstract submission * December 2nd, 2021 – full paper submission * February 1st, 2022 – notification * March 1st, 2022 – camera-ready papers submitted -------------- next part -------------- An HTML attachment was scrubbed... URL: From michael at se-rwth.de Tue Oct 19 20:30:02 2021 From: michael at se-rwth.de (Michael, Judith) Date: Tue, 19 Oct 2021 18:30:02 +0000 Subject: [fg-arc] Modellierung 2022 | Call for Workshop Proposals Message-ID: <2dc06cb223ed46459f83881c1b2e791e@se-rwth.de> Sehr geehrte Damen und Herren, liebe Kolleginnen und Kollegen, die Modellierung'22 (https://qfam.gi.de/modellierung2022) wird vom 27.06.-1.7.2022 in Hamburg stattfinden und wieder ein spannendes Programm bieten. Hierzu gehören natürlich auch die Workshops. Wir freuen uns daher über Einreichungen von Workshop-Vorschlägen bis zum 30.01.2021. Den vollständigen Call for Workshops finden Sie anbei. Mit besten Grüßen, Judith Michael und Andreas Wortmann +++ Modellierung 2022: Call for Workshop Proposals +++ -------------------------------------------------------------------------------- Modellierung 2022 27.06.-1.7.2022 | Universität Hamburg | https://qfam.gi.de/modellierung2022 Aufruf zur Einreichung von Workshop-Vorschlägen -------------------------------------------------------------------------------- Neben dem technisch-wissenschaftlichen Hauptprogramm stellen die Workshops einen wesentlichen Bestandteil des Konferenzprogramms dar. Workshops bieten die Möglichkeit, Themen aus dem Kontext der Modellierung vertieft zu diskutieren. Wenn Sie einen Workshop anbieten möchten, schicken Sie uns bitte folgende Angaben bis spätestens 30.01.2022 via EasyChair (https://easychair.org/my/conference?conf=modellierung22ws): - Workshop-Titel und ggf. Akronym - Geplante Dauer (halb- oder ganztägig) - Workshop-Organisatorinnen und Organisatoren - Beschreibung des Workshops: Motivation, Thema und Ziele, Relevanz für die Modellierung, adressierter Teilnehmerkreis, Historie des Workshops (max. 2 Seiten) - Beschreibung des Einreichungs- und Begutachtungsprozesses, mögliche Programmkomitee-Mitglieder Angenommene Workshops organisieren ihren eigenen Call for Papers sowie den zugehörigen Begutachtungsprozess. Die Organisator/innen werden gebeten, nachdem ihr Thema akzeptiert wurde, eine Webseite einzurichten, mit deren Hilfe sie die Teilnehmer/innen über Inhalte, zeitlichen Ablauf, Programmkomitee, sowie über den Workshop im Allgemeinen informieren. Auf der Tagungsseite der Modellierung 2022 veröffentlichen wir die Kurzbeschreibungen der angenommenen Workshops sowie einen Link zur Workshop-Homepage. Die Beiträge werden als gemeinsamer Tagungsband in der Digital Library der Gesellschaft für Informatik (GI e.V.) https://dl.gi.de/ publiziert.  -------------------- Termine: -------------------- Einreichungsschluss für Workshop Vorschläge                30.01.2021 Benachrichtigung der Organisator/innen:                        15.02.2021 Workshop-Beschreibung für Webseite                            23.02.2022 Einreichungsfrist für Workshop-Beiträge                         23.04.2022 Benachrichtigung für Workshop-Beiträge                        14.05.2022 Einreichung der finalen Workshop-Beiträge                    26.05.2022 Workshop-Beschreibung für Tagungsband                      26.05.2021 Die Workshops werden am 27.06.2022 stattfinden. Es können halb- oder ganztägige Workshops vorgeschlagen werden. -------------------- Verantwortlich für Workshops: -------------------- Judith Michael, RWTH Aachen, michael at se-rwth.de  Andreas Wortmann, Universität Stuttgart, andreas.wortmann at isw.uni-stuttgart.de -------------------------------------------------------------------------------------------- Dipl.-Ing. Dr. techn. Judith Michael | http://www.se-rwth.de Team Leader Model-Based Assistance and Information Services Lehrstuhl für Software Engineering | Informatik 3 Ahornstr. 55, 52074 Aachen, Germany | RWTH Aachen University Phone +49 241 80-21323 From victor.perez at software.imdea.org Thu Oct 21 17:01:45 2021 From: victor.perez at software.imdea.org (Víctor Pérez) Date: Thu, 21 Oct 2021 17:01:45 +0200 (CEST) Subject: [fg-arc] ICLP 2022 Call For Papers Message-ID: <20211021150152.2DFBF14141@software.imdea.org> ========================================================================= CALL FOR PAPERS ========================================================================= The 38th International Conference on Logic Programming (ICLP 2022) Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/ ========================================================================= Scope ***** Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to: ** Foundations:Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation. ** Languages issues: Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques. ** Programming support: Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization. ** Implementation: Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces. ** Related Paradigms and Synergies: Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning. ** Applications: Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education. Tracks and Special Sessions *************************** Besides the main track, ICLP 2022 will host additional tracks: ** Applications Track: this track invites submissions of papers on emerging and deployed applications of LP, describing all aspects of the development, deployment, and evaluation of logic programming systems to solve real-world problems, including interesting case studies and benchmarks, and discussing lessons learned. ** Recently Published Research Track: this track provides a forum to discuss important results related to logic programming that appeared recently (from January 2020 onwards) in selective journals and conferences, but have not been previously presented at ICLP. In addition, ICLP 2022 will house: ** Doctoral Consortium and Mentoring Sessions: the Doctoral Consortium (DC) on Logic Programming provides students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare and succeed for a research career. We will have leaders in logic programming research from academia and industry to give invited talks on their research areas. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference. ** Tutorials and Co-located Workshops. Important Dates *************** ** Abstract registration: January 14, 2022 ** Paper submission: January 21, 2022 ** Notification to authors (Regular papers): March 14, 2022 ** Revision submission (TPLP papers): April 1, 2022 ** Final notifications (all paper kinds): April 30, 2022 ** Camera-ready copy due (all paper kinds): May 16, 2022 ** Conference: July 31--August 8, 2022 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. Submission Details ****************** We note that papers accepted at ICLP may appear either in * Theory and Practice of Logic Programming Journal (TPLP), or * Technical Communication Proceeding (TC) published by Electronic Proceedings in Theoretical Computer Science (EPTCS) TPLP format is described at https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors EPTCS format is described at http://style.eptcs.org/ All accepted papers will be presented during the conference. Authors of accepted papers will, by default, be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost. All submissions must be written in English. Expected submissions: * For Main Track and Application Track: All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to previously accepted workshop papers with a limited audience and/or without archival proceedings. ** Regular papers (14 pages in TPLP format, including references) The accepted regular papers will be published in TPLP. The program committee may recommend some regular papers to be published in Technical Communication Proceeding (TC). In this case, the papers will have to be reformatted into EPTCS format and not exceed 14 pages. Authors who submitted Regular papers that were accepted as TC may elect to convert their submissions into extended abstracts (2 or 3 pages in EPTCS format). This should allow authors to submit a long version elsewhere. ** Short papers (7 pages in EPTCS format, including references). The accepted short papers will be published in the Technical Communication Proceedings. * Recently Published Research Track ** Extended abstract (2 or 3 pages in EPTCS format) describing previously published research (from January 2020 onwards) in selective journals and conferences, but that have not been previously presented at ICLP. A title page should be appended to the submission with (i) details on the venue, where the original paper appeared, (ii) a link to the original paper, (iii) a paragraph describing why the authors believe this work warrants a presentation at ICLP. The extended abstracts will be published in the Technical Communication Proceedings. Submissions will be done via EasyChair. The submission Web page for ICLP2022 is https://easychair.org/my/conference?conf=iclp2022 Organization ************ ** General Chair Michael Codish, Ben-Gurion University of the Negev, Israel ** Program Chairs Yuliya Lierler, University of Nebraska Omaha, USA Jose F. Morales, IMDEA and Universidad Politécnica de Madrid, Spain ** Publicity Chair Victor Perez, IMDEA Software Institute, Spain ** Workshop Chair Daniela Inclezan, Miami University, USA ** Doctoral Consortium and Fall School Chairs Veronica Dahl, Simon Fraser University, Canada Carmine Dodaro, University of Calabria, Italy ** Programming Contest Chairs Mario Alviano, University of Calabria, Italy Vitaly Lagoon, Cadence Design Systems, USA Program Committee ***************** Salvador Abreu, Universidade de Évora, Portugal Mario Alviano, University of Calabria, Italy Marcello Balduccini, Saint Joseph's University, USA Mutsunori Banbara, Nagoya University, Japan Alex Brik, Google Inc., USA François Bry, Ludwig Maximilian University of Munich, Germany Pedro Cabalar,University of Corunna, Spain Francesco Calimeri, University of Calabria, Italy Manuel Carro, Technical University of Madrid and IMDEA, Spain Angelos Charalambidis, University of Athens, Greece Michael Codish, Ben-Gurion University of the Negev, Israel Stefania Costantini, University of L'Aquila, Italy Marc Denecker, KU Leuven, Belgium Marina De Vos, University of Bath, UK Agostino Dovier, University of Udine, Italy Inês Dutra, University of Porto, Portugal Thomas Eiter, Vienna University of Technology, Austria Esra Erdem, Sabanci University, Turkey Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria Jorge Fandinno, University of Nebraska Omaha, USA Paul Fodor, Stony Brook University, USA Andrea Formisano, University of Udine, Italy Gerhard Friedrich, Alpen-Adria-Universitaet Klagenfurt, Austria Sarah Alice Gaggl, Technische Universität Dresden, Germany Marco Gavanelli, University of Ferrara, Italy Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria Michael Gelfond, Texas Tech University, USA Laura Giordano, Università del Piemonte Orientale, Italy Gopal Gupta, University of Texas, USA Michael Hanus, CAU Kiel, Germany Manuel Hermenegildo, IMDEA and Universidad Politécnica de Madrid, Spain Giovambattista Ianni, University of Calabria, Italy Katsumi Inoue, National Institute of Informatics, Japan Tomi Janhunen, Tampere University, Finland Matti Järvisalo, University of Helsinkia, Finland Jianmin Ji, University of Science and Technology of China Nikos Katzouris, NCSR Demokritos Zeynep Kiziltan, University of Bologna, Italy Michael Kifer, Stony Brook University, USA Ekaterina Komendantskaya, Heriot-Watt University, UK Nicola Leone, University of Calabria, Italy Michael Leuschel, University of Dusseldorf, Germany Y. Annie Liu, Stony Brook University, USA Vladimir Lifschitz, University of Texas, USA Jorge Lobo, Pompeu Fabra University, Barcelona, Spain Marco Maratea, University of Genova, Italy Viviana Mascardi, University of Genova, Italy Alessandra Mileo, Dublin City University, INSIGHT Centre for Data Analytics, Ireland Manuel Ojeda-Aciego, University of Malaga, Spain Enrico Pontelli, New Mexico State University, USA Francesco Ricca, University of Calabria, Italy Orkunt Sabuncu, TED University, Turkey Chiaki Sakama, Wakayama University, Japan Vitor Santos Costa, University of Porto, Portugal Torsten Schaub, University of Potsdam, Germany Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria Tom Schrijvers, KU Leuven, Belgium Mohan Sridharan, University of Birmingham, UK Tran Cao Son, New Mexico State University, USA Theresa Swift, Universidade Nova de Lisboa, Portugal Paul Tarau, University of North Texas, USA Tuncay Tekle, Stony Brook University, USA Daniele Theseider Dupré, University of Piemonte Orientale, Italy Mirek Truszczynski, University of Kentucky, USA Joost Vennekens, KU Leuven, Belgium German Vidal, Universitat Politècnica de València, Spain Alicia Villanueva, VRAIN - Universitat Politècnica de València, Spain Antonius Weinzierl, Vienna University of Technology, Austria Kewen Wang, Griffith University Australia David Warren, SUNY Stony Brook, USA Jan Wielemaker, VU University of Amsterdam, Netherlands Stefan Woltran, Vienna University of Technology, Austria Roland Yap, National University of Singapore, Republic of Singapore Fangkai Yang, NVIDIA, USA Jia-Huai You, University of Alberta, Canada Yuanlin Zhang, Texas Tech University, US Zhizheng Zhang, Southeast University, China Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA ========================================================================= Any additional question can be directed towards ICLP Chairs: iclp2022 at easychair.org ========================================================================= From fm-announcements at lists.nasa.gov Thu Oct 21 18:04:53 2021 From: fm-announcements at lists.nasa.gov (Havelund, Klaus (US 348B) via fm-announcements) Date: Thu, 21 Oct 2021 16:04:53 +0000 Subject: [fg-arc] [fm-announcements] NFM 2022 - SECOND CALL FOR PAPERS Message-ID: <12241689-A291-411B-B1F1-B1B9B413A3B4@jpl.nasa.gov> NFM 2022 - SECOND CALL FOR PAPERS The 14th NASA Formal Methods Symposium https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnfm2022.caltech.edu%2F&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7Cb9299a3a5c394de6f9be08d994ac86d1%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637704290990456955%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=YMmAsSIGVGt%2FAAC3VmrnJV5y3zGVLnVdzrRvKHVUnfY%3D&reserved=0 May 24-27, 2022 Pasadena, California, USA The symposium is planned to be held in person at California Institute of Technology, but potentially transitioning to fully virtual if the COVID situation persists. Virtual presentations will be possible even if the conference is held in-person. The symposium has NO registration fee for presenting and attending. IMPORTANT DATES - Abstract Submission: December 3, 2021 - Paper Submission: December 10, 2021 - Paper Notifications: February 4, 2022 - Camera-ready Papers: March 4, 2022 - Symposium: May 24-27, 2022 THEME OF SYMPOSIUM The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry requires advanced techniques that address these systems' specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is a forum to foster collaboration between theoreticians and practitioners from NASA, academia, and industry. NFM's goals are to identify challenges and to provide solutions for achieving assurance for such critical systems. The focus of the symposium will be on formal/rigorous techniques for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace during all stages of the software life-cycle. The NASA Formal Methods Symposium is an annual event organized by the NASA Formal Methods (NFM) Research Group, composed of researchers spanning six NASA centers. The organization of NFM 2022 is being led by the Jet Propulsion Laboratory (JPL), located in Pasadena, California. TOPICS ON INTEREST Topics of interest include, but are not limited to, the following aspects of formal methods: Advances in formal methods - Interactive and automated theorem proving - SMT and SAT solving - Model checking - Static analysis - Runtime verification - Automated testing - Specification languages, textual and graphical - Refinement - Code synthesis - Design for verification and correct-by-design techniques - Requirements specification and analysis Integration of formal methods techniques - Integration of diverse formal methods techniques - Use of machine learning and probabilistic reasoning techniques in formal methods - Integration of formal methods into software engineering practices  - Combination of formal methods with simulation and analysis techniques - Formal methods and fault tolerance, resilient computing, and self healing systems - Formal methods and graphical modeling languages such as SysML, UML, MATLAB/Simulink - Formal methods and autonomy, e.g., verification of systems and languages for planning and scheduling (PDDL, Plexil, etc.), self-sufficient systems, and fault-tolerant systems. Formal methods in practice - Experience reports of application of formal methods on real systems, such as autonomous systems, safety-critical systems, concurrent and distributed systems, cyber-physical, embedded, and hybrid systems, fault-detection, diagnostics, and prognostics systems, and human-machine interaction analysis. - Use of formal methods in systems engineering (including hardware components) - Use of formal methods in education - Reports on negative results in the development and the application for formal methods in practice. - Usability of formal method tools, and their infusion into industrial contexts. - Challenge problems for future reference by the formal methods community. The formulation of these papers can range from plain English description of a problem over formal specifications, to specific implementations in a programming language. NASA OPEN SOURCE Courageous authors, who want to delve in open source software being applied in real NASA missions, and find possible connections to and applications of Formal Methods, are invited to visit the open source repositories for the following two frameworks for programming flight software: - F’ (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fnasa.github.io%2Ffprime%2F&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7Cb9299a3a5c394de6f9be08d994ac86d1%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637704290990456955%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=RRZvTq6ECjsrdXpoBYExc1MrM%2Bb%2FxBdJaEKXl0O7kh8%3D&reserved=0) - cFS (https://cfs.gsfc.nasa.gov/) SUBMISSIONS There are two categories of submissions: - Regular papers describing fully developed work and complete results (maximum 15 pages, excluding references); - Short papers on tools, experience reports, or work in progress with preliminary results (maximum 6 pages, excluding references). Additional appendices can be submitted as supplementary material for reviewing purposes. They will not be included in the proceedings. All papers must be in English and describe original work that has not been published. All submissions will be reviewed by at least three members of the Program Committee. Reviewing is Single-blind. We encourage authors to focus on readability of their submissions. Papers will appear in the Formal Methods subline of Springer's Lecture Notes in Computer Science (LNCS) and must use LNCS style formatting (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7Cb9299a3a5c394de6f9be08d994ac86d1%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637704290990456955%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=NVZITOzg8ihuXCkH5p85s1TNwc5%2BpMnwuk1cGHY2%2FFs%3D&reserved=0). Papers must be submitted in PDF format at the EasyChair submission site: https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dnfm2022&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7Cb9299a3a5c394de6f9be08d994ac86d1%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637704290990456955%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=lA8ZCjfijDUVzFqxK6pZQZaSo5TIn0X65nTB41F%2FHS4%3D&reserved=0. Authors of selected best papers will be invited to submit an extended version to a special issue in Springer's Innovations in Systems and Software Engineering: A NASA Journal (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fjournal%2F11334&data=04%7C01%7Cfm-announcements%40lists.nasa.gov%7Cb9299a3a5c394de6f9be08d994ac86d1%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637704290990456955%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=Z%2BQB26tY4BdoFm4InC3KZ64nbob4MUz2wY3nOV3Yvso%3D&reserved=0). ARTIFACTS Authors are encouraged, but not strictly required, to submit artifacts that support the conclusions of their work (if allowed by their institutions). Artifacts may contain software, mechanized proofs, benchmarks, examples, case studies and data sets. Artifacts will be evaluated by the Program Committee together with the paper. ORGANIZERS PC chairs - Klaus Havelund, JPL, USA - Jyo Deshmukh, USC, USA - Ivan Perez, NIA, USA Application Advisors - Robert Bocchino, JPL, USA - John Day, JPL, USA - Maged Elasaar, JPL, USA - Amalaye Oyake, Blue Origin, USA - Nicolas Rouquette, JPL, USA - Vandi Verma, JPL, USA Application advisors advise the PC chairs to ensure a strong connection to the problems facing NASA. Local Organizer - Richard Murray, Caltech, USA Scientific Advisor - Mani Chandy, Caltech, USA Program Committee - Aaron Dutle, NASA, USA - Alessandro Cimatti, Fondazione Bruno Kessler, Italy - Anastasia Mavridou, SGT Inc. / NASA Ames Research Center, USA - Anne-Kathrin Schmuck, Max-Planck-Institute for Software Systems, Germany - Arie Gurfinkel, University of Waterloo, Canada - Bardh Hoxha, Toyota Research Institute North America, USA - Bernd Finkbeiner, CISPA Helmholtz Center for Information Security, Germany - Betty H.C. Cheng, Michigan State University, USA - Borzoo Bonakdarpour, Michigan State University, USA - Carolyn Talcott, SRI International, USA - Chuchu Fan, MIT, USA - Constance Heitmeyer, Naval Research Laboratory, USA - Corina Pasareanu, CMU, NASA, KBR, USA - Cristina Seceleanu, Mälardalen University, Sweden - Dejan Nickovic, Austrian Institute of Technology AIT, Austria - Dirk Beyer, LMU Munich, Germany - Doron Peled, Bar Ilan University, Israel - Erika Abraham, RWTH Aachen University, Germany - Ewen Denney, NASA, USA - Gerard Holzmann, Nimble Research, USA - Giles Reger, The University of Manchester, UK - Huafeng Yu, TOYOTA InfoTechnology Center USA, USA - Jean-Christophe Filliatre, CNRS, France - Johann Schumann, NASA, USA - John Day, Jet Propulsion Laboratory, USA - Julia Badger, NASA, USA - Julien Signoles, CEA LIST, France - Kerianne Hobbs, Air Force Research Laboratory, USA - Kristin Yvonne Rozier, Iowa State University, USA - Leonardo Mariani, University of Milano Bicocca, Italy - Lu Feng, University of Virginia, USA - Marcel Verhoef, European Space Agency, The Netherlands - Marie Farrell, Maynooth University, Ireland - Marieke Huisman, University of Twente, The Netherlands - Marielle Stoelinga, University of Twente, The Netherlands - Martin Feather, Jet Propulsion Laboratory, USA - Martin Leucker, University of Luebeck, Germany - Michael Lowry, NASA, USA - Misty Davies, NASA, USA - Natasha Neogi, NASA, USA - Nicolas Rouquette, Jet Propulsion Laboratory, USA - Nikos Arechiga, Toyota Research Institute, USA - Rajeev Joshi, Amazon Web Services, USA - Stanley Bak, Stony Brook University, USA - Sylvie Boldo, INRIA, France - Vandi Verma, NASA, USA - Willem Visser, Amazon Web Services, USA CONTACT Email: nfm2022 [at] easychair [dot] org -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From Cassia.Trojahn at irit.fr Mon Oct 25 11:48:23 2021 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Mon, 25 Oct 2021 11:48:23 +0200 Subject: [fg-arc] Post-doc IRIT/Toulouse (France) Message-ID: <190c-61767d80-1f-1af1f9c0@130540379> Dear, (sorry for multiple postings) We are recruiting a post-doc at IRIT (France) in the context of the DACE-DL project (DAta-CEntric AI-driven Data Linking). Recruitment is scheduled for early 2022 for 24 months. Thank you for circulating this offer in your networks. Regards, Cassia Trojahn and Olivier Teste ----------------------------------------------------------------- ** Post-doctoral position at IRIT: Data Linking ** * Context: ANR project DACE-DL (DAta-CEntric AI-driven Data Linking) * Data linking is the scientific challenge of automatically establishing typed links between the entities of two or more structured datasets. A variety of complex data linking systems exists, evaluated on public benchmarks. While they have allowed for the generation of vast amounts of linked data in the context of various dedicated projects, data generic systems often have limited applicability in many real-world scenarios, where data are highly heterogeneous and domain-specific. DACE-DL targets a paradigm shift in the data linking field with a data-centric bottom-up methodology relying on machine learning and representation learning models. We hypothesize there exists a finite number of identifiable and generalisable linking problem types (LPTs), that we need to categorize and analyse to provide better linking results. * Topic: Data collect, consolidation, and data linking systems modularization * This research is articulated in two main tasks. The first task consists in (1) carrying out an in-depth analysis of the quality of the existing data linking datasets, identifying erroneous statements and providing a high-quality set of datasets by correcting those statements; and (ii) generating additional links using existing high-precision linking systems on the chosen datasets. Data quality metrics such as accuracy, consistency and conciseness will be considered. The aim of the second task is manifold : (1) to provide an inventory of publicly available and functional linking tools that are able to deal with a large spectrum of data linking problem; (2) to propose a theoretical approach for the modularization of these tools into atomic modules easy to combine in order to build more complex solutions in a linking ecosystem; (3) to make the produced modules available to the data linking community. To do the modularization at scale, we plan to call upon unsupervised ML algorithms, enhanced by a human-in-the-loop approach. The objective is to provide a set of correspondences between the modules and the LPTs. Starting period: January 2022 – duration of 24 months * Work environment and Salary * Localization : Institut de Recherche en informatique de Toulouse (IRIT) – Universite Toulouse - Jean Jaures / Maison de la Recherche, 5, allees Antonio Machado 31058 Toulouse. Salary between 2200€ and 2700€ gross monthly depending on qualifications and situation. * How to apply * Applicants are required to have a PhD in Computer Science, a strong background in semantic web technologies, ontology matching and data linking. Fluency in written / spoken English is required too. A good publication record and strong programming skills will be a plus. Applications will be accepted until the position is closed. Applicants should send a full CV including a complete list of publications, a cover letter indicating their research interests, achievements to date and vision for the future, as well as either support letters or the name of 2 persons that have worked with them. Contact: Cassia Trojahn (cassia.trojahn at irit.fr) and Olivier Teste (olivier.teste at irit.fr) From Luigia.Petre at abo.fi Tue Oct 26 10:56:40 2021 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Tue, 26 Oct 2021 08:56:40 +0000 Subject: [fg-arc] Ran Ettinger's tutorial on using Dafny to teach: FME Teaching Committee's Tutorial Series, October edition Message-ID: Dear all, We are now at the second tutorial in the Tutorial Series of the FME Teaching Committee. The idea is to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorials are held online via zoom. We record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. [https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/featured.png] Tutorial Series of the FME Teaching Committee | Formal Methods Teaching Committee fme-teaching.github.io Schedule for FMTea tutorials In the FME Teaching Committee, we are launching a new tutorial series, planned to be held monthly. We aim to increase the awareness and sharing of tools and techniques used for teaching formal methods. The tutorial will be held online via zoom. We will record (whenever the speaker agrees) these presentations and collect them on the FME Teaching Committee website. Below you’ll find the list of speakers who agreed to share their FM teaching insight. We are very happy to announce our second speaker in the series: Dr Ran Ettinger (Ben-Gurion University, Israel, https://www.cs.bgu.ac.il/~ranger/). Ran's lecture is entitled Teaching Cantor’s theorem, a pumping lemma, and the derivation of a heapsort algorithm using Dafny This tutorial will take place this week on Friday (October 29), at 3pm CET. The zoom coordinates are below. The online event is planned to take about one hour, give or take. Everyone welcome!! With best regards, Luigia Petre on behalf of the FME Teaching Committee PS: The recording of Sandrine's lecture last month is already in the webpage https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/, where Ran's will also appear soon. Luigia Petre is inviting you to a scheduled Zoom meeting. Topic: FMTea Tutorial Series Time: This is a recurring meeting Meet anytime Join Zoom Meeting https://aboakademi.zoom.us/j/64254430116 Meeting ID: 642 5443 0116 Join by SIP 64254430116 at 109.105.112.236 64254430116 at 109.105.112.235 Join by H.323 109.105.112.236 109.105.112.235 Meeting ID: 642 5443 0116 __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Oct 30 13:58:04 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 30 Oct 2021 14:58:04 +0300 Subject: [fg-arc] 9th European Conference on Service-Oriented and Cloud Computing (ESOCC 2022): Final Call for Papers for the Main Track Message-ID: <4YOPTLS8-HEMH-5WLY-XG32-PWI8VHYJ7CFU@cs.ucy.ac.cy> *** Final Call for Papers for the Main Track *** 9th European Conference on Service-Oriented and Cloud Computing (ESOCC 2022) March 22-24, 2022, Lutherstadt Wittenberg, Germany http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiBTZXJ2aWNlLU9yaWVudGVkIGFuZCBDbG91ZCBDb21wdXRpbmcgKEVTT0NDIDIwMjIpOiBGaW5hbCBDYWxsIGZvciBQYXBlcnMgZm9yIHRoZSBNYWluIFRyYWNrCTM1MQlMaXN0cwk0NAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Fwww.esocc-conf.eu (*** Submission Deadline Extended to November 21st ***) Scope Service-oriented and cloud computing have made a huge impact both on the software industry and on the research community. Today, service and cloud technologies are applied to build large-scale software landscapes as well as to provide single software services to end users. Services today are independently developed and deployed as well as freely composed while they can be implemented in a variety of technologies, a quite important fact from a business perspective. Similarly, cloud computing aims at enabling flexibility by offering a centralised sharing of resources. The industry's need for agile and flexible software and IT systems has made cloud computing the dominating paradigm for provisioning computational resources in a scalable, on- demand fashion. Nevertheless, service developers, providers, and integrators still need to create methods, tools and techniques to support cost-effective and secure development as well as use of dependable devices, platforms, services and service- oriented applications in the cloud. The European Conference on Service-Oriented and Cloud Computing (ESOCC) is the premier conference on advances in the state of the art and practice of service- oriented computing and cloud computing in Europe. The main objectives of this conference are to facilitate the exchange between researchers and practitioners in the areas of service-oriented computing and cloud computing, as well as to explore the new trends in those areas and foster future collaborations in Europe and beyond. Topics of interest ESOCC 2022 seeks original, high quality papers related to all aspects of service- oriented and cloud computing. Specific topics of interest include but are not limited to: - Service and Cloud Computing Models  • Design patterns, guidelines and methodologies  • Governance models  • Architectural models  • Requirements engineering  • Formal Methods  • Model-Driven Engineering  • Quality models  • Security, Privacy & Trust models  • Self-Organising Service-Oriented and Cloud Architectures Models  • Testing models - Service and Cloud Computing Engineering  • Service Discovery, Matchmaking, Negotiation and Selection  • Monitoring and Analytics  • Governance and management  • Cloud Interoperability, Multi-Cloud, Cross-Cloud, Federated Cloud solutions  • Frameworks & Methods for Building Service and Cloud based Applications  • Cross-layer adaptation  • Edge/Fog computing  • Cloud, Service Orchestration & Management  • Service Level Agreement Management  • Service Evolution/Optimisation  • Service & Cloud Testing and Simulation  • QoS for Services and Clouds  • Semantic Web Services  • Service mining  • Service & Cloud Standards  • FaaS / Serverless computing - Technologies  • DevOps in the Cloud  • Containerized services  • Emerging Trends in Storage, Computation and Network Clouds  • Microservices: Design, Analysis, Deployment and Management  • Next Generation Services Middleware and Service Repositories  • RESTful Services  • Service and Cloud Middleware & Platforms  • Blockchain for Services & Clouds  • Services and Clouds with IoT  • Fog Computing with Service and Cloud - Business and Social aspects  • Enterprise Architectures for Service and Cloud  • Service-based Workflow Deployment & Life-cycle Management  • Core Applications, e.g., Big Data, Commerce, Energy, Finance, Health, Scientific Computing, Smart Cities  • Business Process as a Service - BPaaS  • Service and Cloud Business Models  • Service and Cloud Brokerage  • Service and Cloud Marketplaces  • Service and Cloud Cost & Pricing  • Crowdsourcing Business Services  • Social and Crowd-based Cloud  • Energy issues in Cloud Computing  • Sustainability issues Submissions from industry are welcome (for example, use cases). Submissions ESOCC 2022 invites submissions for the main track: - Regular research papers (15 pages including references) We only accept original papers, not submitted for publication elsewhere. The papers must be formatted according to the LNCS proceedings guidelines. They must be submitted to the EasyChair site at http://www.cs.ucy.ac.cy/~george/GPLists_2021/lm.php?tk=c2NlLmNhcmxldG9uLmNhICwJCQlmZy1hcmNAbGlzdHMudW5pLXBhZGVyYm9ybi5kZQk5dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiBTZXJ2aWNlLU9yaWVudGVkIGFuZCBDbG91ZCBDb21wdXRpbmcgKEVTT0NDIDIwMjIpOiBGaW5hbCBDYWxsIGZvciBQYXBlcnMgZm9yIHRoZSBNYWluIFRyYWNrCTM1MQlMaXN0cwk0NAljbGljawl5ZXMJbm8=&url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Desocc2022 by selecting the main track. All accepted regular research papers are expected to be published in the main conference proceedings by Springer in the Lecture Notes in Computer Science (LNCS) series (http://www.springer.com/lncs). At least one author of each accepted paper is expected to register and present the work at the conference. A journal special issue is planned, and authors of selected accepted papers will be invited to submit extended versions of their articles. Important Dates - Paper submission: 21 November 2021 - Notifications: 7 January 2022 - Camera Ready versions due: 20 January 2022 Organization General Chair • Wolf Zimmermann (Martin Luther University Halle-Wittenberg, Germany) Programme Co-Chairs • Fabrizio Montesi (University of Southern Denmark, Denmark) • George A. Papadopoulos (University of Cyprus, Cyprus) -------------- next part -------------- An HTML attachment was scrubbed... URL: