Talk by Rineke Verbrugge on May 30th
The last talk of our Lunch Seminar series for this semester will take place on Monday, May 30th at 13:00 and will be given by Rineke Verbrugge ( University of…[...]
Read MoreAuthor: pbaldi
Talk by Ole Hjortland on May 23rd
The talk by Ole Hjortland ( University of Bergen) for our Lunch Seminar series, originally planned for May 2nd, will take place on Monday, May 23rd at 13:00! Title: Logical…[...]
Read More
Talk by Felix Weitkämper
Our Lunch Seminar series continues on Monday, May 16th! Our speaker will be Felix Weitkämper( LMU Munich) who will give a talk on Statistical relational artificial intelligence and first-order logics…[...]
Read More
Talk by Ole Hjortland (Postponed, TBD)
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…[...]
Read More
Talk by Alberto Termine
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…[...]
Read More
Talk by Elaine Pimentel
Our Lunch Seminar series continues on Monday, April 4th! We will host Elaine Pimentel (UCL London) who will give a talk on Ecumenical systems: from natural deduction with stoup to…[...]
Read More
Talk by Ekaterina Kubyshkina
Our Lunch Seminar series continues on Monday, March 21st! We will host Ekaterina Kubyshkina (University of Campinas) who will give a talk on Ignorance as an excuse, formally See below…[...]
Read More
Giuseppe Sergioli’s talk
Our Lunch Seminar series continues on Monday, March 7! We will host Giuseppe Sergioli (University of Cagliari) who will give a talk on Quantum Information and Machine Learning. From foundations…[...]
Read More
Francesca Toni’s seminar
Our Lunch Seminar series re-starts on Monday, February 21! We will host Francesca Toni (Imperial College London) who will give a talk on Argument graphs and assumption-based argumentation. See below…[...]
Read More
Applied logic for… the United Nations
I am proud to announce my logical contribution to the "United Nations Convention against Transnational Organized Crime and the Protocols thereto ” (UNTOC), in particular concerning its Review Mechanism. The…[...]
Read More