3rd ACM Europe Digital Humanism Summer School will take place from September 2nd to 6th, at TU Wien, Austria. Deadline for applications is July 14th, 2024. Please find details about the updated program and the application process here: caiml.org/dighum//summer…

❗️ JOB OFFER! University Assistant (post-doc) Institute of Logic and Computation at TU Wien Research Unit Knowledge-Based Systems full-time, starting in August and limited to 6 years 🗓️ Deadline: July 11 ℹ️ jobs.tuwien.ac.at/Job/218961 🔗 kr.tuwien.ac.at #postdocposition

🙂 seen at 🔗 codemonkey.com/blog/how-to-ex…

A valid question 😂

❗️ JOB OFFER! University Assistant (prae-doc) Institute of Logic and Computation at TU Wien Research Unit Formal Methods in Systems Engineering 30 hrs/week, starting in September and limited to 4 years, 🇩🇪 skills needed 🗓️ DL: Aug 8 ℹ️ jobs.tuwien.ac.at/Job/236978 #phd #phdposition

🤩 It's time for #LogicLounge at CAV! Scott Shapiro from Yale Law School: "Realizing Leibniz's Dream" In this LogicLounge, Shapiro will explore how formal methods and LLMs can be utilized to realize Leibniz's dream of automated legal reasoning.🧑‍⚖️ 🔗 easychair.org/smart-program/…

👉 (Recorded) Talk at CAV | July 27: “Verifying Global Two-Safety Properties in Neural Networks with Confidence” 🖊️ by Anagha, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, and Georg Weissenbacher 🔗 arxiv.org/abs/2405.14400 🔗 tuwien.at/en/tu-wien/new…

Today we remember Edmund Melson Clarke, who was born #OTD in 1945. Clarke received the 2007 #ACMTuringAward with E. Allen Emerson and Joseph Sifakis for developing Model-Checking into a highly effective verification technology. Read about him, here: bit.ly/3VzcdNT

The mathematician Kurt Gödel’s incompleteness theorem ranks in scientific folklore with Einstein’s relativity and Heisenberg’s uncertainty. nyer.cm/GXWyLul

🗓️ The Association for Logic Programming has extended the deadline for nominations for its Alain Colmerauer Prize to August 4! The prize is awarded for recent accomplishments and advances in Prolog-inspired computing. ℹ️ logicprogramming.org/alain-colmerau…

The VRVis Visual Computing Award 2025 focuses on application-oriented research work from Europe that makes an important contribution to the achievement of the #SDGs! Prize: 5.000€. More infos coming soon! vrvis.at/award

❗️ Exciting opportunity at TU Wien: Double Degree Logic and Computation in cooperation with Leibniz Uni Hannover: ℹ️ informatics.tuwien.ac.at/master/double-…

Logic is an excellent form of mind-training because it involves a very particular way of thinking & focus on truth. How does it work & what are its limitations? Philosopher Tom Stoneham picks some great books for anyone who wants to learn more about logic. fivebooks.com/best-books/log…

💡 Guillermo Badia from the University of Queensland will talk about "Logical Characterizations of Weighted Complexity Classes"! 🗓️ Tuesday, August 27 at 11:00 hours at TU Wien ℹ️ and abstract: vcla.at/2024/08/talk-b…

🦋 It is our pleasure to announce that Tatiana Beliaeva, Esther Mugdan, Ivana Bocevska, and Raquel Panadero Palenzuela have been selected as recipients of the 8th Helmut Veith #Scholarship for Female Master’s Students in Computer Science!👏 🔗 vcla.at/2024/08/hv-sti… #WomenInSTEM

TU Wien student can apply now for a research internship at the National Insitute of Informatics in Tokyo. Please visit our website for application details: tuwien.at/forschung/faci… #tuwien #NII #internship #japan #informatics

‼️ Job opportunity: PhD position Institute of Logic and Computation at TU Wien Research Unit Theory and Logic, project AXAIS 4 years, 30 hrs/week 🗓️ deadline for applications: Oct 1 ℹ️ vcla.at/2024/08/phd-po… #PhDposition #phdjobs

💡 Talk by Rajeev Gore from Monash University (Melbourne): "CEGAR-Tableaux – Improved Modal Satisfiability via Modal Clause-Learning and SAT"! 🗓️ Thursday, August 29, 15:00 hours at TU Wien ℹ️ and abstract: vcla.at/2024/08/talk-b…

“Vienna Manifesto on Digital Humanism - The first five years” livestream starting at 19:00 CEST youtu.be/mbdmuO8wNfs program caiml.org/dighum/announc…

#AcademicTwitter Yep! #phdlife #phdvoice