Ivan Gavran -

Registered user since Mon 10 Aug 2020

Name: Ivan Gavran

Affiliation: MPI-SWS

Contributions

CPP 2021	Author of Lassie: HOL4 Tactics by Example within the CPP 2021-track
SPLASH 2020	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA-track Author of Interactive Synthesis of Temporal Specifications from Examples and Natural Language within the OOPSLA Artifacts-track
Onward! 2018	Author of Tool: Accessible Automated Reasoning for Human Robot Collaboration within the Onward! Papers-track