english only
EPFL > I&C > Tresor > Seminars
RESOURCES
Home
People
Seminars
Courses
Research Topics
Events
Useful Links

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
seminars [2013/07/10 17:15]
gvero
seminars [2013/07/10 17:24]
gvero
Line 11: Line 11:
   * [[:​seminars:​Instructions|Instructions]]   * [[:​seminars:​Instructions|Instructions]]
  
 +\\
 \\ \\
  
Line 16: Line 17:
  
 \\ \\
-\\ + 
-===== Roles of types in logiccomputation ​and security ​- an overview ​=====+===== Roles of Types in LogicComputation ​and Security ​- an Overview ​=====
  
   * 2013-02-28 - 15:00, [[http://​plan.epfl.ch/?​lang=en&​room=BC410|BC 410]], [[http://​imft.ftn.uns.ac.rs/​~silvia|Prof. Silvia Ghilezan]], University of Novi Sad, Serbia   * 2013-02-28 - 15:00, [[http://​plan.epfl.ch/?​lang=en&​room=BC410|BC 410]], [[http://​imft.ftn.uns.ac.rs/​~silvia|Prof. Silvia Ghilezan]], University of Novi Sad, Serbia
Line 25: Line 26:
 I will present an overview of results that emerged from type theoretic techniques. A particular attention will be given to the reducibility method in logic. Further, the role of classical types will be presented in the framework of delimited continuations. Finally, the role of types will be discussed in security control issues of linked documents and linked data. I will present an overview of results that emerged from type theoretic techniques. A particular attention will be given to the reducibility method in logic. Further, the role of classical types will be presented in the framework of delimited continuations. Finally, the role of types will be discussed in security control issues of linked documents and linked data.
  
-\\ 
 \\ \\
 ===== Transformation-based Program Analysis and Logic Solvers ===== ===== Transformation-based Program Analysis and Logic Solvers =====