• Sign in
  • Sign up
conf.researchr.org / Silvia Ghilezan
  • APLAS 2024 profile
  • ECBS 2023 profile
  • ECBS 2025 profile
  • ECOOP 2025 profile
  • ICFP 2022 profile
  • POPL 2021 profile
  • POPL 2024 profile
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

2025

ECBS

  • Committee Member in Programm Committee

PLF

  • Committee Member in Organizing Committee within the PLF+PLAID-track

2024

APLAS

  • Committee Member in Program Committee within the Research Papers-track

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

  • Session Chair of Lambda Calculus and Semantics (part of ICFP Papers and Events)
  • Committee Member in Program Committee within the ICFP Papers and Events-track

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
Share
xSun 25 May 12:17
using conf.researchr.org (v1.69.0)
Support page
Sign Up