Call for Applications: 2 PhD Positions

Two PhD positions are available within (1) the Institute of Logic and Computation (Agata Ciabattoni, TU Wien, Vienna), and (2) the research group Logic in Philosophy and Artificial Intelligence (Christian Straßer, Ruhr-University Bochum). We are seeking two exceptionally talented and…

Helmut Veith Stipend: Announcement

It is our pleasure to announce Alina Ehart as the seventh recipient of the Helmut Veith Stipend for Female Master’s Students in Computer Science, submission period November 2022.     Alina has a Bachelor’s degree in Applied Computer Science with…