N.B. The talk has been postponed, to a date yet to be decided. Our Lunch Seminar series continues on Monday, May 2nd! Our speaker will be Ole Hjortland ( University of Bergen) who will give a talk on Logical pluralism and abductivism in logic. Abstract: Logical knowledge has often been considered exceptional, either because it […]

Our Lunch Seminar series continues on Monday, April 11th! Our speaker will be Alberto Termine ( University of Milan) who will give a talk on Model Checking Stochastic Multi Agent Systems with Imprecise Probabilities. See below for more information and the abstract: Abstract: Stochastic multi-agent systems raise the necessity to extend probabilistic model checking to […]