Programming Languages and Theory of Computing

  1. miniKanren 2024 (Event)

    Glück, Robert (Member)

    2024

    Activity: Membership typesMembership in committee, council, board

  2. miniKanren 2022 (Event)

    Glück, Robert (Member)

    2022

    Activity: Membership typesMembership in committee, council, board

  3. VLDB Endowment (External organisation)

    Bonnet, Philippe (Member)

    20202025

    Activity: Membership typesMembership in committee, council, board

  4. Steering Committee of the Logic-Based Program Synthesis and Transformation Symposium (External organisation)

    Glück, Robert (Board member)

    2024 → …

    Activity: Membership typesMembership in committee, council, board

  5. RC 2024 (Event)

    Glück, Robert (Member)

    2024

    Activity: Membership typesMembership in committee, council, board

  6. RC 2023 (Event)

    Glück, Robert (Member)

    2023

    Activity: Membership typesMembership in committee, council, board

  7. PEPM 2022 (Event)

    Glück, Robert (Member)

    2022

    Activity: Membership typesMembership in committee, council, board

  8. PADL 2023 (Event)

    Glück, Robert (Member)

    2023

    Activity: Membership typesMembership in committee, council, board

  9. LOPSTR 2024 (Event)

    Glück, Robert (Member)

    2024

    Activity: Membership typesMembership in committee, council, board

  10. LOPSTR 2023 (Event)

    Glück, Robert (Chair)

    2023

    Activity: Membership typesMembership in committee, council, board

Previous 1 2 Next