From announce at cs.ucy.ac.cy Mon Nov 1 14:56:25 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Mon, 1 Nov 2021 15:56:25 +0200 Subject: [fg-arc] ACM International Conference on Information Technology for Social Good (GoodIT 2022): Second Call for Special Track Proposals Message-ID: <88OQRQ6F-M2CW-KFN5-XFIR-QZ0368IMLPSM@cs.ucy.ac.cy> *** Second Call for Special Track Proposals *** 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 ACM GoodIT focuses on the application of IT technologies to social good. Social good is typically defined as an action that provides some sort of benefit to the general public. In this case, 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 positive societal impact. GoodIT topics include but not limited to: • IT for education • Data Science • Digital solutions for Cultural Heritage • Data sensing, processing, and persistency • Game, entertainment, and multimedia applications • Health and social care • IT for development • Privacy and trust issues and solutions • Sustainable cities and transportation • Smart governance and e-administration • IT for smart living • Technology addressing the digital divide • IT for automotive • Frugal solutions for IT • Ethical computing • Decentralized approaches to IT • Citizen science • Socially responsible IT solutions • Sustainable IT • Social informatics • Civic intelligence Journal Special Issue and Best Paper Award Selected papers will be invited to submit an extended version to a special issue in the journal MDPI Sensors, where the theme of the special issue will be "Application of Information Technology (IT) to Social Good". Specifically 5 papers will be invited free of charge and another 5 papers will get a 20% discount on the publication fees. Furthermore, MDPI Sensors will sponsor a Best Paper Award with the amount of 400 CHF. Special Tracks Proposals GoodIT 2022 will feature special tracks whose aim is to focus on a specific topic of interest related to the overall scope of the conference. We solicit proposals for special tracks to be held within the main conference and whose publications will be included in the conference proceedings. Tracks proposals can focus on any contemporary themes that highlight social good aspects in the design, implementation, deployment, securing, and evaluation of IT technologies. Special Track Proposal Format A special track proposal must contain the following information: • Title of the special track. • The names of the organizers (indicatively, two) with affiliations, contact information, and a single paragraph of a brief bio. • A short description of the scope and topics of the track (max 1/2 page) and a brief explanation of: (1) why the topic is timely and important; (2) why the topic is related to the conference’s main theme; (3) why the track may attract a significant number of submissions of good quality. • Indication if a journal special issue is associated with the track, possibly with information on the process of selecting papers. • The plan to disseminate the call for papers of the special track for achieving a reasonable number of paper submissions (a list of emailing lists will help). • A tentative Program Committee list. • A draft Call for Papers (max 1 page). Publication Papers submitted to each particular track have to satisfy the same criteria as for the main conference. They must be original works and must not have been previously published. They have to be peer-reviewed by the track's Program Committee (at least three reviews per submitted paper are required). The final version of papers must follow the formatting instructions of the main conference (https://cyprusconferences.org/goodit2022/index.php/authors/). 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. The special track may provide an option for publishing extended versions of selected papers in a special issue of a journal. Special Track Proposal Submission Guidelines Special track proposals should be submitted as a single PDF file to the special track Chairs (see below) via email to: ombretta.gaggi at unipd.it, valentino.vranic at stuba.sk, and rysavy at fit.vut.cz. The subject of the e-mail must be: “GoodIT 2022 – special track proposal”. The special track chairs may ask proposers for supplying additional information during the review period. Important Dates • Special Track Proposal Submission Deadline: 13 December 2021 • Notification of Selection: 20 December 2021 Contact (Special Tracks Chairs) • Ombretta Gaggi (University of Padua, Italy) • Ondrej Rysavy (Brno University of Technology, Czech Republic) • Valentino Vranic (Slovak University of Technology in Bratislava, Slovakia) -------------- next part -------------- An HTML attachment was scrubbed... URL: From fedcsis at fedcsis.org Tue Nov 2 17:03:26 2021 From: fedcsis at fedcsis.org (FedCSIS) Date: Tue, 02 Nov 2021 16:03:26 +0000 Subject: [fg-arc] FedCSIS 2022 Call for Technical Sessions Message-ID: <4754200.7166535348@campaign.freshmail.direct> An HTML attachment was scrubbed... URL: From francesco.osborne at open.ac.uk Fri Nov 5 17:50:51 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Fri, 5 Nov 2021 16:50:51 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Contributions Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Contributions ================== IMPORTANT DATES --------------- * Abstract submission: January 22, 2022 (AoE Time) * Full paper submission: January 29, 2022 (AoE Time) * Paper notification: March 12, 2022 (AoE Time) * Camera-ready paper: March 26, 2022 (AoE Time) ICWE 2022 AT A GLANCE --------------- The International Conference on Web Engineering (ICWE) is the premier annual conference on Web Engineering and associated technologies. ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications, the problems of its associated technologies, and the impact of those technologies on society and culture. The 22nd edition of ICWE will accept contributions on a wide spectrum of topics related to Web Engineering, such as, among others: - Web application modelling and engineering - Web mining and knowledge extraction - Web Big Data and Web data analytics - Mobile Web applications - Web of Things applications - Social Web applications - Web crowdsourcing and human computation - Semantic Web, Web ontologies, and Linked Open Data applications - Web composition and mashups - Web user interfaces - Quality and accessibility aspects of Web applications - Web security and privacy - Web services, computing, and standards - Microservice architecture for Web applications - Cloud, fog, and edge computing for Web applications - Fairness of Web technology - User Modelling and Recommender Systems based on Web technology - Explainable Web technology In addition to the research track, ICWE 2022 also seeks contributions of demos and posters, student papers to the PhD Symposium, tutorials, and workshops, which will be subject of individual calls. The conference will be held at Politecnico di Bari in Bari, Italy. Bari is a lively city located in the South-East part of Italy, easily reachable by car, train, and plane. Further information can be found at http://icwe2022.webengineering.org/. ORGANIZATION --------------- General Chair: - Tommaso Di Noia, Politecnico di Bari, Italy Program Co-Chairs: - Markus Schedl, Johannes Kepler University (JKU) Linz, Austria - In-Young Ko, Korea Advanced Institute of Science and Technology (KAIST), South Korea SUBMISSIONS TO THE RESEARCH TRACK --------------- This call addresses research contributions in one of the following categories: * Full papers: mature, original research contribution. Reported results must be supported by some type of validation, and also include a justification about the choice/suitability of the validation method. In addition, evidence of use in practice and/or demonstration of scalability is regarded as a plus. (15 pages) * Short papers: short papers presenting a discussion – analysis, criticism, proposal, etc. – about relevant aspects of Web engineering topics. These papers are intended to generate discussions that promise potential for research that will impact Web engineering in the coming years. (8 pages) Papers must be formatted according to the information for Springer LNCS authors at http://www.springer.de/comp/lncs/authors.html and submitted in PDF format. Papers submitted to ICWE 2022 must not be under review elsewhere while under consideration for ICWE 2022, nor may have been already previously published elsewhere. Please note that we strongly discourage authors to upload their ICWE submissions to arXiv while still being under review since doing so may hamper anonymity. Submissions that are not in compliance with the required submission format or that are out of the scope of the conference will be desk rejected without reviewing. Accepted contributions will be included into the ICWE 2022 Springer LNCS proceedings. The best papers will be selected to be proposed, in extended form, as part of a special issue of the Journal of Web Engineering. 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, through which the copyright for their paper is transferred to Springer. Submissions and reviewing are supported by the EasyChair system at https://easychair.org/conferences/?conf=icwe2022. CONTACT --------------- All questions about submissions should be emailed to icwe2022 at easychair.org. Further information can be found at http://icwe2022.webengineering.org. From announce at cs.ucy.ac.cy Sat Nov 6 10:09:24 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 6 Nov 2021 11:09:24 +0200 Subject: [fg-arc] 2022 IEEE International Conference on Evolving and Adaptive Intelligent Systems (IEEE EAIS 2022): Fourth Call for Papers Message-ID: *** Fourth Call for Papers *** 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. 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 • 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 francesco.osborne at open.ac.uk Sat Nov 6 23:15:49 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Sat, 6 Nov 2021 22:15:49 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Tutorials Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Tutorials ================== IMPORTANT DATES --------------- Submission deadline: January 29, 2022 Acceptance notification: March 12, 2022 Camera ready: March 26, 2022 CALL --------------- ICWE 2022 invites proposals for tutorials in a broad range of Web Engineering topics. Conference participants include researchers and practitioners who are seeking to gain insight and knowledge of up-to-date strategies, methodologies, technologies, and tools used for developing, maintaining and evolving Web applications. Examples of relevant topics include, but are not limited to: - Web application modelling and engineering - Web mining and knowledge extraction - Web Big Data and Web data analytics - Mobile Web applications - Web of Things applications - Social Web applications - Web crowdsourcing and human computation - Semantic Web, Web ontologies, and Linked Open Data applications - Web composition and mashups - Web user interfaces - Quality and accessibility aspects of Web applications - Web security and privacy - Web services, computing, and standards - Microservice architecture for Web applications - Cloud, fog, and edge computing for Web applications - Fairness of Web technology - User Modelling and Recommender Systems based on Web technology - Explainable Web technology All proposed tutorials should be half-day (3 hours) or fully-day (6 hours) in length. The length of tutorial proposals is limited to 4 pages. Proposals must clearly define both the scope and the depth of the tutorial, and they must clearly identify the intended audience, the assumed background knowledge and learning objectives. All tutorial proposals must include the following information: - Title of the Tutorial - Contact information of the presenters (name, affiliation, email, mailing address, phone) - Abstract outlining the goals and content of the tutorial (max 250 words) - Definition of intended audience and assumed background and knowledge - Overview of the tutorial structure, list of topics covered, and short description of learning objectives/outcomes - Biographies of presenter(s), including information regarding their expertise relevant to the tutorial - Any relevant references to the work of the presenters or other references relevant to the tutorial - Statement about any previous related tutorial presentations, including information regarding how the ICWE 2022 tutorial would differ - Sample slides of the tutorial, if available The tutorial may be cancelled if the number of registrations for them is very small. Along with a notification of acceptance, presenters will receive further instructions on how to prepare a two-page summary of the tutorial to be included in the conference proceedings, tutorial notes to be made available on the conference website, and a brief biography to be published in the conference program. Tutorials papers proposals should be submitted as a single PDF file in the EasyChair system as described in the SUBMISSION INFORMATION section. TUTORIALS CHAIRS ---------------- Alejandro Bellogin (Universidad Autonoma de Madrid, Spain) Vito Walter Anelli (Politecnico di Bari, Italy) SUBMISSION INFORMATION ---------------------- All submitted proposal must be formatted in accordance to the information for Springer LNCS authors at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines and submitted in PDF. Accepted contributions will be included into the ICWE 2022 Springer LNCS proceedings. Submissions and reviewing are supported by the EasyChair system (https://easychair.org/conferences/?conf=icwe2022). ICWE 2022 will follow the single-blind review process. Consequently, all submissions should include the names and affiliation of all authors, and this information is made visible to the reviewers. Still, the identity of the reviewers will be kept confidential from the authors. Submitted proposals must not be under review elsewhere while under consideration for ICWE 2022. Submissions that do not comply with the required submission format or that fall outside the scope of the conference will be desk rejected without reviewing. All questions about submissions should be emailed to tutorialchair.icwe2022 at webengineering.org. From francesco.osborne at open.ac.uk Sun Nov 7 23:38:03 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Sun, 7 Nov 2021 22:38:03 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Workshop Proposals Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Workshop Proposals =========================== IMPORTANT DATES --------------- - Submission of proposals: 29 January, 2022 (23h 59 AoE) - Notification of proposal acceptance: 12 February, 2022 (23h 59 AoE) CALL --------------- ICWE’22 is inviting proposals for high-quality workshops to complement its scientific program. Workshop topics should fall within the broad area of Web Engineering, but we specifically welcome workshops tackling novel, cutting-edge topics as well as workshops covering focused Web Engineering sub-areas, and cross-disciplinary workshops. The workshop organizers are highly encouraged to include interactive and hands-on working sessions. The organizers of approved workshops are responsible for advertising their workshops, collecting papers, managing the review process, making accepted papers available to workshop participants (e.g., workshop website), and collecting the camera-ready copies and copyright forms of accepted papers (verifying that they comply with formatting rules). Organizers are expected to be present to attend, run, and manage their workshops. Conference facilities such as meeting rooms, wireless Internet and meals will be provided by the local organizers. ICWE’22 provides workshop organizers with the opportunity to publish workshop proceedings as part of its dedicated post-workshop proceedings volume to appear in Springer’s LNCS series. Typically, workshop papers are 12 pages long and peer-reviewed; other forms of contributions can be discussed with the workshop chairs. Organizers who prefer to publish their own proceedings are of course welcome as well. SUBMISSION INSTRUCTIONS ----------------------- Workshop proposals should include the following information: 1. General Information – Title of the workshop – Organizers and primary contact (name/affiliation/email) – Abstract (200 words), intended for the main ICWE conference website – Expected length of the workshop (full day, half day) – Relationship with the ICWE community and topics 2. Objectives and Scope – Goals of the workshop including a list of possible workshop topics; if available, outcomes and results of previous editions of the workshop – Plans for advertising the workshop and making the workshop visible to the community – Estimated number of submissions and of papers to be accepted. If applicable, relevant information on previous editions of the workshop – Estimated number of participants. If applicable, relevant information on previous editions of the workshop 3. Organization Details – Information about workshop organizers: names, addresses, affiliations, short bio, and name of the main contact person. (Including relevant past experience in workshop organization) – Planned list of PC members 4. Workshop Format – Format of the workshop (paper-based, discussion-based, invitation-based, work sessions, or similar); at least 1 hands-on session is highly recommended – Format of hands-on session(s) (demos, hackathon, brainstorming, discussions, case elaboration, etc.) 5. Workshop web page (URL of the draft web page, if one exists) 6. Draft Call for Papers for the workshop (the Call for Papers that you intend to send out if your workshop is accepted) Workshop proposals should be submitted as a PDF file to workshopchair.icwe2022 at webengineering.org. WORKSHOPS CHAIRS --------------- - Cinzia Cappiello (Politecnico di Milano, Italy) - Azzurra Ragone (EY - Ernst & Young, Italy) From p.lammich at utwente.nl Fri Nov 5 13:21:51 2021 From: p.lammich at utwente.nl (Lammich, Peter (UT-EEMCS)) Date: Fri, 5 Nov 2021 12:21:51 +0000 Subject: [fg-arc] VerifyThis 2022 --- Call for Problems Message-ID: VerifyThis 2022: Call for Problems apologies for multiple postings. VerifyThis is a series of program verification competitions, which has taken place annually since 2011 (with the exception of 2020). Previous competitions in the series have been held at FoVeOOS 2011, FM 2012, Dagstuhl (April 2014), and ETAPS 2015—2021. To extend the problem pool and tend better to the needs of the participants, we are soliciting verification problems for the competition: * A problem should contain an informal statement of the algorithm to be implemented (optionally with complete or partial pseudo code) and the requirement(s) to be verified. * A problem should be suitable for a 60—90 minute time slot. * Submission of reference solutions is strongly encouraged. * Problems with an inherent language- or tool-specific bias should be clearly identified as such. * Problems that contain several subproblems or other means of difficulty scaling are especially welcome. * The organizers reserve the right (but no obligation) to use the problems in the competition, either as submitted or with modifications. * Submissions from (potential) competition participants are allowed. Problems from previous competitions can be seen at the archive. Please send submissions via email to verifythis at googlegroups.com by January 31, 2022. The most suitable submission for competition will receive a prize. -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at cs.ucy.ac.cy Sat Nov 13 09:42:42 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sat, 13 Nov 2021 10:42:42 +0200 Subject: [fg-arc] 9th European Conference on Service-Oriented and Cloud Computing (ESOCC 2022): Final Call for the Main Track and Third Call for Other Contributions Message-ID: <7M7738SE-B2VP-R5NT-N40C-ZLOBAU1NGE6V@cs.ucy.ac.cy> *** Final Call for the Main Track and Third Call for Other 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: 21 November 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 M.Daggitt at hw.ac.uk Mon Nov 8 16:43:37 2021 From: M.Daggitt at hw.ac.uk (Daggitt, Matthew) Date: Mon, 8 Nov 2021 15:43:37 +0000 Subject: [fg-arc] First Call for Papers - MPC 2022 In-Reply-To: References: Message-ID: ====================================================================== *** FIRST CALL FOR PAPERS -- MPC 2022 *** 14th International Conference on Mathematics of Program Construction https://www.macs.hw.ac.uk/mpc22/ 26th-28th of September 2022, Tbilisi, Georgia Co-located with the Computational Logic Autumn Summit (CLAS'22) http://viam.science.tsu.ge/clas2022/ ====================================================================== TIMELINE: Abstract submission 10th April 2022 Paper submission 17th April 2022 Author notification 27th May 2022 Camera ready copy 24th June 2022 Conference 26th-28th September 2022 BACKGROUND: The International Conference on Mathematics of Program Construction (MPC) aims to promote the development of mathematical principles and techniques that are demonstrably practical and effective in the process of constructing computer programs. MPC 2022 will be held in Tbilisi, Georgia, on the 26th-28th September 2022, and is co-located with the Computational Logic Autumn Summit (CLAS'22). Previous conferences were held in Porto, Portugal (2019); Königswinter, Germany (2015); Madrid, Spain (2012); Québec City, Canada (2010); Marseille, France (2008); Kuressaare, Estonia (2006); Stirling, UK (2004); Dagstuhl, Germany (2002); Ponte de Lima, Portugal (2000); Marstrand, Sweden (1998); Kloster Irsee, Germany (1995); Oxford, UK (1992); Twente, The Netherlands (1989). SCOPE: MPC seeks original papers on mathematical methods and tools put to use in program construction. Topics of interest range from algorithmics to support for program construction in programming languages and systems. Typical areas include type systems, program analysis and transformation, programming language semantics, security, and program logics. The notion of a 'program' is interpreted broadly, ranging from algorithms to hardware. Theoretical contributions are welcome, provided that their relevance to program construction is clear. Reports on applications are welcome, provided that their mathematical basis is evident. We also encourage the submission of 'programming pearls' that present elegant and instructive examples of the mathematics of program construction. SUBMISSION: Submission is in two stages. Abstracts (plain text, maximum 250 words) must be submitted by 10th April 2022. Full papers (pdf, formatted using the llncs.sty style file for LaTex) must be submitted by 17th April 2022. There is no prescribed page limit, but authors should strive for brevity. Both abstracts and papers will be submitted using EasyChair. Papers must present previously unpublished work, and not be submitted concurrently to any other publication venue. Submissions will be evaluated by the program committee according to their relevance, correctness, significance, originality, and clarity. Each submission should explain its contributions in both general and technical terms, clearly identifying what has been accomplished, explaining why it is significant, and comparing it with previous work. Accepted papers must be presented in person at the conference by one of the authors. The proceedings of MPC 2022 will be published in the Lecture Notes in Computer Science (LNCS) series, as with all previous instances of the conference. Authors of accepted papers will be expected to transfer copyright to Springer for this purpose. After the conference, authors of the best papers from MPC 2022 will be invited to submit revised versions to a special issue of Science of Computer Programming (SCP). For any queries about submission please contact the program chair, Ekaterina Komendantskaya or publicity chair Matthew Daggitt KEYNOTE SPEAKERS: TBA PROGRAMME COMMITTEE: Georg Struth University of Sheffield, UK Ana Sokolova University of Salzburg, Austria Annabelle McIver Macquerie University, Australia Jacques Carette McMaster University, Canada Shin-Cheng Mu Academia Sinica, Taiwan Jose Oliveira University of Minho, Portugal Johan Jeuring Utrecht University, Netherlands Ambrus Kaposi Eötvös Loránd University, Hungary Henning Basold Leiden University, Netherlands Peter Hoefner Australian National University, Australia Grant Passmore Imandra, USA Kathrin Stark Princeton University, USA Philip Saville University of Oxford, UK William Byrd University of Arizona, USA Andrea Costea National University of Singapopre, Singapore Radu Mardare University of Strathclyde, UK Patricia Johann Appalachian State University, USA Aurore Alcolei University of Bologna, Italy Others TBA CONFERENCE VENUE: The conference will be held at the Ivane Javakhishvili Tbilisi State University (TSU), which is the oldest and largest educational and research institution not only in Georgia, but also in the South Caucasus. The venue is located in the city center, with many hotels, pubs, restaurants, parks, other attractions (zoo, theaters, cinemas, opera, etc.) within walking distance. Tbilisi International Airport is 15 km away from the city and offers direct connections to more than 30 destinations in Europe, Asia, and the Middle East. From the airport, the city can be reached by bus or taxi. Another option is to fly to Kutaisi in the west of Georgia, where low budget air companies (such as WizzAir) are operating. A shuttle bus from the Kutaisi airport to Tbilisi takes about 3 hours. Georgia allows visa-free entry for nearly 100 countries around the world. Further details may be found on the Ministry of Foreign Affairs website. LOCAL ORGANISERS: Besik Dundua International Black Sea University For any queries about local issues please contact the local organiser, Besik Dundua . ________________________________ Founded in 1821, Heriot-Watt is a leader in ideas and solutions. With campuses and students across the entire globe we span the world, delivering innovation and educational excellence in business, engineering, design and the physical, social and life sciences. This email is generated from the Heriot-Watt University Group, which includes: 1. Heriot-Watt University, a Scottish charity registered under number SC000278 2. Heriot- Watt Services Limited (Oriam), Scotland's national performance centre for sport. Heriot-Watt Services Limited is a private limited company registered is Scotland with registered number SC271030 and registered office at Research & Enterprise Services Heriot-Watt University, Riccarton, Edinburgh, EH14 4AS. The contents (including any attachments) are confidential. If you are not the intended recipient of this e-mail, any disclosure, copying, distribution or use of its contents is strictly prohibited, and you should please notify the sender immediately and then delete it (including any attachments) from your system. -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Sat Nov 13 15:10:03 2021 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Sat, 13 Nov 2021 15:10:03 +0100 Subject: [fg-arc] Post-doc IRIT/Toulouse (France) In-Reply-To: <190c-61767d80-1f-1af1f9c0@130540379> Message-ID: <2595-618fc700-1-3592b440@164919677> 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 fm-announcements at lists.nasa.gov Mon Nov 15 01:38:40 2021 From: fm-announcements at lists.nasa.gov (Havelund, Klaus (US 348B) via fm-announcements) Date: Mon, 15 Nov 2021 00:38:40 +0000 Subject: [fg-arc] [fm-announcements] NFM 2022 - THIRD CALL FOR PAPERS Message-ID: NFM 2022 - THIRD 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%7C7ac314ce23b64f2de3e808d9a7d047e2%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637725335281357786%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=sNSK%2FlxdMkEHdI%2FeNSehrCf7VoNUNY6J3fUsj27a%2FYA%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%7C7ac314ce23b64f2de3e808d9a7d047e2%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637725335281357786%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=AkEmtpjupa%2FAOj8jBl7b%2BzgRMcZzTuK%2F2EquiWVrTt8%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%7C7ac314ce23b64f2de3e808d9a7d047e2%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637725335281357786%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=jkULix0QmIYOvIJNeWBjt1E0NAd6yONbxizNjcI0oKw%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%7C7ac314ce23b64f2de3e808d9a7d047e2%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637725335281357786%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=%2F2%2FFs2YtYZ0b7ZPdBuQrNMXZU6grSLJM4zw7nrOXeqs%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%7C7ac314ce23b64f2de3e808d9a7d047e2%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637725335281357786%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=hb4wlfBGRIK1os3TCut9RKtwp1n%2FzrPM8YgkZcAJBq4%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 achraf_telmoudi at yahoo.fr Tue Nov 16 16:10:09 2021 From: achraf_telmoudi at yahoo.fr (Achraf Jabeur Telmoudi) Date: Tue, 16 Nov 2021 15:10:09 +0000 (UTC) Subject: [fg-arc] [Call for Papers] IEEE/IFAC CoDIT 2022 Conference (May 17-20, 2022 - Istanbul, Turkey) In-Reply-To: <1865759402.2181399.1637059504447@mail.yahoo.com> References: <1865759402.2181399.1637059504447@mail.yahoo.com> Message-ID: <2080607295.2374921.1637075409657@mail.yahoo.com> Dear colleagues, We would like to invite you to submit papers tothe 8th, 2022 International Conference on Control,Decision and Information Technologies (CoDIT 2022) – Sponsoredby IEEE and IFAC. The event will be held in Istanbul,Turkey, May 17-20, 2022.  Website: https://codit2022.com Call for Papers: https://codit2022.com/Call_for_Papers_CoDIT2022.pdf Scope and Topics :https://codit2022.com/index.php/scope-and-topics _____________________________________________________ · Proceedings ofall past editions of CoDIT are published through IEEE and indexed in: DBLP, Conference ProceedingsCitation Index | Thomson Reuters, SCOPUS, Ei Compendex and IEEE. · CoDIT is rankedas C-conference in CORE. _____________________________________________________   PUBLICATION _____________________________________________________ Registered and Presented papers will be published by IEEE Xplore aswell as other Abstracting and Indexing (A&I) databases. _____________________________________________________ PLANNED SPECIALISSUES _____________________________________________________ Extended versions of best presented papers in the CoDIT 2022 conferencewill be planned for publication (special issues) in the following journal: ·      Optimizationand Engineering (Impact Factor: 2,760) ·      Transactionsof the Institute of Measurement and Control (Impact Factor: 1,796) ·      Cyberneticsand Systems - An International Journal (Impact Factor: 1,879) ·      InternationalJournal of Dynamics and Control (Indexed Scopus) ·      … _____________________________________________________ IMPORTANT DATES AND DEADLINES _____________________________________________________ Special session Proposal: November 30, 2021 Papers submission deadline: January 07, 2022 Acceptance notification: March 04, 2022 Final version due: March 30, 2022 Registration deadline: March 30, 2022 _____________________________________________________   CONFIRMEDPLENARY SPEAKERS _____________________________________________________ Prof. Karl Henrik Johansson (KTH Royal Institute of Technology, Sweden) Prof.Birgit Vogel-Heuser (Technical University of Munich, Germany) Prof.Alessandro Giua (University of Cagliari, Italy) Prof. Huiyu(Joe) Zhou (University of Leicester, United Kingdom) Prof.Mehmet Önder Efe (Hacettepe University, Turkey) _____________________________________________________ CALL FOR INVITED/SPECIALSESSIONS PROPOSALS _____________________________________________________ Invited and Special Session Organization is highlyencouraged. The goal of these invited/special sessions is to provide a forumfor focused discussions on new topics or innovative applications of establishedapproaches.  We arelooking to organize focused special (or invited) sessions: TheSpecial Session template is available here: https://codit2022.com/index.php/special-sessions https://codit2022.com/templates_CoDIT2022/Template_Special_Session_CODIT22.docx _____________________________________________________ COMMITTEES _____________________________________________________ Honorary co-Chairs Okyay Kaynak, Boğaziçi University, Turkey Mengchu Zhou, NewJersey Institute of Technology, USA General co-Chairs Lale Canan Dülger, İzmirUniversity of Economics, Turkey Bozenna Pasik-Duncan, Universityof Kansas, USA Enrique Herrera Viedma, Universityof Granada, Spain Program co-Chairs Christian Artigues, LAAS-CNRS,France Nizar Bouguila, ConcordiaUniversity, Canada Maria Pia Fanti, PolytechnicUniversity of Bari, Italy Achraf Jabeur Telmoudi, Universityof Tunis, Tunisia Work in progress co-chairs Marco C. Campi, Universityof Brescia, Italy Vilém Novák, Universityof Ostrava, Czech Republic Vincent Cocquempot, Universityof Lille, France Publication co-Chairs Mariagrazia Dotoli, Polytechnic University ofBari, Italy Nicholas Karampetakis, AristotleUniversity of Thessaloniki, Greece Special Sessions co-Chairs Joaquim Ferreira, Universidadede Aveiro, Portugal Giuseppe Franzè, Universityof Calabria, Italy Duc Pham, University ofBirmingham, United Kingdom Jianhua Zhang, OsloMetropolitan University, Norway _____________________________________________________   The organizing committeewill make maximum efforts to cope with COVID-19 related restrictions that maybe in place next year.   With our best regards,   On behalf of theorganizing committee Dr. Achraf J. Telmoudi Program co-chairof CoDIT2022 -------------- next part -------------- An HTML attachment was scrubbed... URL: From marjan.sirjani at mdh.se Fri Nov 19 09:09:45 2021 From: marjan.sirjani at mdh.se (Marjan Sirjani) Date: Fri, 19 Nov 2021 08:09:45 +0000 Subject: [fg-arc] =?iso-8859-1?q?Research_Positions_available_-_working_o?= =?iso-8859-1?q?n_Adaptive_Cyber-Physical_Systems_at_M=E4lardalen_Universi?= =?iso-8859-1?q?ty=2C_Sweden?= In-Reply-To: References: Message-ID: At Mälardalen University in Sweden, we have an extraordinary chance and a long-term plan to expand the department and hire competent researchers. Research Positions are announced to work on Adaptive Cyber-Physical Systems and their synthesis within the research lab for Cyber-Physical Systems Analysis. A PhD in Computer Science or Software Engineering is necessary. For more information see the links below. PostDoc Positions: The PostDoc Position has the condition of completion of the PhD degree not more than three years before the deadline. https://web103.reachmee.com/ext/I018/1151/job?site=8&lang=UK&validator=2efd9e54ee423d53334ac7960e3b4e03&job_id=1324 More senior researchers are welcome to apply using this link: https://web103.reachmee.com/ext/I018/1151/job?site=8&lang=UK&validator=2efd9e54ee423d53334ac7960e3b4e03&job_id=1321 Application deadline: Dec. 15, 2021 Contact Person: Marjan Sirjani (marjan.sirjani at mdh.se ) http://www.es.mdh.se/staff/3242-Marjan_Sirjani -------------- next part -------------- An HTML attachment was scrubbed... URL: From francesco.osborne at open.ac.uk Fri Nov 19 22:58:09 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Fri, 19 Nov 2021 21:58:09 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for PhD Symposium Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for PhD Symposium =========================== IMPORTANT DATES --------------- Submission deadline: February 19, 2022 (AoE Time) Notification of acceptance: March 19, 2022 (AoE Time) Camera-ready deadline: March 26 2022 (AoE Time) CALL --------------- The ICWE 2022 PhD Symposium aims to improve the research of PhD students and broaden their perspectives by giving them the opportunity to share and develop their research ideas in a supportive environment, get feedback from senior members of the Web engineering community, improve their communication skills, exchange ideas, and build relationships with other international Web engineering PhD students. This event will bring together PhD students working on topics related to the Web Engineering field. The goal is to provide a forum for PhD students to present ongoing research in a collaborative environment and share ideas with other young researchers in an international atmosphere. Accepted contributions will be presented in a dedicated conference session where participants will discuss their research ideas and results, and receive constructive feedback from an audience consisting of their peers as well as more senior experts in the field. In addition to that, students will be invited to participate at the poster sessions so that they also receive comments from other participants in the conference. PhD students carrying out research in Web Engineering are invited to submit a paper to the PhD Symposium, to be reviewed by the program committee members. We particularly encourage submissions from students who are at the last stages of their doctoral work, but with sufficient time prior to completing their dissertation, and from those who are in the beginning stages, but have a specific research proposal, who can obtain valuable feedback about their research plans. The criteria used for accepting a paper include potential quality of the research, contribution of the work to the field of Web Engineering, originality of the work, and overall quality of paper. All PhD Symposium papers will appear in the main conference proceedings that will be published in Springer LNCS. SUBMISSION INFORMATION --------------- Length: Submissions must not be longer than 6 (six) pages. Format: Submissions should be formatted according to the Springer LNCS guidelines (https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines) and must include: - Authors' names (Ph.D. student needs to be the first author) - Affiliation - A 150 words abstract - The name of the student's PhD supervisor(s) - The problem(s) that the proposed research is going to solve and the motivation for solving them - Related work: current approaches to solve this problem - The aims and objectives of the proposed research - The research methodology to be used to achieve the research goals, including a brief description of the work done to date and a tentative plan for future work - The main contribution(s) of the research to Web Engineering If accepted, the authors will need to provide Word/Latex sources following the standard Springer LNCS format for the camera-ready. Submission: Authors should submit their contributions to the ICWE 2022 submission site at EasyChair (indicating the type of submission): https://easychair.org/conferences/?conf=icwe2022 PHD SYMPOSIUM CHAIR --------------- Alessandro Bozzon, Delft University of Technology, The Netherlands CONTACT --------------- All questions about submissions should be emailed to phdchair.icwe2022 at webengineering.org Further information can be found at https://icwe2022.webengineering.org/ From andreas.wortmann at isw.uni-stuttgart.de Mon Nov 22 15:00:32 2021 From: andreas.wortmann at isw.uni-stuttgart.de (Wortmann, Andreas) Date: Mon, 22 Nov 2021 14:00:32 +0000 Subject: [fg-arc] Gemeinsamer CfP der Software Engineering 2022 Workshops Message-ID: <627320AA-A089-4B69-9EE8-10C0AFE60EC3@isw.uni-stuttgart.de> 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 & 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 -- Jun.-Prof. Dr. rer. nat. Andreas Wortmann Institute for Control Engineering of Machine Tools and Manufacturing Units (ISW) University of Stuttgart Seidenstr. 36 / Room 5.017 70174 Stuttgart GERMANY Tel: +49 711 685-84624 E-Mail: andreas.wortmann at isw.uni-stuttgart.de Web: http://www.isw.uni-stuttgart.de From francesco.osborne at open.ac.uk Sun Nov 21 21:37:07 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Sun, 21 Nov 2021 20:37:07 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Demos & Posters Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Demos & Posters =========================== IMPORTANT DATES --------------- Submission deadline (demos and posters): February 19, 2022 (AoE Time) Notification of acceptance: March 19, 2022 (AoE Time) Camera-ready deadline: March 26, 2022 (AoE Time) CALL --------------- Overview The International Conference on Web Engineering (ICWE) is the premier annual conference on Web Engineering and associated technologies. ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications, the problems of its associated technologies, and the impact of those technologies on society and culture. The track Demos and Posters of ICWE 2022 provides an unique forum for researchers and practitioners alike to showcase demonstrators, to present projects, to discuss preliminary research results, and obtain feedback from members of the Web Engineering community. * Demos ICWE 2022 sees significant value in demonstrations and aims to provide visibility and a discussion forum for state-of-the-art technical solutions, implementation experiences and recent research activities. The Demos track offers an exciting and highly interactive way of presenting and discussing demonstrators of promising research. It is an excellent way of showcasing prototypes and the applicability of your research. Submissions about open source software and commercial solutions are also welcome. Note that demonstrations should be brief so that they can be shown repeatedly. We particularly encourage demos with which attendees can interact. * Posters The Posters track invites researchers, practitioners, PhD students and others working in any area of Web Engineering, that do not have a demonstration, to submit a poster of their research. We solicit submission of original research, as well as experience and vision papers from both researchers and practitioners. Like Demos, Poster contributions may address any topic that fits within the ICWE 2022 topics of interest. Topics of interests (not exhaustively) includes the following: * Web application modelling and engineering * Web mining and knowledge extraction * Web Big Data and Web data analytics * Mobile Web applications * Web of Things applications * Social Web applications * Web crowdsourcing and human computation * Semantic Web, Web ontologies, and Linked Open Data applications * Web composition and mashups * Web user interfaces * Quality and accessibility aspects of Web applications * Web security and privacy * Web services, computing, and standards * Microservice architecture for Web applications * Cloud, fog, and edge computing for Web applications * Fairness of Web technology * User Modelling and Recommender Systems based on Web technology * Explainable Web technology SUBMISSION INFORMATION --------------- The submissions to the track Demo and Poster must include: * A description of the work (up to 4 pages in LNCS format including references) to be included into the proceedings of ICWE 2022. Authors should consult Springer’s authors’ guidelines and use proceedings templates as instructed at http://www.springer.de/comp/lncs/authors.html. Submissions should be in PDF format. * An appendix (in free format) informing what will be demonstrated and how the contributions will be illustrated interactively. For demos, the appendix should include a URL that points to a preliminary version of the demo (e.g., screenshots, videos, or a running system). For posters, it should include a link to download a poster in PDF format, A0 size. All submissions should through EasyChair using the link https://easychair.org/conferences/?conf=icwe2022 Publication of Accepted Submissions Camera-ready versions of accepted Demos and Posters submissions will be published in the ICWE 2022 main conference proceedings. At least one author of each accepted submission must register for the conference and present the work during the demos and posters sessions. The final version of each accepted paper must strictly adhere to the LNCS guidelines (http://www.springer.de/comp/lncs/authors.html) and must include a printable file of the camera-ready version as well as all required source files (either MS Word or Latex). No changes to the LNCS formatting rules are permitted. Authors of accepted papers must also download and sign a copyright form that will be made available in due time. DEMO & POSTER CHAIRS --------------- Yashar Deldjoo (Politecnico di Bari, Italy) Irene Garrigos (University of Alicante, Spain) Marco Tkalcic (University of Primorska, Slovenia) CONTACT --------------- All questions about submissions should be emailed to: pdchair.icwe2022 at webengineering.org From announce at cs.ucy.ac.cy Sun Nov 21 10:47:01 2021 From: announce at cs.ucy.ac.cy (Announce Announcements) Date: Sun, 21 Nov 2021 11:47:01 +0200 Subject: [fg-arc] ACM International Conference on Information Technology for Social Good (GoodIT 2022): Second Call for Contributions Message-ID: *** Second 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 • IT 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. Selected papers will be invited to submit an extended version to a special issue in the journal MDPI Sensors, where the theme of the special issue will be "Application of Information Technology (IT) to Social Good". Specifically 5 papers will be invited free of charge and another 5 papers will get a 20% discount on the publication fees. Furthermore, MDPI Sensors will sponsor a Best Paper Award with the amount of 400 CHF. 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 matthias.riebisch at uni-hamburg.de Tue Nov 23 17:42:12 2021 From: matthias.riebisch at uni-hamburg.de (Riebisch, Prof. Dr. Matthias) Date: Tue, 23 Nov 2021 16:42:12 +0000 Subject: [fg-arc] CfP Konferenz Modellierung2022 Message-ID: Aufruf zur Einreichung von wissenschaftlichen Beiträgen Konferenz Modellierung2022 https://qfam.gi.de/modellierung2022/ Ort und Zeit: Campus Finkenau der HAW Hamburg, 27.06.-01.07.2022 Modelle stellen eines der wichtigsten Hilfsmittel zur Beherrschung komplexer Systeme dar. Die Themenbereiche der Entwicklung, Nutzung, Kommunikation und Verarbeitung von Modellen sind so vielfältig wie die Informatik mit all ihren Anwendungen. Systeme über mehrere technische Plattformen hinweg, sowie die Einbeziehung des organisatorischen und technischen Umfelds in den Entwurf stellen zusätzliche Herausforderungen dar. Der Digital Twin als Abbildung der Eigenschaften von Systemen ist ein Konzept, das eine Unterstützung bei Bewältigung dieser Herausforderungen verspricht. Die Anwendung für Domänen wie Embedded Systems, Automatisierung, Fertigungstechnik, Smart City und Unternehmensorganisation verspricht viele Vorteile. Als Forum für Grundlagen, Methoden, Techniken, Werkzeuge sowie Domänen und Anwendungen der Modellierung hat sich die Fachtagung „Modellierung“, die vom Querschnittsfachausschuss Modellierung der GI seit 1998 durchgeführt wird, etabliert. Sie zeichnet sich durch aktuelle Themen, lebendige Diskussionen und engagierte Rückmeldungen aus Wissenschaft und Praxis aus. Erbeten wird die Einreichung von Originalbeiträgen mit hoher Qualität, die sich mit Fragestellungen zu den genannten Themengebieten beschäftigen. Im Umfeld des Vortragsprogramms sind Workshops zu speziellen Themen, Tutorien sowie ein Praxisforum geplant. Hierfür werden ebenfalls Vorschläge erbeten. Die Tagungssprache ist primär deutsch. Gleichwohl sind Einreichungen in englischer Sprache sowie Präsentationen englischsprechender Teilnehmerinnen und Teilnehmer ebenfalls willkommen. Persönliche Treffen ermöglichen Kontaktaufnahme und Erfahrungsaustausch in besonderer Weise. Deshalb soll diese Konferenz in Präsenz durchgeführt werden. Die Stadt Hamburg als Standort von Innovation, technologischem Fortschritt und Kultur bietet ein inspirierendes Umfeld für diese Veranstaltung. *Themen* Die nachfolgenden Themen für Beitragseinreichungen stellen Anregungen dar und sind keinesfalls abschließend zu verstehen. * Grundlagen* - (Domänenspezifische) Modellierungssprachen und ihre Semantik - (Nicht-)Ausführbarkeit von Modellen - Formale Grundlagen der Modellbildung (Logiken, Transitionssysteme, etc.) - Integration/Interoperabilität verschiedener Modellierungsbereiche - Komplexitätsreduktion und Skalierbarkeit - Meta-Modellierung - Modellbasiertes Testen - Modellbasierte Simulation, z.B. Modellbasierter Betrieb von Digital Twins - Modellqualität - Modelltransformationen, -evolution und –integration - Modellverifikation und –validierung - Muster in der Modellbildung - Ontologien in der Modellierung * Methoden, Techniken und Werkzeuge* - Aspektorientierte Modellierung - Business/IT-Alignment - Integrierte Modellierungsmethoden - Kollaborative Modellierung - Management von Modellen - Model Engineering - Model-Driven Architecture und Model-Driven Development - Modelle zur Laufzeit - Modellierung kontextsensitiver Systeme - Modellierung von Flexibilität - Modellierungswerkzeuge für domänenspezifische Sprachen - Modell-Repositories - Multi-View-Modellierung - Plattformen zur Entwicklung von Modellierungswerkzeugen - Standardisierung * Domänen und Anwendungen der Modellierung* - Modellierung mittels Digital Twins - Anforderungsmodellierung - Benutzermodellierung - Geschäftsprozessmodellierung - Modellierung eingebetteter Systeme - Modellierung in der Informationstechnik - Modellierung serviceorientierter IT-Systeme - Modellierung unternehmensweiter Ökosysteme - Modellierung sicherheitskritischer Systeme - Modellierung verteilter betrieblicher Informationssysteme - Open Models, Open Modeling - Referenzmodelle für spezielle Anwendungsbereiche - Unternehmensmodellierung und Unternehmensarchitekturen - Workflowmodellierung *Termine* Einreichungsschluss für Beiträge: 25.02.2022 Benachrichtigung der Autoren: 23.04.2022 Einreichung der druckfertigen Fassung: 16.05.2022 Konferenz: 29.06.-01.07.2022 *Einreichungen* Wissenschaftliche Beiträge können als Langbeiträge (mit bis zu 14 Seiten, zuzüglich bis zu 4 Seiten Literaturverzeichnis) und als Kurzbeiträge (bis zu 3 Seiten, zuzüglich bis zu 2 Seiten Literaturverzeichnis) über Easychair https://easychair.org/conferences/?conf=modellierung22 für die Konferenz eingereicht werden. Die Seitengrenzen sind verbindlich und schließen Anhänge mit ein. Der Tagungsband wird in der GI-Reihe Lecture Notes in Informatics (LNI) erscheinen. Die Gestaltung der Beiträge wird durch die LNI-Richtlinien https://gi.de/service/publikationen/lni/ bestimmt. Die Beiträge werden in Indizes wie dem DLBP gelistet. AutorInnen können angenommene Beiträge überarbeiten und bei entsprechenden Fachzeitschriften zur Publikation einreichen. *Format* Die Beiträge müssen verpflichtend die Autorenhinweise der LNI Reihe https://gi.de/fileadmin/GI/Hauptseite/Service/Publikationen/LNI/LNI-authorsinstructions-english.doc befolgen und zwecks einheitlichem Erscheinungsbild mit der bereitgestellten LaTeX-Formatvorlage https://mirrors.ctan.org/macros/latex/contrib/lni.zip erstellt werden. Die LaTeX-Dateien müssen mit der finalen Fassung des Beitrags eingereicht werden. *Leitung* Marina Tropmann-Frick, HAW Hamburg Matthias Riebisch, Universität Hamburg From jesse.heyninck at tu-dortmund.de Sun Nov 28 20:19:47 2021 From: jesse.heyninck at tu-dortmund.de (Heyninck, Jesse) Date: Sun, 28 Nov 2021 19:19:47 +0000 Subject: [fg-arc] CFP: 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) Message-ID: CALL FOR PAPERS 19th Conference on Principles of Knowledge Representation and Reasoning (KR2022) July 31 - August 5, 2022, Haifa, Israel https://kr2022.cs.tu-dortmund.de/ 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. ** IMPORTANT DATES ** * Submission of title and abstract: February 2, 2022 * Paper submission deadline: February 9, 2022 * Author response period: March 29-31, 2022 * Author notification: April 15, 2022 * Camera-ready papers: May 7, 2022 * Conference: July 31 - August 5, 2022 ** SCOPE ** We solicit papers presenting novel results on the principles of KR that clearly contribute to the formal foundations of relevant problems or show the applicability of results to implemented or implementable systems. We also welcome papers from other areas that show clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Topics of interest include, but are not limited to: - Applications of KR - Argumentation - Belief revision, belief update and belief merging - Commonsense reasoning - Computational aspects of knowledge representation - Concept formation, similarity-based reasoning - Contextual reasoning - Decision making - Description logics - Explanation finding, diagnosis, causal reasoning, abduction - Geometric, spatial, and temporal reasoning - Inconsistency- and exception-tolerant reasoning - KR and autonomous agents and multi-agent systems - KR and cognitive modelling - KR and cognitive reasoning - KR and cognitive robotics - KR and cognitive systems - KR and cyber security - KR and education - KR and game theory - KR and machine learning, inductive logic programming, knowledge acquisition - KR and natural language processing and understanding - KR and the Web, Semantic Web - Knowledge graphs and open linked data - Knowledge representation languages - Logic programming, answer set programming - Modelling and reasoning about preferences - Multi- and order-sorted representations and reasoning - Nonmonotonic logics, default logics, conditional logics - Ontology formalisms and models - Ontology-based data access, integration, and exchange - Philosophical foundations of KR - Qualitative reasoning, reasoning about physical systems - Reasoning about actions and change, action languages - Reasoning about constraints, constraint programming - Reasoning about knowledge, beliefs, and other mental attitudes - Uncertainty, vagueness, many-valued and fuzzy logics The KR2022 program will also feature workshops and tutorials, solicited by means of an open call, as well as a doctoral consortium. ** TRACKS AND SPECIAL SESSIONS ** In addition to the main conference track, KR2022 will host the following tracks and sessions: - Applications and Systems Track - Recently Published Research Track - Special Session on KR and Machine Learning - Special Session on KR and Robotics The Recently Published Research track, workshops, tutorials, and the doctoral consortium have different submission and notification dates, which are listed on the conference website. ** CO-LOCATED EVENTS ** KR 2022 will be held as part of the Federated Logic Conference (FLoC 2022) in Haifa, Israel (https://floc2022.org/), and will be co-located with the 20th International Workshop on Non-Monotonic Reasoning (NMR 2022) and the 35th International Workshop on Description Logics (DL 2022). ** AUTHOR GUIDELINES AND SUBMISSION INFORMATION ** All submissions must be written in English and formatted using the style files provided on the KR'22 website. Papers must be submitted in PDF format, through the EasyChair conference system: https://easychair.org/conferences/?conf=kr2022 For the main conference track and additional tracks/sessions (except for the Recently Published Research track), we invite - Full papers of up to 9 pages, including abstract, figures, and appendices (if any), but excluding references and acknowledgements. - Short papers of up to 4 pages, excluding references and acknowledgements. Both full and short 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, and to papers uploaded at public repositories (e.g., arXiv). Authors may optionally submit a separate PDF containing additional information that substantiates the claims made in their paper, such as proof details, additional experimental results, further details on experimental design, etc. If authors wish to make such material available to reviewers, they should do so by submitting a file through EasyChair, rather than by including links or references in their paper. The main paper must be self-contained, as the supplementary material will not be published. Reviewers will have the option, but not the obligation, to consult the supplementary material. The preceding submission guidelines apply to the main track, as well as to the Applications and Systems track, the KR & Machine Learning special session, and the KR & Robotics special session. Different submission guidelines apply to the Recently Published Research track, workshops, tutorials, and the Doctoral Consortium, which will be announced separately. ** CONFERENCE CHAIRS ** General Chair: Gerhard Lakemeyer (RWTH Aachen University, Germany) Program Chairs: Gabriele Kern-Isberner (TU Dortmund, Germany) Thomas Meyer (University of Cape Town and CAIR, South Africa) Workshop and Tutorial Chairs: Stefan Borgwardt (TU Dresden, Germany) Maria Vanina Martinez (University of Oxford, UK) Applications & Systems Track Chairs: Alessandro Antonucci (IDSIA, Switzerland ) Matthias Thimm (University of Hagen, Germany) Special Session on KR & Machine Learning Chairs: Steven Schockaert (Cardiff University, UK) Fabio Cozman (University of Sao Paulo, Brazil) Special Session on KR & Robotics Chairs: Gabriella Cortellessa (National Research Council, Italy) Enrico Motta (The Open University, UK) Recently Published Research Track Chairs: Ivan Varzinczak (Université d’Artois and CRIL, France) Sebastian Rudolph (TU Dresden, Germany) Doctoral Consortium Chairs: Giovanni Casini (ISTI - CNR Pisa, Italy) Jandson Santos Ribeiro Santos (University of Hagen, Germany) Local Chair: Ofer Arieli (Academic College of Tel Aviv-Yaffo, Israel Sponsorship Chairs: Martin Homola (Comenius University of Bratislava, Slovakia) Vladislav Ryzhikov Birkbeck (University of London, UK) Publicity Chairs: Elena Botoeva (University of Kent, UK) Jesse Heyninck (TU Dortmund, Germany, and University of Cape Town and CAIR, South Africa) Marco Wilhelm (TU Dortmund, Germany) Diversity and Inclusion Chairs: Renata Wassermann (University of Sao Paulo, Brazil) Yazmin Ibanez-Garcia (Cardiff University, UK) Abhaya Nayak (Macquarie University, Sydney, Australia) Wichtiger Hinweis: Die Information in dieser E-Mail ist vertraulich. Sie ist ausschließlich für den Adressaten bestimmt. Sollten Sie nicht der für diese E-Mail bestimmte Adressat sein, unterrichten Sie bitte den Absender und vernichten Sie diese Mail. Vielen Dank. Unbeschadet der Korrespondenz per E-Mail, sind unsere Erklärungen ausschließlich final rechtsverbindlich, wenn sie in herkömmlicher Schriftform (mit eigenhändiger Unterschrift) oder durch Übermittlung eines solchen Schriftstücks per Telefax erfolgen. Important note: The information included in this e-mail is confidential. It is solely intended for the recipient. If you are not the intended recipient of this e-mail please contact the sender and delete this message. Thank you. Without prejudice of e-mail correspondence, our statements are only legally binding when they are made in the conventional written form (with personal signature) or when such documents are sent by fax. -------------- next part -------------- An HTML attachment was scrubbed... URL: From diego.marcilio at usi.ch Mon Nov 29 12:32:37 2021 From: diego.marcilio at usi.ch (iFM 2022) Date: Mon, 29 Nov 2021 12:32:37 +0100 Subject: [fg-arc] iFM 2022 (Integrated Formal Methods): Call for Papers Message-ID: ========================================================== CALL FOR PAPERS iFM 2022 17th International Conference on integrated Formal Methods 7-10 June 2022, Lugano, Switzerland https://ifm22.si.usi.ch/ =========================================================== === COVID-19 === We are monitoring the COVID-19 pandemic development and are prepared to run the conference virtually or in a hybrid fashion in the unfortunate situation that a physical conference is not feasible. The paper selection process will not be affected and LNCS proceedings will be prepared regardless of whether the conference is held physically, virtually or in a hybrid fashion. === Important dates === - Abstract submission: January 14, 2022 - Paper submission: January 21, 2022 - Paper notification: March 18, 2022 - Artefact submission: March 28, 2022 - Artefact notification: April 15, 2022 - Camera-ready: April 15, 2022 - iFM conference: June 7-10, 2022 Deadlines expire at 23:59 anywhere on earth on the dates displayed above. Submission site: https://easychair.org/conferences/?conf=ifm2022 === Objectives and scope === In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and efficient analysis of software-intensive systems. These approaches provide powerful support for the analysis of different functional and non-functional properties of the systems, complex interaction of components of different nature as well as validation of diverse aspects of system behaviour. The iFM conference series is a forum for discussing recent research advances in the development of integrated approaches to formal modelling and analysis. The conference covers all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support and the use of such techniques in software engineering practice. To credit the effort of tool developers, we introduce EAPLS artefact badging (https://eapls.org/pages/artifact_badges/) in this edition of iFM. Areas of interest include but are not limited to: - Formal and semi-formal modelling notations - Combining formal methods with different performance, simulation and system analysis techniques - Program verification, model checking, and static analysis - Theorem proving, decision procedures and SAT/SMT solving - Runtime analysis, monitoring and testing - Program synthesis - Modelling, analysis and synthesis of cyber-physical, hybrid, embedded, probabilistic, distributed or concurrent systems - Abstraction and refinement - Model learning and inference - Approaches to integrating formal methods into software engineering practice or industry - Approaches to integrating formal methods into standardisation or certification processes - Formal methods for AI - Tools and case studies supporting the integration of formal methods === Paper Categories === iFM 2022 solicits high-quality papers reporting research results and/or experience reports related to the overall theme of formal methods integration. We accept papers in the following categories: (1) Regular papers (limit 16 pages) on - original scientific research results - tools, their foundation and evaluations - applications of formal methods, including rigorous evaluations (2) Short papers (limit 6 pages) on - any subject of interest in the area of formal methods that can be described with sufficient detail within the page limit (3) Journal-First papers (limit 4 pages) - summarising recently published papers in high-quality journals All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion. Regular and short papers submitted in categories (1) and (2) must be original, unpublished, and not submitted for publication elsewhere. Papers in these two categories will undergo a thorough review process. Submissions will be judged on the basis of significance, relevance, correctness, originality and clarity. The aim of journal-first papers in category (3) is to further enrich the program of iFM and to provide more visibility to an already published journal papers in the scope of the iFM conference. Authors of published papers in high-quality journals can submit a proposal to present their journal paper in iFM. The published journal paper must adhere to the following four criteria: - It should be clearly within the scope of the conference. - It should be recent: it should have been accepted and made publicly available in a journal (online or in print) by 1 July 2019 or more recently. - It should report new research results that significantly extend prior work – as opposed to simply extending prior conference work with material such as proofs, algorithms or minor enhancements. - It has not been presented at, and is not under consideration for, journal-first tracks of other conferences or workshops. The 4-page submission to iFM for category (3) should provide a concise summary of the published journal paper, which makes it clear - why its topics fits iFM’s scope, and - why a presentation of its results would enrich the programme of iFM. Journal-first submissions must be marked as such in the submission’s title, and must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on. Submissions will be judged on the basis of the above criteria, but also considering how well they would complement the conference’s technical programme. === Submission guidelines === Submissions for all categories should be made using the iFM 2022 EasyChair site: https://easychair.org/conferences/?conf=ifm2022 Submissions must be in PDF format, using the Springer LNCS style files. Springer requires that authors should consult Springer’s authors’ guidelines (ftp://ftp.springernature.com/cs-proceeding/svproc/guidelines/Springer_Guidelines_for_Authors_of_Proceedings.pdf) and use their proceedings templates, either for LaTeX (ftp://ftp.springernature.com/cs-proceeding/llncs/llncs2e.zip) or for Word (ftp://ftp.springernature.com/cs-proceeding/llnc/word/splnproc1703.zip), for the preparation of their papers. Springer encourages authors to include their ORCIDs (https://goo.gl/hbsa4D) in their papers. After a paper is accepted, 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 conference proceedings will be published in Springer's Lecture Notes in Computer Science series. A special issue of the Formal Aspects of Computing journal is planned for extended versions of selected papers from iFM 2022. All accepted papers must be presented at the conference. At least one author of each accepted paper must register to the conference by the early registration date. === EAPLS Artefact Badging === Reproducibility of experiments is crucial to foster an atmosphere of open, reusable and trustworthy research. To improve and reward reproducibility and to give more visibility and credit to the effort of tool developers in our community, authors of accepted papers will be invited to submit possible artefacts associated with their paper for evaluation, and based on the level of reproducibility they will be awarded one or more badges. See https://eapls.org/pages/artifact_badges/ for details. Artefact submission is optional and the result of the artefact evaluation will not alter the paper's acceptance decision. Detailed guidelines for the preparation and submission of the artefacts will be made available on the iFM website. === Organisation === = General Chair = - Carlo A. Furia (USI Università della Svizzera Italiana, Switzerland) = PC Chairs = - Maurice H. ter Beek (ISTI-CNR, Italy) - Rosemary Monahan (Maynooth University, Ireland) = Journal First Track Chairs = - Ferruccio Damiani (University of Torino, Italy) - Marieke Huisman (University of Twente, Netherlands) = Artefact Evaluation Committee Chairs = - Alessio Ferrari (ISTI-CNR, Italy) - Marie-Christine Jakobs (TU Darmstadt, Germany) = PhD-iFM Symposium Chairs = - Marie Farrell (Maynooth University, Ireland) - João F. Ferreira (University of Lisbon, Portugal) = Program Committee = - Erika Ábrahám (RWTH Aachen University) - Yamine Aït Ameur (University of Toulouse) - Petra van den Bos (University of Twente) - Giovanna Broccia (ISTI-CNR, Pisa) - Ana Cavalcanti (University of York) - Ivana Černá (Masaryk University) - Louise A. Dennis (University of Manchester) - John Derrick (University of Sheffield) - Brijesh Dongol (University of Surrey) - Einar Broch Johnson (University of Oslo) - Rajeev Joshi (Amazon Web Services) - Nikolai Kosmatov (CEA List, Saclay) - Michael Leuschel (University of Düsseldorf) - Alberto Lluch Lafuente (Technical University of Denmark) - Matt Luckcuck (Maynooth University) - Anamaria Martins Moreira (Federal University of Rio de Janeiro) - Dominique Méry (LORIA and University of Lorraine) - Stephan Merz (INRIA Nancy) - Luigia Petre (Åbo Akademi University) - André Platzer (Carnegie Mellon University) - Jaco van de Pol (Aarhus University) - Kostis Sagonas (Uppsala University) - Gerhard Schellhorn (University of Augsburg) - Emil Sekerinski (McMaster University) - Marjan Sirjani (Mälardalen University) - Volker Stolz (Western Norway University of Applied Sciences) - Silvia Lizeth Tapia Tarifa (University of Oslo) - Helen Treharne (University of Surrey) - Elena Troubitsyna (KTH Royal Institute of Technology) - Frits W. Vaandrager (Radboud University, Nijmegen) - Andrea Vandin (Sant'Anna School of Advanced Studies, Pisa) - Heike Wehrheim (University of Oldenburg) - Anton Wijs (Eindhoven University of Technology) - Kirsten Winter (University of Queensland) - Burkhart Wolff (Université Paris-Saclay) - Naijun Zhan (Chinese Academy of Sciences) === Local Organisation === = Web Chair = - Mohammad Rezaalipour (USI Università della Svizzera italiana, Switzerland) = Publicity Chair = - Diego Marcilio (USI Università della Svizzera italiana, Switzerland) = Finance Chairs = - Elisa Larghi (USI Università della Svizzera italiana, Switzerland) - Roberto Minelli (USI Università della Svizzera italiana, Switzerland) From francesco.osborne at open.ac.uk Mon Nov 29 11:45:57 2021 From: francesco.osborne at open.ac.uk (Francesco.Osborne) Date: Mon, 29 Nov 2021 10:45:57 +0000 Subject: [fg-arc] CfP International Conference on Web Engineering, ICWE 2022 - Call for Contributions Message-ID: ------------------------------------------------ ICWE 2022 22nd International Conference on Web Engineering Bari, Italy | July 5-8, 2022 http://icwe2022.webengineering.org/ ------------------------------------------------ Call for Contributions ================== IMPORTANT DATES --------------- * Abstract submission: January 22, 2022 (AoE Time) * Full paper submission: January 29, 2022 (AoE Time) * Paper notification: March 12, 2022 (AoE Time) * Camera-ready paper: March 26, 2022 (AoE Time) ICWE 2022 AT A GLANCE --------------- The International Conference on Web Engineering (ICWE) is the premier annual conference on Web Engineering and associated technologies. ICWE aims to bring together researchers and practitioners from various disciplines in academia and industry to tackle the emerging challenges in the engineering of Web applications, the problems of its associated technologies, and the impact of those technologies on society and culture. The 22nd edition of ICWE will accept contributions on a wide spectrum of topics related to Web Engineering, such as, among others: - Web application modelling and engineering - Web mining and knowledge extraction - Web Big Data and Web data analytics - Mobile Web applications - Web of Things applications - Social Web applications - Web crowdsourcing and human computation - Semantic Web, Web ontologies, and Linked Open Data applications - Web composition and mashups - Web user interfaces - Quality and accessibility aspects of Web applications - Web security and privacy - Web services, computing, and standards - Microservice architecture for Web applications - Cloud, fog, and edge computing for Web applications - Fairness of Web technology - User Modelling and Recommender Systems based on Web technology - Explainable Web technology In addition to the research track, ICWE 2022 also seeks contributions of demos and posters, student papers to the PhD Symposium, tutorials, and workshops, which will be subject of individual calls. The conference will be held at Politecnico di Bari in Bari, Italy. Bari is a lively city located in the South-East part of Italy, easily reachable by car, train, and plane. Further information can be found at http://icwe2022.webengineering.org/. ORGANIZATION --------------- General Chair: - Tommaso Di Noia, Politecnico di Bari, Italy Program Co-Chairs: - Markus Schedl, Johannes Kepler University (JKU) Linz, Austria - In-Young Ko, Korea Advanced Institute of Science and Technology (KAIST), South Korea SUBMISSIONS TO THE RESEARCH TRACK --------------- This call addresses research contributions in one of the following categories: * Full papers: mature, original research contribution. Reported results must be supported by some type of validation, and also include a justification about the choice/suitability of the validation method. In addition, evidence of use in practice and/or demonstration of scalability is regarded as a plus. (15 pages) * Short papers: short papers presenting a discussion – analysis, criticism, proposal, etc. – about relevant aspects of Web engineering topics. These papers are intended to generate discussions that promise potential for research that will impact Web engineering in the coming years. (8 pages) Papers must be formatted according to the information for Springer LNCS authors at http://www.springer.de/comp/lncs/authors.html and submitted in PDF format. Papers submitted to ICWE 2022 must not be under review elsewhere while under consideration for ICWE 2022, nor may have been already previously published elsewhere. Please note that we strongly discourage authors to upload their ICWE submissions to arXiv while still being under review since doing so may hamper anonymity. Submissions that are not in compliance with the required submission format or that are out of the scope of the conference will be desk rejected without reviewing. Accepted contributions will be included into the ICWE 2022 Springer LNCS proceedings. The best papers will be selected to be proposed, in extended form, as part of a special issue of the Journal of Web Engineering. 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, through which the copyright for their paper is transferred to Springer. Submissions and reviewing are supported by the EasyChair system at https://easychair.org/conferences/?conf=icwe2022. CONTACT --------------- All questions about submissions should be emailed to icwe2022 at easychair.org. Further information can be found at http://icwe2022.webengineering.org. From fm-announcements at lists.nasa.gov Tue Nov 30 17:49:43 2021 From: fm-announcements at lists.nasa.gov (Havelund, Klaus (US 348B) via fm-announcements) Date: Tue, 30 Nov 2021 16:49:43 +0000 Subject: [fg-arc] [fm-announcements] NFM 2022 - call for papers - DEADLINE EXTENSION! Message-ID: <9FBA254A-66F9-41C3-A707-4BD78E9F8C07@jpl.nasa.gov> NFM 2022 - FOURTH 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%7Cf01bc51aee4b418a47a708d9b4216bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637738877909068598%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=NKatWoEOrMVWLqwdDQKlMBuoqRXOe0qwFrBbjADMUfM%3D&reserved=0 May 24-27, 2022 Pasadena, California, USA *** EXTENDED SUBMISSION DEADLINE: January 10, 2022 *** 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: January 3, 2021 *** extended *** - Paper Submission: January 10, 2021 *** extended *** - Paper Notifications: February 28, 2022 - Camera-ready Papers: March 28, 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%7Cf01bc51aee4b418a47a708d9b4216bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637738877909068598%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=52Qtk90C98IoTrtdDtq1zWu7trAOLVEDPf08Tq3hU5A%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%7Cf01bc51aee4b418a47a708d9b4216bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637738877909068598%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=0tjTfX5xq6QHnWhldhpEYAoWr5Ym8vtkitdz8k%2FvUac%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%7Cf01bc51aee4b418a47a708d9b4216bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637738877909068598%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=VRyo37k6itg2pwAf252fweCwd0l15X79jO0rYGwYN4E%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%7Cf01bc51aee4b418a47a708d9b4216bcf%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C637738877909068598%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000&sdata=ugvicysjXvam07uylZw3eThcEVwZPgGT8q9pfEhTp9Y%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