gprimieroIt was a full week of logic and philosophy of science at #clmpst2023 in Buenos Aires. I presented some results of the @BRIO_PRIN project https://sites.unimi.it/brio/ on verification of fairness properties for non-deterministic computational systems and new work on formal representation of validity conditions for ML models. Nice interactions and hopefully some follow ups. I will also serve as Assessor in the @DLMPST_IUHPST Board for the next term 2024-2027.
Thomas SeillerThe 17th CLMPST (https://clmpst2023.dc.uba.ar) has now started :-) Lots of great talks planned (13 parallel tracks 😅). And I will be talking about the formalisation of algorithms tomorrow morning! #clmpst2023