Christoph Matheja – Activities — Welcome to DTU Research Database

View Scopus Profile

Emailchmatdtudk
Websitehttp://www.cmath.eu

Richard Petersens Plads, 321, 009
2800 Kgs. Lyngby
Denmark

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

1 results
- Title
- Start date(ascending)

Filter

Workshop on Verification of Probabilistic Programs
Christoph Matheja (Organizer)
12 Aug 2022
Activity: Attending an event › Participating in or organising a conference