Timo Lang

 
  • Project Assistant, MSc
  • TU Wien
  • Institute of Computer Languages, Theory and Logic Group (E185/2)
  • Favoritenstraße 9–11
  • 1040 Wien
  • Austria

  • Email: timo [at] logic.at

Research Interests

  • Proof Theory and Game Semantics for Nonclassical Logics. Also Set Theory and Philosophy of Mathematics.

Current Position

  • Since September 2016, I am a PhD student under the supervision of Chris Fermüller.

Education


Publications
  1. Chris Fermüller and Timo Lang: Interpreting Sequent Calculi as Client-Server Games, in proceedings of TABLEAUX 2017
  2. Timo Lang, Carlos Olarte, Elaine Pimentel and Chris Fermüller: A Game Model for Proofs with Costs, in proceedings of TABLEAUX 2019 [Best Student Paper Award]
  3. Agata Ciabattoni, Timo Lang and Revantha Ramanayake: Bounded sequent calculi for non-classical logics via hypersequents, in proceedings of TABLEAUX 2019
  4. Chris Fermüller, Timo Lang and Alexandra Pavlova: From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic, (to appear) in proceedings of IPMU 2020
  5. Timo Lang: A Reduction in Violation Logic, (to appear) in proceedings of DEON 2020/21
  6. A. R. Balasubramanian, Timo Lang and Revantha Ramanayake: Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics, (to appear) in proceedings of LICS2021
  7. Agata Ciabattoni, Timo Lang and Revantha Ramanayake: Bounded sequent calculi and restricted embeddings: hypersequent logics, (to appear) in Journal of Symbolic Logic.