Silvia Ghilezan -

Registered user since Tue 10 Nov 2020

Name:Silvia Ghilezan

Country:Serbia

Affiliation:University of Novi Sad, Mathematical Institute SASA

Personal website: http://imft.ftn.uns.ac.rs/~silvia

Contributions

2024

POPL

Committee Member in Selection Committee within the Student Research Competition-track

2023

ECBS

Author of Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP within the ECBS 2023-track
Committee Member in Program Committee

2022

ICFP

TyDe

Author of Duality of intersection and union types - where and how? within the TyDe 2022-track

2021

POPL

Author of Precise Subtyping for Asynchronous Multiparty Sessions within the POPL-track