📣 The Call for Nominations for the 8th edition of the VCLA International Student Awards is now open! We are looking for outstanding theses in the field of Logic & Computer Science.
🏆 Master Thesis & Undergraduate Thesis Award
🗓️ Deadline: May 31
ℹ️ vcla.at/2024/04/call-f…

💡 Nick Bezhanishvili (University of Amsterdam 🇳🇱) will give a talk on 'Degrees of the Finite Model Property for Superintuitionistic and Modal Logics'!
🗓️ Tuesday, April 16 at 13:00 hours | Seminar Room Gödel TU Wien
ℹ️ and abstract: vcla.at/2024/04/talk-b…

❗️ Dov Gabbay Prize for Logic and Foundations:
Nominate an outstanding researcher! Theme 2024: Mathematical Logic and its Foundations
💶 EUR 2001 prize money & invitation to give a talk
❗️ Deadline: April 30
ℹ️ dgp.iloaf.org/dgp.html

📢 The EACSL invites nominations for the Ackermann Award 2024, an outstanding dissertation award for Logic in Computer Science.
🗓️ Deadline for submission is July 1, 2024.
ℹ️ eacsl.org/ackermann-awar…

📢 FoLLI Call for Nominations: E.W. Beth Dissertation Prize for outstanding PhD dissertations in Logic, Language, and Information 2024 (degree must have been awarded in 2023).
🗓️ Deadline: April 30
ℹ️ folli.info/?page_id=74

Are you a woman working in logic?

Please join us on July 9, 2024 at WiL, give a talk, and enjoy a day with Women in Logic!

Please submit an abstract of 1-2 pages by April 30, 2024 (AoE), via EasyChair.

sites.google.com/view/wil24

🇯🇵 MSc and PhD students of TU Wien are welcome to apply!

👏 Thanks to Reiner Hähnle from TU Darmstadt for a very accessible talk about CATs! While Reiner likes using cat pictures 🐈, CATs stands for Context-Aware Trace Contracts - a concept which he illustrated with an example from a casino 💵 case study.

❗️ JOB OFFER: University Assistant (post-doc)
Inst. of Visual Computing and Human-Centered Technology at TU Wien

Research Unit of Human-Computer Interaction
full-time, starting in July and limited to 6 years
ℹ️ jobs.tuwien.ac.at/Job/229548
🔗 igw.tuwien.ac.at/hci/
#postdocposition

💡 Byron Cook Byron Cook, VP at Amazon Web Services and Professor at UCL, will give a talk on 'The Business of Proofs'!
🗓️ Wednesday, April 17 at 11:15 hours | Informatics Lecture Hall TU Wien, Campus Freihaus
ℹ️ and abstract: vcla.at/2024/03/talk-b…

A must-read! 📖

📢 Join us today at 17:00 CET for the first talk in the new seminar series “Women in Logic Online” with Dr Valeria dePaiva! Last-minute participants can still register for this free event 😊 #logic
➡️ tuwien.zoom.us/webinar/regist…

The new IT:U university in Linz has ten open-rank, open-topic professorship openings. Trust (including cybersecurity) is one of the three core research fields which IT:U will concentrate on. Application deadline April 1st it-u.at/careers/

💡 Reiner Hähnle from TU Darmstadt will give a talk on 'Context-aware Trace Contracts'!
🗓️ Tuesday, March 26 at 13:00 hours | Helmut Veith Lecture Hall TU Wien
ℹ️ and abstract: vcla.at/2024/03/talk-b…

🥧🎉🧮 Happy #PiDay , the International Day of Mathematics! 🔢🧮
Interesting fact: March 14 (3/14) was the date of birth of Albert Einstein as well as the date of death of Stephen Hawking.

It occurred to me recently that it might be useful to just say this explicitly:

Want me to come and talk to your students about (a) logic, (b) history of logic, (c) women in the history of logic, (d) women in logic, (e) neurodivergence in any of the above, etc.?

Message me!