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

Filter

International Conference on Computer Aided Verification (Event)
Christoph Matheja (Member)
2023 → …
Activity: Membership › Membership of commitees, commissions, boards, councils, associations, organisations, or similar
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