Logic ForAll
Forro' Logico: A blog to keep things.
Thursday, December 25, 2025
Saying good bye to Harold
›
Harold wasn't ill, as far as I know. He seemed to be enjoying his life as an avant-guarde musician, and was due to perform two days (or...
Wednesday, December 24, 2025
Ada Lovelace Day 2025
›
Phew! I almost completely missed it! This year's Ada Lovelace heroes are Larisa Maksimova and Ewa Orlowska. Someone once said (and ...
Friday, September 5, 2025
Women in Formal Mathematics 2024: A Weekend of Ideas and Community
›
On July 6–7, 2024, the Hausdorff Institute of Mathematics hosted the Women in Formal Mathematics workshop, a two-day event dedicated to sh...
Tuesday, June 17, 2025
Intuitionistic Modal Logic: are you sure?
›
I was always very keen on the idea that philosophical logicians and programming language designers interested in non-classical modal logics...
Saturday, June 7, 2025
Oh dear: my webpage in Bham is gone!
›
I have been an Honorary Fellow at the School of Computer Science in the University of Birmingham, UK since 2000. I am still officially one ...
Sunday, March 16, 2025
Topos@4
›
This picture from the first blog post of the Topos Institute celebrates the official opening of Topos in Jan 2021. Topos already existe...
Friday, March 14, 2025
What about Topos?
›
This post is simply a condensed version of an interview that Brendan gave to Eric Gilliam . I wanted to reproduce it here as I want to t...
›
Home
View web version
