Activities
Seminars (8)
| Blockchain for Asset Reuse | Arnold Beckmann | 2019/01/10 |
| Provably Total NP Search Problems of Bounded Arithmetic and beyond | Professor Arnold Beckmann | 2017/09/15 |
| Arithmetic universes as generalized point-free spaces | Steve Vickers | 2017/04/17 |
| Invariance axioms for realizability | Helmut Schwichtenberg | 2016/08/25 |
| Variations on the Higman's Lemma | Marco Benini | 2016/08/08 |
| LECTURE 3: Models, Over-approximations and Robustness | Eugenio Moggi | 2016/08/05 |
| LECTURE 2: Hybrid System Trajectories as Partial Continuous Maps | Eugenio Moggi | 2016/08/04 |
| LECTURE 1: Categories of Classes for Collection Types | Eugenio Moggi | 2016/08/02 |
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
- Fifth Workshop on Formal Topology: Spreads and Choice Sequences Institut Mittag-Leffler, Djursholm, Stockholm (http://staff.math.su.se/palmgren/5wftop.html)
- Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2015) Schloss Aspenstein, Kochel am See, near Munich (http://www.cs.swan.ac.uk/ccc2015/)
FY 2016
- Mathematics for Computation Lower Bavaria, DE (https://mathematics4computation.org/)
- 日本学術振興会研究拠点形成事業 「数理論理学とその応用に関するワークショップ」 JSPS Core-to-Core Program "Workshop on Mathematical Logic and its Application” 京都大学、吉田南キャンパス、総合人間学部棟 (http://www.i.h.kyoto-u.ac.jp/~matthew/core2core2016/index.html)
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),