In this seminar, we will describe the topic, objectives and previous works concerning a MCSA project starting in October 2021 at the IIIA. The project is focused in study clausal-form systems for real and rational-valued events, facing the questions of their general definition, usage and solvable problems (SAT and optimality) from the point of view of their complexity, algorithmic design and applicability. The approach will be based on the study from a formal point of view of restricted classes of formulas in substructural and many-valued logics that have, ideally, good expressive power but are simpler than the whole logical systems, and the analysis of their computational behavior. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 101027914.
Amanda Vidal is graduated both in Mathematics and in Computer Science in 2010 at Autonomous University of Madrid, and obtained my Master Degree (2012) and PhD in Pure and Applied Logics in the UB and the IIIA-CSIC (under the supervision of F. Bou, F.Esteva, and L.Godo) in 2015. Afterwards, she has spent 4 years with different postdoctoral fellowships at the Institute of Computer Science of the Czech Academy of Sciences. Since October 2021, she is a MCSA fellow under the supervision of F. Manya back at the IIIA-CSIC.