Ghilezan, Silvia
Loading...
3
0
20
0
false
Full Name
Ghilezan, Silvia
ORCID
Scopus Author ID
Country
Serbia
Loading...
2
0
20
0
false
Results 1-10 of 10 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | Ghilezan, Silvia | Types in Logic, Topology and Structure - Keynote Speaker | 2022 | UNILOG 2022 - 7th World Congress and School on Universal Logic Workshop Logic and Structure, 6-11 April 2022, Orthodox Academy of Crete, Greece | M32 |
| 2 | Ghilezan, Silvia | Type Systems for Trustworthiness –- from Mathematics to Large-Scale Systems (keynote) | 26-May-2021 | ECBS 2021: 7th Conference on the Engineering of Computer Based Systems, Novi Sad, Serbia, May 26 - 27, 2021; 1-2 | M32 |
| 3 | Ghilezan, Silvia | Denotational and Operational Preciseness of Subtyping : Invited talk | Jun-2019 | Annual meeting of IFIP Working Group 1.6: Rewriting, June 26, 2019, Dortmund, Germany | M32 |
| 4 | Ghilezan, Silvia | Doctoral School towards Knowledge Based Society : Invited talk | Jun-2018 | EXCELL 2018 - Serbia for Excell Workshop, Horizon 2020 - Twinning - 2015, June 25-29, 2018, University of Novi Sad, Serbia | M32 |
| 5 | Ghilezan, Silvia | Preciseness of Subtyping: from extensional to intensional aspects : Invited talk | Jan-2018 | NII Shonan Meeting 115: Intensional and Extensional Aspects of Computation: From Computability and Complexity to Program Analysis and Security, 22-25 January 2018, NII- National Institute of Informatics Shonan meeting, Japan | M32 |
| 6 | Ghilezan, Silvia | Introduction to Type Theory : Invited talk | Jul-2017 | EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia | M32 |
| 7 | Ghilezan, Silvia | Types and Privacy : Invited talk | Oct-2016 | 1st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, Cyprus | M32 |
| 8 | Ghilezan, Silvia | Types in access control and privacy : Invited talk | 2015 | NII Shonan meeting 069: Logic and Verification Methods in Security and Privacy, October 26-29, 2015, Shonan, Japan | M32 |
| 9 | Ghilezan, Silvia | Reducibility method and logical relations in intuitionistic logic and programming languages | 2013 | CM:FP 2013 - Constructive Mathematics: Foundation and Practice, June 24-28, 2013, Nis, Serbia | M32 |
| 10 | Dezani-Ciancaglini, Mariangiola; Ghilezan, Silvia | A lambda model characterizing computational behaviours of terms | 2001 | Rewriting in Proofs and Computation - RPC'01, Sendai, Japan, 2001; 100-118 | M32 |
Results 1-2 of 2 (Search time: 0.0 seconds).
| Acronym | Title | Start date | Completion | P-Investigator |
|---|---|---|---|---|
| PROJECT 144029 | Models, Languages, Types, and Processes in Computing | 01-01-2006 | 31-12-2010 | Ghilezan, Silvia |
| PROJECT 174026 | Representations of logical structures and formal languages and their application in computing | 01-01-2011 | 31-12-2019 | Ghilezan, Silvia |