From announce at ucy.ac.cy Fri Mar 1 16:01:01 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 1 Mar 2024 15:01:01 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: Last Call for DC Papers Message-ID: *** Last Call for Doctoral Consortium Papers *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 8th March, 2024 AoE ***) The CAiSE conference series has a proud track record of running an international Doctoral Consortium affiliated with the event. The CAiSE'24 Doctoral Consortium aims to attract PhD students working on foundations, techniques, tools and applications in the Information Systems Engineering field. At the Doctoral Consortium, the participating PhD students will have the opportunity to present their research and to get feedback from an audience of peers and senior faculty in a supportive environment. There will also be discussions tailored to the needs and interests of PhD students. The goals of the Doctoral Consortium are to ensure that participating PhD students: • receive constructive and personalized feedback and advice on their research program by dedicated Doctoral Consortium mentors, • provide an opportunity to meet, interact with and learn from established researchers and practitioners in the Information Systems Engineering community, • develop a supportive community of peer scholars and a spirit of collaborative research, • discuss broader opportunities and concerns related to a PhD study and post-PhD pathways. To be eligible for the Doctoral Consortium, the candidate must be a current PhD student within a recognized research institution. We welcome submissions of both late-stage PhD students (having at least 6 months of work after the conference and before their expected completion), and early-stage PhD students (with at least 6 months of work already performed prior to the submission date). WHY SUBMITTING TO THE CAiSE'24 DOCTORAL CONSORTIUM? The CAiSE'24 Doctoral Consortium will be attended by renowned academics from the Information Systems Engineering field who will actively participate as mentors for the PhD students accepted to the Doctoral Consortium. The participating PhD students will receive constructive reviews on their submission, as well as personalized guidance by Doctoral Consortium mentors regarding their research program and presentation at the Consortium event. Accepted papers will be published in the CEUR proceedings (https://ceur-ws.org/), which are indexed in DBLP. Participants of the CAiSE Doctoral Consortium will be subsequently eligible to submit their PhD thesis (after the degree is granted) for a CAiSE PhD Award. SUBMISSION PROCESS Submissions must be made electronically by the stated deadline via the EasyChair conference system at https://easychair.org/conferences/?conf=caise2024 . Each submission should contain (i) a recommendation letter from the student’s PhD advisor, and (ii) a paper describing the research plans and the current status of progress (see more details in the Paper Submission Guidelines section). Submissions must have a single author, but the name of the PhD advisors should be mentioned in the paper (usually in the Acknowledgments section). Submissions should concern original research. All submitted materials must be in English. Attendees must have sufficient proficiency in English for being allowed to participate in the academic discussions of the Consortium. Submissions of both early and late-stage PhD students are welcome. Submissions of early-stage PhD students should concentrate on the selection of the research methods to apply, the realization and contextualization of the relevant literature, the expected pitfalls and ways to mitigate them. Submissions of late-stage PhD students should also include preliminary research results and discuss to some extent conclusions and threats. The recommendation letter from the PhD advisor should include an assessment of the current status of the research, an expected date for the completion of the dissertation, a delineation of the anticipated benefits for the student's participation at the Consortium and details of any submissions associated with the research. PAPER CONTENT AND FORMAT The paper must: • clearly formulate the research questions investigated in the thesis, • identify a significant problem in the field of Information System Engineering, • outline the current status of the problem domain and related solutions, • describe the research methods that are applied or proposed and the expected artifacts, • outline the contributions of the applicant’s work to the problem domain and highlight their uniqueness, • present any preliminary results achieved so far (mainly relevant for late-stage PhD students), • conform to the CEURART template using the 1-column layout format (thus, NOT the Springer LNCS format and NOT in multiple column layouts); the most recent template (including Word and LaTeX) can be downloaded from http://ceur-ws.org/Vol-XXX/index.html, • contain up to 4,000 words (including everything, e.g., references, tables, figures). REVIEW PROCESS Each submission will be reviewed by two members of the Doctoral Consortium Mentoring Board. The main evaluation criteria are: relevance, originality, significance, technical soundness, accuracy, clarity and the expected benefits to the student from participating in the Doctoral Consortium. Acceptance is based on the review outcomes. ATTENDANCE AND REGISTRATION FEE The Doctoral Consortium is held in parallel with the main CAiSE conference on 5-7 June 2024. The presentations and decisions are expected to take place in person, so attendance in the entire Doctoral Consortium is required. To facilitate detailed feedback to the participants, attendance to the Doctoral Consortium is by invitation only, limited to the participants and the Mentoring Board. There is no separate registration fee for participants in the Doctoral Consortium. Participants should register to the main conference by selecting either the “Main conference” option or another option that includes the main conference. IMPORTANT DATES • Paper Submission: 8th March 2024 (AoE) • Notification of Acceptance: 19th April 2024 • Camera-ready Copy: 26th April 2024 • Doctoral Consortium: 5th-7th June 2024 QUESTIONS AND INQUIRIES Questions about eligibility and other inquiries can be sent to the CAiSE’24 Doctoral Consortium chairs at caise2024_dc at easychair.org . MENTORING BOARD • Raimundas Matulevičius, University of Tartu, Estonia • Massimo Mecella, Sapienza University of Rome, Italy • Barbara Pernici, Politecnico di Milano, Italy • Jolita Ralyte, University of Geneva, Switzerland • Hajo Reijers, Utrecht University, the Netherlands • Monique Snoeck, KU Leuven, Belgium • Barbara Weber, University of St. Gallen, Switzerland • Jelena Zdravkovic, Stockholm University, Sweden DOCTORAL CONSORTIUM CHAIRS • Iris Reinhartz-Berger, University of Haifa, Israel • Chiara Di Francescomarino, University of Trento, Italy • Aggeliki Tsohou, Ionian University, Greece -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Mar 2 11:48:40 2024 From: announce at ucy.ac.cy (Announce) Date: Sat, 2 Mar 2024 10:48:40 +0000 Subject: [fg-arc] CAiSE'24 Forum: Last Mile for Papers and Tool Demonstrations Submissions Message-ID: <6V7S6NXK-Q5P3-VYS2-SVWB-J7K5XOZDSZ2M@ucy.ac.cy> *** CAiSE'24 Forum: Last Mile for Papers and Tool Demonstrations Submisions *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 11th March, 2024 AoE (extended) ***) (*** Proceedings will be published by Springer in LNBIP ***) The CAiSE Forum is a space within the CAiSE conference to present and discuss the new exciting ideas and tools related to Information Systems Engineering. The Forum intends to serve as an interactive platform, encourage potential authors to present emerging topics and controversial positions, and demonstrate innovative systems, tools, and applications. The Forum sessions at the CAiSE conference will facilitate the interaction, discussion, and exchange of ideas among presenters and participants. Contributions to the CAiSE'24 Forum are welcome to address any of the CAiSE'24 conference topics and, particularly, this year's theme—Information Systems in the Age of Artificial Intelligence. We invite two types of submissions: • Visionary papers present innovative research projects, which are still at a relatively early stage and do not necessarily include a full-scale validation. Visionary papers will be presented as posters in the Forum. • Demo papers describe innovative tools and prototypes that implement the results of research efforts. The tools and prototypes will be presented as demos in the Forum, accompanied by a poster. Both visionary papers and demo papers must not exceed 8 pages in LNCS format. See authors' guidelines at the Springer site: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines . Papers should be submitted in PDF format through the conference management system available at Easy Chair (https://easychair.org/my/conference?conf=caise2024) and select the Forum option. The submitted papers must be unpublished and must not be under review elsewhere. PUBLICATION AND PRESENTATIONS Accepted papers will be published by Springer in a CAiSE Forum proceedings volume within the Lecture Notes in Business Information Processing (LNBIP) series (https://www.springer.com/series/7911). Authors should consult Springer's authors guidelines and use their LaTeX or Word proceedings templates for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. In addition, the corresponding author of each paper, acting on behalf of all of the authors of that paper, must complete and sign a Consent-to-Publish form. The corresponding author signing the copyright form should match the corresponding author marked on the paper. Once the files have been sent to Springer, changes relating to the authorship of the papers cannot be made. It is expected that at least one of the authors attends CAiSE'24, presents the poster/delivers the demo, and interacts with the Forum participants. We also envision a short oral presentation for all papers to attract participants to the posters. IMPORTANT DATES • Paper Submission Deadline: 11th March, 2024 (extended) (AoE) • Notification of Acceptance: 1st April, 2024 • Camera-ready Deadline: 8th April, 2024 • Author Registration Deadline: 8th April, 2024 FORUM CHAIRS • Shareeful Islam, Anglia Ruskin University, United Kingdom • Arnon Sturm, Ben-Gurion University of the Negev, Israel FORUM COMMITTEE • Steven Alter, University of San Francisco • Abel Armas Cervantes, The University of Melbourne • Giuseppe Berio, Université de Bretagne Sud and IRISA UMR 6074 • Drazen Brdjanin, University of Banja Luka • Corentin Burnay, University of Namur • Cinzia Cappiello, Politecnico di Milano • Suphamit Chittayasothorn, King Mongkut's Institute of Technology Ladkrabang • Maya Daneva, University of Twente • Sergio de Cesare, University of Westminster • Johannes De Smedt, KU Leuven • Marne de Vries, University of Pretoria • Michael Fellmann, University of Rostock • Christophe Feltus, Luxembourg Institute of Science and Technology • Hans-Georg Fill, University of Fribourg • Janis Grabis, Riga Technical University • Sergio Guerreiro, INESC-ID / Instituto Superior Técnico • Martin Henkel, Stockholm University • Jennifer Horkoff, Chalmers University of Technology • Shareeful Islam, Anglia Ruskin University • Janis Kampars, RTU • Evangelia Kavakli, University of the Aegean • Marite Kirikova, Riga Technical University • Janne J. Korhonen, Aalto University • Elena Kornyshova, CNAM • Agnes Koschmider, University of Bayreuth • Chung Lawrence, University of Texas at Dallas • Henrik Leopold, Kühne Logistics University • Tong Li, Beijing University of Technology • Beatriz Marín, Universidad Politecnica de Valencia • Andrea Marrella, Sapienza University of Rome • Raimundas Matulevicius, University of Tartu • Jose Ignacio Panach Navarrete, Universitat de València • Oscar Pastor, Universidad Politécnica de Valencia • Francisca Pérez, Universidad San Jorge • Pierluigi Plebani, Politecnico di Milano • Manuel Resinas, University of Seville • Genaina Rodrigues, University of Brasilia • Ben Roelens , Open Universiteit, Ghent University • Mattia Salnitri, Politecnico di Milano • Stefan Strecker, University of Hagen • Arnon Sturm, Ben-Gurion University of the Negev • Irene Vanderfeesten, Katholieke Universiteit Leuven • Yves Wautelet, Katholieke Universiteit Leuven • Hans Weigand, Tilburg University • Manuel Wimmer, Johannes Kepler University Linz • Anna Zamansky, University of Haifa -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sun Mar 3 10:35:00 2024 From: announce at ucy.ac.cy (Announce) Date: Sun, 3 Mar 2024 09:35:00 +0000 Subject: [fg-arc] 12th IEEE International Conference on Intelligent Systems: Invited Session on Intelligent Tools in e/m/d Learning Message-ID: *** Second Call for Papers *** 12th IEEE International Conference on Intelligent Systems (IS'24) Invited Session on Intelligent Tools for e/m/d Learning August 29-31, 2024, Golden Sands Resort, Varna, Bulgaria https://www.ieee-is.org (*** Submission Deadline: April 1, 2024 AoE ***) This invited session aims to explore state-of-the-art advancements in intelligent tools designed to revolutionize the landscape of e-learning (electronic learning), m-learning (mobile learning) and d-learning (digital learning). With the rapid integration of technology into education, there is a growing need to investigate and showcase innovative intelligent solutions that can enhance the effectiveness of online, mobile and digital learning environments. Intelligent solutions for the educational context can have a groundbreaking and revolutionary impact on learners and faculty alike, with integrated educational tools offering enhanced engagement, support for different learning levels, styles and abilities, and personalized learning experiences with immediate feedback at its core. Papers submitted to this session are expected to present results on various aspects of intelligent tools for e-learning, m-learning and d-learning. Topics may include but are not limited to adaptive learning systems, personalized learning experiences, artificial intelligence-driven content creation, data analytics for educational insights, and the integration of emerging technologies such as augmented reality and virtual reality in educational settings. Authors are encouraged to share empirical research, case studies, and practical implementations that demonstrate the impact of intelligent tools on learner/faculty engagement, knowledge retention, and overall educational outcomes. The session aims to provide a comprehensive overview of the current state-of-the-art in intelligent tools in e-learning, m-learning and d-learning, fostering discussions on their implications for the future of education and their potential to address challenges in diverse learning environments and educational levels, as well as diverse learner ability. PAPER SUBMISSION INSTRUCTIONS Submitted papers should be in IEEE 2-column format and should adhere to the template available here: https://www.ieee-is.org/wp-content/uploads/2024/02/IS_A4_format-AAu.docx The expected paper length in camera-ready format should not exceed 6 pages. Submissions should be done in PDF using Easy Chair and the submission link is: https://easychair.org/conferences/?conf=itl24 . PUBLICATION All accepted papers will be included in the IS'24 proceedings to be published by IEEE. The proceedings of the previous editions of IS can be found here: https://ieeexplore.ieee.org/xpl/conhome/1000395/all-proceedings . Traditionally, extended versions of conference-selected papers appear within 1-2 years after the conference dates in well-known international iournals and/or post-conference books. More information can be found on the conference web site (https://www.ieee-is.org/publication-information/ ). CONTACT POINT For any additional information or clarification please contact the Invited Session Chair, George A. Papadopoulos at george at ucy.ac.cy . IMPORTANT DATES • Paper submission: April 1, 2024, AoE • Notification: May 15, 2024 • Camera Ready: June 6, 2024 • Author Registration: June 6, 2024 ORGANISATION Committees https://www.ieee-is.org/program-committee/ Invited Session Chair • George A. Papadopoulos, University of Cyprus, Cyprus (george at ucy.ac.cy) -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Mar 4 15:46:29 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 4 Mar 2024 14:46:29 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: Last Mile for Workshop Papers Submission Message-ID: *** Last Mile for Workshop Papers Submission *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 18th March, 2024 AoE (extended) ***) ( *** Workshops Proceedings will appear in the LNBIP series by Springer ***) CAiSE is a well-established, highly visible conference series on Advanced Information Systems (IS) Engineering. It covers all relevant topics in the area, including methodologies and approaches for IS engineering, innovative platforms, architectures and technologies, and engineering of specific kinds of IS. CAiSE conferences also have the tradition of hosting workshops in related fields. Workshops are intended to focus on particular topics and provide ample room for discussions of new ideas and developments. Accepted workshop papers of some workshops will be published by Springer in the LNBIP series. CAiSE'24, the 36th edition of the CAiSE series, will host the following workshops. For more information for each workshop please visit the workshops' web sites. CAiSE'24 WORKSHOPS • 3rd International Workshop on Agile Methods for Information Systems Engineering (Agil-ISE) https://agilise.github.io/2024/index.html • International Workshop on Blockchain for Information Systems (BC4IS24) and Blockchain for Trusted Data Sharing (B4TDS) https://pros.unicam.it/bc4isb4tds/ • 2nd International Workshop on Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems (HybridAIMS) https://hybridaims.com/ • 2nd Workshop on Knowledge Graphs for Semantics-driven Systems Engineering https://www.omilab.org/activities/events/caise2024_kg4sdse/ • 16th International Workshop on Enterprise & Organizational Modeling and Simulation (EOMAS 2024) https://eomas2024.fel.cvut.cz/ • Digital Transformation with Business Process Mining (DigPro2024) https://digpro.iiita.ac.in/ IMPORTANT DATES • Abstract Submission Deadline (optional): 11th March, 2024 (AoE) • Paper Submission Deadline: 18th March, 2024 (AoE) (*** extended ***) • Notification of Acceptance: 1st April, 2024 • Camera-ready Deadline: 5th April, 2024 • Author Registration Deadline: 10th April, 2024 WORKSHOP CHAIRS • João Paulo A. Almeida, Federal University of Espírito Santo, Brazil • Claudio di Ciccio, Sapienza University of Rome, Italy • Christos Kalloniatis, University of the Aegean, Greece -------------- next part -------------- An HTML attachment was scrubbed... URL: From sandro.speth at iste.uni-stuttgart.de Mon Mar 4 17:43:58 2024 From: sandro.speth at iste.uni-stuttgart.de (Speth, Sandro) Date: Mon, 4 Mar 2024 16:43:58 +0000 Subject: [fg-arc] =?utf-8?q?10=2E_Treffen_des_Arbeitskreises_f=C3=BCr_Mic?= =?utf-8?q?roservices_und_DevOps?= Message-ID: <48C2428E-3CB1-48D7-9CD2-C69A2995E093@iste.uni-stuttgart.de> Liebe Microservices- und DevOps-Interessierte, Wie Sie vielleicht bereits mitbekommen haben, wird das nächste Treffen des Arbeitskreises Microservices und DevOps am 4. und 5. April 2024 in München bei der Microsoft Deutschland GmbH stattfinden. In der Tradition der vergangenen Treffen möchten wir auch gern wieder ein kleines Vortragsprogramm anbieten. Hierfür suchen wie leider immer noch ein paar motivierte Speaker, insb. aus der Industrie. Infos zum Treffen, eine kostenfreie Anmeldung zum Treffen und die Möglichkeit einen Talk vorzuschlagen finden Sie unter: https://ak-msdo.gi.de/veranstaltung/10-treffen-des-arbeitskreises-msdo Viele Grüße im Namen des gesamten Leitungsgremiums, Sandro Speth, M.Sc. Institute of Software Engineering University of Stuttgart Universitätsstraße 38 70569 Stuttgart Germany Room: 1.336 Web: https://www.iste.uni-stuttgart.de/sqa/team/Speth Phone: +49 711 685 61693 -------------- next part -------------- An HTML attachment was scrubbed... URL: From Cassia.Trojahn at irit.fr Wed Mar 6 09:34:25 2024 From: Cassia.Trojahn at irit.fr (Cassia TROJAHN) Date: Wed, 06 Mar 2024 09:34:25 +0100 Subject: [fg-arc] =?utf-8?q?=5BFOIS2024=5D=5BCfP=5D_FOIS_2024_deadline_ex?= =?utf-8?q?tension_main_track=3A_18_March_2024_=28AoE=29?= Message-ID: <9ab7-65e82a80-c3-11d473c0@69535394> (Apologies for cross postings) [FOIS2024][CfP] FOIS 2024 deadline extension main track NEWS: - new deadline submission: 18 March 2024 (AoE) ============================ 14th International Conference on Formal Ontology in Information Systems (FOIS 2024) 15-19 July 2024 (Enschede, Netherlands) - 08-09 July 2024 (online) Website: https://www.utwente.nl/en/eemcs/fois2024/ Paper submission deadline (extended): 04 March 2024 (AoE) ============================ **Definition & scope** The FOIS conference is a meeting point for all researchers interested in formal ontology. Formal ontology is the systematic study of the types of entities and relations comprising the domains of interest represented in modern information systems. The conference encourages the submission of high-quality, not previously published results on both theoretical issues and practical advancements. FOIS 2024 will have distinct tracks for foundational issues, ontology applications and methods, and domain ontologies. FOIS is the flagship conference of the International Association for Ontology and its Applications (IAOA), a non-profit organization promoting interdisciplinary research and international collaboration in formal ontology. FOIS 2024 will be held both online and in Enschede, the Netherlands, by the Semantics, Cybersecurity & Services group of the University of Twente. **Submission types** FOIS 2024 seeks three types of full-length (14 pages) high-quality papers on a wide range of topics: * Foundational papers address content-related ontological issues, their formal representation, and their relevance to some aspect of information systems. * Application and Methods papers address novel systems, methods, and tools related to building, evaluating, or using ontologies, emphasizing the impact of ontology contents. * Domain ontology papers describe a novel ontology for a specific realm of interest, clarifying ontological choices against requirements and foundational theory, and showing ontology use. For more information on the submission instructions, please visit: https://www.utwente.nl/en/eemcs/fois2024/calls/#submission-instructions As usual, the FOIS proceedings will be published by IOS Press. **Topics of interest** Foundational Issues: * Kinds of entities: particulars/universals, continuants/occurrents, abstracta/concreta, dependent entities/independent entities, natural objects/artifacts, events/processes * Formal relations: parthood, identity, connection, dependence, constitution, causality, subsumption, instantiation * Vagueness and granularity * Space, time, and change Methodological issues: * Top-level vs. domain-specific ontologies * Role of reference ontologies * Ontology similarity, integration, alignment, matching and entity reconciliation * Ontology modularity, patterns, and contextuality * Ontology evaluation, quality, reuse, adaptation, and evolution * Ontology compliance with FAIR principles * Formal comparison among ontologies * Relationship between conceptual modeling and ontologies * Relationship with cognition, language, semantics, and context * Connections between knowledge graphs and ontologies * Methodological issues in the applications of ontologies * Social issues, such as trust or bias, with respect to ontologies Applications: * Technical applications of ontologies, such as: * Semantic Web * Other areas of AI (Machine Learning, Explainable AI, Rules) * Qualitative modeling * Systems applications of ontologies, such as: * Ontology-driven information systems design * Ontology-based data access * Knowledge managementInformation retrieval * Computational linguistics * Metadata management * Domain applications of ontologies, such as: * Ontologies for business modeling * Ontologies for particular scientific disciplines (biology, chemistry, geography, physics, geoscience, cognitive sciences, linguistics, etc.) * Ontologies for engineering: shape, form and function, artifacts, manufacturing, design, architecture, etc. * Ontologies for the humanities: arts, cultural studies, history, literature, philosophy, etc. * Ontologies for the social sciences: economics, law, political science, anthropology, archeology, etc. * Ontologies for Open Science and dataset sharing Domain-specific ontologies: * Ontology of physical reality (matter, space, time, motion, etc.) * Ontology of biological reality (organisms, genes, proteins, cells, etc.) * Ontology of mental reality and agency (beliefs, intentions, emotions, perceptions, cognition, etc.) * Ontology of artifacts, functions, capacities and roles * Ontology of social reality (institutions, organizations, norms, social relationships, artistic expressions, etc.) **Organisation** General Chairs Giancarlo Guizzardi; University of Twente; The Netherlands Program Committee Chairs Cassia Trojahn, IRIT Université Toulouse 2, France Daniele Porello, University of Genova, Italy Local Organisation Chair Tiago Prince Sales, University of Twente, The Netherlands JOWO Chairs Claudenir M. Fonseca, University of Twente, The Netherlands Guendalina Righetti, Free University of Bozen-Bolzano, Italy Online Chairs Sergio de Cesare, University of Westminster, UK FAIR Chairs Luiz Olavo Bonino, University of Twente, The Netherlands Journal-first Chairs Emilio Sanfilippo, ISTC-CNR Laboratory for Applied Ontology, Italy Adrien Barton, IRIT & CNRS, France Ontology Showcase Chairs Laura Daniele, TNO, The Netherlands João Paulo A. Almeida, Federal University of Espírito Santo, Brazil Demonstration Chairs Pawel Garbacz, John Paul II Catholic University of Lublin, Poland Robert Pergl, Czech Technical University, Czech Republic Project Exhibition Chair Enrico Franconi, Free University of Bozen-Bolzano, Italy Paul Johannesson, Stockholm University, Sweden Industry Chairs Jan Voskuil, Taxonic, The Netherlands Mara Abel, Federal University of Rio Grande do Sul, Brazil Tutorial Chairs Chiara Ghidini, Fondazione Bruno Kessler, Italy Veruska Zamborlini, Federal University of Espírito Santo, Brazil Early Career Symposium Chairs Zubeida Dawood, Council for Scientific and Industrial Research, South Africa Pedro Paulo F. Barcelos, University of Twente, The Netherlands Publicity Chairs Mattia Fumagalli, Free University of Bozen-Bolzano, Italy Greta Adamo, Basque Centre for Climate Change, Spain Proceedings Chairs Pedro Paulo F. Barcelos, University of Twente, The Netherlands From zoltan.mann at gmail.com Sun Mar 10 09:57:26 2024 From: zoltan.mann at gmail.com (=?UTF-8?B?Wm9sdMOhbiBNYW5u?=) Date: Sun, 10 Mar 2024 09:57:26 +0100 Subject: [fg-arc] Assistant Professor in Future Cloud Computing Technologies Message-ID: The University of Amsterdam has an open position at the level of Assistant Professor, in the area of Future Cloud Computing Technologies. Topics of interest include: - green cloud computing - data management in cloud computing - security and privacy in cloud computing - cloud services for machine learning - sovereignty of cloud services - software engineering for cloud-based software - cloud-to-edge continuum The application deadline is 14 April 2024. For further details and to apply, see https://vacatures.uva.nl/UvA/job/Assistant-Professor-in-Future-Cloud-Computing-Technologies/788753802/ . -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Mon Mar 11 15:38:05 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 11 Mar 2024 14:38:05 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): Call for Late-Breaking Results and Journal First Submissions Message-ID: *** Call for Late-Breaking Results and Journal First Submissions *** 21st International Conference on Software and Systems Reuse (ICSR 2024) June 19-20, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/icsr2024/ (*** Submission Deadline: April 8, 2024 AoE ***) The International Conference on Software and Systems Reuse (ICSR) is a biannual conference in the field of software reuse research and technology. ICSR is a premier event aiming to present the most recent advances and breakthroughs in the area of software reuse and to promote an intensive and continuous exchange among researchers and practitioners. The guiding theme of this edition is Sustainable Software Reuse. We now invite submissions for Late-Breaking Results (LBR) and Journal First. LATE-BREAKING RESULTS LBR submissions will be peer reviewed and the accepted ones will be included in the conference proceedings volume to be published by Springer in the LNCS series. An LBR submission may also contain innovative ideas that are being explored and have already shown some promising results. LBR submissions are expected to address one or more of the topics covered in the regular call for papers (https://cyprusconferences.org/icsr2024/call-for-papers/). LBR submissions should be no longer than 12 pages (including references) following the Springer Lecture Notes in Computer Science format. Submissions will be handled via EasyChair (https://easychair.org/my/conference?conf=icsr2024). Submissions will be **double-blindly** reviewed, meaning that authors should: • Omit all authors' names and affiliations from the title page. • Do not include the acknowledgement section, if there is any, in the submitted paper. • Refer to the authors' work in the third person. • Use anonymous GitHub, Zenondo, FigShare or equivalent to provide access to artefacts without disclosing the authors' identity. JOURNAL FIRST For Journal First, we solicit submissions related to articles that have been accepted for publication by a reputable journal and that meet the following criteria: • The article relates to the topics of the ICSR conference and the recent call for papers. • The article is an original submission to the journal and not an extension of an earlier conference or workshop paper. • The article is an original research article; review articles or commentaries will not be considered. • The article was accepted for publication by a journal on or after 1 January 2022, the acceptance must have been publicly announced, the article must be available at the publisher’s website (e.g., as “articles in advance” or published on a journal’s website), and the article must be written in English. • The article has not been presented at, and is not under consideration for, journal-first tracks of other conferences. Accepted submissions will be presented as part of the ICSR 2024 scientific programme. Submissions must be done electronically via Easy Chair (https://easychair.org/my/conference?conf=icsr2024) and include: • Title and author information of the article. • The original abstract and keywords. • DOI of the original publication or, alternatively, a link to the publication at the journal's website. All submissions will be reviewed by the Program Chairs At least one author of each submission accepted for the Journal First track must register and attend the conference to present the work. The articles will be listed in the conference program and ICSR 2024 participants will have access to the respective abstracts and a pointer to the original journal article. IMPORTANT DATES • LBR and Journal First submission: April 8, 2024, AoE • Notification: April 29, 2024, AoE • Camera Ready: May 6, 2024, AoE • Author Registration: May 6, 2024 AoE ORGANISATION Steering Committee • Eduardo Almeida, Federal University of Bahia, Brazil • Goetz Botterweck, Lero, University of Limerick, Ireland • Rafael Capilla, Rey Juan Carlos University, Spain • John Favaro, Trust-IT, Italy • William B. Frakes, IEEE TCSE committee on software reuse, USA • Martin L. Griss, Carnegie Mellon University, USA • Oliver Hummel, University of Applied Sciences, Germany • Hafedh Mili, Université du Québec à Montréal, Canada • Nan Niu, University of Cincinnati, USA • George Angelos Papadopoulos, University of Cyprus, Cyprus • Claudia M.L. Werner, Federal University of Rio de Janeiro, Brazil General Chair • George A. Papadopoulos, University of Cyprus, Cyprus Program Co-Chairs • Achilleas Achilleos, Frederick University, Cyprus • Lidia Fuentes, University of Malaga, Spain -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Tue Mar 12 12:47:10 2024 From: announce at ucy.ac.cy (Announce) Date: Tue, 12 Mar 2024 11:47:10 +0000 Subject: [fg-arc] 32nd International Conference on Information Systems Development (ISD 2024): Track on Learning, Education, and Training Message-ID: ================= CALL FOR PAPERS ================= Track on Learning, Education, and Training at the 32nd International Conference on Information Systems Development (ISD 2024) ISD is recognized as a premier international venue that brings together the fields of Information Systems, Software Engineering, and Data Science. The theme for ISD 2024 is "Harnessing Opportunities: Reshaping ISD in the Post-COVID-19 and Generative AI Era." August 26-28, 2024 Sopot/Gdansk, Poland https://isd2024.ug.edu.pl/call-for-papers/tracks/#track_6 ============ TRACK TOPICS OF INTEREST ============= ** Activity theory approaches to IS development education ** Computer-supported collaborative learning ** Creativity and innovation in IT-based education ** Curriculum development, including local implementation of AIS/IEEE/ACM curricula ** Digital literacy ** IS Education Managementa ** Generative AI Assistants in IS Education ** Educational systems design, development, and evaluation ** HCI issues in IS development for education ** Instructional design ** Integrated IS application in education ** IS for online education ** Learning platforms: mobile apps, MOOC ** Longitudinal and comparative studies of learning ** Open educational resources in IS development education ** Serious games, gamification, and virtual worlds for learning ** Social and crowd computing in educational contexts ** Social media and learning ** Socio-constructivism in IS development education ** User-generated content in IS development education ** Work-integrated learning =============== IMPORTANT DATES =================== Paper Submission: April 16, 2024 Author Notification: June 4, 2024 Final Paper Submission: June 30, 2024 =============== CONFERENCE FEES =================== The registration fee for presenting authors is 500 EUR, with a 100 EUR discount for active AIS members and students. Discounts apply for additional papers and non-presenting participants. The registration fee includes lunch, coffee breaks, welcome reception and a gala dinner. =============== TYPES OF SUBMISSION =============== ** Full research papers: 12 pages ** Short research papers: 8 pages ** Posters: 4 pages ** Journal-First papers The ISD Proceedings will be available as open access in the Association for Information Systems (AIS) eLibrary. Additionally, Springer will publish a selection of the best papers (by invitation) as a separate volume of the Lecture Notes in Information Systems and Organization (LNISO) series. The proceedings will be submitted for indexation by Scopus, Google Scholar, DBLP, Semantic Scholar, and Web of Science. We are looking forward to receiving your contributions! Muhammad Ovais Ahmad, Karlstad University, Sweden Georgia Kapitsaki, University of Cyprus, Cyprus -------------- next part -------------- An HTML attachment was scrubbed... URL: From saverio.giallorenzo at gmail.com Fri Mar 8 13:58:29 2024 From: saverio.giallorenzo at gmail.com (Saverio Giallorenzo) Date: Fri, 8 Mar 2024 13:58:29 +0100 Subject: [fg-arc] 2nd Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Message-ID: Choreographic Programming: Call for Contributions ================================================= First International Workshop on Choreographic Programming co-located with PLDI 2024 One-day event, TBD within 24–28th of June 2024, Copenhagen, Denmark https://pldi24.sigplan.org/home/cp-2024 Important dates --------------- - Submission deadline: March 22nd, 2024 (AoE) - Notification to authors: May 3rd, 2024 (AoE) - Workshop day: TBD in week 26 Theme and Topics ---------------- Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations. CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems. The aim of this workshop is to catalyse the community around CP by soliciting contributions in the following topics: - Theory and models of choreographic programming. - Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations. - Design and implementation of runtime systems for choreographic programming. - Verification and testing of choreographic programs. - Type systems for choreographic languages. - Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies). - Fault tolerance and reliability in the context of choreographic programming. - Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming). Contributions and Evaluation ---------------------------- Contributions can be work in progress, scientific work published or submitted for publication, tutorials, or practical experience reports. Submissions should be no more than 6 pages excluding bibliography, using the ACM Proceedings format. Templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page. Submissions will be evaluated following a lightweight double-blind review process. For further details, refer to the workshop website and for any further queries, please contact the chairs. Program Chairs -------------- Saverio Giallorenzo, University of Bologna, IT ( saverio.giallorenzo2 at unibo.it) Lindsey Kuper, University of California, Santa Cruz, US (lkuper at ucsc.edu) Marco Peressotti, University of Southern Denmark, DK (peressotti at sdu.dk) Program Committee ----------------- Owen Arden, UC Santa Cruz, US Marco Carbone, IT University of Copenhagen, DK Ethan Cecchetti, University of Wisconsin-Madison, US Luís Cruz-Filipe, University of Southern Denmark, DK Eva Graversen, University of Southern Denmark, DK Andrew K. Hirsch, University at Buffalo, SUNNY, US Sung-Shik Jongmans, Open University of the Netherlands; CWI, NL Ivan Lanese, University of Bologna, IT Hugo A. López, Technical University of Denmark, DK Rumyana Neykova, Brunel University London, UK Larisa Safina, INRIA Lillle, FR Guido Salvaneschi, University of St. Gallen, CH Ian Sweet, Galois, Inc., US -------------- next part -------------- An HTML attachment was scrubbed... URL: From stavros at helvia.ai Tue Mar 12 15:44:22 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Tue, 12 Mar 2024 17:44:22 +0300 Subject: [fg-arc] {SPAM?} 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Reasoning, Learning, and Decision Making (Special Track) Message-ID: <1710252467654.8398506b-998b-421d-a9f4-63b408b5076d@bf01.hubspotstarter.net> 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference web site: www.kr.org/KR2024 -- Call for Papers: Reasoning, Learning, and Decision Making -- The special track on Reasoning, Learning, and Decision Making emphasizes the synergistic interactions between KR and complementary fields of AI like (machine) learning, robotics, multiagent systems, and decision-making in autonomous systems. We welcome contributions that extend the state-of-the-art at the intersection of KR with any of the fields mentioned above. These may include, for example, the integration of knowledge representation and reasoning into whole robotic systems, examples where autonomous systems benefit from KR, harnessing common-sense reasoning and explicit world models for decision-making, and extensions of KR techniques to cope with the challenges that arise when taking decisions in different environments or when interacting with the physical world. The track is also looking for submissions that combine aspects of KR and machine learning (ML) research, including the use of KR methods for solving ML challenges, the use of ML methods for solving KR challenges, the integration of learning and reasoning at modeling or solving, and the application of combined KR and ML approaches to solving real-world problems. -- Important Dates -- Can be found on the conference website: www.kr.org/KR2024/dates.php -- Topics of Interest -- We welcome papers on a wide range of topics, including but not limited to: • Learning symbolic knowledge, such as ontologies and knowledge graphs, action theories, commonsense knowledge, spatial and temporal theories, preference models and causal models • Knowledge representation and reasoning in the computation, synthesis, analysis, verification, reuse, and repair of plans • Machine-learning driven reasoning algorithms • Neural-symbolic learning • Statistical relational learning • Symbolic reinforcement learning • Learning symbolic abstractions from unstructured data • Expressive power of learning representations • Knowledge-driven decision making • Combining discrete and continuous, quantitative and qualitative, logical and probabilistic representations and reasoning methods (e.g., task planning with motion planning) • Architectures that combine data-driven techniques and formal reasoning -- Types of Submissions -- Submissions to the special track can be of two types: • Research papers (9 pages excluding references) • Position papers (3-5 pages excluding references) Both kinds of papers must be prepared and submitted according to the authors' guidelines on the submission page before the deadline: www.kr.org/KR2024/submission.php Both regular and position papers in the special track have to fall into the intersection of KR and at least one other field. Papers not meeting this criterion will be identified before the actual reviewing process and will not be admitted for evaluation. Research papers are regular research papers as similar as for the Main Track: www.kr.org/KR2024/cfp_main_track.php Position papers can be of different kinds. Examples include, but are not confined to, articulating personal stances regarding the potential application of Knowledge Representation (KR) in diverse domains, advocating for or against specific avenues of research, outlining a vision for KR's role in other fields, or proposing alterations to the evaluation criteria of our research. The assessment of position papers will primarily hinge on their ability to offer a compelling perspective deserving of broader attention within the KR community, regardless of accordance with the expressed viewpoint by reviewers. These papers aim to provoke constructive and respectful discourse on relevant subjects requiring the collective insights of our community. Furthermore, they must adhere to rigorous standards, necessitating robust evidential support for all assertions, timeliness, relevance, and excellence in terms of writing and organization. -- Inquiries -- Inquiries should be sent by email to kr2024.rldm at cse.unsw.edu.au and will be handled by the KR 2024 Reasoning, Learning & Decision-Making Track chairs: • Jean Christoph Jung, Dortmund University, Germany • Sebastijan Dumančić, Delft University, The Netherlands • Masoumeh Mansouri, University of Birmingham, UK Further details can be found via the conference web site: www.kr.org/KR2024/dates.php KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-MCW4fqhrC4r7W9RW36zjP42PMxKrW41_3vZ4frY66W23p06T3DWd0jW41DV5V2vQ2Q3W2sCQzb1_dLycW3Y3pqj3QC9DNW3SBy9y3HcvBWW2vPxxd1SyP4TW36F_qR2YPgsnW1VzRCw3_V15sW34mhjm47BZ2KW2146Jp30FGXyW3K3MqB2RyYS8W43QhpN49M7TGW3gqqBH2xYkzBW2FG-Pk2F_1KJW2-rcCy41TRhZW3bbs1434mm3nW2Wp7x52nTvZfW2HFsH94mq4gfW2WR36J4kGy0pW2388Ym2nDHt5W20Wd192HYdZrW4r6G-M2CZydgW3d8XS93SyxwbW1NlxC61QkwF9W3T5WgH22V_bNW2YPHX33XYgJgW3j8yDc2vRd-dW230cgl2YK1jCW32krXy43WcTsW1Lw4nt4cxL1LW4rhQmN3XT-RQW4ftzgD3M9Qw_W2RKd303NXWjjW34xXQ02YqFKXW2xwN6C2FKSLgW3Z--V73R6V35W4fKwrH327qqDW1Xb_1H1ZrGP5W30G4bJ2MVnwTW2PsMgr34kD6jW1Bm8CZ2-KK07W36k3V81Qk4rDW3_rLcy1QcD6tf3LWRJV04&_hsenc=p2ANqtz-_SBxTQ7Fy8iLZE10dfcFt9_y56R73e2zZ76Nd6C4Tknlpq4mDtRJ5g3YeE8ScUnVhsnQIzlS24Br23vFiR_V9FWKK7lmB26DU2-SIhxWHD-mJfifY&_hsmi=297859339 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From agouf.nour at gmail.com Fri Mar 15 00:09:16 2024 From: agouf.nour at gmail.com (Nour) Date: Fri, 15 Mar 2024 00:09:16 +0100 Subject: [fg-arc] IEEE Working Conference on Software Visualization Message-ID: Call for Papers VISSOFT 2024 (12th IEEE Working Conference on Software Visualization) ========================================================== VISSOFT 2024: 6-7 October 2024, Flagstaff, Arizona, U.S. http://vissoft.info/2024 New: Special Issue for invited VISSOFT 2024 papers under exploration. ========================================================== Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from areas such as information visualization, human-computer interaction, computer graphics, and data science, and applying these in the software engineering domain. The VISSOFT conference is principally a venue for publishing and discussing research related to software visualization. Consequently, VISSOFT brings together a community of researchers from software engineering, information visualization, human-computer interaction, computer graphics, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. VISSOFT, co-located with ICSME, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, evaluations, and papers that present novel ideas and tools. Topics of interest include but are not limited to - Innovative visualization and visual analytics techniques for the analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data - Visualization to support software development activities, including design, requirements engineering, software maintenance, program comprehension, software performance, software testing, and debugging - Visual tools and frameworks for the direct development and maintenance of software, including visual programming languages and visual development environments - Interaction techniques and algorithms for software visualization - Visualization-based techniques in software engineering education - Integration of software visualization tools with development environments - Empirical evaluation of software visualizations, including eye-tracking - Industrial experience with using software visualization - Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, speech, and machine learning - Analytical approaches to understanding software-related aspects based on data science concepts We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to full technical papers, VISSOFT features both a New Ideas and Emerging Results (NIER) Track and a Tools Track whose purpose is to present an idea still under development or to demonstrate the functionality of a newly developed tool. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. Submission Types Research Track A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be a maximum of 10 pages long (including all figures, tables, and appendices). However, the 10-page limit does not include the bibliography, which is limited to two additional pages. All papers are required to include a user evaluation demonstrating their effectiveness, such as showcasing improvements over comparable tools or, if novel, demonstrating their utility and practical application. These papers will undergo evaluation using the same criteria as those in the Research track. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities where this matters for understanding of the paper. Authors who wish to submit a video should add a URL to the video at the end of the abstract (e.g., Video URL: https://youtu.be/XXX). Paper Awards: VISSOFT 2024 may award distinguished technical papers. Artifact Evaluation: Paper authors are encouraged to submit research artifacts (e.g., tools, data repositories, frameworks, videos) for evaluation. For more details, please refer to the Artifact Evaluation Track. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 NIER Track The NIER Track of VISSOFT accepts New Ideas and Emerging Results. NIER contributions have a limit of 5 pages (including bibliography). NIER contributions describe work-in-progress and preliminary, exciting ideas and results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. NIER contributions do not require an evaluation. One of the goals of the NIER Track is to foster collaboration among different research groups, by showcasing ideas which may lead to joint research activities. Paper Awards: VISSOFT 2024 may award distinguished NIER papers. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 Tools Track The Tools Track of VISSOFT accepts submissions describing already implemented and functional tools. Contributions to the Tools Track have a limit of 4 pages for short papers, and a limit of 10 pages for long papers (in both cases including all figures, tables, and appendices). For bibliography, short papers can use up to one additional page, and long papers up to two additional pages. Tools Track papers describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. We also invite submitting significant evolutions of tools already presented (in past VISSOFT editions or in other venues). Short tool papers usually just describe the presented tool, and will be evaluated mostly in terms of novelty and interest. Long tool papers are expected to present a user evaluation which shows evidence of its effectiveness, for instance, improvements over other similar tools, or if it is novel, showing its utility and practical use. Long papers will be evaluated following the same criteria as in the Research track. The submission of a video (up to 5 minutes in length) to accompany the paper is mandatory. Authors should add a URL to the video at the end of the abstract (e.g., Video URL: https://youtu.be/XXX). Paper Awards: VISSOFT 2024 may award distinguished tool papers. Showcase session: During the conference, we will organize an informal tool demonstration session where authors of TD papers are invited to demonstrate their tools. Artifact Evaluation: Paper authors are encouraged to submit their tools and other related artifacts (e.g., data repositories, videos) for evaluation. For more details, please refer to the Artifact Evaluation Track. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 Artifact Evaluation Track Also this year, ICSME, VISSOFT, and SCAM have joined forces and present a single Artifact Evaluation Track for all three venues. We invite authors of papers of all lengths accepted to VISSOFT 2024 to submit artifacts associated with those papers for evaluation. Papers with artifacts that meet the review criteria will be awarded badges, noting their contributions to open science in SE. More information on the Call for Papers of the Joint Artifact Evaluation Track will be available at the ICSME 2024 web page ( https://conf.researchr.org/home/icsme-2024, see “Tracks” drop-down menu). Journal-First Track A submission to the VISSOFT 2024 call for journal-first paper presentations must adhere to the following criteria: - The paper was accepted by a relevant journal and it is in the scope of the conference - The paper was published between July 1, 2021 and July 19, 2024. - The paper reports new research results and/or presents novel contributions that significantly extend, and were not previously reported in, prior work - The paper has not been presented at and is not under consideration for journal-first programs of other conferences Authors of a paper that meets these criteria are invited to submit by email to vissoft2024 at easychair.org a one-page presentation proposal consisting of the paper’s title, the paper’s authors, a short statement on how the work satisfies the journal first criteria, and a pointer to the original journal paper at the journal’s Website. If the paper is not online yet, then specify so. The original paper (or a preprint) should also be sent during submission. The journal-first manuscripts are published through the journals and will not be part of the Conference proceedings. The journal-first papers will be listed in the conference program. Journal first presentations will have the same presentation time as technical papers. Important Dates (23:59:59 AoE) Submission: July 19, 2024 Notification: July 29, 2024 Showcase Session As successfully done in the past, at VISSOFT 2024 authors of all accepted papers in all tracks, and specially in the Tools Track, will be invited to demonstrate their approaches and tools to the participants in an informal setting. More details will follow a few weeks before the conference. How to submit Papers must strictly adhere to the two-column IEEE conference proceedings format and the page. Please use the available IEEE Manuscript Templates for Conference Proceedings: https://www.ieee.org/conferences/publishing/templates.html If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and present the paper at the conference. Supplemental material (e.g., video, data, software) that might be helpful for reviewers can be linked in your paper. Note: VISSOFT uses a single-blind review process (i.e., the names and affiliations of the authors are revealed to reviewers but reviewers' identities are not revealed to authors). Important Dates All dates refer to midnight 23:59:59 AoE . Research, NIER, and Tools Track Journal First Track Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 July 19, 2024 Notification: July 15, 2024 July 29, 2024 Conference Date: October 6-7, 2024 Program Committee (to be completed) ========================================================== Nour Jihene Agouf Researcher in Computer Science at SogetiLabs -------------- next part -------------- An HTML attachment was scrubbed... URL: From stavros at helvia.ai Thu Mar 14 09:53:56 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Thu, 14 Mar 2024 11:53:56 +0300 Subject: [fg-arc] {SPAM?} 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - KR in the Wild (Special Track) Message-ID: <1710404423328.777fe63b-de66-44d0-a1f2-94f5f8826e6c@bf01.hubspotstarter.net> 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference web site: www.kr.org/KR2024 -- Call for Papers: KR in the Wild (Special Track) -- As a complement to the traditional KR Main track focusing more on theoretical advances in KR, the KR in the Wild track aims to showcase successful deployments of KR formalisms in all types of application domains as well as recent developments in the state-of-the-art in automated reasoning systems which form the basis for successful deployment of declarative problem solving in an ever-increasing number of practical settings. Towards these goals, the KR in the Wild Track welcomes contributions from areas that are sometimes considered as not core KR research. This includes (but is not restricted to) state-of-the-art reasoning systems and solvers developed in the various vibrant declarative programming communities as well as insightful applications of such systems. As further goals, the track aims to foster interactions between practical and theoretical advances, and to encourage the discussion of new ideas, research experiences, emerging results and open challenges that can inspire novel research directions and influence the future of KR research. -- Expected Contributions -- We invite submissions of papers on all aspects of the development, deployment, and evaluation of KR tools and techniques to solve application problems, including: • system descriptions including the description of algorithmic techniques, heuristics and optimizations for established systems; • case studies, including descriptions of the problem setting, data and tools used, and "lessons learnt"; • assessments and reports of experimental studies, rigorously assessing aspects such as scalability, usability, acceptance and uptake; • benchmarks and resources that may support the assessment of KR tools, such as data sets, collections of problems with "solution sets" or gold standards. -- Important Dates -- Can be found on the conference website: www.kr.org/KR2024/dates.php -- Submission Guidelines and Evaluation Criteria -- Similarly as for the KR 2024 Main Track, both regular papers (9 pages excluding references) and short papers (4 pages excluding references) are welcome. Submissions must be prepared and submitted according to the authors' guidelines on the submission page: www.kr.org/KR2024/submission.php Submissions will be rigorously peer reviewed by PC members on the basis of the overall quality of their technical contribution, with special attention to the suitability of submissions in terms of the scope of the KR in the Wild Track. Due to the applied nature of the KR In the Wild Track, authors are recommended to make, as applicable, any relevant data and implementation code available to allow other researchers to reproduce the reported results. Accepted papers will be published in the KR 2024 proceedings. At least one author of each accepted paper is required to participate in the conference and present the work. Papers must be submitted through the CMT conference system: cmt3.research.microsoft.com/KR2024/. Please select the respective track. -- Inquiries -- Inquiries should be sent by email to kr2024.wild at cse.unsw.edu.au and will be handled by the KR in the Wild Track chairs: • Matti Järvisalo, University of Helsinki, Finland • Birte Glimm, University of Ulm, Germany Further details can be found via the conference web site: www.kr.org/KR2024/dates.php KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-GlW23mQTd2TNMWVW30mkJ041-8d_W3bdwJV2MVP11W2sB4Sk3yN7HmW1V0V7Z4hflqGW2zM-T443R1g9W2HGnsM2WdR1cW2qXb3p3K7X9pW2RwpDZ4kJJxfW2CL4W-1_n8vwW32F-Hz43VSM_W1ZpCp31QkRccW4krVbw43BBGVW41qBdZ4pc0B2W2nJqQV2MVV28W30v2532y0Qx-W2Kq8mD2zLLC0W2nHCzG366fDzW49xXSH1SxVrWW2RDFGG38h8snW1_5G2V2zKRg2W3dgR974hMQpfW45WQVW1LhkjTW45SXmc2w1YshW3W13JC4r97wFW3__Gz24pDYD0W4mnPLH1Z9wtWW34jR_r3JRpY4W4cR1qd254x8wW3bkwjl3g9xScW3bzlT82vBKyqW41QWVV38jQ_yW3NFx1R3V-cD1W47pCl_47vDD_W20T6P52qBNhWW3R0FPW2qMYP6W1VxG3K47QKMVW4fLl6V3P76krW2PCGtz2YmJ6fW4pCFLG3g2rQKW3DZVs536DJ1lW1X84Nn25hqLNW2YM37c1BsYbSW2RRW9R2F-B2YW3yW9QX36tNcZW3gsxWL4rytCwf2B1Zvf04&_hsenc=p2ANqtz--OFgcOn6UMrnQYB7LN-903qYZHGBXWBAy1By5fCsDb0m_WK1S6R1w6MO309GU6lOlZPy5eSm7bZYrB3RZNp13yvW9hSANNUV20iokR33nKjq_qGlY&_hsmi=298197714 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From giuseppe.mazzotta at unical.it Thu Mar 14 09:13:40 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Thu, 14 Mar 2024 09:13:40 +0100 Subject: [fg-arc] {SPAM?} EKAPI 2024 - Call for Papers Message-ID: *** Please accept our apologies if you receive multiple copies of this CFP *** ====================================================== Call for Papers 1st International Workshop on Explainable Knowledge Aware Process Intelligence (EKAPI 2024) Roccella Jonica (RC), Italy June 20-23 https://sites.google.com/unical.it/ekapi-2024/home ====================================================== ====================================================== Important Dates ====================================================== Paper Submission Deadline: May 5, 2024 Notification of Acceptance: May 30, 2024 Workshop Date: June 20-23, 2024 ====================================================== Scope ====================================================== The integration of process mining and AI techniques is crucial for transforming event data into valuable insights for improving process execution. However, current approaches face challenges such as lack of documentation, traceability issues, and the use of opaque black-box components. The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at motivating researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence. ====================================================== Target Audience ====================================================== Researchers, academics, and industry professionals with an interest in process mining, artificial intelligence, knowledge representation, and business process management. ====================================================== Overview ====================================================== The first International Workshop on Explainable Knowledge Aware Process Intelligence aims at contributing to the advancement of explainable, knowledge-aware process intelligence and expanding the vibrant community dedicated to addressing challenges in the process mining landscape. Due to the ongoing digitalization undergone by organizations in recent years, there has been a notable surge in interest in Process Intelligence research. Specifically, the automated extraction of knowledge from the ever-growing volume of event data holds the potential to yield valuable insights for enhancing process execution. Process mining, coupled with AI techniques, plays a pivotal role in this domain, leading the charge in transforming event data into valuable knowledge for companies. Despite the effectiveness of existing techniques, two primary issues persist: the lack of documentation and traceability stemming from ad-hoc procedures, and the use of opaque black-box components. Moreover, there is the need to explore the integration of domain knowledge to steer the knowledge extraction process towards more meaningful outcomes. Thus, in this research area many intriguing problems, that could result in comprehensive sets of techniques for achieving explainable, knowledge-aware process intelligence, are left open. The goal of the workshop is to motivate researchers from diverse fields to offer significant insights and contributions aimed at addressing the aforementioned challenges in the realm of knowledge-aware process intelligence. ====================================================== Topics of Interests ====================================================== Potential submission topics encompass a range of areas, including but not limited to: Multi-perspective process models incorporating data, time, and resources. Declarative processes. Explainable and trustworthy AI for both process management and process mining. Conversational systems, natural language processing, and human-machine interaction in the context of process management. Knowledge representation for process management, covering reasoning about actions and processes, planning, and synthesis. Answer Set Programming for Process mining. AI techniques for various aspects of process handling, such as discovery, conformance checking, prescriptive and predictive monitoring. AI techniques for clustering and classification of process execution traces. Generative AI applied to Process Mining. Machine learning for event recognition in semi-structured and unstructured data. Mining techniques, including association rule mining, specification mining, and decision mining from process execution traces. Declarative-based multi-perspective representation of process traces. Introduction of novel metrics for measuring process conformance. Addressing uncertainty in AI for process management. Exploration of multiagent systems, strategic reasoning, game theory, and mechanism design for multi-party processes. Consideration of multi-objective optimization, decision-making processes, and continuous improvement. Examining the concept of value alignment in the context of process management. ====================================================== Publication ====================================================== Papers, whether regular or discussion, that are accepted will be incorporated into the conference proceedings and published on CEUR Workshop Proceedings. All accepted contributions will be presented and discussed during the workshop. ====================================================== Submission Guidelines ====================================================== Papers submitted must be in English and adhere to the CEURART style guidelines (http://ceur-ws.org/Vol-XXX/CEURART.zip) Original papers, not concurrently submitted elsewhere, should not exceed 13 pages, with additional pages allowed exclusively for bibliographic references. Discussion papers should not surpass 5 pages and must report results already published or accepted at international conferences. Additional pages are permitted for bibliographic references only. Submission of papers is electronic through Easychair at: https://easychair.org/conferences/?conf=ekapi2024 ====================================================== Venue ====================================================== EKAPI will be held in Roccella Ionica (RC), Italy. Roccella features an unspoiled stretch of the Ionian Sea, recognized with numerous blue flags for its pristine waters. Tracing its roots back to Greek colonization, the town, once named Aracella, unveils its history through picturesque alleys and coastal districts like Zirgone and Sant’Antonio. Offering year-round appeal, Roccella Ionica truly comes to life in summer with its enchanting beach, sophisticated marina, and the esteemed Roccella Jazz Festival - Mediterranean Rumors, boasting thirty-nine editions and international acclaim. The conference location is the Club Hotel Kennedy in Roccella Ionica (https://www.clubhotelkennedy.com), Reggio Calabria, situated on the marvelous Jasmine Coast. ====================================================== Organization ====================================================== General Chairs: Rafael Peñaloza, University of Milano-Bicocca, Milano, Italy Francesco Ricca, University of Calabria, Rende, Italy Program Chairs Ignacio Huitzil, University of Zaragoza, Spain Giuseppe Mazzotta, University of Calabria, Rende, Italy ====================================================== Program Committee ====================================================== Rafael Peñaloza, Associate Professor at University of Milano-Bicocca, Italy Luigi Pontieri, Senior Researcher at research institute ICAR-CNR , Rende, Italy Francesco Ricca, Full Professor at University of Calabria, Rende, Italy Antonio Ielo, PhD student at University of Calabria, Rende, Italy Francesco Chiariello, Post-Doc at University Federico Secondo, Naples, Italy Valeria Fionda, Associate Professor at University of Calabria, Rende, Italy Alice Tarzariol, Post-Doc at Alpen-Adria University of Klagefurt Marco Mochi, PhD Student at Università degli Studi di Genova Wolfgang Faber, Full Professor at Alpen-Adria University of Klagefurt Carl Corea, University of Koblenz, Germany Rik Eshuis, Eindhoven University of Technology, Netherlands ====================================================== Sponsors ====================================================== Department of Mathematics and Computer Science (DEMACS) - University of Calabria, Italy PRIN project PINPOINT funded by the Italian Ministry of Research (MUR) - CUP H23C22000280006 From giuseppe.mazzotta at unical.it Fri Mar 15 10:54:04 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Fri, 15 Mar 2024 10:54:04 +0100 Subject: [fg-arc] LPNMR 2024 - Preliminary Call for Papers Message-ID: <889F0635-95A0-46C9-ADD7-FD2A92ACE208@unical.it> *** Please accept our apologies if you receive multiple copies of this CFP *** ==================================================== LPNMR 2024 - Preliminary Call for Papers 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) Dallas, Texas, USA | October 11-14, 2024 Website: https://lpnmr2024.demacs.unical.it/ Contact us: lpnmr2024 at easychair.org Submission: https://easychair.org/conferences/?conf=lpnmr2024 ==================================================== ==================================================== IMPORTANT DATES ==================================================== Paper registration: June 21, 2024 Submission deadline: June 28, 2024 Final notification: July 28, 2024 Final versions due: August 15, 2024 Conference: October 11-14, 2024 ==================================================== FAST JOURNAL TRACK FOR BEST PAPERS ==================================================== The two best papers focused on general AI topics will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors. Also, the 2-5 best papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming. ==================================================== AIMS AND SCOPE ==================================================== LPNMR 2024 is the seventeenth in the series of international meetings on logic programming and non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarative logic programming, non-monotonic reasoning, and knowledge representation. The aim of the conference is to facilitate interactions between researchers and practitioners interested in the design and implementation of logic-based programming languages and database systems, and those working in knowledge representation and non-monotonic reasoning. LPNMR strives to encompass theoretical and experimental studies that have led or will lead to advances in declarative programming and knowledge representation, as well as their use in practical applications. LPNMR 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research. ==================================================== TOPICS ==================================================== Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to: Foundations of LPNMR Systems: Semantics of new and existing languages Action languages, causality Formalization of Commonsense Reasoning and understanding its laws and nature Relationships among formalisms Complexity and expressive power Inference algorithms and heuristics for LPNMR systems Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities Updates, revision, and other operations on LPNMR systems Uncertainty in LPNMR systems Implementation of LPNMR systems: System descriptions, comparisons, evaluations Algorithms and novel techniques for efficient evaluation LPNMR benchmarks Applications of LPNMR: Use of LPNMR in Commonsense Reasoning and other areas of KR LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking Applications of LPNMR to bioinformatics, linguistics, psychology and other sciences Integration of LPNMR systems with other computational paradigms Embedded LPNMR: Systems using LPNMR subsystems ==================================================== SUBMISSION AND PUBLICATION ==================================================== LPNMR 2024 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories: Technical papers System descriptions Application descriptions The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines Paper submission is enabled via the LPNMR 2024 Easychair site: https://easychair.org/conferences/?conf=lpnmr2024 ==================================================== MULTIPLE SUBMISSION POLICY ==================================================== LPNMR 2024 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. ==================================================== VENUE ==================================================== LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience. ==================================================== ORGANISING COMMITTEE ==================================================== General Chair: Gopal Gupta, The University of Texas at Dallas Program Chairs: Carmine Dodaro, University of Calabria, Italy M. Vanina Martinez, IIIA-CSIC, Spain Publicity and Web Chair: Giuseppe Mazzotta, University of Calabria, Italy Workshop Chair: Gerardo Simari, Universidad Nacional del Sur, Argentina From giuseppe.mazzotta at unical.it Fri Mar 15 14:07:56 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Fri, 15 Mar 2024 14:07:56 +0100 Subject: [fg-arc] LPNMR 2024 - Call for Workshops Message-ID: <9B6AD868-4E44-4A67-BF4E-F450DE7BE339@unical.it> *** Please accept our apologies if you receive multiple copies of this CFW *** ==================================================== LPNMR 2024 - Call for Workshops 17th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2024 ==================================================== ==================================================== AIMS AND SCOPE ==================================================== The 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) will be held in Dallas, Texas, USA. The objective of the LPNMR workshop program is to stimulate the discussion and the exchange of ideas on topics related, but not limited, to declarative logic programming, non-monotonic reasoning, and knowledge representation. We aim at creating a forum where researchers from a broad spectrum of disciplines may interact and have an opportunity to promote collaboration and identify directions for joint future research. Accordingly, we solicit workshop proposals on theoretical and applied research topics. Workshop proposals should explain and motivate the topic of the workshop, and discuss the format of presentation of the contributions. Workshops will likely be half-day or one-day in duration, but we may consider longer programs. ==================================================== IMPORTANT DATES ==================================================== Workshop proposals submissions: April 19th, 2024 Workshop proposals notifications: April 29th, 2024 Workshop program: October 11th, 2024 (tentative date) ==================================================== SUBMISSION ==================================================== Proposal must be submitted via EasyChair: https://easychair.org/my/conference?conf=lpnmrws2024 Proposals should clearly specify the following: Workshop title and acronym A brief description, emphasizing why this workshop would appeal to audiences from LPNMR A list of organizers with email addresses, web page URLs, and a short description of their experience in organizing events A short description of the format of planned activities (talks, posters, panels, invited speakers if any, etc.) The proposed duration (half day, one day, etc.) A description of the history of the workshop (if any) Expected number of participants ==================================================== CONTACT ==================================================== For any details on workshops, please contact the Workshop Chair: Gerardo I. Simari (Universidad Nacional del Sur and CONICET, Argentina) gis at cs.uns.edu.ar From announce at ucy.ac.cy Sat Mar 16 10:37:16 2024 From: announce at ucy.ac.cy (Announce) Date: Sat, 16 Mar 2024 09:37:16 +0000 Subject: [fg-arc] The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering (IEEE Mobile Cloud 2024): Second Call for Papers Message-ID: *** Second Call for Papers *** IEEE Mobile Cloud 2024 The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering July 15-18, 2024 | Shanghai, China https://ieeemobilecloud.com IEEE Mobile Cloud is a pioneering IEEE sponsored international conference devoted to the research in mobile, edge, and cloud computing. It covers all aspects of mobile, edge, and cloud computing from architectures, techniques, tools and methodologies to applications. This year's conference is scheduled to take place in Shanghai, China, from 15-18 July 2024. IEEE Mobile Cloud 2024 is part of the IEEE International Congress On Intelligent And Service- Oriented Systems Engineering offering a broad spectrum of international events, sharing renowned keynotes and fostering exchange among researchers and practitioners (see common homepage for all colocated events, https://ieee-cisose-congress.org). The fusion of mobile communications, computing, and intelligence is catalysing the emergence of innovative systems and applications that facilitate intelligent resource provisioning, process extensive data from mobile sensors and interconnected hardware platforms, and bolster the Internet of Things (IoT) through robust edge and cloud-based backend infrastructure. The pivotal role of current and forthcoming communication technologies, machine learning implementation, and mobile cloud infrastructures as facilitators for this convergence cannot be understated. These mobile intelligent applications are poised to revolutionise various facets of daily life, encompassing domains such as transportation, e-commerce, healthcare, smart homes, smart cities, social interaction, and more. Mobile intelligence serves as an inclusive platform for both academic and industrial researchers to share their latest research insights, experimental findings, and the latest advancements in industry technologies related to mobile systems, machine learning, edge and cloud computing, services, and engineering. Leveraging the synergy of mobile communications, machine intelligence, edge computing, and edge/cloud infrastructures, the future of Mobile Intelligence Systems is envisioned to provide a multitude of critical and personalised services across diverse application domains, ranging from education, transportation, to public health, safety, and security. Submissions will be evaluated on the criteria of originality, significance, clarity, relevance, and accuracy. TOPICS OF INTEREST They include but not limited to: Theory, Modelling, and Methodologies • Mobile cloud computing models, architectures, infrastructures, and platforms • Mobile intelligence theories, concepts, algorithms, and methodologies • Mobile cloud data management • Mobile cloud tools, middleware, and data centres • Mobile intelligence as a service • Mobile networking, protocols, and technologies • Quality of service (QoS) • Mobile intelligence security and privacy Applications and Industry Practice • Mobile intelligence for autonomous driving systems, V2X, intelligent transportation systems (ITS), telematics • Mobile intelligence for robotics, unmanned aerial vehicles (UAVs), and unmanned ground vehicles (UGVs) • Mobile intelligence for sensor networks, Industrial IoT, industrial 4.0, and industry 5.0 • Mobile intelligence for future wireless technologies, 5G/6G, WiFi, Satellite, etc. • Mobile intelligence for aviation, airports, and railway • Mobile intelligence for Augmented Reality/Virtual Reality (AR/VR) • Mobile intelligence for computer vision and video analytics • Mobile intelligence for surveillance and disaster management • Mobile intelligence for healthcare • Mobile intelligence for the metaverse • Mobile intelligence for smart city • Mobile intelligence for satellite • Mobile intelligence for mission-critical systems • Mobile intelligence for community services and social networking • Mobile intelligence computing for sustainable development PAPER SUBMISSION GUIDELINES Papers must be written in English. All papers must be prepared in the IEEE double column proceedings format. Please see the following link for details: https://www.ieee.org/conferences/publishing/templates.html . All accepted conference papers will be published by IEEE Computer Society and IEEE Explore digital library with EI-index. Selected papers will be recommended to SCI-index journals as special issue papers. The paper length should be up to 8 pages for regular conference papers and 6 pages for work-in-progress papers. Submitted papers should contain original work and not being submitted elsewhere. Each paper must be presented by an author at the conference. Presentations via teleconference are not permitted. Permissions to have the paper presented by a qualified substitute presented may be granted by the TCP Chairs under extraordinary circumstances, upon written request. Submissions should be made via Easy Chair using the following link: https://easychair.org/my/conference?conf=imc24 . IMPORTANT DATES • Abstract submission: March 31st, 2024 (AoE) • Paper submission: April 7th, 2024 (AoE) • Notification of acceptance: May 15th, 2024 • Final manuscript submission: May 22nd, 2024 • Author registration: May 22nd, 2024 • Conference: July 15th-18th, 2024 COMMITTEES General Chairs • Hiroyuki Sato, University of Tokyo, Japan • Yan Bai, University of Washington Tacoma, USA Program Chairs • Lan Zhang, Clemson University, USA • Sun Yao, The University of Glasgow, Scotland, UK • Tomoki Watanabe, Kanagawa Institute Technology, Japan • Fan Wu, Shanghai Jiao Tong University, China Publicity Chair George Angelos Papadopoulos, University of Cyprus, Cyprus Program Committee • Ouri Wolfson, University of illinois • Felix Beierle, University of Würzburg • Thomas Richter, Rhein-Waal University of Applied Sciences • Dan Grigoras, University College Cork • Sergio Ilarri, University of Zaragoza • Iulian Sandu Popa, University of Versailles Saint-Quentin & INRIA Saclay-Ile-de-France • Haiping Xu, University of Massachusetts Dartmouth • Prasad Calyam, University of Missouri • Dana Petcu, West University of Timisoara • Fabio Costa, Federal University of Goias • Cristian Borcea, New Jersey Institute of Technology • Lei Huang, Prairie View A&M University • Chunsheng Zhu, Southern University of Science and Technology • Xuyun Zhang, Macquarie University • Jia Zhao, Changchun Institute of Technology • Richard Han, University of Colorado Boulder CISOSE General Chairs • Jerry Gao, San Jose State University, USA • Iraklis Varlamis, Harokopio University of Athens, Greece CISOSE Steering Committee • Jerry Gao, San Jose State University, USA • Guido Wirtz, University of Bamberg, Germany • Huaimin Wang, NUDT, China • Jie Xu, University of Leeds, UK • Wei-Tek Tsai, Arizona State University, USA • Axel Kupper, TU Berlin, Germany • Hong Zhu, Oxford Brookes University, UK • Longbin Cao, University of Technology Sydney, Australia • Cristian Borcea, New Jersey Institute of Technology, USA • Sato Hiroyuki, University of Tokyo, Japan -------------- next part -------------- An HTML attachment was scrubbed... URL: From agouf.nour at gmail.com Thu Mar 21 18:20:27 2024 From: agouf.nour at gmail.com (Nour) Date: Thu, 21 Mar 2024 18:20:27 +0100 Subject: [fg-arc] IEEE Working Conference on Software Visualization Message-ID: [Our apologies in case of multiple posts] Call for Papers VISSOFT 2024 (12th IEEE Working Conference on Software Visualization) ========================================================== VISSOFT 2024: 6-7 October 2024, Flagstaff, Arizona, U.S. http://vissoft.info/2024 New: Special Issue for invited VISSOFT 2024 papers under exploration. ========================================================== Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from areas such as information visualization, human-computer interaction, computer graphics, and data science, and applying these in the software engineering domain. The VISSOFT conference is principally a venue for publishing and discussing research related to software visualization. Consequently, VISSOFT brings together a community of researchers from software engineering, information visualization, human-computer interaction, computer graphics, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. VISSOFT, co-located with ICSME, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, evaluations, and papers that present novel ideas and tools. Topics of interest include but are not limited to - Innovative visualization and visual analytics techniques for the analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data - Visualization to support software development activities, including design, requirements engineering, software maintenance, program comprehension, software performance, software testing, and debugging - Visual tools and frameworks for the direct development and maintenance of software, including visual programming languages and visual development environments - Interaction techniques and algorithms for software visualization - Visualization-based techniques in software engineering education - Integration of software visualization tools with development environments - Empirical evaluation of software visualizations, including eye-tracking - Industrial experience with using software visualization - Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, speech, and machine learning - Analytical approaches to understanding software-related aspects based on data science concepts We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to full technical papers, VISSOFT features both a New Ideas and Emerging Results (NIER) Track and a Tools Track whose purpose is to present an idea still under development or to demonstrate the functionality of a newly developed tool. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. Submission Types Research Track A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be a maximum of 10 pages long (including all figures, tables, and appendices). However, the 10-page limit does not include the bibliography, which is limited to two additional pages. All papers are required to include a user evaluation demonstrating their effectiveness, such as showcasing improvements over comparable tools or, if novel, demonstrating their utility and practical application. These papers will undergo evaluation using the same criteria as those in the Research track. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities where this matters for understanding of the paper. Authors who wish to submit a video should add a URL to the video at the end of the abstract (e.g., Video URL: https://youtu.be/XXX). Paper Awards: VISSOFT 2024 may award distinguished technical papers. Artifact Evaluation: Paper authors are encouraged to submit research artifacts (e.g., tools, data repositories, frameworks, videos) for evaluation. For more details, please refer to the Artifact Evaluation Track. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 NIER Track The NIER Track of VISSOFT accepts New Ideas and Emerging Results. NIER contributions have a limit of 5 pages (including bibliography). NIER contributions describe work-in-progress and preliminary, exciting ideas and results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. NIER contributions do not require an evaluation. One of the goals of the NIER Track is to foster collaboration among different research groups, by showcasing ideas which may lead to joint research activities. Paper Awards: VISSOFT 2024 may award distinguished NIER papers. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 Tools Track The Tools Track of VISSOFT accepts submissions describing already implemented and functional tools. Contributions to the Tools Track have a limit of 4 pages for short papers, and a limit of 10 pages for long papers (in both cases including all figures, tables, and appendices). For bibliography, short papers can use up to one additional page, and long papers up to two additional pages. Tools Track papers describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. We also invite submitting significant evolutions of tools already presented (in past VISSOFT editions or in other venues). Short tool papers usually just describe the presented tool, and will be evaluated mostly in terms of novelty and interest. Long tool papers are expected to present a user evaluation which shows evidence of its effectiveness, for instance, improvements over other similar tools, or if it is novel, showing its utility and practical use. Long papers will be evaluated following the same criteria as in the Research track. The submission of a video (up to 5 minutes in length) to accompany the paper is mandatory. Authors should add a URL to the video at the end of the abstract (e.g., Video URL: https://youtu.be/XXX). Paper Awards: VISSOFT 2024 may award distinguished tool papers. Showcase session: During the conference, we will organize an informal tool demonstration session where authors of TD papers are invited to demonstrate their tools. Artifact Evaluation: Paper authors are encouraged to submit their tools and other related artifacts (e.g., data repositories, videos) for evaluation. For more details, please refer to the Artifact Evaluation Track. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 Artifact Evaluation Track Also this year, ICSME, VISSOFT, and SCAM have joined forces and present a single Artifact Evaluation Track for all three venues. We invite authors of papers of all lengths accepted to VISSOFT 2024 to submit artifacts associated with those papers for evaluation. Papers with artifacts that meet the review criteria will be awarded badges, noting their contributions to open science in SE. More information on the Call for Papers of the Joint Artifact Evaluation Track will be available at the ICSME 2024 web page ( https://conf.researchr.org/home/icsme-2024, see “Tracks” drop-down menu). Journal-First Track A submission to the VISSOFT 2024 call for journal-first paper presentations must adhere to the following criteria: - The paper was accepted by a relevant journal and it is in the scope of the conference - The paper was published between July 1, 2021 and July 19, 2024. - The paper reports new research results and/or presents novel contributions that significantly extend, and were not previously reported in, prior work - The paper has not been presented at and is not under consideration for journal-first programs of other conferences Authors of a paper that meets these criteria are invited to submit by email to vissoft2024 at easychair.org a one-page presentation proposal consisting of the paper’s title, the paper’s authors, a short statement on how the work satisfies the journal first criteria, and a pointer to the original journal paper at the journal’s Website. If the paper is not online yet, then specify so. The original paper (or a preprint) should also be sent during submission. The journal-first manuscripts are published through the journals and will not be part of the Conference proceedings. The journal-first papers will be listed in the conference program. Journal first presentations will have the same presentation time as technical papers. Important Dates (23:59:59 AoE) Submission: July 19, 2024 Notification: July 29, 2024 Showcase Session As successfully done in the past, at VISSOFT 2024 authors of all accepted papers in all tracks, and specially in the Tools Track, will be invited to demonstrate their approaches and tools to the participants in an informal setting. More details will follow a few weeks before the conference. How to submit Papers must strictly adhere to the two-column IEEE conference proceedings format and the page. Please use the available IEEE Manuscript Templates for Conference Proceedings: https://www.ieee.org/conferences/publishing/templates.html If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and present the paper at the conference. Supplemental material (e.g., video, data, software) that might be helpful for reviewers can be linked in your paper. Note: VISSOFT uses a single-blind review process (i.e., the names and affiliations of the authors are revealed to reviewers but reviewers' identities are not revealed to authors). Important Dates All dates refer to midnight 23:59:59 AoE . Research, NIER, and Tools Track Journal First Track Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 July 19, 2024 Notification: July 15, 2024 July 29, 2024 Conference Date: October 6-7, 2024 Program Committee (to be completed) ========================================================== Nour Jihene Agouf Researcher in Computer Science at SogetiLabs -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Fri Mar 22 14:35:55 2024 From: announce at ucy.ac.cy (Announce) Date: Fri, 22 Mar 2024 13:35:55 +0000 Subject: [fg-arc] CAiSE'24: Last Call for Journal First Submissions Message-ID: *** Last Call for Journal First Submissions *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 31st March, 2024 AoE ***) CAiSE 2024 is organising journal-first sessions as part of the scientific program. The aim of these sessions is to disseminate recent important research contributions and spark discussions between authors and researchers in the CAiSE community. Authors of selected journal articles on CAiSE-related topics will be invited to present their work at the conference. SCOPE For the journal-first sessions, we solicit submissions related to articles that have been accepted for publication by a reputable journal and that meet the following criteria: • The article relates to the topics of the CAiSE conference and the recent call for papers. • The article is an original submission to the journal and not an extension of an earlier conference or workshop paper. • The article is an original research article; review articles or commentaries will not be considered. • The article was accepted for publication by a journal on or after 1 January 2023, the acceptance must have been publicly announced, the article must be available at the publisher’s website (e.g., as "articles in advance" or published on a journal’s website), and the article must be written in English. • The article has not been presented at, and is not under consideration for, journal-first tracks of other conferences. FORMAT Accepted submissions will be presented as part of the CAiSE 2024 scientific programme. SUBMISION Submissions must be done electronically via Easychair (https://easychair.org/my/conference?conf=caise2024) and include: • Title and author information of the article. • The original abstract and keywords. • DOI of the original publication or, alternatively, a link to the publication at the journal’s website. EVALUATION All submissions will be reviewed by the track chairs with the aim to accept all qualifying submissions subject to ability to accommodate them in the program. If needed, priority will be given to submissions according to their topical fit with the scope of the conference, the importance of the contribution, as well as the standing of the respective journal (including, but not limited to, the journal's impact factor and ranking results). ATTENDANCE AND PRESENTATION At least one author of each submission accepted for the journal-first track must register and attend the conference to present the work. The author needs a full registration to present the journal article. As the articles of the journal-first track have been published already, they will not be part of the CAiSE 2024 proceedings. The articles will be listed in the conference program and CAiSE 2024 participants will have access to the respective abstracts and a pointer to the original journal article. IMPORTANT DATES • Submission: 31st March, 2024 (AoE) • Notification of Acceptance: 14th April, 2024 • Author Registration: 17th May, 2024 • Conference Dates: 3rd-7th June, 2024 JOURNAL FIRST CHAIRS • Paolo Giorgini, University of Trento, Italy • Jeffrey Parsons, Memorial University of Newfoundland, Canada -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Mar 23 08:56:14 2024 From: announce at ucy.ac.cy (Announce) Date: Sat, 23 Mar 2024 07:56:14 +0000 Subject: [fg-arc] CAiSE'24: Last Call for Research Projects Exhibition Message-ID: *** Last Call for Research Projects Exhibition *** 36th International Conference on Advanced Information Systems Engineering (CAiSE'24) June 3-7, 2024, 5* St. Raphael Resort and Marina, Limassol, Cyprus https://cyprusconferences.org/caise2024/ (*** Submission Deadline: 8th April, 2024 AoE ***) CAiSE 2024 features a Research Project Exhibition (RPE at CAiSE'24) where researchers and practitioners can present their ongoing research projects (e.g., Horizon or ERC projects, national grants) in the context of Information Systems Engineering. The main objective of this call is to serve as a forum where presenters can disseminate the intermediate results of their projects or get feedback about research project proposals being developed. The exhibition will also provide a warm environment to find potential research partners, foster existing relationships, and discuss research ideas. To participate in the RPE at CAiSE'24, the authors should submit a short paper (5-8 pages) showcasing the project, including the participants, the main objectives of the project and relevant results obtained so far (or expected results in the case of project proposals). Each submission will be peer-reviewed on the relevance of the submitted paper in the context of CAiSE 2024. If the paper is accepted, the authors will be invited to register for the conference to present their work at the Research Projects Exhibition session at CAiSE 2024. The accepted contributions will be proposed for publication by CEUR proceedings using the 1-column CEUR-ART style. In addition, the authors of the most influential project presented at the RPE at CAiSE'24 will receive an award distinguishing their contribution as the "Most Influential Project of the Research Project Exhibition @CAiSE'24". RESEARCH PROJECTS REQUIREMENTS For the Research Projects Exhibition, we solicit submissions of projects related to the topics of CAiSE that meet the following criteria: • Projects funded by the European Union, by national or local funding organisations, or even by individual universities and industries. • Projects focused on fundamental research, applied research or more industry-oriented. • Research projects carried out by an international consortium of partners or by a national research team. • Research statements for future projects concerning the Information Systems Engineering community. SUBMISSION GUIDELINES Papers should be submitted via Easychair (https://www.easychair.org/conferences/?conf=caise2024) by selecting the "Research Projects Exhibition". Each submission of a research project should include: • The project's full name, acronym, duration (from-to), participants, funding agency and URL. • Names of presenter(s) and main contributors. • Abstract and keywords. • Summary of project objectives and expected tangible outputs. • The relevance of the project (or one of its work packages) to the topics of the International Conference on Advanced Information Systems Engineering. • If the project is ongoing: summary of current status and intermediate results. All submissions should be 5 to 8 pages long and be formatted as a 1-column CEUR-ART style (templates available at https://ceur-ws.org/Vol-XXX/). An intention to submit should be performed one week before the deadline, including the full name of the project, the authors' name and the abstract. Each submission will be reviewed by at least two members of the Program Committee. In case of disagreement, a third member of the Program Committee will review the submission. The Program Committee will comprise international researchers with expertise in the field. ATTENDANCE AND PRESENTATION During the Research Projects Exhibition session, the authors of accepted contributions will present the research project. Details about the format of the session and instructions to prepare the presentation will be given to authors after the acceptance notification. At least one author of each submission accepted for the Research Projects Exhibition must register and attend the conference to present the work. The author needs a full registration to present the research project. IMPORTANT DATES • Submission: 8th April, 2024 (AoE) • Notification of Acceptance: 22nd April, 2024 • Camera Ready: 13th May, 2024 • Author Registration: 17th May, 2024 • Conference Dates: 3rd-7th June, 2024 RESEARCH PROJECTS EXHIBITION CHAIRS • Raimundas Matulevicius, University of Tartu, Estonia • Henderik A. Proper, TU Wien, Austria -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Fri Mar 22 14:06:37 2024 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Fri, 22 Mar 2024 13:06:37 +0000 Subject: [fg-arc] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck Message-ID: Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Thursday (!!), March 28! Prof Wolfram Kahl, McMaster University, Canada will lecture on his experiences in teaching with a tool called CalcCheck: a proof checker for teaching calculational Logics and Discrete Mathematics. CalcCheck offers an automated hands-on approach to learning math that traditional teaching methods lack. It supports the development of critical thinking and problem-solving skills, by encouraging students to actively explore and experiment. Some features of CalcCheck: * Proof Checking: The ability to check the logical validity of each step in a mathematical proof. * Interactive Exercises: Students can engage with interactive exercises that are designed to reinforce mathematical concepts and proof techniques. * Self-Learning: It can be used for self-learners of mathematical logic, discrete mathematics, and other related fields. * Customisability: Teachers can create custom exercises and problem sets tailored to their curriculum, making it a versatile tool for a variety of mathematical topics. Prof. Kahl is the developer and maintainer of CalcCheck. More information about our lecturer can be found here: https://www.cas.mcmaster.ca/~kahl/. The zoom link for Prof. Kahl’s lecture is https://aboakademi.zoom.us/j/64254430116. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From cdve2018 at yahoo.com Sat Mar 23 06:44:53 2024 From: cdve2018 at yahoo.com (CDVE UibZjut) Date: Sat, 23 Mar 2024 05:44:53 +0000 (UTC) Subject: [fg-arc] {SPAM?} CDVE2024 Call for Papers - Valencia, Spain References: <125989891.464620.1711172693204.ref@mail.yahoo.com> Message-ID: <125989891.464620.1711172693204@mail.yahoo.com> CDVE2024 Call for Papers - Valencia, Spain The 21st International conference on Cooperative Design Visualization and Engineering (CDVE2024) will be held in Valencia, Spain on Sept. 15-18, 2024. www.cdve.org Full paper submission deadline: April 1, 2024 (No abstract submission required). Call topics: The focus is "cooperative". All the applications for multiple users, multiple disciplinaries, multiple locations, multiple units, multiple sensors, multimodal cooperation and integration are within our attention. The major areas include cooperative design, visualization, engineering, social networks, IoT, sensor networks, e-health care, e-education etc. See more in: https://www.cdve.org/cfpaper.html SCI indexed Journal special issues:  journals MDPI "Symmetry", "Electronics" Proceedings publisher: LNCS - Lecture Notes in Computer Science by Springer Nature Indexing:  Conference Proceedings Citation Index (CPCI) by Clarivate Analytics’ Web of Science, EI Engineering Index (Compendex and Inspec databases), ACM Digital Library, DBLP, Google Scholar, IO-Port, MathSciNet, Scopus, Zentralblatt MATH etc. Submission page: https://easychair.org/conferences/?conf=cdve2024 Contact email: cdve2024 @easychair.org See you in Valencia Spain- the modern architectural city by the Mediterranean Sea and the home of seafood rice - Paella! ------------------- www.cdve.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From luis.magdalena at upm.es Mon Mar 25 12:44:18 2024 From: luis.magdalena at upm.es (Luis Magdalena) Date: Mon, 25 Mar 2024 12:44:18 +0100 Subject: [fg-arc] [ECAI-2024] Call for Nominations for the EurAI Dissertation Award Message-ID: <24ee2872-ae78-4c67-863e-577e16353bd5@upm.es> Nominations are now invited for the 2023 Artificial Intelligence Dissertation Award sponsored by EurAI, the European Association of Artificial Intelligence. Eligible are all doctoral theses in AI that were defended between December 2022 and December 2023 at a European university. Full information is available here: https://eurai.org/applications/dissertation-awards Deadline: 31 May 2024 The recipient of the award will be invited to give a talk at the 27th European Conference on Artificial Intelligence (ECAI), which will be held in Santiago de Compostela this October. Refer to https://www.ecai2024.eu for more information on the conference. -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Luigia.Petre at abo.fi Thu Mar 28 10:59:29 2024 From: Luigia.Petre at abo.fi (Luigia Petre) Date: Thu, 28 Mar 2024 09:59:29 +0000 Subject: [fg-arc] =?windows-1252?q?Call_for_Tutorial_Papers_at_FM_2024=3A?= =?windows-1252?q?_deadline_approaching_=97=3E_April_19!?= Message-ID: For the first time ever, the FM symposium hosts a tutorial papers track: https://www.fm24.polimi.it/?page_id=310. We invite you to submit your tutorial contributions here! Important Dates (Tutorial Papers Only) Tutorial Paper Submission April 19th, 2024 (Fri) 23:59 AoE Preliminary Decision May 24th, 2024 (Fri) 23:59 AoE Revised Version Due June 9th, 2024 (Sun) 23:59 AoE Final Decision June 24th, 2024 (Mon) 23:59 AoE Final Paper Due July 1st, 2024 (Mon) 23:59 AoE Conference September 9th – 13th, 2024 Tutorial papers present ideas with a focus on pedagogy over technical innovation. By being written in a broadly-accessible way, a tutorial will clarify important ideas, bring new researchers into the community, and serve as a bridge to practitioners. A good tutorial paper is not expected to have any technical innovation at all. Instead, we will evaluate it on its pedagogy: Is it crisp and clear? Is it readable? Does it help build good intuitions? Is it comfortable to follow? Will it help useful ideas reach a much broader audience? While tutorials about tools are a canonical fit, tutorials about techniques are also welcome. Prospective authors who want to suggest tutorials of other kinds are welcome to contact the chairs to get guidance. In general, we are very open-minded about what tutorials are about, provided they are about topics of interest to the formal methods community. Tutorial papers can be at most 22 pages in LNCS format. There is no minimum length; the tutorial should be as long as necessary to be effective, but should avoid filler. Tools should include links and descriptions of how to run them. Papers are welcome to include an appendix, which reviewers will read at their discretion. (We understand that detailed screen-shots, tool descriptions, etc., are best relegated to an appendix, and reviewers will make a good-faith effort to examine these.) Authors of a paper need not be the creators of the technical concepts it describes. The paper must provide clear references to the original technical content. The presentation must be novel relative to the published literature. Accepted papers will be published in the conference proceedings. Authors of accepted papers will be given a presentation slot in the tutorials period preceding the main conference. The tutorial paper submission should specify the desired length of the presentation, which can be a half or full day. They will also be invited (but are not required) to give a five-minute presentation during the main conference, to give their tutorial wider notice. Authors of tutorials are strongly encouraged to submit at least preliminary versions of runnable/machine-readable artifacts to accompany their papers, where appropriate. Authors of preliminarily accepted tutorials are strongly encouraged to submit an artifact for evaluation by the FM 2024 Artifact Evaluation Committee after the preliminary notification for their tutorial. Authors can also request a tutorial presentation slot without an accompanying paper by submitting a short tutorial proposal instead. Priority will be given, however, to tutorials accompanied by full tutorial papers. Submissions Submit your papers at https://easychair.org/conferences/?conf=fm24 Tutorial Track Committee Member(s) Affiliation Role Luigia Petre Åbo Akademi University, Finland PC Co-Chair Shriram Krishnamurthi Brown University, USA PC Co-Chair Anindya Banerjee IMDEA Software Institute, Spain PC Member Brijesh Dongol University of Surrey, UK PC Member Daniel Jackson MIT, USA PC Member David Thrane Christiansen Lean FRO, LLC PC Member Jan Friso Groote Eindhoven University of Technology, Netherlands PC Member Jannis Limperg University of Munich (LMU), Germany PC Member Jeroen Keiren Eindhoven University of Technology, Netherlands PC Member Marcello Bonsangue Leiden University, Netherlands PC Member Markus Alexander Kuppe Microsoft Research, USA PC Member Maurice ter Beek CNR-ISTI, Pisa, Italy PC Member Nikolaj Bjorner Microsoft Research, USA PC Member Rosemary Monahan Maynooth University, Ireland PC Member Stefan Hallerstede Aarhus University, Denmark PC Member Thierry Lecomte CLEARSY, France PC Member Tim Nelson Brown University, USA PC Member We look forward to your contributions, Luigia and Shriram FM 2024 is the 26th international symposium in a series organized by Formal Methods Europe (FME). The topics covered include the development and application of formal methods in a wide range of domains including software, cyber-physical systems and integrated computer-based systems. FM 2024 is organised during September 9-13, 2024, at Politecnico di Milano, in Italy: https://www.fm24.polimi.it/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre -------------- next part -------------- An HTML attachment was scrubbed... URL: From ssharm21 at students.kennesaw.edu Fri Mar 29 00:35:08 2024 From: ssharm21 at students.kennesaw.edu (Sachin Sharma) Date: Thu, 28 Mar 2024 23:35:08 +0000 Subject: [fg-arc] Call For Papers - 36th IEEE International Conference on Tools with Artificial Intelligence - Oct. 30-Nov. 1 2024 - Herndon, VA, USA Message-ID: Dear Colleagues, The 36th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) organizing committee is inviting you to submit your research papers. The conference will be held in person, on October 30th till November 1st, 2024 in Herndon, Virginia, USA. Topics include (but not limited to): 1. AI Foundations 2. AI in Domain-specific Applications 3. AI in Computer Systems 4. AI in Data Analytics, Data Mining and Big Data 5. AI in Smart Cities 6. Machine Learning 7. Knowledge Representation, Reasoning, Cognition 8. AI and Decision Systems 9. Uncertainty in AI 10. Natural Language Processing 11. AI and Societal Impact Important Dates Paper submission: July 1, 2024 Acceptance notification: August 18, 2024 Camera-ready: September 16, 2024 To submit your manuscript, please use the following link: https://easychair.org/conferences/?conf=ictai2024 For more information, please don't hesitate to contact the General Chair Dr. Manolis Koubarakis (National and Kapodistrian University of Athens) at koubarak at di.uoa.gr, Program Chair Dr. Jessica Lin (George Mason University) at jessica at gmu.edu and Financial and Registration Chair Dr. Alexiou (Kennesaw State University) at malexiou at kennesaw.edu. We look forward to your submissions. Sachin Sharma ICTAI 2024 Publicity Chair -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CFP-ICTAI-2024.pdf Type: application/pdf Size: 219800 bytes Desc: CFP-ICTAI-2024.pdf URL: