Dr. Vera-Licona will be giving an invited talk on Model Checking during the thematic workshop on networks and biological model inference in the context of the CNRS Bioss working group on symbolic systems biology (https://www.bioss-cnrs.fr). The aim is to gather people working on this topic to present recent results and discuss challenges and perspectives. The workshop will take place on July 3-4 2023 at CIRM in Marseille, France