
Registered user since Mon 10 Feb 2020
Name:Tom Schrijvers
Affiliation:KU Leuven
Personal website:http://people.cs.kuleuven.be/~tom.schrijvers
Contributions
POPL 2020 | PλωNK: Functional Probabilistic NetKAT | ||||||||||||||||||||||||||||||||||||||||
PEPM 2020 | Committee Member in Program Committee within the PEPM 2020-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2020-profile
View general profile
View general profile