From domenico.lofu at poliba.it Mon Apr 1 07:30:00 2024 From: domenico.lofu at poliba.it (=?Windows-1252?Q?Domenico_Lof=F9?=) Date: Mon, 1 Apr 2024 05:30:00 +0000 Subject: [fg-arc] CFP: Special Session on Brain-Computer Interfaces and Cognitive Computation in Intelligent Systems @ SMC2024 Message-ID: CALL FOR PAPERS (apologies for multiple copies): ----------------------------------------------------------------------- Special Session on Brain-Computer Interfaces and Cognitive Computation in Intelligent Systems @IEEE SMC Workshop on Brain-Machine Interface (BMI) Systems, Held in conjunction with International Conference on System, Man and Cybernetics (IEEE SMC 2024) - Sarawak, Malaysia, 7 - 10 October 2024 https://sites.google.com/view/smc-bmi-workshop2024/information-for-authors/approved-special-sessions https://www.ieeesmc2024.org/#/special-sessions ----------------------------------------------------------------------- IMPORTANT DATES: Submission Paper: April 8, 2024 Notifications to Authors: May 30, 2024 Camera-Ready Due : July 15, 2024 Early-Bird Registration Deadline: July 29, 2024 The workshop will be in person or hybrid. AIM AND SCOPE: A Brain–Computer Interface (BCI) is a computer-based system that captures Electroencephalography (EEG) signals, processes them, and translates them into commands that are transmitted to an output device for the execution of a desired action. Thanks to their affordable cost and non-invasive nature, BCIs offer unparalleled capabilities for controlling various devices. The BCI paradigm seamlessly aligns with Cognitive Computation and Intelligent Systems, including human-machine systems (HMS), cognitive IoT, Edge, Healthcare, and wearable computing applications. Leveraging Artificial Intelligence (AI) techniques, these systems can predict human cognitive-related outcomes. However, in everyday activities, the interaction between BCIs and AI is limited. The lack of systematic approaches hampers the development of methods, applications, and services that can seamlessly integrate with people's daily activities. This integration is crucial for predicting future actions and adapting behavior according to individuals' intentions. The primary objective of this special session is to bring together researchers and practitioners to present cutting-edge research results that support the advancement of BCI-based systems and Cognitive Computation methods and approaches in the context of novel Intelligent Systems. The focus will be on introducing innovative methodologies for integrating AI algorithms and Cognitive computation methods with BCI technologies and Intelligent Systems across various applications, such as HMS, IoT, Healthcare, Cyber-Physical-Social Systems. By doing so, the integration facilitates the ability to predict specific outcomes and offer corresponding explanations, all within the framework of explainable AI methodologies and optimal human-centered AI. SPECIAL SESSION TOPICS: Topics include, but are not limited to: * Brain-Computer Interfaces (BCI) in Intelligent Systems * BCI for people’s daily routine systems * Machine Learning (ML) for BCI Systems * Cognitive Computation models for BCI systems and Intelligent Systems * Explainable Artificial Intelligence (XAI) in Intelligent Systems * EEG signal analysis and applications * User studies on BCI and AI usages * Neuroergonomics * Human-AI teaming * Next generation Human-Machine Systems * BCI for Robotics * Cognitive Robotic SUBMISSION GUIDELINES: Special Session Code: 7579m Submission guidelines: https://www.ieeesmc2024.org/#/call-for-paper Submission link: https://conf.papercept.net/conferences/scripts/start.pl All Special Session accepted papers will be included in the official SMC '24 proceedings. The official publication date is when the proceedings are made available in the IEEE Xplore Digital Library (https://ieeexplore.ieee.org/Xplore/). SPECIAL SESSION ORGANIZERS: Giuseppe D’Aniello, University of Salerno, Italy, gidaniello at unisa.it Domenico Lofù, Polytechnic University of Bari, Italy, domenico.lofu at poliba.it Elvira Brattico, Aarhus University, elvira.brattico at clin.au.dk Denmark Tiago Falk, University of Quebec, Canada, tiago.falk at inrs.ca Angela Lombardi, Polytechnic University of Bari, Italy, angela.lombardi at poliba.it Hasan Ayaz, Drexel University, USA, ha45 at drexel.edu Informativa Privacy - Ai sensi del Regolamento (UE) 2016/679 si precisa che le informazioni contenute in questo messaggio sono riservate e ad uso esclusivo del destinatario. Qualora il messaggio in parola Le fosse pervenuto per errore, La preghiamo di eliminarlo senza copiarlo e di non inoltrarlo a terzi, dandocene gentilmente comunicazione. Grazie. Privacy Information - This message, for the Regulation (UE) 2016/679, may contain confidential and/or privileged information. If you are not the addressee or authorized to receive this for the addressee, you must not use, copy, disclose or take any action based on this message or any information herein. If you have received this message in error, please advise the sender immediately by reply e-mail and delete this message. Thank you for your cooperation. -------------- next part -------------- An HTML attachment was scrubbed... URL: -------------- next part -------------- A non-text attachment was scrubbed... Name: CFP_BCI_CognitiveComputation2024.pdf Type: application/pdf Size: 997516 bytes Desc: CFP_BCI_CognitiveComputation2024.pdf URL: From announce at ucy.ac.cy Mon Apr 1 10:38:29 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 1 Apr 2024 08:38:29 +0000 Subject: [fg-arc] 21st International Conference on Software and Systems Reuse (ICSR 2024): Last Call for Late-Breaking Results and Journal First Submissions Message-ID: *** Last 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 (firm) ***) 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 (firm) • 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 Apr 2 12:16:21 2024 From: announce at ucy.ac.cy (Announce) Date: Tue, 2 Apr 2024 10:16:21 +0000 Subject: [fg-arc] CAiSE'24: Last Mile for Research Projects Exhibition Message-ID: *** Last Mile 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: 15th April, 2024 AoE (extended) ***) 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 • Intention to Submit (Abstract Submission): 8th April, 2024 (AoE) (extended) • Submission: 15th April, 2024 (AoE) (extended) • Notification of Acceptance: 29th April, 2024 • Camera Ready: 13th May, 2024 • Author Registration: 13th 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 announce at ucy.ac.cy Thu Apr 4 15:00:21 2024 From: announce at ucy.ac.cy (Announce) Date: Thu, 4 Apr 2024 13:00:21 +0000 Subject: [fg-arc] 12th IEEE International Conference on Intelligent Systems: Invited Session on Intelligent Tools in e/m/d Learning Message-ID: *** Third 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 30, 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 30, 2024, AoE • Notification: May 20, 2024 • Camera Ready: June 6, 2024 • Author Registration: June 15, 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 luis.magdalena at upm.es Wed Apr 3 23:25:21 2024 From: luis.magdalena at upm.es (Luis Magdalena) Date: Wed, 3 Apr 2024 23:25:21 +0200 Subject: [fg-arc] [ECAI-2024] Submission deadline approaching Message-ID: <9772b931-d730-4026-8070-7f328a4c7e2e@upm.es> Submissions for the main track of ECAI-2024, the 27th European Conference on Artificial Intelligence, are now open. You need to register your paper by 19 April 2024 and then upload the PDF (and any supplementary materials) by 25 April 2024. The deadlines for the demo track, for our sister conference on prestigious applications of intelligent systems (PAIS), and for our many satellite workshops will be a little later. Check the website for details: https://www.ecai2024.eu/ On the conference website you will find lots of information on topics such as invited speakers, tutorials, and satellite workshops. Before submitting, please consult the Call for Papers and the FAQ: https://sites.google.com/view/ecai24faq/authors -- Luis Magdalena Publicity Chair of the European Conference on Artificial Intelligence (ECAI-2024) -------------- next part -------------- An HTML attachment was scrubbed... URL: From Daniel.Moldt at Uni-Hamburg.DE Sat Apr 6 13:48:02 2024 From: Daniel.Moldt at Uni-Hamburg.DE (Daniel Moldt) Date: Sat, 6 Apr 2024 13:48:02 +0200 Subject: [fg-arc] Joint call for papers PNSE'24 + PeNGE 2024 Message-ID: Joint call for papers: PeNGE 2024 - International workshop on Petri Net games, examples and quizzes for education, contest and fun    https://e.feu.de/penge Submissions until: May 8, 2024 and PNSE’24 - International Workshop on Petri Nets and Software Engineering   https://www.informatik.uni-hamburg.de/TGI/events/pnse/pnse24/ Submissions until: April 30, 2024 both will take place in Geneva, Switzerland, June 24-25, 2024 For more information please see below or at the website of the main conference https://www.unige.ch/petrinets2024/ #################################################################################################################### #################################################################################################################### CALL FOR PAPERS PeNGE 2024 - International workshop on Petri Net games, examples and quizzes for education, contest and fun GENEVA, SWITZERLAND, 25 JUNE 2024 The workshop "Petri Net games, examples and quizzes for education, contest and fun" is a satellite event of the 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024). It aims to attract short papers that present examples for the use of Petri nets for elegant modeling, analysis or problem solving. The examples should be comprehensible, self-contained and ideally demonstrate advantages of Petri Net techniques compared to other approaches. A particular objective of the workshop is the collection of examples that can be used for exemplary mauthorsodeling or application of analysis concepts in education. The program committee invites submission of papers (4 to 8 pages). It is obligatory that each paper contains at least one nice Petri net. Papers should be submitted in electronic form (PDF) using the CEUR latex style: http://ceur-ws.org/Vol-XXX/CEURART.zip Submissions should include title, author addresses and E-mail addresses. Papers must be submitted as a pdf file using EasyChair: https://easychair.org/conferences/?conf=penge2024. We will provide online workshop proceedings. Very good contributions can be nominated for a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). Important Dates    Paper submission deadline: May 8, 2024    Notification of paper acceptance: May 22, 2024    Final version due: June 6, 2024    Workshop: June 25, 2024 Program Committee Chairs    Jörg Desel, Joerg.Desel at fernuni-hagen.de    Laure Petrucci, Laure.Petrucci at lipn.univ-paris13.fr Venue    Campus Biotech, Chemin des Mines 9, 1202 Geneva, Switzerland Web Page    https://e.feu.de/penge Call for Papers in pdf-format    https://www.fernuni-hagen.de/penge/penge2024/PeNGE2024_CFP.pdf #################################################################################################################### #################################################################################################################### Call for Papers     International Workshop on Petri Nets and Software Engineering     PNSE’24, Geneva, Switzerland, June 24-25, 2024     http://www.pnse.de        PNSE’24 is a satellite event of PETRI NETS’24     https://www.unige.ch/petrinets2024/ Scope For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets are becoming increasingly popular in this area, as they provide a uniform language supporting the tasks of modelling, validation, and verification. We welcome contributions describing original research in topics related to Petri nets in combination with software engineering, addressing open problems or presenting new ideas regarding the relation of Petri nets and software engineering. Furthermore, we look for surveys addressing open problems and new applications of Petri nets and for Petri nets.                              Important Dates: Deadline for full papers:                30     April       2024 Deadline for short papers:             30    April        2024 Notification of paper acceptance:  21    May        2024 Deadline for posters:                     22    May        2024 Notification of poster acceptance: 23    May        2024 Deadline for final revisions:             3    June        2024 Workshop Date:                             24/25 June    2024                                    Topics Topics of interest include (but are not limited to):  Software Engineering    agile development    product lines    software in business contexts    software development and production environments; DevOps; IDEs; continuous integration    programming and concurrency    technologies: hadoop / MapReduce; akka, Spark; Flink; STORM etc.    distributed database technology: redis; cassandra; CouchDB; mongoDB etc.    concepts for mobility, concurrency, non-determinism, distribution, embedding, flexibility    social concepts for norms, rules, contracts, communication, co-ordination, co-operation    software engineering addressing Petri nets, UML techniques, BPMN, BPEL, eEPCs, CMMN and other modelling techniques    Modelling    representation of formal models by intuitive modelling concepts    guidelines for the construction of system models    adaption, integration, and enhancement of concepts from other disciplines    views and abstractions of systems    meta-modelling and domain specific languages (DSLs)    model-driven architecture    modelling software landscapes    web service-based software development    Validation and Execution    prototyping    simulation, observation, animation    code generation and execution    testing and debugging    efficient implementation    Verification    structural methods (e.g. place invariants, reduction rules)    results for structural subclasses of nets    state space based approaches    efficient model checking    assertional and deductive methods (e.g. temporal logics)    process algebraic methods    model and graph transformation    applications of category theory, rewriting logic and linear logic  Application of Petri nets and Software Engineering, in particular in the domains of …    education, training and teaching at any level,    flexible manufacturing,    logistics,    telecommunication,    big data,    cyber-physical systems,    internet-of-things,    grid and cloud computing,    distributed systems,    workflow management and    embedded systems.  Tools in the fields mentioned above                               Submissions The program committee invites submissions of full contributions (up to 20 pages excluding references) or short contributions (5 - 8 pages excluding references). Ongoing work (up to 3 pages including references) can be presented in a special poster session. Papers must be submitted in electronic form (PDF) using the CEUR latex style:     http://ceur-ws.org/Vol-XXX/CEURART.zip Submissions should include title, authors' addresses, E-mail addresses, keywords and an abstract. For your submission please use the online conference management system at https://easychair.org/conferences/?conf=pnse24 The papers will be peer reviewed. Accepted contributions will be included in the workshop proceedings, which will be available at the workshop and published online. The best papers from the workshop will be invited for publication in a volume of the journal sub-line of Lecture Notes in Computer Science entitled "Transactions on Petri Nets and Other Models of Concurrency" (ToPNoC). The papers are expected to be thoroughly revised and they will go through a totally new round of reviewing as is standard practice for journal papers.             PC Chairs Michael Köhler-Bußmeier, University of Applied Science Hamburg, Germany Daniel Moldt, University of Hamburg, Germany Heiko Rölke, FH Graubünden, Austria In case of any problems please contact us by email: pnse24 at easychair.org -- Dr. Daniel Moldt University of Hamburg, Department of Informatics, Vogt-Koelln-Str. 30, Room G-213, 22527 Hamburg sender:Daniel.Moldt at Uni-Hamburg.DE mailto:Moldt at Informatik.Uni-Hamburg.DE http://www.informatik.uni-hamburg.de/TGI/moldt Tel: (+49) (0) 40 428 83 Secr: -2181 Mobile/Signal: (+49) (0) 176 311 75 773 Petri Nets World: http://www.PetriNet.de Petri Nets and Software Engineering: http://www.PNSE.de From p.lammich at utwente.nl Mon Apr 8 10:42:25 2024 From: p.lammich at utwente.nl (Peter Lammich) Date: Mon, 8 Apr 2024 10:42:25 +0200 Subject: [fg-arc] {SPAM?} IJCAR: Woody Bledsoe Award: Call for Nominations Message-ID: <341de06d-0c6a-4c4b-98b2-28862126b8d5@utwente.nl> [[Apologies if you receive this email multiple times]] The Woody Bledsoe Award honors the memory of Woody Bledsoe [1], for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), by covering part of their expenses. Applications are solicited for the Woody Bledsoe Award 2024. Preference will be given to students who play an active role in the conference (including satellite workshops and competitions) and the SAT/SMT/AR Summer School [2] and who do not have alternative funding. A nomination consists of a recommendation letter of up to 300 words from the student’s advisor. It should be received by email at the addressijcar2024 at inria.fr by April 28, 2024. Winners of the award are chosen by a committee consisting of the PC chairs of IJCAR 2024 and the local organizers. The awards will be presented at the conference. [1] https://en.wikipedia.org/wiki/Woody_Bledsoe [2] https://sat-smt-ar-school.gitlab.io/www/2024/ From vdheuvel.bas at gmail.com Thu Apr 11 13:04:46 2024 From: vdheuvel.bas at gmail.com (Bas van den Heuvel) Date: Thu, 11 Apr 2024 13:04:46 +0200 Subject: [fg-arc] {SPAM?} DisCoTec 2024 Joint Call for Participation Message-ID: [Apologies for multiple postings] ********************************* Joint Call for Participation 19th International Federated Conference on Distributed Computing Techniques DisCoTec 2024 Groningen, The Netherlands, June 17-21, 2024 https://www.discotec.org/2024/ ********************************* DisCoTec is one of the major events sponsored by the International Federation for Information Processing (IFIP) and the European Association for Programming Languages and Systems (EAPLS). DisCoTec 2024 will take place in Groningen, The Netherlands, between June 17-21, 2024, hosted by the University of Groningen. * Registration * Detailed information about registration can be found at https://www.discotec.org/2024/registration. Deadlines (23:59 CEST): - Early registration: May 22, 2024. - Late registration: June 12, 2024. * Keynote Speakers * - Marieke Huisman (University of Twente, NL) VerCors: Inclusive Software Verification - Laura Kovács (Vienna University of Technology, AT) Automated Reasoning in BlockChain Security - Paulo Veríssimo (KAUST, SA) Platform Resilience? Beware of Threats from the “basement” See https://www.discotec.org/2024/invited for further details. * Main Conferences (June 18 - June 20) * - COORDINATION 2024 (https://www.discotec.org/2024/coordination) 26th International Conference on Coordination Models and Languages PC Chairs: Ilaria Castellani (INRIA Sophia Antipolis, France) and Francesco Tiezzi (University of Florence, Italy) - DAIS 2024 (https://www.discotec.org/2024/dais) 24th International Conference on Distributed Applications and Interoperable Systems PC Chairs: Rolando Martins (University of Porto, Portugal) and Mennan Selimi (South East European University, North Macedonia) - FORTE 2024 (https://www.discotec.org/2024/forte) 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems PC Chairs: Valentina Castiglioni (Eindhoven University of Technology, The Netherlands) and Adrian Francalanza (University of Malta, Malta) * Accepted Papers * See https://www.discotec.org/2024/accepted-papers for details. * Satellite Events (June 17 and June 21) * - DiDiT 2024 (https://distributeddigitaltwins.github.io/2024/) 1st International Workshop on Distributed Digital Twins - ICE 2024 (https://www.discotec.org/2024/ice) 17th Interaction and Concurrency Experience - PLNL 2024 (https://conf.researchr.org/home/plnl-2024) 4th VERSEN Workshop on Programming Languages in The Netherlands To receive live, up-to-date information, follow us on X @DisCoTecConf ( https://twitter.com/DisCoTecConf). -------------- next part -------------- An HTML attachment was scrubbed... URL: From giuseppe.mazzotta at unical.it Fri Apr 12 17:09:51 2024 From: giuseppe.mazzotta at unical.it (giuseppe.mazzotta at unical.it) Date: Fri, 12 Apr 2024 17:09:51 +0200 Subject: [fg-arc] [Approaching Deadline] LPNMR 2024 - Call for Workshops Message-ID: <557EAFE1-5573-4CD4-B9A2-99DC945E1058@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 -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria From Jochen.Quante at de.bosch.com Mon Apr 8 08:44:02 2024 From: Jochen.Quante at de.bosch.com (Quante Jochen (CR/ADX4.2)) Date: Mon, 8 Apr 2024 06:44:02 +0000 Subject: [fg-arc] WSRE 2024: Aufruf zur Teilnahme Message-ID: Aufruf zur Teilnahme am 26. Workshop Software-Reengineering & -Evolution (WSRE 2024) im Physikzentrum Bad Honnef, 29.-30. April 2024 Der Workshop Software Reengineering und Evolution der GI-Fachgruppe SRE findet dieses Jahr bereits zum 26. Mal statt. Alle Interessierten sind herzlich zur Teilnahme eingeladen! Das Programm finden Sie auf unserer Webseite: https://fg-sre.gi.de/veranstaltung/26-workshop-software-reengineering-evolution Anmeldung bis 12.4. ebenfalls über die WSRE-Webseite. Wir freuen uns auf einen spannenden Workshop und viele interessante Vorträge und lebhafte Diskussionen! Ihr Leitungsgremium der GI-Fachgruppe SRE Jochen Quante, Marco Konersmann, Stefan Sauer, Daniela Schilling, Sandro Schulze Kontakt: mailto:wsr at uni-koblenz.de Mit freundlichen Grüßen / Best regards Dr. Jochen Quante Senior Expert Software Analysis & Design
Dependable Cyber-Physical Systems Engineering (CR/ADX4) Robert Bosch GmbH | Renningen | 70465 Stuttgart | GERMANY | www.bosch.com Tel. +49 711 811-42170 | Mobile +49 1525 8813421 | Fax +49 711 811-24932 | Jochen.Quante at de.bosch.com Registered Office: Stuttgart, Registration Court: Amtsgericht Stuttgart, HRB 14000; Chairman of the Supervisory Board: Prof. Dr. Stefan Asenkerschbaumer; Managing Directors: Dr. Stefan Hartung, Dr. Christian Fischer, Dr. Markus Forschner, Stefan Grosch, Dr. Markus Heyn, Dr. Frank Meyer, Dr. Tanja Rückert From announce at ucy.ac.cy Mon Apr 15 15:10:15 2024 From: announce at ucy.ac.cy (Announce) Date: Mon, 15 Apr 2024 13:10:15 +0000 Subject: [fg-arc] The 12th IEEE International Conference on Mobile Cloud Computing, Services and Engineering (IEEE Mobile Cloud 2024): Last Call for Papers Message-ID: *** Last 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 (*** Submission Deadline: April 30th, 2024 AoE (extended) ***) 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 30th, 2024 (AoE) (extended) • 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 announce at ucy.ac.cy Wed Apr 17 13:15:50 2024 From: announce at ucy.ac.cy (Announce) Date: Wed, 17 Apr 2024 11:15:50 +0000 Subject: [fg-arc] 36th International Conference on Advanced Information Systems Engineering: Call for Participation Message-ID: *** Call for Participation *** 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/ (*** Early Bird Registration: May 1, 2024 ***) ( *** Registration site: https://cyprusconferences.org/caise2024/registration/ ***) CAiSE is the premier conference series for information systems engineering. It offers a meeting space for presentation of recent research results, discussion about trends and futures of information systems engineering, and interaction between researchers and practitioners. Registration is now open, Early-bird registration is possible until May 1, 2024. See all CAiSE’24 speakers, the conference venue and the social events. Highlights of the conference: RESEARCH PAPER PRESENTARIONS • 36 high quality research paper presentations • CAiSE Forum: presentations and discussions of 10 innovative vision papers and 8 tool demos • Journal-first paper presentations – of selected papers on IS Engineering topics that were published in journals this year • Research projects exhibition KEYNOTES AND PANELS • Keynote by Prof. J. Mark Bishop: The colour of cognition: from abstract computation to the lived mind • Keynote by Prof. David Harel: Two Projects on Human Interaction with AI • Panel on the use of generative AI for IS engineering research and academic writing TUTORIALS • Orlenys López Pintado and David Chapela-Campa: Data-driven Business Process Simulation: From Event Logs to Tools and Techniques • Diego Calvanese and Davide Lanti: Designing Virtual Knowledge Graphs • Henrik Leopold: How to Conduct Valid Information Systems Engineering Research? • Luiz Olavo Bonino: FAIR Data Train: A FAIR-compliant distributed data and services platform • Massimo Mecella: Engineering Information Systems with LLMs and AI-based techniques WORKING CONFERENCES AND WORKSHOPS • Working conference on Business Process Modeling, Development and Support (BPMDS) • Working conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD) • 6 workshops: on Agile Methods for Information Systems Engineering, Blockchain for Information Systems and Blockchain for Trusted Data Sharing, Hybrid Artificial Intelligence and Enterprise Modelling for Intelligent Information Systems, Knowledge Graphs for Semantics-driven Systems Engineering, Enterprise & Organizational Modeling and Simulation, Digital Transformation with Business Process Mining SOCIAL EVENTS • Workshop and co-located events dinner with typical Cypriot food and atmosphere • Welcome reception and cocktail • A tour and a conference dinner in Aphrodite Hill’s Village • A beach party with drinks and dancing -------------- next part -------------- An HTML attachment was scrubbed... URL: From announce at ucy.ac.cy Sat Apr 20 09:40:29 2024 From: announce at ucy.ac.cy (Announce) Date: Sat, 20 Apr 2024 07:40:29 +0000 Subject: [fg-arc] 12th IEEE International Conference on Cloud Engineering (IC2E): Last Call for Papers Message-ID: <0UELFFBU-4K7X-OYI-SSAQ-JKZHJWISFUOP@ucy.ac.cy> *** Last Call for Papers *** 12th IEEE International Conference on Cloud Engineering (IC2E) September 24-27, 2024, 5* Aliathon Resort, Paphos, Cyprus https://conferences.computer.org/IC2E/2024/, The IEEE International Conference on Cloud Engineering (IC2E) is a premier conference on Cloud Computing, which in the last two decades has significantly changed the way IT resources are consumed. ###IMPORTANT DATES### * Full and short paper submission deadline: May 17, 2024 (AoE) (*** extended ***) * Author notification and start of shepherding phase: June 30, 2024 * Camera-ready copies: August 2, 2024 ###TOPICS OF INTEREST### IC2E provides a high-quality, comprehensive forum where researchers and practitioners can exchange information on engineering principles, enabling technologies, and practical experiences related to Cloud Computing. The conference brings together experts who work on different levels of the cloud stack – including systems, storage, networking, platforms, databases, applications, and software engineering. IC2E offers an end-to-end view of the challenges and technologies in Cloud Computing, fosters new research that addresses the interaction between different layers of the stack, and ultimately helps shape the future of cloud-transformed business and society. IC2E 2024 invites submissions of high-quality research papers describing fully developed results and ongoing foundational and applied work related to all aspects of cloud engineering. The IC2E Program Committee will interpret “cloud engineering” very broadly – to include everything from engineering principles to practical experiences, and advances that target different levels of the cloud stack, from both academia and industry. In particular, submissions on topics of emerging interest in the research and development communities are encouraged. Authors can choose to submit their papers under either the Research and Vision or Industry and Experience Track. Submissions are invited on the following non-exhaustive list of topics for both tracks: * Cloud management and engineering, from single (micro-)services to complete system landscapes * Cloud applications, ranging from the Internet of Things (IoT) over Big Data to Machine Learning * Cloud systems, including storage, data distribution, and serverless computing * Cloud security and privacy concerns on all levels of the Cloud stack * Fog and Edge Computing, and all other system types in the Cloud-Edge Compute Continuum * Everything as a Service * Non-technical aspects of Cloud Computing, e.g., Cloud governance or cloud economics For a full list of the topics, please visit https://conferences.computer.org/IC2E/2024/. IC2E is looking for the following three types of paper submissions: * Research papers describe original well-evaluated research. Novelty is a key criterion in the review process. * Vision papers describe speculative but well-reasoned and inspiring papers. Here, the insights and clarity of the vision are of key concern. * Industry and experience papers describe how existing research has been transferred into practice. The review focus is on the lessons learned, including those relevant for researchers. Research and vision papers should be submitted to the Research Track, industry and experience papers to the Industry Track. Vision papers should have "(Vision Paper)" as a subtitle on the first page. ###SUBMISSION### Authors must submit full and short papers in PDF via the Web submission form at EasyChair (https://easychair.org/conferences/?conf=ic2e2024), upon selecting Research Track or Industry Track options. Both Research Track and Industry Track papers should use the IEEE Manuscript Template for Conference Proceedings for formatting. LaTeX users must use \documentclass[10pt,conference]{IEEEtran}, without including the compsoc or compsocconf options. As reviewers often ask for additional content, IC2E differentiates between paper formatting for reviewing and for the final published version: * Full papers: For reviewing, full papers (including figures and tables) should not exceed 9 double-column pages; references can be additional pages. For the final published version, full papers are limited to a total of 12 double-column pages including everything. * Short papers: For reviewing, short papers are limited to 5 pages, not including references, and should be clearly marked as such in the title. For the final published version, short papers are limited to 8 pages, including everything. IC2E supports Open Science practices. Therefore, authors are strongly encouraged to publish software and data sets as open-source/data. All submitted manuscripts will be peer-reviewed. Depending on the paper type, submissions will be judged on correctness, originality, technical strength, significance, quality of presentation, and interest and relevance to the conference scope. Submitted manuscripts must contain original contributions, and their contributions must not have appeared in or be under consideration for publication in another workshop, conference, or journal. Accepted papers will be published by the IEEE Computer Society Conference Publishing Services (EI indexed). ###ORGANIZATION & CONTACT### General Chairs: * George Pallis University of Cyprus, Cyprus * Weisong Shi University of Delaware, US TPC Chairs: * Xiaohui (Helen) Gu North Carolina State University, US * Stefan Schulte Hamburg University of Technology, Germany -------------- next part -------------- An HTML attachment was scrubbed... URL: From p.lammich at utwente.nl Thu Apr 18 15:02:29 2024 From: p.lammich at utwente.nl (Peter Lammich) Date: Thu, 18 Apr 2024 15:02:29 +0200 Subject: [fg-arc] {SPAM?} IJCAR 2024: Call for Participation Message-ID: <88a8d4ef-ee5c-4a2f-ae69-36751fc4acf5@utwente.nl> [Apologies for multiple copies of this announcement] --------------------------------------------------------------------------- IJCAR 2024 - The 12th International Joint Conference on Automated Reasoning Nancy, France, July 1-6, 2024 https://ijcar2024.loria.fr Call for Participation --------------------------------------------------------------------------- IJCAR is the premier international joint conference on all topics in automated reasoning. The IJCAR technical programme will consist of presentations of high-quality regular research papers, short papers, and invited talks. IJCAR 2024 is a merger of leading events in automated reasoning: CADE (Conference on Automated Deduction), FroCoS (Workshop on Frontiers of Combining Systems), and TABLEAUX (Conference on Analytic Tableaux and Related Methods) The 2024 edition of the SAT/SMT/AR summer school will take place in Nancy during the week preceding IJCAR 2024. For details, see https://sat-smt-ar-school.gitlab.io/www/2024/ IJCAR 2024 deadlines (all deadlines are firm, CET): * early registration: until June 4. * late registration: from June 5 to June 24. Registration, accommodation, and travel/visa information for IJCAR 2024 and the associated events can be found on the web site. --------------------------------------------------------------------------- Scientific Program ------------------ + Presentation of 3 invited talks + Presentation of 39 regular research papers + Presentation of 6 short papers + Presentation of the Herbrand Award to Armin Biere + 10 workshops, 2 competitions. --------------------------------------------------------------------------- Invited Speakers ---------------- + Jeremy Avigad, Carnegie Mellon University, USA + Laura Kovacs, TU Wien, Austria + Geoff Sutcliffe, University of Miami, USA --------------------------------------------------------------------------- Workshops, Competitions ----------------------- There will be ten workshops and two system competitions associated with IJCAR 2024. See their individual web sites, linked from IJCAR 2024 web site for more information. + Workshops, July 1 - ARQNL, the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics - Quantify, the International Workshop on Quantification - TPTP tea party - Vampire, the 8th Vampire workshop - IFIP WG 1.6, a meeting of the IFIP Working Group 1.6 on Rewriting (presentations by invitation only, attendance open). + Workshops, July 2 - PAAR, the 9th International Workshop on Practical Aspects of Automated Reasoning - SC square, the Workshop on Satisfiability Checking and Symbolic Computation - ThEdu, the 13th International Workshop on Theorem Proving Components for Educational Software - UNIF, the 38th International Workshop on Unification - WAIT, the International Workshop on Automated (Co)Inductive Theorem Proving + Competitions - CASC-J12, the CADE ATP System Competition - Termination and Complexity Competition 2024 --------------------------------------------------------------------------- Social Events ------------- + Welcome reception on July 2 + Conference banquet on July 4 --------------------------------------------------------------------------- Registration ------------ For online registration to IJCAR 2024, please follow the link on the web site athttps://ijcar2024.loria.fr/page/registration The deadline for early registration is June 4. Late rates apply for those who register between June 5 and June 24. Registration will be closed after June 24. --------------------------------------------------------------------------- Accommodation ------------- Blocks of rooms have been booked at several hotels in the city centre. Please note that the rooms are only blocked until May 31, after which date the availability or prices of rooms may change. For details, seehttps://ijcar2024.loria.fr/page/accommodation --------------------------------------------------------------------------- For all enquiries about IJCAR 2024 email:ijcar2024 at inria.fr --------------------------------------------------------------------------- From emil at mcmaster.ca Thu Apr 18 22:12:53 2024 From: emil at mcmaster.ca (Sekerinski, Emil) Date: Thu, 18 Apr 2024 20:12:53 +0000 Subject: [fg-arc] Formal Methods Teaching Workshop (FMTea 2024) Call for Papers Message-ID: <31D67247-FE8F-467F-9D75-E3D84DB3065F@mcmaster.ca> An HTML attachment was scrubbed... URL: From cdve.org at gmail.com Fri Apr 19 06:35:22 2024 From: cdve.org at gmail.com (Cdve Org) Date: Thu, 18 Apr 2024 21:35:22 -0700 Subject: [fg-arc] CDVE2024 Second Call for Papers Message-ID: CDVE2024 Second Call for Papers - Don't miss this opportunity The second call submission deadline: May 18, 2024 Notification of acceptance: June 10, 2024 The 21st International conference on Cooperative Design Visualization and Engineering (CDVE2024) will be held in Valencia, Spain on Sept. 15-18, 2024. See www.cdve.org for details. Topics: The conference focus is "cooperative". Topics include cooperation in design, visualization, engineering, social networks, IoT, sensor networks, e-health care, e-education etc. Check https://www.cdve.org/cfpaper.html for more details. The proceedings will be published by LNCS - Lecture Notes in Computer Science of Springer Nature. Indexing by: CPCI, EI, ACM ... and many others. Plus: 2 SCI indexed journal special issues. Submission page: https://easychair.org/conferences/?conf=cdve2024 Contact: cdve2024 at easychair.org Valencia, Spain is a special city by the Mediterranean Sea. September in Valencia is even more attractive. See you there! -- The 21th International Conference on Cooperative Design, Visualization and Engineering Sept. 15-18, 2024, Valencia, Spain Email: cdve2024 at easychair.org Web: https://www.cdve.org -------------- next part -------------- An HTML attachment was scrubbed... URL: From stavros at helvia.ai Fri Apr 19 09:44:37 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Fri, 19 Apr 2024 10:44:37 +0300 Subject: [fg-arc] {SPAM?} 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024) Message-ID: <1713510632368.89ee8c94-9a3e-46f2-b60a-66b586e6b68a@bf01.hubspotstarter.net> FINAL CALL FOR PAPERS KR 2024 (Deadline: April 24, 2024) 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions (final call) : 24 April 2024 Conference web site: www.kr.org/KR2024 -- Final Call for Papers -- Knowledge Representation and Reasoning (KR) is a well-established and vibrant field of research within Artificial Intelligence. KR builds on the fundamental thesis that knowledge can often be represented in an explicit declarative form, suitable for processing by dedicated symbolic reasoning engines. This enables the exploitation of knowledge that would otherwise be implicit through semantically grounded inference mechanisms. KR has contributed to the theory and practice of various areas of AI, including agents, automated planning, robotics and natural language processing, and to fields beyond AI, including data management, semantic web, verification, software engineering, computational biology, and cybersecurity. The KR conference series is the leading forum for timely in-depth presentation of progress in the theory and practice of the representation and computational management of knowledge. KR 2024 will consist of a number of tracks and events. It will include a KR in the Wild, a Reasoning, Learning and Decision Making track and a recently published research (RPR) track, tutorials, workshops, competitions, and a doctoral Consortium. Details about all these events and the corresponding calls can be found on the website (www.kr.org/KR2024) . We solicit papers presenting novel results on the principles of KR, which clearly contribute to the formal foundations of the field, or show the applicability of KR techniques to implemented or implementable systems. We welcome papers from other areas that demonstrate clear use of, or contributions to, the principles or practice of KR. We also encourage "reports from the field" of applications, experiments, developments, and tests. Further details about the submission guidelines and the selection criteria can be found on the website (www.kr.org/KR2024/submission.php) . -- Important Dates -- • Submission of title and abstract: April 24, 2024 • Paper submission deadline: May 1, 2024 • Author response period: June 25 - July 1st • Author notification: July 10, 2024 • Camera-ready papers: July 31, 2024 • Conference: November 2-8, 2024 -- Submission Guidelines -- Contributions may be regular papers (up to 9 pages) or short papers (up to 4 pages), including abstract, figures, and appendices (if any) but excluding references and acknowledgements. Both full and short papers must describe original, previously unpublished research and should not be simultaneously submitted elsewhere. These restrictions do not apply to papers already accepted in workshops with a limited audience and without archival proceedings, or to papers available in public repositories (e.g., arXiv). Note that extended abstracts of recently published works can be submitted to the recently published research track, which has a separate call. Papers must be written in English and formatted using the style files provided in the submission page. Submissions are not anonymous (i.e., reviewing is single-blind) and must be submitted in PDF format. The paper title, author names, contact details, and a brief abstract must be submitted electronically through the conference system by the abstract submission deadline. It will be possible to make minor edits to the title and abstract until the full paper submission deadline. Submissions with “placeholder” abstracts will be removed without consideration. Full papers must be submitted through the same site by the paper submission deadline. The list of author names provided at submission time is final. Authors may not be added to or removed from papers after submission. Authors may submit a separate PDF with additional information supporting their claims (such as proof details, additional experimental results, further details on experimental design, etc). Such supplementary material should be submitted via the conference management system. The paper must be self contained, as the supplementary material will not be published. Reviewers will have the option, but not the obligation, to consult the supplementary material. -- Selection Process -- The program committee consists of PC members (reviewers) and Area Chairs (ACs), who overview the reviewing and meta-reviewing process. Selection criteria include the novelty and originality of ideas, correctness, clarity, significance of results, potential impact and quality of the presentation. Papers violating the format (e.g., by decreasing margins or font sizes) or describing contributions that do not significantly meet the topics of the conference will be desk rejected by the program chairs, without any opportunity to submit an author response. By submitting a paper, authors acknowledge that they are aware of the possibility of receiving a summary rejection notification. Papers that are not desk rejected will be reviewed by a group of PC members (PCs) and the reviewing process will be supervised by an Area Chair (AC). During the reviewing period, authors will have the opportunity to respond to reviews by pointing out factual errors and answering specific questions. Author responses should be concise, and are not intended to create a dialogue between reviewers and authors. Author responses will be visible to PCs and ACs. The program co-chairs will make the final decisions and there are no appeals. 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. Prizes for best papers (the Ray Reiter Best Paper Prize and the Marco Cadoli Best Student Paper Prize) may be awarded, and runners-up may be mentioned. Top papers from KR 2024 will be invited to the award-winning paper tracks of Artificial Intelligence (AIJ) and of the Journal of Artificial Intelligence Research (JAIR). Thus, award winners will have the possibility of choosing between AIJ and JAIR. All submissions will be treated confidentially until the publication date. -- Topics of Interest -- Typical topics of interest include the following, but the list is not exhaustive. The conference welcomes all topics concerned with the explicit representation or management of knowledge, and with the automated inference on the basis of such knowledge. • Argumentation • Belief revision and update, belief merging • Common-sense reasoning • Computational aspects of knowledge representation • Concept formation, similarity-based and contextual reasoning • Description logics • Explanation finding, diagnosis, causal reasoning, abduction • Geometric, spatial, and temporal reasoning • Inconsistency- and exception-tolerant reasoning • Knowledge acquisition • Ontologies and reasoning in the semantic web • Knowledge representation languages • Knowledge compilation, automated reasoning, satisfiability and model counting • Logic programming, answer set programming • Reasoning about preferences • Reasoning in multi-agent systems • Non-monotonic logics, default logics, conditional logics • Qualitative reasoning, reasoning about physical systems • Reasoning about plans, actions and change, action languages • Reasoning about constraints and preferences • Reasoning about knowledge, beliefs, and other mental attitudes • Uncertainty, vagueness, many-valued and fuzzy logics -- Submission Site -- Papers should be in English and must be submitted electronically to the Main track of KR 2024. The submission site will open on Thursday 15 February 2024. 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-GMW3g1GpK3LQRp-W47N82f3XNCkPW1BGm674czMq2W3h_LQj3Vz-hhW3T6d9X3XF2_gW4t84s23H6W7xW2p8lYh1VyBhPW4fsL2Y43p-RfW36DctC3gpCClW49sL7R3ZNpZMW2nXSs-24_Z7hW1QzNjX43yv37W3XNZnQ2zXdQ_W4rw4Fl3_zPHqW3NPqrK1V8M32W2MQDWd3_rJR0W256Gbf3_LyfPW45VBr22Rg31KW1S3wWH2p3jpTW3dgKyZ4p7jf1W2YqJrQ30kghqW3dbCmx2FCGqYW3V_2M41Vbqz8W2TslFV30n7qdW43NCRP3F5SgDW1Sr2Fw32yvy3W1QwT902RkRx3W4krqKF4kJfFdW2CFvhf45RG3gW3jkJWM1QdRV0W38ltV_2r16flW43N-dh4pBTqqW49KSKN3DSlm4W43XYGh41rRMsW1LGgY_2xYJvNW3f_cQl2TKQQZW34GZfG2YtBxNW49NPbb1Sl43BW2PnvCb2nVmYgW2TG8QB2CL4n6W32H6t9214yf8W38DZNW1StcBbW2MVqJ-3P052RW3d9kDB3VNJ-vW41CGD42TQ2ZvW3d1QXk2PLhnnf1Qm3Wt04&_hsenc=p2ANqtz--9dd9Ycef4VN8JXIvxeRR3RCjCBSQDeLe3te9EzoYgonZfpitcAvSacVQWW1RMrsNqOY62bUt-X2f_jg2qKNBpaw56utaoSUF9qvE2Cvpy8JjaNTU&_hsmi=303400097 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From stavros at helvia.ai Tue Apr 23 11:18:21 2024 From: stavros at helvia.ai (Stavros Vassos) Date: Tue, 23 Apr 2024 12:18:21 +0300 Subject: [fg-arc] {SPAM?} 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers Message-ID: <1713861716782.c1f837e7-f497-40e5-b102-219a26b4b216@bf01.hubspotstarter.net> VIDEO TRACK FIRST CALL FOR PAPERS KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Deadline for submissions (1st call) : 28 June 2024 Conference web site: www.kr.org/KR2024 [Apologies if you receive multiple copies] ********************************************************************* First call for videos for the KR 2024 video track ********************************************************************* We are very excited to announce the PC for the first edition of a video track as part of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024). The aim of the video track is twofold. First, it wants to encourage KR groups to make the outcome of their work more accessible to a wider public and to foster good practice for KR outreach. Second, it provides researchers with a prominent platform to showcase interesting applications and insights and to make them available to a diverse audience from science, industry and the general public. All accepted videos will be made available from the KR Inc website (www.kr.org/) and promoted on the KR Inc social media channels including the YouTube channel of the KR conference series (www.youtube.com/@krconferenceseries9472). There will be awards for the best received videos. The winners will be announced at the KR 2024 conference. ********************************************************************* Topics of Interest ********************************************************************* The topic of the video can be from all subfields of knowledge representation and reasoning. We want to encourage, in particular, submissions that can be useful educational resources for the community or make KR results, projects or even software more approachable for a broader audience. This includes videos targeted at undergraduate and post-graduate students, high-school students or the general public. Possible video topics include, but are not limited to - Introduction to a particular research area or a research project relevant to KR. - Visualization of methods or research results relevant to KR. - Introduction of non-commercial software tools developed for KR or relevant for KR researchers. ********************************************************************* Technical Requirements for the video ********************************************************************* - Video must be relevant for KR (if in doubt, please consult the topics of interest at www.kr.org/KR2024/call_for_papers.php or send us an email using kr2024.video at cse.unsw.edu.au). - Videos must be in English or include English subtitles. - Video length should be 3 - 15 minutes. - Video format: AVI or MPEG4. - Videos must adhere to copyright laws. ********************************************************************* Submission Information ********************************************************************* A submission to the video track consists of two items: the [link to the] video A one-page document with information on the video, including: - Names, affiliations and email addresses of video authors. - Title of the video. - Brief abstract describing the video's content (one paragraph). - Description who the targeted audience of this video is (1-3 sentences). Details on the exact submission procedure will be published in a follow-up call for videos. ********************************************************************* Evaluation Criteria ********************************************************************* - Presentation quality: does the video make good use of the visual medium? For instance, submissions of static, one-shot recordings of a talk are not encouraged. - Educational value: Is the presented material conducive to learning and understanding? - Suitability for target audience: how suitable is the presentation style for the target audience? - Entertainment value: Is the video enjoyable and fascinating to watch? Video authors of accepted videos are not obliged to register for the KR’24 conference. However, authors of award winning videos are encouraged to register for the conference. ********************************************************************* Video Track Program Committee ********************************************************************* Fabio Cozman (Universidade de São Paulo, Brazil) Annette Leßmöllmann (KIT Karlsruhe, Germany) Carsten Lutz (Universität Leipzig, Germany) Nico Potyka (coChair; Cardiff University, UK) Anni-Yasmin Turhan (coChair; Paderborn University, Germany) Mary Anne Williams (UNSW Sydney, Australia) ********************************************************************* Important Dates ********************************************************************* - Submission site opens: June 1, 2024 - Video Submission Deadline: June 28, 2024 - Notification of acceptance: August 1, 2024 Should you have any questions regarding the video track, please send an email to the video chairs via kr2024.video at cse.unsw.edu.au. We look forward to receiving your submissions! Further details can be found via the conference web site: www.kr.org/KR2024/dates.php Best regards, Anni-Yasmin Turhan & Nico Potyka KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-SfW20Xp8N4fQrJXW2sDFvP1NgKDZW2MzgBK3XxcxLW2vKWw145pqJBW2WLZ0B1XdH81W2YqD7B3QZP6PW45FLKl2-lMQ9W43RX1v2RRSF9W2Th-Vp1YZ6NxW3jfvCZ36FVFWW41CG0T36vbzzW3JHWkJ47Kf2ZW32xkTR2FpkfQW1BcGWp2xFYQGW3_YLrG1N3XfrW1NvNCB3LQ0pQW1V7VPx4t5FBdW2-q0X52vz5hcW4tkCLs4kl4dxW2nTyN63yQ7qpW2Tl2sY217SDWW2Tl38P3JHym-W1Qs3lH1LH7_wW4t60By3_Jn2yW3K49x22vPcqvW1QsXTW3jsQ9FW3gqsTY1V8P8FW36yYzF3W0FK0W1Q2YcX3HbBwRW47xDTw2MWBRVW4fcpT7348WtTW3NPqsJ4mzR3xW3SPSlk3Zvm63W232Fx222Yt4_W3jrXwS3CdhQ5W4cPSk42p6HB8W2RrFXn1Lyw1vW4pFhzN30sm2XW4rBbqc25hPzvW2t3jnM3ghr4-W3dzc6V4cR4pzW4hKg8D3X-rt1W3C8xMm4psM30W3g1GM03d405bW2RN9zF2Ryv9ZW1QCT6y47Cv0Qf1Ly-1V04&_hsenc=p2ANqtz-8QHXMuXqdRF923sn3c2kU5oWx1054yw3jDkXdFYNTVlNvOxo8CChEoghqPv98DAQ4Lybny-3gKw9wDtkO4x8A7RKBcFsr99C9bmtRk71q44HWhJmY&_hsmi=303904622 ) -------------- next part -------------- An HTML attachment was scrubbed... URL: From claudio.menghi at unibg.it Mon Apr 29 08:31:54 2024 From: claudio.menghi at unibg.it (Claudio MENGHI) Date: Mon, 29 Apr 2024 08:31:54 +0200 Subject: [fg-arc] =?utf-8?q?ETAPS_2025_=E2=80=93_Call_for_Satellite_Event?= =?utf-8?q?s?= Message-ID: <0FFB355F-C693-464E-8BFB-858830725CE6@unibg.it> ETAPS 2025 – Call for Satellite Events 28th ETAPS International Joint Conferences on Theory and Practice of Software McMaster University, Canada. Hamilton, Canada, May 03-08, 2025 # About ETAPS The ETAPS International Joint Conferences on Theory and Practice of Software is the primary forum for academic and industrial researchers working on topics relating to Software Science. It has been an annual event held each spring since 1998. Its 28th edition, ETAPS 2025, will be held on May 03-08, 2025, at McMaster University, Canada. The ETAPS 2025 main conferences, scheduled for May 05–08, are: * ESOP: European Symposium on Programming * FASE: Fundamental Approaches to Software Engineering * FoSSaCS: Foundations of Software Science and Computation Structures * TACAS: Tools and Algorithms for the Construction and Analysis of Systems The ETAPS 2025 satellite events will be held on Saturday and Sunday, May 03–04, 2025. ## Call for Satellite Events The ETAPS 2025 organizing committee invites proposals for satellite events (e.g., workshops) to complement the main conferences. They should fall within the scope of ETAPS. Satellite events provide an opportunity to discuss and report on emerging research approaches and practical experience relevant to the theory and practice of software. ## Important Dates * Deadline for proposals of satellite events: July 18, 2024 * Notification of acceptance: Aug 1, 2024 ## Arrangements for Satellite Events The organizers of an ETAPS 2025 satellite event are expected to: - create and maintain a website for the event - form a PC and produce a call for papers for the event (if appropriate) - advertise the event through mailing lists etc. to complement the publicity of ETAPS - review submissions and make acceptance decisions - prepare informal (pre-)proceedings for the event, if appropriate - prepare the event's program according to the overall schedule of ETAPS 2025 - prepare and organize the publication of formal (post-)proceedings, if desired The ETAPS 2025 organizing committee will: - promote the event on the website and in the publicity material of ETAPS 2025 - arrange registration for the event as a component of registration for ETAPS - collect a participation fee from the registrants - provide a meeting room of appropriate size, A/V equipment, coffee breaks, and possibly lunch(es) As a rule, ETAPS will not contribute toward the travel or accommodation costs of invited speakers or organizers of satellite events. ## Submission of Satellite Event Proposals Researchers and practitioners wishing to organize a satellite event are invited to submit their proposal using the online application form at https://cgi.cse.unsw.edu.au/~eptcs/ETAPS/: - Alan Wassyng (McMaster University, Canada), wassyng at mcmaster.ca - Angelo Gargantini (University of Bergamo, Italy), angelo.gargantini at unibg.it The following information is requested: - the name and acronym of the satellite event - the names and contact information of the organizers - the duration of the event (one or two days) and the preferred period (May 03 / May 04 / May 03-04) - the expected number of participants - a brief description (120 words approximately) of the event topic for the website and publicity material of ETAPS 2025 - a brief explanation of the event topic and its relevance to ETAPS - a brief description of the organizer's background, including relevant experience in organizing workshops and contact information. - an explanation of the publicity strategy and selection procedure of contributions to the event; the PC chair and PC members, if known already; information about past editions of the event, if applicable - any other relevant information, like a special event format, invited speakers, demo sessions, special space and equipment requirements, etc. - a tentative schedule for paper submission, notification of acceptance, and final versions for the (informal pre-) proceedings (the ETAPS 2025 organizing committee will need the final files by the end of January 25) - the plans for formal publication (no formal publication, formal proceedings ready by the event, formal post-proceedings, publication venue — EPTCS or elsewhere) Proposals will be evaluated by the ETAPS 2025 organizing committee based on their assessed benefit for prospective participants of ETAPS 2025. We invite prospective organizers to consult the websites of previous satellite events as examples: * [ETAPS 2024](https://etaps.org/2024/sat-events/) * [ETAPS 2023](https://etaps.org/2023/sat-events/) * [ETAPS 2022](https://etaps.org/2022/workshops) * [ETAPS 2021](https://etaps.org/2021/workshops) * [ETAPS 2020](https://etaps.org/2020/workshops) * [ETAPS 2019](https://etaps.org/2019/workshops) * [ETAPS 2018](https://etaps.org/2018/workshops) ## Further Information And Enquiries Please contact the workshop co-chairs: - Alan Wassyng (McMaster University, Canada), wassyng at mcmaster.ca - Angelo Gargantini (University of Bergamo, Italy), angelo.gargantini at unibg.it =========================== -------------- next part -------------- An HTML attachment was scrubbed... URL: From chisvasileandrei at gmail.com Mon Apr 29 15:00:33 2024 From: chisvasileandrei at gmail.com (Andrei Chis) Date: Mon, 29 Apr 2024 16:00:33 +0300 Subject: [fg-arc] 1st CfP: SLE 2024 - 17th ACM SIGPLAN International Conference on Software Language Engineering Message-ID: ------------------------------------------------------------------------ 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024) October 20-25, 2024 Pasadena, California, United States http://www.sleconf.org/2024/ https://2024.splashcon.org/track/sle-2024 Follow us on X: https://x.com/sleconf ------------------------------------------------------------------------ We are pleased to invite you to submit papers to the 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024), held in conjunction with SPLASH 2024. The conference will be hosted in Pasadena, California, United States on October 20-25, 2024. --------------------------- Topics of Interest --------------------------- SLE covers software language engineering in general, rather than engineering a specific software language. Topics of interest include, but are not limited to: * Software Language Design and Implementation - Approaches to and methods for language design - Static semantics (e.g., design rules, well-formedness constraints) - Techniques for specifying behavioral/executable semantics - Generative approaches (incl. code synthesis, compilation) - Meta-languages, meta-tools, language workbenches * Validation of Software Language Tools and Implementations - Verification and formal methods for language tools and implementations - Testing techniques for language tools and implementations - Simulation techniques for language tools and implementations * Software Language Maintenance - Software language reuse - Language evolution - Language families and variability, language and software product lines * Software Language Integration and Composition - Coordination of heterogeneous languages and tools - Mappings between languages (incl. transformation languages) - Traceability between languages - Deployment of languages to different platforms * Domain-Specific Approaches for Any Aspects of SLE (analysis, design, implementation, validation, maintenance) * Empirical Studies and Experience Reports of Tools - User studies evaluating usability - Performance benchmarks - Industrial applications * Synergies between Language Engineering and Emerging/Promising Research Areas - AI and ML language engineering (e.g., ML compiler testing, code classification) - Quantum language engineering (e.g., language design for quantum machines) - Language engineering for cyber-physical systems, IoT, digital twins, etc. - Socio-technical systems and language engineering (e.g., language evolution to adapt to social requirements) - Etc. --------------------------- Types of Submissions --------------------------- SLE accepts the following types of papers: Research papers: These are “traditional” papers detailing research contributions to SLE. Papers may range from 6 to 12 pages in length and may optionally include 2 further pages of bibliography/appendices. Papers will be reviewed with an understanding that some results do not need 12 full pages and may be fully described in fewer pages. New ideas/vision papers: These papers may describe new, unconventional software language engineering research positions or approaches that depart from standard practice. They can describe well-defined research ideas that are at an early stage of investigation. They could also provide new evidence to challenge common wisdom, present new unifying theories about existing SLE research that provides novel insight or that can lead to the development of new technologies or approaches, or apply SLE technology to radically new application areas. New ideas/vision papers must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. SLE Body of Knowledge: The SLE Body of Knowledge (SLEBoK) is a community-wide effort to provide a unique and comprehensive description of the concepts, best practices, tools, and methods developed by the SLE community. These papers can focus on, but are not limited to, methods, techniques, best practices, and teaching approaches. Papers in this category can have up to 20 pages, including bibliography/appendices. Tool papers: These papers focus on the tooling aspects often forgotten or neglected in research papers. A good tool paper focuses on practical insights that will likely be useful to other implementers or users in the future. Any of the SLE topics of interest are appropriate areas for tool demonstrations. Submissions must not exceed 5 pages and may optionally include 1 further page of bibliography/appendices. They may optionally include an appendix with a demo outline/screenshots and/or a short video/screencast illustrating the tool. **Workshops**: Workshops will be organized by SPLASH. Please inform us and contact the SPLASH organizers if you would like to organize a workshop of interest to the SLE audience. Information on how to submit workshops can be found on the SPLASH 2024 Website. --------------------------- Submission --------------------------- SLE 2024 has a single submission round for papers, including a rebuttal phase, where all authors of research papers will have the possibility of responding to the reviews on their submissions. Authors of accepted research papers will be invited to submit artifacts. --------------------------- Important Dates --------------------------- All dates are Anywhere on Earth (http://en.wikipedia.org/wiki/Anywhere_on_Earth). * Abstract Submissions: Fri 14 Jun, 2024 * Paper Submissions: Mon 24 Jun, 2024 * Authors Response Period: Mon 12 Aug - Sat 17 Aug, 2024 * Authors Notification: Fri 30 Aug 2024 * Conference: Sun 20 October - Fri 25 October 2024 (co-located with SPLASH, precise dates to be announced) --------------------------- Format --------------------------- Submissions have to use the ACM SIGPLAN Conference Format “acmart” (https://sigplan.org/Resources/Author/#acmart-format); please make sure that you always use the latest ACM SIGPLAN acmart LaTeX template, and that the document class definition is `\documentclass[sigplan,anonymous,review]{acmart}`. Do not make any changes to this format! Ensure that your submission is legible when printed on a black and white printer. In particular, please check that colors remain distinct and font sizes in figures and tables are legible. To increase fairness in reviewing, a double-blind review process has become standard across SIGPLAN conferences. Accordingly, SLE will follow the double-blind process. Author names and institutions must be omitted from submitted papers, and references to the authors’ own related work should be in the third person. No other changes are necessary, and authors will not be penalized if reviewers are able to infer their identities in implicit ways. All submissions must be in PDF format. The submission website is: https://sle24.hotcrp.com --------------------------- Concurrent Submissions --------------------------- Papers must describe unpublished work that is not currently submitted for publication elsewhere as described by SIGPLAN’s Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/). Submitters should also be aware of ACM’s Policy and Procedures on Plagiarism (https://www.acm.org/publications/policies/plagiarism-overview). Submissions that violate these policies will be desk-rejected. --------------------------- Policy on Human Participant and Subject Research --------------------------- Authors conducting research involving human participants and subjects must ensure that their research complies with their local governing laws and regulations and the ACM’s general principles, as stated in the ACM’s Publications Policy on Research Involving Human Participants and Subjects (https://www.acm.org/publications/policies/research-involving-human-participants-and-subjects). If submissions are found to be violating this policy, they will be rejected. --------------------------- Reviewing Process --------------------------- All submitted papers will be reviewed by at least three members of the program committee. Research papers and tool papers will be evaluated concerning soundness, relevance, novelty, presentation, and replicability. New ideas/vision papers will be evaluated primarily concerning soundness, relevance, novelty, and presentation. SLEBoK papers will be reviewed on their soundness, relevance, originality, and presentation. Tool papers will be evaluated concerning relevance, presentation, and replicability. For fairness reasons, all submitted papers must conform to the above instructions. Submissions that violate these instructions may be rejected without review at the discretion of the PC chairs. For research papers, authors will get a chance to respond to the reviews before a final decision is made. --------------------------- Artifact Evaluation --------------------------- SLE will use an evaluation process to assess the quality of artifacts on which papers are based to foster the culture of experimental reproducibility. Authors of accepted research papers are invited to submit artifacts. For more information, please see the Artifact Evaluation (https://2024.splashcon.org/track/sle-2024#Artifact-Evaluation) page. --------------------------- Awards --------------------------- Distinguished paper: Award for the most notable paper, as determined by the PC chairs based on the recommendations of the program committee. Distinguished artifact: Award for the artifact most significantly exceeding expectations, as determined by the AEC chairs based on the recommendations of the artifact evaluation committee. --------------------------- Publication --------------------------- All accepted papers will be published in the ACM Digital Library. **AUTHORS TAKE NOTE**: The official publication date is the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of the conference. The official publication date affects the deadline for any patent filings related to published work. --------------------------- SLE and Doctoral Students --------------------------- SLE encourages students to submit to the SPLASH doctoral symposium. Authors of accepted doctoral symposium papers on SLE topics will also have the chance to present their work to the SLE audience. --------------------------- Organisation --------------------------- Chairs: * General chair: Ralf Lämmel, Universität Koblenz, Germany * PC co-chair: Peter Mosses, Swansea University and Delft University of Technology, Netherlands * PC co-chair: Juliana Alves Pereira, Pontifícia Universidade Católica do Rio de Janeiro, Brazil * Publicity chair: Andrei Chis, feenk gmbh, Switzerland --------------------------- Contact --------------------------- For additional information, clarification, or answers to questions, please get in touch with the program co-chairs (P.D.Mosses at tudelft.nl and Juliana at inf.puc-rio.br).