Programme:Â
Programme:Â
Pictures:
Marco Maggesi in his Demo on HOL Light for modal logics
Roberto Giuntini in the roundtable on Quantum Computing.
Davide Fazio presenting new connections between Kleene logics.
Alessandro Aldini on CCS with errors and three-valued logics
Pictures of the social dinner at Ciacci.