Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

• URL: http://arxiv.org/abs/2311.08987v1
• Date: Wed, 15 Nov 2023 14:20:56 GMT
• Title: Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems
• Authors: Marie Farrell (University of Manchester, UK), Matt Luckcuck (University of Nottingham, UK), Mario Gleirscher (University of Bremen, Germany), Maike Schwammberger (Karlsruhe Institute of Technology, Germany)
• Abstract summary: FMAS 2023 was co-located with 18th International Conference on integrated Formal Methods (iFM'22) The workshop itself was held at Scheltema Leiden, a renovated 19th Century blanket factory alongside the canal.
• Score: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: This EPTCS volume contains the proceedings for the Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023), which was held on the 15th and 16th of November 2023. FMAS 2023 was co-located with 18th International Conference on integrated Formal Methods (iFM) (iFM'22), organised by Leiden Institute of Advanced Computer Science of Leiden University. The workshop itself was held at Scheltema Leiden, a renovated 19th Century blanket factory alongside the canal. FMAS 2023 received 25 submissions. We received 11 regular papers, 3 experience reports, 6 research previews, and 5 vision papers. The researchers who submitted papers to FMAS 2023 were from institutions in: Australia, Canada, Colombia, France, Germany, Ireland, Italy, the Netherlands, Sweden, the United Kingdom, and the United States of America. Increasing our number of submissions for the third year in a row is an encouraging sign that FMAS has established itself as a reputable publication venue for research on the formal modelling and verification of autonomous systems. After each paper was reviewed by three members of our Programme Committee we accepted a total of 15 papers: 8 long papers and 7 short papers.

Related papers

• Reflections from the 2024 Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry [68.72590517877455]
  We present the outcomes from the second Large Language Model (LLM) Hackathon for Applications in Materials Science and Chemistry. The event engaged participants across global hybrid locations, resulting in 34 team submissions. The submissions spanned seven key application areas and demonstrated the diverse utility of LLMs for applications.
  arXiv  Detail & Related papers  (2024-11-20T23:08:01Z)
• Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems [0.5633692733812872]
  This volume contains the papers from the Sixth International Workshop on Formal Methods for Autonomous Systems (FMAS 2024) FMAS 2024 was co-located with 19th International Conference on integrated Formal Methods (iFM'24), hosted by the University of Manchester in the United Kingdom.
  arXiv  Detail & Related papers  (2024-11-20T11:21:22Z)
• Report on the 1st Workshop on Large Language Model for Evaluation in Information Retrieval (LLM4Eval 2024) at SIGIR 2024 [37.103230004631996]
  The aim was to bring information retrieval researchers together around the topic of LLMs for evaluation in information retrieval. Given the novelty of the topic, the workshop was focused around multi-sided discussions.
  arXiv  Detail & Related papers  (2024-08-09T23:55:58Z)
• Proceedings 12th International Workshop on Theorem proving components for Educational software [0.0]
  ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education. ThEdu'23 was very successful, with one invited talk, by Yves Bertot (Inria, France), "The challenges of using Type Theory to teach Mathematics", and seven regular contributions. Seven submissions have been accepted by our reviewers, who jointly produced at least three careful reports on each of the contributions.
  arXiv  Detail & Related papers  (2024-04-04T11:51:26Z)
• Recent Advances, Applications, and Open Challenges in Machine Learning for Health: Reflections from Research Roundtables at ML4H 2023 Symposium [71.81297744767885]
  Third ML4H symposium was held in person on December 10, 2023, in New Orleans, Louisiana, USA. We organized eleven in-person roundtables and four virtual roundtables at ML4H 2022. This document serves as a comprehensive review paper, summarizing the recent advancements in machine learning for healthcare.
  arXiv  Detail & Related papers  (2024-03-03T22:21:58Z)
• Findings of the WMT 2023 Shared Task on Discourse-Level Literary Translation: A Fresh Orb in the Cosmos of LLMs [80.05205710881789]
  We release a copyrighted and document-level Chinese-English web novel corpus. This year, we totally received 14 submissions from 7 academia and industry teams. The official ranking of the systems is based on the overall human judgments.
  arXiv  Detail & Related papers  (2023-11-06T14:23:49Z)
• MER 2023: Multi-label Learning, Modality Robustness, and Semi-Supervised Learning [90.17500229142755]
  The first Multimodal Emotion Recognition Challenge (MER 2023) was successfully held at ACM Multimedia. This paper introduces the motivation behind this challenge, describe the benchmark dataset, and provide some statistics about participants. We believe this high-quality dataset can become a new benchmark in multimodal emotion recognition, especially for the Chinese research community.
  arXiv  Detail & Related papers  (2023-04-18T13:23:42Z)
• Proceedings 11th International Workshop on Theorem Proving Components for Educational Software [0.0]
  ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education. ThEdu'22 was a vibrant workshop, with two invited talk by Thierry Dana-Picard and Yoni Zohar. The resulting revised papers are collected in the present volume.
  arXiv  Detail & Related papers  (2023-03-09T16:10:13Z)
• I4U System Description for NIST SRE'20 CTS Challenge [87.17861348484455]
  This manuscript describes the I4U submission to the 2020 NIST Speaker Recognition Evaluation (SRE'20) Conversational Telephone Speech (CTS) Challenge. The I4U's submission was resulted from active collaboration among eight research teams. The submission was based on the fusion of top performing sub-systems and sub-fusion systems contributed by individual teams.
  arXiv  Detail & Related papers  (2022-11-02T13:04:27Z)
• Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) [0.0]
  Fourth international workshop on Formal Methods for Autonomous Systems (FMAS 2022) Fourth international workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE 2022) Held in conjunction with 20th International Conference on Software Engineering and Formal Methods (SEFM'22), at Humboldt University in Berlin.
  arXiv  Detail & Related papers  (2022-09-27T06:40:10Z)
• Overview of the Shared Task on Fake News Detection in Urdu at FIRE 2021 [55.41644538483948]
  The goal of the shared task is to motivate the community to come up with efficient methods for solving this vital problem. The training set contains 1300 annotated news articles -- 750 real news, 550 fake news, while the testing set contains 300 news articles -- 200 real, 100 fake news. The best performing system obtained an F1-macro score of 0.679, which is lower than the past year's best result of 0.907 F1-macro.
  arXiv  Detail & Related papers  (2022-07-11T18:58:36Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.