University of Novi Sad
Faculty of Technical Sciences
My profiles at:
DBLP, Google Scholar, Mathematical Genealogy Project
Announcements
Consider submitting to the Journal of Logic and Algebraic Methods in Computer Science (JLAMP)
Consider submitting to the conferences FSCD 2025, PLACES 2025, ECBS 2025, 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
