Activities per year
Activities
-
20th International Conference on Relational and Algebraic Methods in Computer Science (Event)
Tobias Kappé (Peer reviewer)
Nov 2022Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
(Probabilistic) Guarded Kleene Algebra with Tests
Tobias Kappé (Speaker)
22 Oct 2022Activity: Talk or presentation types › Talk or presentation (not at a conference) › Academic
-
University of Amsterdam
Tobias Kappé (Employee at external organisation)
5 Sep 2022 → …Activity: External appointment / Visiting an external institution types › External appointment › Academic
-
26th International Conference on Foundations of Software Science and Computation Structures (Event)
Tobias Kappé (Peer reviewer)
Nov 2022Activity: Publication peer-review and editorial work types › Peer-review (publication) › Academic
-
Friedrich-Alexander-Universitat Erlangen-Nurenberg
Tobias Kappé (Visiting researcher)
10 Oct 2022 → 14 Oct 2022Activity: External appointment / Visiting an external institution types › Visiting researcher › Academic