
Registered user since Sun 17 Aug 2014
Contributions
DeclMed 2023 | Committee Member in Program Committee within the DeclMed 2023-track | ||||||||||||||||||||||||||||||||||||||||
miniKanren 2023 | Co-chair in Program Committee within the miniKanren 2023-track | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
Using general profile