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 Both sides next revision
seminars [2013/07/10 17:22]
gvero
seminars [2013/07/10 17:24]
gvero
Line 18: Line 18:
 \\ \\
  
-===== 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