Robert Glück
Professor
- 2024
FLOPS 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
HCVS 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
LOPSTR 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
RC 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)
Glück, Robert (Board member)
2024 → …Activity: Membership types › Membership in committee, council, board
miniKanren 2024 (Event)
Glück, Robert (Member)
2024Activity: Membership types › Membership in committee, council, board
- 2023
LOPSTR 2023 (Event)
Glück, Robert (Chair)
2023Activity: Membership types › Membership in committee, council, board
PADL 2023 (Event)
Glück, Robert (Member)
2023Activity: Membership types › Membership in committee, council, board
RC 2023 (Event)
Glück, Robert (Member)
2023Activity: Membership types › Membership in committee, council, board
- 2022
FLOPS 2022 (Event)
Glück, Robert (Member)
2022Activity: Membership types › Membership in committee, council, board
ID: 9668
Most downloads
-
269
downloads
Proceedings of the 4th DIKU-IST Joint Workshop on the Foundations of Software
Research output: Book/Report › Anthology › Research
Published -
207
downloads
A categorical foundation for structured reversible flowchart languages
Research output: Contribution to journal › Journal article › Research › peer-review
Published -
120
downloads
Reversible computing from a programming language perspective
Research output: Contribution to journal › Journal article › Research › peer-review
Published