VCLA at TU Wien
@vclaTUwien
Followers
2K
Following
23K
Media
3K
Statuses
11K
Vienna Center for Logic and Algorithms at TU Wien @tuvienna #ERC #MSCA #FWF funded #LogiCS Phd & @adaalgorithmen * https://t.co/zfSpKVdzoO
Vienna, Austria
Joined August 2017
🎦 What is VCLA? Check out our new video to get an impression of our main activities and objectives!.#logic #algorithms
1
2
4
🤩 Only three days to go until the 5th talk in our online seminar series "Women in Logic Online"!.Sara Negri (University of Genova) will talk about "Axioms as Rules in Intuitionistic Logic". #logic #WomenInSTEM .🗓️ June 23, 17:00 CET.ℹ️ and abstract:
0
2
2
➡️ Sign up NOW for our free online seminar “Women in Logic Online: Axioms as Rules in Intuitionistic Logic” with Sara Negri (University of Genova)! #logic #WomenInSTEM .🗓️ June 23, 17:00 CET.ℹ️ and abstract:
0
0
1
‼️ Reminder: Tomorrow, Malvin Gattinger from the University of Amsterdam will give a talk with the title "Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean"! .🗓️ Wednesday, June 11, 16:30-17:30 at @tu_wien .ℹ️ and abstract:
1
0
1
✏️ Call for Papers: Digital Humanism – Interdisciplinary Science and Research Conference.🗓️ Nov 20-21, 2025 | Vienna 🇦🇹.long or short papers from computer science, AI research, social sciences, law as well as the humanities.❗️ Submission deadline: July 15.
0
2
1
💡 Malvin Gattinger from the University of Amsterdam will give a talk with the title "Towards Formalizing Cyclic Tableaux and Interpolation for PDL in Lean"!.🗓️ Wednesday, June 11, 16:30-17:30 at @tu_wien .ℹ️and abstract:
0
1
2
📢 Call for Participation: 17th Int. Conference on Deontic Logic and Normative Systems (DEON 2025).🗓️ 30 June – 3 July 2025 | @tu_wien, Vienna 🇦🇹.‼️ Early registration with reduced rates 💵 available until June 2nd.🔗
0
0
1
🤩 Great news! You may now register for our free online seminar “Women in Logic Online: Axioms as Rules in Intuitionistic Logic” with Sara Negri (University of Genova)!.🗓️ June 23, 17:00 CET.Sign up for free via Zoom: ℹ️
0
1
4
‼️ Job opportunity: PhD position @tu_wien .Institute of Logic and Computation, Research Unit Formal Methods in Systems Engineering.limited to 4 years, 30 hrs/week, starting June.🗓️ Deadline for applications: June 5.#PhDposition #phdjobs
0
1
1
‼️ Job opportunity: PhD position @tu_wien.Institute of Logic and Computation, Research Unit of Algorithms and Complexity.limited to 4 years, 40 hrs/week, starting May.🗓️ deadline for applications: May 18.ℹ️ #PhDposition #phdjobs
0
0
2
🧠 Neural meets Symbolic: Synergies Between Language Models and Constraint Reasoning.On May 3, VCLA Co-Chair Stefan Szeider delivered a keynote at the 1st International Workshop on Neuro-Symbolic Software Engineering (NSE) in Ottawa, Canada 🇨🇦.ℹ️
0
1
4
🐯 The TAIGER roars: Three papers from the WWTF-funded project TAIGER have been accepted at @IJCAIconf 2025 🇨🇦! The overall aim of TAIGER is to introduce frameworks for the design of #AI agents sensitive to ethical, legal, and social norms. ℹ️
0
0
2
❗️ JOB OFFER! Post-doc Position at @wu_vienna within the #BILAI Cluster of Excellence!.Institute for Data, Process and Knowledge Management.full-time, starting in August and limited to 3.5 years.🗓️ Deadline: June 8.ℹ️ #postdocposition #KnowledgeGraphs.
0
2
0
RT @confCAV: The registration for CAV 2025 is now open!. You can go ahead and.register here: Looking forward to s….
0
2
0
❗️ Lehrer_innen und Schüler_innen aufgepasst! Das VCLA veranstaltet einen Jugend-Videowettbewerb zum Thema „Mensch und Maschine im Jahr 2035“! 🤖 Es winken Geld- und Sachpreise! 💵📚.🗓️ Einsendeschluss ist der 4. Juli 2025. #menschundmaschine #schule.ℹ️
0
1
2
Für die Forschung sind die Zeiten vielerorts schwieriger geworden. In Wien wurden die Bedingungen stetig besser. Ich bin überzeugt, dass dieser Trend anhält, die Unterstützung dafür stark bleibt und werde meinen Teil dazu beitragen. #IchForscheGernInWien #TopForschungWien #Wien
0
2
13
