Computational Logic
Department of Computer Science - Universität Innsbruck
  • Home
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
    • Aart Middeldorp
      • Edited Books
  • Events
    • Event Archive
  • News
    • News Archive
  1. You are here:  
  2. Home
...
Teaching

Lectures and Seminars

Go somewhere
Last updated 24.07.2025
Publications

Research Publications

Go somewhere
Last updated 24.07.2025
Software

Software and Web Applications

Go somewhere
Last updated 24.07.2025
...
Latest News

18 August 2024: 4 year PhD position available

Last updated 24.07.2025
Upcoming Events

15th International School on Rewriting 2026.

From – To, 2026, Location, Country

Last updated 24.07.2025
Current Projects

ARI: Automation of Rewriting Infrastructure

a joint FWF/JSPS project. It will start on 1 July 2022 and run for three years.

Last updated 24.07.2025

© 2025 Computational Logic

g48
  • Contact
  • Data and Privacy
  • Something
  • FAQs
  • About