Jetzt digital durchstarten: Mit der "Ergänzung Digital Science" oder dem "Erweiterungsstudium Informatik". Wir leben in einer digitalen Welt, sowohl in Freizeit als auch in Studium und Beruf. Es betrifft uns alle! Willst du die digitalisierte Welt besser verstehen? Willst du deine Daten analysieren und dadurch neues Wissen gewinnen? Und würdest du am liebsten mühsame Aufgaben automatisieren? All das kannst du jetzt flexibel in dein Studium einbauen. Die *Ergänzung Digital Science* eröffnet dir neue Möglichkeiten und verbessert deine Berufschancen. Du möchtest über dein Studienfach hinaus neue Technologien nicht nur nutzen, sondern auch selbst gestalten? Du möchtest über den Tellerrand schauen und die Luft der Digitalisierung von morgen schnuppern? Dann bist du beim *Erweiterungsstudium Informatik* genau richtig. Hier lernst du die Grundlagen der Informatik und kannst dein Studium individuell erweitern und mit neuem Fachwissen anreichern. Möchtest du in der Digitalisierung vorne mit dabei sein? Dann folge uns am 9. Juni um 14:00 Uhr auf Twitch (https://www.twitch.tv/uniinnsbruck) und erfahre in unserer virtuellen Informationsveranstaltung mehr über diese Angebote der Universität Innsbruck. Wir haben zu dieser Online-Session außerdem Studierende eingeladen, über ihre Erfahrungen zu berichten und sich mit dir auszutauschen. Online Informationsveranstaltung Dienstag, 09. Juni 2020, 14.00 Uhr https://www.twitch.tv/uniinnsbruck

René Thiemann is joint invited speaker of FSCD-IJCAR conference 2020. The international conference on formal structures for computation and deduction (FSCD) and the international joint conference on automated reasoning (IJCAR) are two major conferences in the areas of rewriting, verification, automated deduction, and automated reasoning. In 2020 these conferences are collocating as part of the Paris Nord Summer of LoVe 2020, a joint event on logic and verification. There will be two joint invited speakers: John Harrison of Amazon Web Services and René Thiemann from CL group.