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-7 of 7 (Search time: 0.002 seconds).
| Author(s) | Title | Issue Date | Appears in | Rank | |
|---|---|---|---|---|---|
| 1 | 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 |
| 2 | 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 |
| 3 | 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 |
| 4 | Ghilezan, Silvia | Introduction to Type Theory : Invited talk | Jul-2017 | EUTypes Summer School, 10-14 July 2017, Ohird, Macedonia | M32 |
| 5 | Ghilezan, Silvia | Types and Privacy : Invited talk | Oct-2016 | 1st Workshop, FMPriv 2016 - Formal Methods for Privacy, 7 October 2016, Limassol, Cyprus | M32 |
| 6 | 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 |
| 7 | 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 |
Results 1-2 of 2 (Search time: 0.001 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 |