Silvia Ghilezan
Main
  • Search
  • View
  • Print
  • Login

Main

Contact

Academic Record

Research

  • Publications
  • Students
  • Collaboration

Projects

Talks

Professional Activities

Teaching

Links

News

Invited speaker at Proof Society International School 2024 Birmingham, UK

TaRDIS Horizon Europe project

University of Novi Sad
Faculty of Technical Sciences

Mathematical Institute SANU

My profiles at:
DBLP, Google Scholar, Mathematical Genealogy Project

Announcements

CMS Seminar

Consider submitting to the Journal of Logic and Algebraic Methods in Computer Science (JLAMP)

Consider submitting to the conferences
PLF+PLAID, FSCD 2025, PLACES 2025, ECBS 2025, COORDINATION 2025, ACM WomENcourage
OPLSS 2025 – Oregon Programming Languages Summer School June 23-July 5, 2025

Upcoming events

Past events APLAS 2024, LAP 2024 Proof Society 2024, FSCD 2024, LICS 2024, ITRS 2024, SMAK 2024, CSL 2024, POPL-SRC 2024, ECBS 2023, LAP 2023, PPDP 2023, SEFM 2023, MIEA 2023, OPLSS 2023, WOLLIC 2023, TYPES 2023, SCAN 2023, ESOP 2023, ICT Innovations, CM:FP 2023, LADIS 2.0, SMSCG 2023, LAP 2022, ICFP 2022, OPLSS 2022, PLACES 2022

Books and Editorial

© 2013 S. Ghilezan