Talks

2023
DownloadLink
[bibtex]
Thomas Noll. Concurrent Separation Logic with Probabilities, Talk at Research seminar on Open Problems in Concurrency Theory Bertinoro, Italy, 2023.
2022

[bibtex]
Thomas Noll. Analysing Train Delays by Episode Mining, Talk at MOVES Dagstuhl Workshop, Dagstuhl, Germany, 2022.
Show all