Universität Bern
  • Startseite
  • Menu
  • Inhalt
  • Kontakt
  • Suche
  • Sprachwahl
  • Wichtige Seiten

Portal
UniBE
  • Faculties
    & Institutes
  • Faculty of
    Science
  • Institute of Computer Science
Faculties ​& Institutes
Faculty of ​Science
Institute of Computer Science

Institute of Computer Science

Menu öffnen

  • Menu schliessen
  • Research
  • LTG
  • Homepage
  • Studies
  • Research
    • LTG
      • People
      • Publications
      • Research Projects
      • Studies
        • Theses
      • News and Events
  • About us
Portal
UniBE
Search
Research

LTG

  • People
  • Publications
  • Research Projects
  • Studies
  • News and Events

Logic and Theory Group (LTG)

Logic land

Welcome to the Logic and Theory Group (LTG) at the Institute of Computer Science of the University of Bern.

News and Events

Success in Proof-Finder Project

A few years ago we ended the LWB project and from then on we kept receiving enquiries as to whether it could be continued. In response to this, the small project Proof-Finder was created, which is programmed in Python and checks the derivability of formulas for the logics CPL and IL as well as the modal logics K and S4 and generates the corresponding LaTeX code. The project is open source and feedback, especially suggestions for improvement, are very welcome.

Recognition of Outstanding Achievements in Teaching

Two semester in row, LTG lecturers received the university’s
recognition of outstanding achievements in teaching:

Thomas Strahm for „Berechenbarkeit und Komplexität“, spring semester 19
Thomas Studer for „Modal Logic“, autumn semester 19

Two Awards for LTG

Two LTG students received the prize for the best thesis 2020 awarded by the Joint Alumni Association in Computer Science.
Nenad Savic received the award for the best PhD thesis and Michael Baur received the award for the best Master thesis.

Relationale Datenbanken

NEW BOOK AVAILABLE

Logics of Proofs and Justifications

NEW BOOK AVAILABLE

Vorherige Weitere

More News

  • Share
    • Facebook
    • E-Mail
    • Twitter
    • LinkedIn
  • Print

You are here

  • Institute of Computer Science
  • Research
  • LTG
Top

Weitere Informationen über diesen Webauftritt

Wichtige Seiten

  • Contact
  • Map
  • Jobs
  • Library
  • Media
  • Webmail
  • KSL
  • Uni intern

Sprachwahl

  • EN

Site-Suche

Rechtliches und Impressum

  • © 2021 University of Bern
  • Imprint
  • Legal Notice

Unsere Adresse

University of Bern
Hochschulstrasse 6
3012 Bern
Universität Bern

Unsere Partner

Swiss University