Activities

Activities

Seminars (7)


Visitors

FY 2015

  • Markus Noeth (Ludwig-Maximilians-Universität München)
  • Dieter Spreen (University of Siegen)
  • Ulrich Berger (Swansea University)
  • Arno Pauly (University of Cambridge)
  • Holger Thies (TU Darmstadt)
  • Matthias Schroeder (TU Darmstadt)
  • Monika Seisenberger (Swansea University)
  • Florian Steinberger (TU Darmstadt)
  • Norbert Mueller (University of Trier)
  • David Toth (University of Leeds)
  • Josef Berger (Ludwig-Maximilians-Universität München)
  • Dieter Spreen (University of Siegen)

FY 2016

  • Josef Berger (Ludwig-Maximilians-Universität München)
  • Dieter Spreen (University of Siegen)
  • David Toth (University of Leeds)
  • Eugenio Moggi (University of Genova)
  • Marco Benini (University of Insubria)
  • Helmut Schwichtenberg (Ludwig-Maximilians-Universität München)
  • Anton Setzer (Swansea University)
  • Bashar Igried Deb Alkhawaldeh (Swansea University)
  • Josef Berger (Ludwig-Maximilians-Universität München)
  • Ulrich Berger (Swansea University)
  • Chuangjie Xu  (Ludwig-Maximilians-Universität München)
  • Josef Berger (Ludwig-Maximilians-Universität München)
  • Helmut Schwichtenberg (Ludwig-Maximilians-Universität München)

FY 2017

  • Steve Vickers (University of Birmingham)
  • Marco Benini (University of Insubria)
  • Roberta Bonacina (University of Insubria)

Workshops

FY 2015

FY 2016

FY 2017

  • Continuity, Computability, Constructivity - From Logic to Algorithms (CCC 2017), Loria, Nancy (France), (http://ccc2017.loria.fr/)
  • JSPS Core-to-Core Program "The second Workshop on Mathematical Logic and its Applications", Kanazawa (Japan),