VCLA | TU Wien
vclatuwien.bsky.social
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms. https://www.vcla.at
👤 Joined on 24 February 2025
73
Followers
43
Following
61
Total Posts
📜 Kullanıcı Geçmişi
- 24 Şub 2025, 10:02
🎉 Bluesky'e katıldı - İlk kullanıcı adı:
@vclatuwien.bsky.social
🚫 Blokladığı Kullanıcılar
❤️ Beğendiği Gönderiler
Join me in Bathurst on 21st! library.bathurst.nsw.gov.au/Whats-On/Adu...
Show Post
Große WWTF Förderung für TU Wien Projekte Förderung von 12 Projekten aus der Ausschreibung „Informations- und Kommunikationstechnologien“ 2025 des Wissenschafts- und Technologiefonds Wien www.tuwien.at/tu-wien/aktu...
Show Post
Agata Ciabattoni and Josephine Dik are the organizers of the series. Here is one: Axioms as Rules in Intuitionistic Logic, by Sara Negri, www.youtube.com/watch?v=w1UH...
Show Post
The Conference Chair announces IJCAI Distinguished Papers. Congratulations to Emery Neufeld, Agata Ciabattoni, Radu Tulcan for their paper “Combining MORL with Restraining Bolts to Learn Normative Behaviour.” #Talk Aug 20@10:00 @Knowledge Representation & Reasoning #IJCAI2025
Show Post