Search
Quicklinks
Navigation
Web search
Search term
no search suggestions
If 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
Staff login
English
Deutsch
Quicklinks
Account Service
Campus maps
eCampus
Mensa
Research Documentation
IUP Catalogue
Career Opportunities
LFU:online
Whistleblower reporting system
Emergency numbers
OLAT
Press/Media
Language Centre
ULB-Literature search: BibSearch
USI sports programmes
Calendar of Events
VIS:online
Course Catalog
Webmail for Employees
Webmail for Current Students
Staff login
English
Deutsch
Studies
Research
Connect
About us
At a Glance
Study Programmes
Student Advisory Service
Dates and Deadlines
Admission
Organising your studies
International study
Continuing Education
Research Overview
Profile
Services
Funding
Career
Quality Assurance
Information
Alumni Network
AURORA
Career Service
EUREGIO
University Society
International
University Foundation
Transfer Office
University
Governance Structure
Organisational Structure
Faculties
Newsroom
Career Opportunities
Campus Maps
Mission Statement
Campus Life
History
350 years University Innsbruck
Facts and Figures
Sustainability
Diversity Management
University Council
Rectorate
Senate
Development Plan
Intellectual Capital Report
Organisational Units
Organisational Chart
Organisational Plan
Administration
Representation and Service
back to overview
Staff login
English
Deutsch
Theoretical Computer Science
Research
Publications
Projects
Software
Teaching
Bachelor Projects
Master Projects
Guidelines
Tools
Events
Members
Vacancies
MONA-WEB
A web-interface for MONA, a tool that translates formulas to finite-state automata.
Image credits
https://meitinger.github.io/MONA-WEB/
Nach oben scrollen
