From fm-announcements at lists.nasa.gov Wed Jan 15 13:24:31 2025 From: fm-announcements at lists.nasa.gov (Bas van den Heuvel via fm-announcements) Date: Wed, 15 Jan 2025 13:24:31 +0100 Subject: [Event@CIG] [fm-announcements] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques Message-ID: [Apologies for multiple postings] ************************************************************************ Joint Call for Papers DisCoTec 2025 20th International Federated Conference on Distributed Computing Techniques Lille, France, 16-20 June 2025 Submission deadline: 7 February 2025 https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406870449469%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=z3c0GL238Zlq1R5tCH%2BX0TkAyBYLyJZPf1UOq7K4qR4%3D&reserved=0 ************************************************************************ DisCoTec 2025 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). It gathers conferences and satellite events that cover a broad spectrum of distributed computing subjects ? from theoretical foundations and formal description techniques, testing and verification methods, to language design and system implementation approaches. The three main conferences are: * COORDINATION 2025 - International Conference on Coordination Models and Languages * DAIS 2025 - International Conference on Distributed Applications and Interoperable Systems * FORTE 2025 - International Conference on Formal Techniques for Distributed Objects, Components, and Systems DisCoTec 2025 is organised by Inria Lille and the University of Lille. It will be hosted by Polytech Lille. * NEW: Accommodations for parents of young children * Subject to budget availability, we are planning to make special logistical arrangements for conference participants travelling with young children (and potentially accompanying persons). We invite interested persons to contact the General Chair (simon.bliudze at inria.fr), as soon as possible to discuss the arrangements that might be applicable. * Keynote Speakers * - Alysson Bessani (Universidade de Lisboa, Portugal) - H?l?ne Coullon (IMT Atlantique, France) - Omar Inverso (GSSI, Italy) - Burcu Ozkan (TU Delft, The Netherlands) * Important Dates (for all main conferences) * All deadlines expire at 23:59 anywhere on earth. - Abstract submission: 31 January 2025 - Paper submission: 7 February 2025 - Paper notification: 28 March 2025 - Camera-ready: 23 April 2025 (TBC) - DisCoTec conference: 16-20 June 2025 See each conference site for topics of interest, paper categories, and submission instructions. * Main Conferences * - COORDINATION (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fcoordination&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406873671079%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=MD0dxArm0Tdv2yPXJivka7YJAiPMEXX3aCOh7cz4gwI%3D&reserved=0) 27rd International Conference on Coordination Models and Languages PC Chairs: Cinzia Di Giusto (Universit? C?te d?Azur, FR) and Ant?nio Ravara (NOVA School of Science and Technology, PT) - DAIS (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fdais&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406873682799%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=IlJys0VtnnNexuqQ%2FgJa8sJDFPVg05s1x%2B1yvWvQAKQ%3D&reserved=0) 25st International Conference on Distributed Applications and Interoperable Systems PC Chairs: Daniel Balouek (INRIA, FR) and Ib?ria Medeiros (University of Lisbon, PT) - FORTE (https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.discotec.org%2F2025%2Fforte&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7Cd499d559f1d94eb4045508dd355f97e6%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638725406873694174%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C40000%7C%7C%7C&sdata=EpMN4W4HY2%2B3%2BK2ft5F%2Bbn5JmSBwy8WaroEk7Ffzxiw%3D&reserved=0) 45st International Conference on Formal Techniques for Distributed Objects, Components and Systems PC Chairs: Carla Ferreira (NOVA University of Lisbon, PT) and Claudio A. Mezzina (University of Urbino, IT) * Artefact Evaluation Chairs * - DisCoTec-wide: Roberto Casadei (University of Bologna, Italy) - COORDINATION: Duncan Attard (University of Glasgow, UK) - DAIS: Vinicius Cogo (Ci?ncias/ULisboa, Portugal) - FORTE: Emilio Incerto (IMT School for Advanced Studies Lucca, Italy) * Proceedings * Main conference proceedings will be published as volumes in the Springer LNCS-IFIP series. The volumes will be open access from the IFIP digital library after a 3-year embargo. * Journal Special Issues * Selected papers accepted at the main conferences will be invited for submission to special issues in high-quality journals, such as: - Logical Methods in Computer Science - Science of Computer Programming (Software Track). * Organizing Committee * - Simon Bliudze, General Chair (Inria Center at the University of Lille, France) - Larisa Safina, Satellite Events Chair (Inria Center at the University of Lille, France) - Adrien Luxey-Bitri, Young Researchers Forum Chair (University of Lille, France) - Imen Sayar, Gender equality / Women in Science co-Chair (University of Lille, France) - Manel Barkallah, Gender equality / Women in Science co-Chair (University of Namur, Belgium) - Bas van den Heuvel, Publicity co-Chair (University of Freiburg, Germany) - Matthew Alan Le Brun, Publicity co-Chair (University of Glasgow, UK) - R?my Raes, Head of student volunters (Inria Center at the University of Lille, France) * Steering Committee * - Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy) - Adrian Francalanza (University of Malta, Malta; Chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alberto Lluch Lafuente (Technical University of Denmark, Denmark) - Mieke Massink (CNR-ISTI, Italy) - Lu?s Veiga (INESC-ID, Universidade de Lisboa, Portugal) - Gianluigi Zavattaro (University of Bologna, Italy) - Carla Ferreira (NOVA University of Lisbon, Portugal) - Jorge A. P?rez (University of Groningen, The Netherlands) -------------- next part -------------- --- To opt-out from this mailing list, send an email to fm-announcements-request at lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner at lists.nasa.gov From geoff at cs.miami.edu Thu Jan 16 16:07:08 2025 From: geoff at cs.miami.edu (geoff at cs.miami.edu) Date: Thu, 16 Jan 2025 10:07:08 -0500 Subject: [Event@CIG] Workshop on Theorem Proving and Machine Learning in the age of LLMs Message-ID: <20250116150708.B5924A045F9@armistead.ccs.miami.edu> Theorem Proving and Machine Learning in the age of LLMs: SoA and Future Perspectives will take place in Edinburgh, Scotland, UK, April 7th-8th 2025, organised by Ekaterina Komendantskaya, Elizabeth Polgreen, Christian Saemann, Kathrin Stark, and Michael Rawson. The event is supported by the Cost Action CA20111 - European Research Network on Formal Proofs. Workshop webpage: https://europroofnet.github.io/wg5-edinburgh25/ Aims Machine learning (ML) has been shown to be very successful in programming and translation tasks, and creates new opportunities combining AI with proofs. Recently, various claims have been made that large language models (LLMs) will revolutionise these areas. However, many questions about the details of the applications of LLMs and their impact on theorem proving and mathematics remain open. At the workshop, we want to bring together researchers from a wide range of communities: mathematics, automated and interactive theorem proving, machine learning, natural language processing, and formal methods, in order to discuss the state-of-the-art and future directions for this new area of research. Examples of topics that we intend to discuss include, but are not limited to: - ML/LLM for Advancing Proof Techniques, e.g., tailoring LLMs to theorem-proving datasets and benchmarks, combining neural networks and symbolic reasoning for robust theorem proving, enabling LLMs to learn proof techniques from minimal data or prior examples. - Applications of ML/LLM in Theorem Proving, e.g., designing co-pilot systems for theorem provers like Coq, Lean, or Isabelle, auto-formalising mathematical concepts and proofs from textbooks or research papers, human-machine collaboration workflows in proof construction. - Challenges and Limitations of ML/LLM in Theorem Proving, e.g. addressing hallucinations and errors in proofs generated by LLMs, handling large and complex proof spaces with LLM-guided tools, mitigating biases introduced during LLM training on specific mathematical domains. - Benchmarks and Evaluation for ML/LLM in Theorem Proving, e.g., creating datasets specifically for evaluating LLM-based theorem proving systems, assessing the interpretability and trustworthiness of LLM-generated proofs, defining success metrics for proof assistance beyond correctness, such as creativity and accessibility. - Interdisciplinary Impact of ML/LLM, e.g., leveraging LLMs to teach formal methods, logic, and theorem proving to students, using LLMs to explore conjectures and new areas of mathematical research, applications in formal verification for software, hardware, and systems engineering, including industrial applications. - Future Directions for ML/LLM in theorem proving: e.g., the implications of relying on AI systems for critical mathematical proofs, setting open standards for the integration of LLMs in the theorem-proving workflows, speculating on the evolution of LLMs and their roles in formal reasoning. - Cross-Domain Connections: e.g., developing user-friendly natural language interfaces for proof assistants, adapting LLM capabilities from general domains to formal logic and proofs. Keynote Talks - Machine Learning in Industrial Verification: Swarat Chaudhuri (UT Austin and Google Deepmind) - Machine Learning for Mathematics Research: Sergei Gukov (Caltech & Dublin Inst. Adv. Studies) - Machine Learning in Theorem Proving: Josef Urban (CIIRC/CVUT) Call for Presentations The workshop solicits contributed talks supported by an extended abstract of up to 2 pages in LNCS format, excluding references. Abstracts will be reviewed for relevance and quality and subsequently made public on the workshop's web page. All abstracts must be submitted via this Easychair page (https://easychair.org/conferences/?conf=europroofnetwg5). Publication plans The chairs are investigating the possibility of organising a special journal issue dedicated to the topics of this workshop, at the J. of Annals of Mathematics and AI. Further details will be discussed at the time of the workshop. Abstract submission: January 31st 2025 (AOE). Travel support application: January 31st 2025. Notification of acceptance: ASAP thereafter. Registration and Optional Travel Support Please fill out the following form (https://forms.gle/4kzSBmkDS8SMXtxXA) if you plan to attend, regardless of whether you submit an abstract or apply for support. The travel and accommodation of a number of participants (approximately 12) will be supported by the Cost Action CA20111 - European Research Network on Formal Proofs (https://europroofnet.github.io/). If you want to be funded, please check the eligibility (https://europroofnet.github.io/eligibility) and reimbursement (https://europroofnet.github.io/reimbursement-rules/) rules to know whether you can be funded. (https://e-services.cost.eu/action/CA20111/working-groups/apply) to EuroProofNet if you have not already. Participants who contribute talks will be given preference when applying for travel support. Location Postgraduate Centre Heriot-Watt (https://maps.app.goo.gl/vBKoBeCjZBNVnqeb9), Heriot-Watt University, Edinburgh, EH14 4AL, UK. More information about the campus:Heriot-Watt (https://www.hw.ac.uk/uk/edinburgh/maps-directions.htm). Please direct all questions to Kathrin Stark: k.stark at hw.ac.uk From iccc25.computationalcreativity at gmail.com Thu Jan 16 23:25:26 2025 From: iccc25.computationalcreativity at gmail.com (ICCC25) Date: Thu, 16 Jan 2025 22:25:26 +0000 Subject: [Event@CIG] =?utf-8?q?2nd_Call_for_Papers_ICCC=2725_=E2=80=93_Th?= =?utf-8?q?e_16th_International_Conference_on_Computational_Creativ?= =?utf-8?q?ity?= Message-ID: Dear Colleague, Below you will find the official Call for Full papers of the next International Conference on Computational Creativity (ICCC?25), which will take place in Campinas, Brazil. Please feel free to distribute it to mailing lists you manage and to everybody who may be interested. Thank you and we hope to see you in Campinas for ICCC?25! If you wish to receive more information about ICCC?25 subscribe here . Follow us on: facebook ? https://www.facebook.com/pg/computationalcreativity/ twitter ? https://twitter.com/iccc_conf instagram ? https://www.instagram.com/iccc_conf/ ------------------------------------------------ The 16th International Conference on Computational Creativity (ICCC'25) June 23-27, 2025 ? Campinas, Brazil Call for papers: full regular papers http://computationalcreativity.net/iccc25/full-papers/ Please distribute (Apologies for cross-posting) ------------------------------------------------ Computational Creativity (CC) is a discipline with its roots in scientific disciplines such as Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that each explores the potential for computers to be creative ? either in partnership with humans or as autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on systems that act as creative partners for human creators, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on. *** Themes and Topics *** Original research contributions are solicited in all areas related to Computational Creativity research and practice, including, but not limited to: ? Applications of Computational Creativity ? Human-Machine Co-Creativity ? Computational Creativity Evaluation ? Social Models ? Computational Paradigms ? Interdisciplinary Perspectives ? Data and Creativity ? Societal Impact ? Psychological Factors ? Provocations A note on generative AI models: while the study of generative AI models is both welcomed and encouraged, such models and their application must be properly situated in the CC literature and evaluated according to acceptable practices in the field. Papers that fail to do this are unlikely to be reviewed favorably. *** Paper Types *** We welcome the submission of five different types of papers: ? Technical papers ? System or Resource description papers ? Study papers ? Cultural application papers ? Position papers *** Important Dates *** Abstracts due: February 14, 2025 Submissions due: February 21, 2025 Acceptance notification: April 11, 2025 Camera-ready copies due: May 2, 2025 Conference: June 23-27, 2025 All deadlines given are 23:59 anywhere on Earth time. *** Submission instructions *** This year the submission process has two stages: initial submission of a title and abstract, and subsequent submission of the full paper a week later. - Recommended length for the abstract is 100?200 words. - The full paper page limit is 8 pages + up to 2 pages of references. - Papers will be reviewed in a double-blind fashion, which necessitates that authors take appropriate steps to remain anonymous. - You are responsible for making your papers anonymous to allow for double-blind review. Remove all references to your home institution(s), refer to your past work in the third person, etc. - To be considered, papers must be submitted as a PDF document formatted according to ICCC style (which is similar to AAAI and IJCAI formats). You can download the updated ICCC?25 LaTeX template [here ] and Word template [here ]. - Abstracts are to be submitted one week before the full paper deadline. Submit your abstract via the EasyChair system [here ]. You are required to fill out author(s) information, a title, abstract and keywords. - Submit your full paper by updating the EasyChair Abstract with your manuscript file. Abstract submissions that do not contain a manuscript will be automatically rejected at the beginning of the review time. - Papers must be submitted through the EasyChair platform: https://easychair.org/conferences/?conf=iccc202501 - Double submissions policy: Work submitted to ICCC should not be under review in another scientific conference or journal at the time of submission. *** More Information *** More information on themes, topics, paper types and the submission process can be found at: http://computationalcreativity.net/iccc25/full-papers/ -------------- next part -------------- The 16th International Conference on Computational Creativity (ICCC'25) June 23-27, 2025 ? Campinas, Brazil Call for papers: full regular papers http://computationalcreativity.net/iccc25/full-papers/ Please distribute (Apologies for cross-posting) ------------------------------------------------ Computational Creativity (CC) is a discipline with its roots in scientific disciplines such as Artificial Intelligence, Cognitive Science, Engineering, Design, Psychology and Philosophy that each explores the potential for computers to be creative ? either in partnership with humans or as autonomous creators in their own right. ICCC is an annual conference that welcomes papers on different aspects of CC, on systems that exhibit varying degrees of creative autonomy, on systems that act as creative partners for human creators, on frameworks that offer greater clarity or computational felicity for thinking about machine (and human) creativity, on methodologies for building or evaluating CC systems, on approaches to teaching CC in schools and universities or to promoting societal uptake of CC as a field and as a technology, and so on. *** Themes and Topics *** Original research contributions are solicited in all areas related to Computational Creativity research and practice, including, but not limited to: ? Applications of Computational Creativity ? Human-Machine Co-Creativity ? Computational Creativity Evaluation ? Social Models ? Computational Paradigms ? Interdisciplinary Perspectives ? Data and Creativity ? Societal Impact ? Psychological Factors ? Provocations A note on generative AI models: while the study of generative AI models is both welcomed and encouraged, such models and their application must be properly situated in the CC literature and evaluated according to acceptable practices in the field. Papers that fail to do this are unlikely to be reviewed favorably. *** Paper Types *** We welcome the submission of five different types of papers: ? Technical papers ? System or Resource description papers ? Study papers ? Cultural application papers ? Position papers *** Important Dates *** Abstracts due: February 14, 2025 Submissions due: February 21, 2025 Acceptance notification: April 11, 2025 Camera-ready copies due: May 2, 2025 Conference: June 23-27, 2025 All deadlines given are 23:59 anywhere on Earth time. *** Submission instructions *** This year the submission process has two stages: initial submission of a title and abstract, and subsequent submission of the full paper a week later. Recommended length for the abstract is 100?200 words. The full paper page limit is 8 pages + up to 2 pages of references. Papers will be reviewed in a double-blind fashion, which necessitates that authors take appropriate steps to remain anonymous. You are responsible for making your papers anonymous to allow for double-blind review. Remove all references to your home institution(s), refer to your past work in the third person, etc. To be considered, papers must be submitted as a PDF document formatted according to ICCC style (which is similar to AAAI and IJCAI formats). You can download the updated ICCC?25 LaTeX template [here] and Word template [here]. Abstracts are to be submitted one week before the full paper deadline. Submit your abstract via the EasyChair system [here]. You are required to fill out author(s) information, a title, abstract and keywords. Submit your full paper by updating the EasyChair Abstract with your manuscript file. Abstract submissions that do not contain a manuscript will be automatically rejected at the beginning of the review time. Papers must be submitted through the EasyChair platform: https://easychair.org/conferences/?conf=iccc202501 Double submissions policy: Work submitted to ICCC should not be under review in another scientific conference or journal at the time of submission. *** More Information *** More information on themes, topics, paper types and the submission process can be found at: http://computationalcreativity.net/iccc25/full-papers/ From daniela.kaufmann at tuwien.ac.at Fri Jan 17 07:22:46 2025 From: daniela.kaufmann at tuwien.ac.at (Daniela Kaufmann) Date: Fri, 17 Jan 2025 07:22:46 +0100 Subject: [Event@CIG] FMCAD 2025: Call for Papers In-Reply-To: References: Message-ID: ================================================================================ ? Formal Methods in Computer-Aided Design (FMCAD) 2025: Call for Papers ================================================================================ FMCAD 2025 is the twenty-fifth edition in a series of conferences on the theory and applications of formal methods in hardware and system verification. The conference encompasses a wide range of topics related to formal aspects of computer-aided system design, including verification, specification, synthesis, and testing and provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. ## General Information Conference Website: https://fmcad.org/FMCAD25/ Conference Location: SRI Headquarters, Menlo Park, California, US Conference Dates: October 6 - October 10, 2025 FMCAD 2025 includes the FMCAD Student Forum (https://fmcad.org/FMCAD25/student_forum/) and is co-located with VSTTE 2025. ## Topics of Interest FMCAD welcomes submission of papers reporting original research on advances in all aspects of formal methods and their applications to computer-aided design. Topics of interest include (but are not limited to): * Model checking, theorem proving, equivalence checking, abstraction and reduction, compositional methods, decision procedures at the bit- and word-level, probabilistic methods, combinations of deductive methods and decision procedures. * Synthesis and compilation for computer system descriptions, modeling, specification, and implementation languages, formal semantics of languages and their subsets, model-based design, design derivation and transformation, correct-by-construction methods. * Application of formal and semi-formal methods to functional and non-functional specification and validation of hardware and software, including timing and power modeling, verification of computing systems on all levels of abstraction, system-level design and verification for embedded systems, cyber-physical systems, automotive systems and other safety-critical systems, hardware-software co-design and verification, and transaction-level verification. * Experience with the application of formal and semi-formal methods to industrial-scale designs; tools that represent formal verification enablement, introducenew features, or substantially improve the automation of formal methods. * Application of formal methods to verifying safety, connectivity and security properties of networks, distributed systems, smart contracts, block chains, and IoT devices. * Application of formal methods to the analysis of machine learning systems, and applications of machine learning to enhance formal methods techniques. ## Important Dates * Abstract Submission Deadline: April 20, 2025 * Paper Submission Deadline: April 27, 2025 * Author Response: June 17 - June 19, 2025 * Author Notification: July 1, 2025 All deadlines are 11:59 pm AoE (Anywhere on Earth) ### FMCAD/VSTTE Program Outline * Main VSTTE Day: October 6, 2025 * Joint FMCAD/VSTTE Tutorial Day: October 7, 2025 * Main FMCAD days: October 8 - October 10, 2025 ## Submission Guidelines Submissions must be made electronically in PDF format via EasyChair: https://easychair.org/conferences?conf=fmcad2025 Two categories of papers are invited: Regular papers, and Tool & Case Study papers. * *Regular papers* are expected to offer novel foundational ideas, theoretical results, or algorithmic improvements to existing methods, along with experimental impact validation where applicable. * *Tool & Case Study papers* are expected to report on the design, implementation or use of verification (or related) technology in a practically relevant context (which need not be industrial), and its impact on design processes. Both Regular and Tool & Case Study papers must use the IEEE Transactions format on letter-size paper with a 10-point font size; preferably, use the FMCAD template for papers. Papers in both categories can be either 8 pages (long) or 4 pages (short) in length excluding references. Short papers that describe emerging results, practical experiences, or original ideas that can be described succinctly are encouraged. Authors will be required to select an appropriate paper category at abstract submission time. Submissions may contain an optional appendix, which will not appear in the final version of the paper. The reviewers should be able to assess the quality and the relevance of the results in the paper without reading the appendix. Submissions in all categories must contain original research that has not been previously published, nor is concurrently submitted for publication. Any partial overlap with published or concurrently submitted papers must be clearly indicated. FMCAD employs a rigorous peer-review process and each submission will be reviewed by at least four members of the program committee. The review process is single-blind. The review process will incorporate a feedback and rebuttal period during which authors will have the opportunity to formally respond to reviewer comments. **New - Artifact Evaluation:** FMCAD 2025 introduces optional artifact evaluation to enhance transparency and the usability of research outcomes. Authors reporting experimental results are strongly encouraged to publish their final data in a long-term repository (e.g. zenodo (https://zenodo.org)). With artifacts serving as supplementary evidence, high-quality artifacts can improve the likelihood of paper acceptance. Artifact evaluation will be integrated into the main review process, with one selected program committee member assessing the quality of the artifact alongside the paper. Accepted artifacts require a DOI and will be clearly identified in the published paper. Details are available on the Artifacts Page (https://fmcad.org/FMCAD25/cfa). Accepted papers are published by TU Wien Academic Press under a Creative Commons license (the authors retain the copyright) and distributed through the IEEE XPlore digital library. IEEE CEDA is a technical co-sponsor of FMCAD. There are no publication fees. Authors of accepted contributions will be required to sign the FMCAD copyright transfer form found here: https://fmcad.or.at/pdf/copyright.pdf. For each accepted paper, at least one unique author must register for the conference. Moreover, authors of accepted papers ensure that at least one of them will attend the conference and present the work. ## Student Forum Continuing the tradition of the previous years, FMCAD 2025 will host a Student Forum that provides a platform for graduate students at any career stage to introduce their research to the wider Formal Methods community, and solicit feedback. Submissions for the student forum must be short reports describing research ideas or ongoing work that the student is currently pursuing, and must be within the scope of FMCAD. Work that has been partly published previously might be considered; the novel aspect to be addressed in future work must be clearly described in such cases. All submissions will be reviewed by a selected group of FMCAD student forum committee members. Details are available on the Student Forum Page (https://fmcad.org/FMCAD25/student_forum). ## FMCAD 2025 Committees ### Program Chair Ahmed Irfan, SRI, CA, USA Daniela Kaufmann, TU Wien, Austria ### Local Chair St?phane Graham-Lengrand, SRI, CA, USA ### Registration Chair Jenny McNeill, SRI, CA, USA ### Student Forum Chairs Tanja Schindler, University of Basel, Switzerland Lee A. Barnett, AWS, CA, USA ### Sponsorship Chair: Alex Ozdemir, Stanford University, CA, USA ### Publication Chair Georg Weissenbacher, TU Wien, Austria ### Web Chair Thomas Hader, TU Wien, Austria ### FMCAD Steering Committee Clark Barrett, Stanford University, CA, USA Armin Biere, University of Freiburg, Germany Ruzica Piskac, Yale University, USA Anna Slobodova, ARM, USA Georg Weissenbacher, TU Wien, Austria From fmec2024 at gmail.com Sun Jan 19 10:28:07 2025 From: fmec2024 at gmail.com (Sadi Alawadi) Date: Sun, 19 Jan 2025 10:28:07 +0100 Subject: [Event@CIG] Invitation to Submit: The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025) Message-ID: [Apologies if you got multiple copies of this invitation] The 10th International Conference on Fog and Mobile Edge Computing (FMEC 2025) https://emergingtechnet.org/FMEC2025/index.php Tampa, Florida, USA. May 19-22, 2025 Technically Co-Sponsored by IEEE Florida Section *FMEC 2025 CFP:* Cloud computing provides a large range of services and virtually unlimited available resources for users. New applications, such as virtual reality and smart building control, have emerged due to the large number of resources and services brought by cloud computing. However, the delay-sensitive applications face the problem of large latency, especially when several smart devices and objects are getting involved in human?s life such as the case of smart cities or Internet of Things. Therefore, cloud computing is unable to meet the requirements of low latency, location awareness, and mobility support. To solve this problem, researchers have introduced a trusted and dependable solution through the Fog and the Mobile Edge Computing (FMEC) to put the services and resources of the cloud closer to users, which facilitate the leveraging of available services and resources in the edge networks. By this, we are moving from the core (cloud data centers) to the edge of the network closer to the users. FMEC dependability is based on providing user centric service. The purpose of Fog and the Mobile Edge Computing is to run the heavy real-time applications at the network edge directly using the billions of connected mobile devices. Several features enable the Fog and the Mobile Edge Computing to be a perfect paradigm to the aforementioned purpose, which are the dense geographical deployment of servers, supporting mobility and the closeness to users. As in every new technology, some challenges face the vision of the Fog and the Mobile Edge Computing, which are the administrative policies and security concerns (i.e. secure data storage, secure computation, network security, data privacy, usage privacy, location privacy, etc). FMEC 2024 conference aims to investigate the opportunities and requirements for Mobile Edge Computing dominance. In addition, it seeks for novel contributions that help mitigate Mobile Edge Computing challenges. That is, the objective of FMEC 2025 is to provide a forum for scientists, engineers, and researchers to discuss and exchange new ideas, novel results and experience on all aspects of Fog and Mobile Edge Computing (FMEC). FMEC 2025 is Technically Co-Sponsored by IEEE Florida Section. Researchers are encouraged to submit original research contributions in all major areas, which include, but not limited to the following: - Fog and Mobile Edge Computing in unmanned aerial vehicle communications and applications - Fog and Mobile Edge Computing in mission-critical systems - Intelligent Transportation Systems - Edge-cloud computing architectures, frameworks and platforms - Edge-cloud networking and communication - Quality of Service (QoS) improvement techniques - Network virtualization for Edge-to-cloud systems - FMEC and IoT Data Communication Protocols - Industrial Fog and Mobile Edge Computing Applications - Mobile Cloud Computing Systems and Applications - FMEC in Environmental Sustainability - Trustworthy AI for Edge and Fog Computing - Security and Privacy in Fog and Mobile Edge Computing - Decentralized Data Management and Streaming Systems in FMEC - Data storage, processing, and management at FMEC platform - Federated learning and distributed machine learning in the fog and on the edge - 5G and fog/edge computing - Middleware and runtime systems for fog/edge infrastructures - Energy-efficient fog/edge computing - Edge/fog-to-cloud APIs and protocols - Mobility, connectivity, heterogeneity support for edge/fog services - Load balancing/scheduling in fog/edge computing - Crowdsourcing and establishing trust on data sources - Decision support systems for Edge-cloud computing - AI-based or data-driven orchestration of workflows in Edge computing - Automatic cheduling and deployment of workflows and services in Edge computing - Distributed management of Edge computing - Mechanisms and data structures for the governance of Edge computing - Interfaces, orchestration and optimization of the Networking-Computing continuum - In-network computing for the edge-cloud continuum - Novel programming models for Edge computing - Dynamic Edge/Fog environments - Automatic deployment and continuous dynamic composition of Edge services - Semantic annotation of Edge/Fog services - AI in Autonomous Urbanism *Submissions Guidelines and Proceedings* Manuscripts should be prepared in 10-point font using the IEEE 8.5" x 11" two-column format. All papers should be in PDF format, and submitted electronically at Paper Submission Link. A full paper can be up to 8 pages (including all figures, tables and references). Submitted papers must present original unpublished research that is not currently under review for any other conference or journal. Papers not following these guidelines may be rejected without review. Also submissions received after the due date, exceeding length limit, or not appropriately structured may also not be considered. Authors may contact the Program Chair for further information or clarification. All submissions are peer-reviewed by at least three reviewers. Accepted papers will appear in the FMEC Proceeding, and be published by the IEEE Computer Society Conference Publishing Services and be submitted to IEEE Xplore for inclusion. Submitted papers must include original work, and must not be under consideration for another conference or journal. Submission of regular papers up to 8 pages and must follow the IEEE paper format. Please include up to 7 keywords, complete postal and email address, and fax and phone numbers of the corresponding author. Authors of accepted papers are expected to present their work at the conference. Submitted papers that are deemed of good quality but that could not be accepted as regular papers will be accepted as short papers. Length of short papers can be between 4 to 6 pages. *Important Dates:* Submission Date: 15 Jan 2025 *Extended to 15 February 2025* Notification to Authors: 1 Apr 2025 Camera Ready Submission: 21 Apr 2025 *Contact:* Please send any inquiry on FMEC to Sadi Alawadi at: Sadi.alawadi at bth.se *Best Regards* *FMEC 2025 Organizing Committee* From giovanni.casini at isti.cnr.it Fri Jan 17 15:00:38 2025 From: giovanni.casini at isti.cnr.it (giovanni.casini) Date: Fri, 17 Jan 2025 15:00:38 +0100 Subject: [Event@CIG] First CfP - JELIA 2025 - 19th European Conference on Logics in AI Message-ID: <45691ad4a4dcb3a7108c389cef56f8d8@isti.cnr.it> *** Apologies for cross-posting *** ======================================= JELIA 2025 - FIRST CALL FOR PAPERS ======================================= 19th European Conference on Logics in Artificial Intelligence (JELIA 2025) September 1-5, 2025 Kutaisi International University Kutaisi, Georgia https://viam.science.tsu.ge/jelia2025/ ======================================= == IMPORTANT DATES == Abstract submission: 2 May 2025 Paper submission: 9 May 2025 Notification of acceptance: 1 July 2025 Camera-ready due: 10 July 2025 The Program Committee of the 19th European Conference on Logics in Artificial Intelligence (JELIA 2025) invites the submission of technical papers for the conference that will be held in Kutaisi, Georgia, from the 1st to the 5th of September 2025. == AIMS AND SCOPE == The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial Intelligence, in order to discuss current research, results, problems, and applications of both theoretical and practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers from various disciplines, among researchers from academia and industry, and between theoreticians and practitioners. Authors are invited to submit papers presenting original and unpublished research in all areas related to the use of logics in Artificial Intelligence, including, but not limited to: * Abductive and inductive reasoning * Applications of logic-based AI systems * Argumentation * Automated reasoning including satisfiability checking and its extensions * Causality and logics * Computational complexity and expressiveness * Deontic logic and normative systems * Description logics and other logical approaches to ontologies * Knowledge representation, reasoning, and compilation * Learning and reasoning * Logic programming, answer set programming, constraint logic programming * Logics in machine learning * Logics for uncertain and probabilistic reasoning * Logics in multi-agent systems, games, and social choice * Neural networks and logic rules * Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid logics * Nonmonotonic logics, default logics, conditional logics * Planning and diagnosis based on logic * Preferences and optimization * Reasoning about actions * Updates, belief revision and nonmonotonic reasoning Submissions describing implemented systems/applications and their application area(s) are also welcome. == SPECIAL TRACK == Also this year we will include a Special Track on Logics for Explainable and Trustworthy AI. We welcome contributions that explore logic-based approaches to making AI more transparent, safer, or more trustworthy. The track aims to draw attention to this timely topic and create a space for discussing the role of logic. The papers accepted for the special track will be presented in dedicated sessions at the conference. == AWARDS == JELIA 2025 is happy to announce that there will be Best Paper and Best Student Paper Prizes sponsored by Springer, each is a cash prize amounting to EUR 500. The Program Committee will select for this honor the contribution of the highest technical excellence and scientific merit. In the case of the latter award, the primary author of the paper must be a student at the time of submission. == SUBMISSION DETAILS == Submission Site: https://easychair.org/conferences/?conf=jelia2025 JELIA 2025 welcomes submissions of long or short papers. All submissions should contain original research, and sufficient detail to assess the merits and relevance of the contribution. Submissions must not have been previously published or be simultaneously submitted for publication elsewhere; see also the note below. All submissions should not exceed 13 pages for long papers and 6 pages for short papers (excluding references and acknowledgments, including everything else, for example figures), and should be written in English. Papers must be self-contained; appendices with additional material (such as proofs) will only be considered at the reviewers' discretion and will not be published. Submissions must be formatted according to the standard Springer LNCS style (see https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines), and are not anonymous. The conference proceedings of JELIA 2025 will be published by Springer Verlag in the series Lecture Notes in Artificial Intelligence, a sub-series of Lecture Notes in Computer Science (important note: Springer will require all the LaTeX source files of all accepted submissions). == CONFERENCE CHAIRS == ** General Chair Besik Dundua, Tbilisi State University & Kutaisi International University, Georgia ** Program Chairs Giovanni Casini, CNR - Institute of Information Science and Technologies, Italy Temur Kutsia, RISC, Johannes Kepler University, Austria **Organization Chair Mikheil Rukhaia, Institute of Applied Mathematics, Tbilisi State University, Georgia **Organization Committee Matthias Baaz, Vienna University of Technology Mariam Gamsakhurdia, Vienna University of Technology Revaz Grigolia, Tbilisi State University Lia Kurtanidze, Georgian National University - SEU Levan Uridia, Andrea Razmadze Mathematical Institute, Tbilisi State University == POLICY ON MULTIPLE SUBMISSIONS == JELIA 2025 will not accept any paper that, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during JELIA's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings. Any additional questions can be directed towards the JELIA Chairs: For general inquiries: jelia2025 at easychair.org For inquiries to the local organization: jelia2025 at gmail.com We look forward to receiving your submissions and seeing you in Kutaisi in September 2025!