Martin Kölbl
where else to find them
no profile links on file
what they talk about
their talks carry no tags yet
where they keep going back
no series more than once — all 1 in the filters
on a stage with
- Alan Khojaonce
- Rüdiger Wilhelmionce
- Stefan Leueonce
who talks about the same things
one talk is not yet a subject
| title | conference | date |
|---|---|---|
| Formal Modeling and Analysis of Legal Contracts using ContractCheck | ProLaLa 2023 | 2023-01-15 |
ContractCheck encodes Sales Purchase Agreements as structured blocks and translates them into decidable fragments of first‑order logic (SMT2) checked by the Z3… | ||
| nothing matches | ||