[Logica-l] LUW session, July 19, G.Shtakser, Odessa, Epistemic Logics with Quantification Over Epistemic Operators

The next session of the Logica Universal Webinar will be July 19 at 4pm CET (Paris, Geneva, Rome). Speaker: Gennady Shtakser, Odessa National Academy of Communications, Odessa, Ukraine Title: Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness

[Logica-l] Fwd: [TYPES/announce] Undone Computer Science — Call for contributions

FIRST CALL FOR CONTRIBUTIONS — please disseminate widely to your colleagues and networks (apologies for cross-posting) 1st conference on *Undone Science in Computer Science* — A conference to reflect on epistemological and ethical dimensions of computer science * *Nantes, France, 5-6 February