Very much enjoying Gothenburg and the Logic Colloquium 2024 where I'll be giving a talk on obstacles of a truly bilateralist sequent calculus 😊

Logic Colloquium 2024 in Gothenburg: It's been such a great conference; I met so many old friends as well as lovely new people 😊 thanks again to the organizers for their amazing job!

Almost to the day a year ago I defended my PhD and I just found again all these pics of the day, especially of the amazing celebration BBQ we had afterwards! 😍 It's so nice that our institute allows everyone to attend defenses so that my friends and family could be there too 😊

First time for me at a Dagstuhl seminar and it's wonderful: in the middle of nowhere in Germany with about 30 other logicians talking about proof theory 😊 great organization by Elaine Pimentel, Anupam Das, Lutz Straßburger and Carlos Areces!

I'm organizing a little hybrid conference in 2 weeks on Feminist Analytic Philosophy 😊 The talks will be a nice mix of historical and conceptual stuff; I'll also present sth. on feminist logic! Have a look here for the program,abstracts and registration: sites.google.com/view/workshop-…

Women in PLEXUS workshop on substructural logics December 4-6, 2024 University of Turin Keynote speakers: Pilar Terrés Villalonga, Elaine Pimentel, Paula Teijeiro, Noemí Lubomirsky sites.google.com/view/womeninpl…

On my way to Turin now for this exciting event! Thanks to the great organizers for inviting me as discussant, looking very much forward to it!! 🙂

Now on my way to Bergen (first time for me visiting Norway!) for a great workshop on "Logic and Feminism" that Anita Leirfall is organizing and kindly invited me to! Looking much forward to feedback, the other talks and discussions on that topic 😊 uib.no/en/bnwp/174228…

I have released a beta version of Truth Finder -- a puzzle game combining tetris and truth tables for classical propositional logic ivopezlar.itch.io/truthfinder

I'm looking forward to submissions for the Synthese Topical Collection on Feminist Logic, which I'll be guest editing! Deadline is October 1, 2025. See here for more information: link.springer.com/collections/hi…

Very happy and excited to be in Banff,Canada, now for the BIRS workshop on "Proof Representations" starting tomorrow 😊 Amazing people are participating and all that taking place in this beautiful landscape!

Paper publishing alert 😄 My dear colleague Hrafn Oddsson and I have written a paper in which we show "Proof-Theoretic Functional Completeness for the Connexive Logic C". It's now published with open access in Studia Logica: rdcu.be/evpKb