Francesco A. Genco will present at The Eleventh Workshop on Combining Probability and Logic (PROGIC 2023) a talk with title “Testing and Trusting: A Typed Calculus for Reasoning about Probabilistic Processes”. The talk will take place on September 1 at 13:45 – 14:25 and will be about the line of work of the BRIO project concerning the low-level analysis of computational trust through its formalisation in typed probabilistic λ-calculus.
The Eleventh Workshop on Combining Probability and Logic takes place in Utrecht, the Netherlands, from August 30 until September 1, 2023 and has a special focus on Knowledge Representation and Reasoning.