Logic List Mailing Archive

FMAI 2021: Formal Methods in AI, Virtual

15-16 Apr 2021

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


Best regards,

Francesco Belardinelli

-- 
Dr Francesco Belardinelli, PhD, MCF HDR
Laboratoire IBISC
Université d'Evry - Val d'Essonne
www.doc.ic.ac.uk/~fbelard

My working day may not be the same as yours.  Please do not feel obliged to 
reply to this email outside your normal working hours.

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam