Presentation of Sharework-research paper during the Bolzano Summer of Knowledge
Sharework project has been presented during the 2nd online workshop on “Artificial Intelligence and formal verification, logic, automata and synthesis”, which took place on September 25th as part of the Bolzano Summer of Knowledge (Bosk2020). The workshop, hosted by OVERLAY Group, provided a stimulating environment where researchers and participants could discuss about opportunities and challenges…






