Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
Computational Logic Computational Logic Computational Logic Computational Logic
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive
  1. You are here:  
  2. Home
  3. News
  4. News Archive
  5. November 26, 2013: Simon Legner completed his master studies

November 26, 2013: Simon Legner completed his master studies

Today Simon Legner successfully defended his master thesis on “Non Linear Arithmetic”.

Details
Category: News Archive
Read Time: 1 min
Published: 28 April 2025
Share it:
Previous article: February 3, 2014: CL welcomes Thibault Gauthier as new member Prev Next article: December 18, 2018: Thibault Gauthier defends his PhD thesis Next
Contact
  • +43 512 507 53229
  • Technikerstraße 21a
  • A-6020 Innsbruck
UIBK Quick Links
  • Department of Computer Science
  • LFU:Online Courses
  • OLAT
  • UIBK Webconference (BBB)
  • UIBK FileShare (Synch & Share)
  • UIBK GitLab

© 2026 Computational Logic

  • Privacy
  • Terms of Use
  • Policy
  • Home
  • News
    • News Archive
  • Research
    • Publications
    • Projects
    • Software
  • Teaching
  • Members
  • Events
    • Event Archive