This & ThatCarsten Schneider new Full Professor at RISCPhD Position in Computational LogicFellowship/Employment Packages for Master Students in IT and Related AreasBook “Anti-Differentiation” by Johannes Blümlein and Carsten SchneiderBook “Thinking Programs” by Wolfgang SchreinerWolfram Innovator Award 2021 to Bruno BuchbergerGood bye, TudorGood bye, FranzNicolas Smoot received the JKU Young Researchers’ AwardCongratulations: Veronika Pillwein elected SIGSAM ChairJKU Computer Science TalksJKU Math Talks