🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Driving through Silicon Valley, saw a sign that said "text OR drive." I know ML is crowding logic out of the curriculum but I still want our students to know to (NOT text) OR (NOT drive)... ... then again, if you want to move fast and break things...

This looks like a fantastic workshop! Four great speakers, including @cpavese19 and jennifer lackey WomenInLogic

Nina Gierasimczuk speaks about "Unboxing learning processes with dynamic modal logics" at Zoé Christoff 's super interesting final VENI workshop here in Groningen. zoechristoff.com/veni-nwo-resea…

Edoardo Baccini speaks about "Comparing Social Network Dynamics" at Zoé Christoff's super interesting final VENI workshop “Formal Models of Social Networks & Democracy” zoechristoff.com/veni-nwo-resea…

Maaike Venema-Los speaks about "the graph theory of majority illusions" (work with her supervisors Zoé Christoff and Davide Grossi) at Zoé Christoff's superinteresting VENI workshop "Formal Models of Social Networks & Democracy" zoechristoff.com/veni-nwo-resea… Bernoulli Institute

Farewell symposium & valedictory lecture Prof. Lambert Schomaker, Fr 8 March, 11-17:30 in Groningen. Lectures by Mladen Popovic, Marius Bulacu, Judith Schomaker, Sheng He, Klaas Dijkstra, Charles de Weert, Ton Engbersen Everyone is welcome! Register at: docs.google.com/forms/d/e/1FAI…

Some nice coverage of the paper here: sciencenews.org/article/ai-lar…

Yesterday evening my 4th updated version of the Stanford Encyclopedia of Philosophy article on provability logic was published: plato.stanford.edu/entries/logic-… . I thoroughly enjoyed getting up to speed again with the developments in my old field, which turns out to be alive & kicking!

Submit your papers to Advances in Modal Logic, which takes place 19-23 August 2024 in Prague! Deadline abstracts 15 March, full papers 29 March. Invited speakers: Alexandru Baltag, Marta Bílková, Cláudia Nalon, David Fernandez-Duque & Helle Hvid Hansen.  cs.cas.cz/aiml2024/

Opening for a lecturer position in Cognitive Science & AI in a great group at Radboud AI.

newscientist.com/article/242319…

Thank you Cristina Flores and colleagues! Such a welcome overview of WomenInLogic, the whole series of videos that you all made around 8 March, 2021!

For those in NL: a 1-day workshop on "Large Language Models for media and democracy: wrecking or saving society?", 23 April, at CWI, Science Park A'dam. Speakers from academia, government and industry. cwi.nl/en/events/larg…

I won’t say, I told you so. But just let me leave this here psyarxiv.com/4cbuv

A poem for TopTweetTuesday host Marta Bilkova 🖤🇨🇿🇺🇦 My first attempt

Today, Avi Wigderson won the Turing Award for his important contributions to the theory of computation. Many congratulations! I remember his mind-blowing lecture about zero-knowledge interactive proofs for Peter van Emde Boas' group @ the UvA around 1989. quantamagazine.org

Great news for Peter Grünwald of the CWI , who will start an ERC Advanced Grant on statistical learning. Many congratulations, Peter!

Vacancy: Robotics laboratory education technician at University of Groningen Do you have a passion for building & programming robots & affinity with education? You will be responsible for maintaining commercial & self-developed robotics platforms & software. rug.nl/about-ug/work-…

Van harte welkom en gefeliciteerd aan alle 17 nieuwe KNAW-leden! De University of Groningen krijgt er twee nieuwe KNAW-leden bij: René René Veenstra en Mladen Popović. Van harte proficiat beiden!