Sunday, March 21, 2021

[DMANET] FMAI 2021: the 3rd International Workshop on Formal Methods in Artificial Intelligence (FMAI2021) - Call for Participation

The 3rd International Workshop on Formal Methods in AI (FMAI2021) will
be held on April 15th and 16th, virtually.

The aims of the FMAI workshop series are to:

- Present success stories about the application of formal methods in AI.

- Discuss strategies for bringing the Formal Methods and the AI
communities closer together.

- Consolidate ongoing collaborations between these two communities and
foster new ones.

We have an exciting programme, with 3 invited talks
(www.doc.ic.ac.uk/~fbelard/Workshop/speakers.html), and 6 thematic
sessions on Learning, Logic, Verification, Data, and Games and MAS
(www.doc.ic.ac.uk/~fbelard/Workshop/program.html).

In order to receive the link to attend, please register asap here:
www.doc.ic.ac.uk/~fbelard/Workshop/registration.html




**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************