Room 108
Tel.: +49-7071-29-75333
E-mail: reinhard.kahlespam prevention@uni-tuebingen.de
Office hours: by appointment

Homepage: https://www.professoren.tum.de/mainzer-klaus/
Room 106
Tel.: +49-7071-29-70468
 E-mail: mainzerspam prevention@tum.de, k.mainzerspam prevention@outlook.com

Homepage: https://uni-tuebingen.de/de/30466
Room 106
Tel.: +49-7071-29-70468
E-mail: piechaspam prevention@informatik.uni-tuebingen.de
Office hours: by appointment

Homepage: https://uni-tuebingen.academia.edu/KlausAngerer
Room 105
Tel.: +49-7071-29-75365
E-mail: klaus.angererspam prevention@uni-tuebingen.de
Office hours: by appointment

  Homepage: https://vlastasikimic.com
  Room 107
  Tel.: +49-7071-29-75366
  E-mail: vlasta.sikimicspam prevention@uni-tuebingen.de 
  Office hours: by appointment

  Homepage: https://robertabonacina.com
  Room 105
  Tel.: +49-7071-29-75365
  E-mail: roberta.bonacinaspam prevention@fsci.uni-tuebingen.de
  Office hours: by appointment

 Homepage: https://univ-lorraine.academia.edu/MaelPegny
 Room 106
 Tel.: +49-7071-29-70468
 E-mail: maelpegnyspam prevention@gmail.com
 Office hours: by appointment

  Homepage: http://michaeltstuart.com
  Room 107
  Tel.: +49-7071-29-75366
  E-mail: mike.stuart.postspam prevention@gmail.com
  Office hours: by appointment

 Room 107
 Tel.: +49-7071-29-75366
 Office hours: by appointment

Paulo G. Santos works mainly on Formal Arithmetic, with a special emphasis on Provability Predicates and Bounded Notions of Provability (such as k-provability).

  Homepage: https://sites.google.com/a/campus.fct.unl.pt/paulo-guilherme-santos/
  Room 105
  Tel.: +49-7071-29-75365
  E-mail: pgd.santosspam prevention@campus.fct.unl.pt
  Office hours: by appointment
 

 Raum 103
Tel.: +49-7071-29-75334
E-Mail: sekretariat.cfvwspam prevention@uni-tuebingen.de