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