Skip to content
No results
  • Home
  • About VCLA
  • Activities & Events
    • All Talks
    • List of Visitors
    • LogicLounge
    • VCLA Student Awards
    • Helmut Veith Stipend
    • Women in Logic
    • Science Education
    • Vienna Ball of Sciences
  • Graduate Studies
  • LogiCS@TUWien
    • Programme
    • Training
    • Researchers
    • Supervisors
    • Team
    • Student Guide Vienna
    • FAQ
  • Open Positions
  • IN MEMORIAM
  • Press
  • Contact
Vienna Center for Logic and Algorithms
Vienna Center for Logic and Algorithms
  • Home
  • About VCLA
  • Activities & Events
    • All Talks
    • List of Visitors
    • LogicLounge
    • VCLA Student Awards
    • Helmut Veith Stipend
    • Women in Logic
    • Science Education
    • Vienna Ball of Sciences
  • Graduate Studies
  • LogiCS@TUWien
    • Programme
    • Training
    • Researchers
    • Supervisors
    • Team
    • Student Guide Vienna
    • FAQ
  • Open Positions
  • IN MEMORIAM
  • Press
  • Contact
Vienna Center for Logic and Algorithms
Vienna Center for Logic and Algorithms
  • Featured Slider, News, Uncategorized

Call for Nominations: VCLA International Student Awards

The deadline for submission of (self-)nominations expired on April 30, 2025! The winning theses are expected to be announced in mid-August. The Vienna Center for Logic and Algorithms at TU Wien calls for the nomination of authors of outstanding theses…

  • Stefan Szeider
  • February 14, 2025
  • Events Sidebar, Featured Slider, News, Talks

Talk by Guillermo Badia: Codd’s Theorem for Databases over Semirings

SHORT BIO: Guillermo Badia is a Lecturer in Logic (continuing position) in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, his research is supported by an Australian Research Council Discovery Early Career Researcher…

  • Stefan Szeider
  • February 12, 2025
  • Featured Slider, News, Uncategorized

Obituary for Anna Prianichnikova

Dr. Anna Prianichnikova, beloved coordinator of TU Wien’s computer science doctoral programs, has passed away after a short but serious illness. She dedicated her career to supporting and nurturing future PhD students through multiple prestigious doctoral programs at TU Wien.…

  • Andrea Hackl
  • February 11, 2025
  • Events Sidebar, Featured Slider, News, Uncategorized

Workshop on Foundations of Databases and AI

The Workshop on Foundations of Databases and AI (FADA) was a focused, two-day gathering of some of the leading international scholars working on the theoretical underpinnings of databases and artificial intelligence. The event was held on January 29–30, 2025, at…

  • Stefan Szeider
  • February 3, 2025
  • Events Sidebar, Featured Slider, News

Vienna Ball of Sciences 2025

What a night! The Vienna Ball of Sciences 2025 celebrated its 10-year anniversary on Saturday, January 25, at Vienna’s city hall (Rathaus). As part of the many attractions of the event, ball guests had the opportunity to put their logic…

  • Stefan Szeider
  • January 21, 2025
  • Events Sidebar, Featured Slider, News, Talks

Women in Logic Online – Talk with Francesca Poggiolesi

On January 24, 2025, Francesca Poggiolesi held the third talk in the seminar series “Women in Logic Online”! If you missed this talk, you can now watch the recording on the VCLA youtube channel! SHORT BIO: Francesca Poggiolesi is a…

  • Stefan Szeider
  • January 7, 2025
  • Events Sidebar, Featured Slider, News, Talks

World Logic Day Lecture: Joao Marques-Silva

On 14 January 2025, we invite you to celebrate the international World Logic Day virtually with the Vienna Center for Logic and Algorithms (VCLA) at TU Wien and the Logic community from the city of Kurt Gödel, Ludwig Wittgenstein, and the…

  • Stefan Szeider
  • December 17, 2024
  • Events Sidebar, Featured Slider, News

Helmut Veith Stipend: Award Ceremony

The Helmut Veith Stipend was officially awarded to the recipients (8th edition – submission period end of November 2023) during an award ceremony on December 18, 2024! This edition was a special one, as for the first time, the selection…

  • Stefan Szeider
  • December 4, 2024
  • Events Sidebar, Featured Slider, News, Talks

Talk by Ken Satoh: NL interface of PROLEG system and extracting normative sentences from German traffic judgements

SHORT BIO (from FFJ): Ken Satoh is a full professor of Principles of Informatics Research Division, NII (National Institute of Informatics), and Sokendai (The Graduate University of Advanced Studies), Japan. He worked with Fujitsu 1981-1995 and then was an associate…

  • Stefan Szeider
  • November 26, 2024
  • Events Sidebar, Featured Slider, News, Talks

Talk by Hanoch Ben-Yami: The Quantified Argument Calculus

SHORT BIO (from JKU): Hanoch Ben-Yami is Professor of Philosophy at the Central European University in Vienna. He received his Ph.D. from Tel Aviv University, and his most recent work is on logic and language. He works on various issues…

  • Stefan Szeider
  • November 26, 2024
Prev
1 2 3 4 5 … 47
Next

Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist das Institut für Logic and Computation an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung.

 

 

VCLA – Vienna Center for Logic and Algorithms
TU Wien, Favoritenstraße 9-11, 1040 Wien, Austria

TU Wien Informatics

Privacy Policy | Impressum