Two new videos of the online seminar are published:
• "Challenges and perspectives in the management of patient records in Senegal: experiences from the SIMENS project” given by Gaoussou Camara on Wednesday, April 14, 2021: view the video
• "The Boolean Satisfiability Problem: an overview of solving techniques and applications" by Clémentin Tayou Djamegni on Wednesday, May 19, 2021: view the video
The podcasts of the previous seminars in 2021 are also available on the website: https://lirima.inria.fr/en/calendrier-2021-seminaire-en-ligne/
Enjoy!
