Universität Innsbruck


News [more]

Dates and events [more]

  • 29.06.-06.07.2020: 5th Int. Conference on Formal Structures for Computation and Deduction
    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.
  • 07.-10.07.2020: 6th International School on Software Engineering
    The 6th edition of the school is organized by the Software and Systems Engineering Research Group of the Free University of Bozen-Bolzano (Italy) and the Department of Computer Science of the University of Innsbruck (Austria). The school is intended both for researchers and practitioners.


Department of Computer Science
Technikerstraße 21a
A - 6020 Innsbruck

+43 512 507 53002



How to reach uns

Nach oben scrollen