Christoph Matheja

If you made any changes in Pure these will be visible here soon.

3 Membership of commitees, commissions, boards, councils, associations, organisations, or similar
1 Participating in or organising a conference

International Conference on Computer Aided Verification (Event)
Christoph Matheja (Member)
2023 → …
Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
Workshop on Verification of Probabilistic Programs
Christoph Matheja (Organizer)
12 Aug 2022
Activity: Attending an event › Participating in or organising a conference
ACM SIGPLAN Symposium on Principles of Programming Languages (Event)
Christoph Matheja (Member)
2022 → …
Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
International Symposium on Formal Methods (Event)
Christoph Matheja (Member)
2022 → …
Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar

Activities