Room 2.2
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 3.2
Tel.: +49-7071-29-70468
 E-mail: mainzerspam prevention@tum.de, k.mainzerspam prevention@outlook.com

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

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

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

  Homepage: https://robertabonacina.com
  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 3.3
 Tel.: +49-7071-29-70468
 E-mail: maelpegnyspam prevention@gmail.com
 Office hours: by appointment

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

 Room 3.3
 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: ttps://sites.google.com/a/campus.fct.unl.pt/paulo-guilherme-santos/
  Room 3.3
  Tel.: +49-7071-29-75365
  E-mail: pgd.santosspam prevention@campus.fct.unl.pt
  Office hours: by appointment

Homepage: https://www2.hu-berlin.de/sts/people/cubellis/
Room 3.3
Tel.: +49-7071-29-75366
E-Mail: lauren.cubellisspam prevention@fu-berlin.de
 Office hours: by appointment

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

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