Web search

Search term

no search suggestionsIf automatic search suggestions are available, use the up and down arrows to check and the Enter key to select. Touch device users can search by touch or with swipe gestures.

People Search

English

Quicklinks

Account Service
eCampus
Mensa
Research Documentation
IUP Catalogue
Career Opportunities
LFU:online
Lost & Found
Whistleblower reporting system
Emergency numbers
OLAT
Press/Media
Language Centre
Locations
ULB-Literature search: BibSearch
USI sports programmes
Calendar of Events
VIS:online
Course Catalog
Webmail for Employees
Webmail for Current Students

English

At a Glance
Study Programmes
Student Advisory Service
Dates and Deadlines
Admission
Organising your studies
International study
Continuing Education
Ask chatbot Leo

Research Overview
Profile
Services
Funding
Career
Quality Assurance
Information
Faculties and Departments

Alumni Network
AURORA
Career Service
EUREGIO
University Society
International
University Foundation
Transfer Office

Organisational Structure
Faculties
Departments
Newsroom
Career Opportunities
Campus Maps

The University of Innsbruck
Mission Statement
Campus Life
History
350 years University Innsbruck
Facts and Figures
Sustainability
Diversity Management
Digitalization
International

University Council
Rectorate
Senate
Development Plan
Intellectual Capital Report

Organisational Units
Organisational Chart
Organisational Plan
Administration
Representation and Service

English

Theoretical Computer Science

Research
Teaching
Events
Members
Vacancies

MONA-WEB

A web-interface for MONA, a tool that translates formulas to finite-state automata.

https://meitinger.github.io/MONA-WEB/

University of Innsbruck

Innrain 52, 6020 InnsbruckAustria

Phone: +43 512 507-0

Powered by UniCMS | Webservices | to the Medical University

Nach oben scrollen