The Third International Workshop on Formal Methods in Artificial Intelligence
Lead Research Organisation:
Imperial College London
Department Name: Computing
Abstract
FMAI2020 is the third installment of the FMAI workshop series after the first edition, held at Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione (DIETI), Università degli Studi di Napoli, on February 22-24 2017, and organised by the research group led by Prof. Anello Murano (sites.google.com/site/fmai2017homepage/), and the second edition, held at Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Rennes, on May 2-3 2019, and organised by the research group led by Prof. Sophie Pinchinat (project.inria.fr/fmai2019/ ). Both Prof. Murano and Prof. Pinchinat are members of the programme and steering committee for FMAI2020.
The workshop was originally planned for March 26-27, but it had to be postponed to September due to the COVID-19 pandemic.
On the other hand, preparations for the FMAI workshop are well under way. In particular, we already have the list of papers accepted for presentation.
The mission of the FMAI workshop series is to
- Share success stories on the applications of Formal Methods in AI.
- Discuss strategies for bringing the Formal Methods and AI communities closer together.
- Consolidate ongoing collaborations between these two communities and foster new ones.
We anticipate that the costs associated with the organisation of FMAI 2020 will amount to 6.5k GBP, mainly used to cover the travel and accommodation costs for the invited speakers, hospitality for the participants, as well as three travel grants for attending students.
The workshop was originally planned for March 26-27, but it had to be postponed to September due to the COVID-19 pandemic.
On the other hand, preparations for the FMAI workshop are well under way. In particular, we already have the list of papers accepted for presentation.
The mission of the FMAI workshop series is to
- Share success stories on the applications of Formal Methods in AI.
- Discuss strategies for bringing the Formal Methods and AI communities closer together.
- Consolidate ongoing collaborations between these two communities and foster new ones.
We anticipate that the costs associated with the organisation of FMAI 2020 will amount to 6.5k GBP, mainly used to cover the travel and accommodation costs for the invited speakers, hospitality for the participants, as well as three travel grants for attending students.
Description | This grant was used to organise the Third International Workshop on Formal Methods in AI (https://www.doc.ic.ac.uk/~fbelard/Workshop/index.html). The workshop was quite successful, with ~100 registered participants overall and ~50 participants at any single time. We received informal positive feedback from participants on the quality of invited talks and accepted papers. |
Exploitation Route | After the break due to Covid, the International Workshop on Formal Methods in Artificial Intelligence is going to be organised again in person. |
Sectors | Digital/Communication/Information Technologies (including Software),Education,Security and Diplomacy |
URL | https://www.doc.ic.ac.uk/~fbelard/Workshop/index.html |
Description | Steering and program committee of the workshop series in Formal Methods in Artificial Intelligence |
Organisation | Inria Rennes - Bretagne Atlantique Research Centre |
Country | France |
Sector | Public |
PI Contribution | After organising the third international workshop in Formal Methods in Artificial Intelligence (FMAI), I was invited to join the steering and program committee of the workshop series. I have contributed to developing the community around FMAI and we collaborated in some scientific publications, more recently with the following work: F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, A. Murano, L. Perrussel; Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. Proceedings of AAMAS 2022. |
Collaborator Contribution | The contribution was mainly scientific in terms of discussion and publication of research paper. |
Impact | The outputs are mainly in terms of scientific collaborations and publications, included the paper F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, A. Murano, L. Perrussel; Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. Proceedings of AAMAS 2022. mentioned above. |
Start Year | 2021 |
Description | Steering and program committee of the workshop series in Formal Methods in Artificial Intelligence |
Organisation | University of Naples |
Country | Italy |
Sector | Academic/University |
PI Contribution | After organising the third international workshop in Formal Methods in Artificial Intelligence (FMAI), I was invited to join the steering and program committee of the workshop series. I have contributed to developing the community around FMAI and we collaborated in some scientific publications, more recently with the following work: F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, A. Murano, L. Perrussel; Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. Proceedings of AAMAS 2022. |
Collaborator Contribution | The contribution was mainly scientific in terms of discussion and publication of research paper. |
Impact | The outputs are mainly in terms of scientific collaborations and publications, included the paper F. Belardinelli, W. Jamroga, V. Malvone, M. Mittelmann, A. Murano, L. Perrussel; Reasoning about Human-Friendly Strategies in Repeated Keyword Auctions. Proceedings of AAMAS 2022. mentioned above. |
Start Year | 2021 |
Description | Third International Workshop on Formal Methods in AI |
Form Of Engagement Activity | Participation in an activity, workshop or similar |
Part Of Official Scheme? | No |
Geographic Reach | International |
Primary Audience | Professional Practitioners |
Results and Impact | The project was aimed at the organisation of the Third International Workshop on Formal Methods in AI. |
Year(s) Of Engagement Activity | 2021 |
URL | https://www.doc.ic.ac.uk/~fbelard/Workshop/index.html |