Universidad Complutense de Madrid :: NILS mobility project

Workshop

Workshop
Spectral Function Theory
Lyubarskii, Yurii 
November-december, 2010
CIRM

ICE-TCS Workshop on Logic and Concurrency 
Miguel Palomino Tarjuelo (Universidad Complutense de Madrid, Spain)
On linear contravariant semantics
October 1st, 2010, at 14.00 hr.
Reykjavik University, ICE-TCS (Icelandic Centre of Excellence in Theoretical Computer Science), room M1.05

ICE-TCS Workshop on Logic and Concurrency 

Ignacio Fabregas Alfaro (Universidad Complutense de Madrid, Spain)
Logics for Contravariant Simulations
September 15, 2010, Reykjavik, Iceland
Place: Room M1.15, Reykjavik University, Menntavegur 1
Slides

ICE-TCS Workshop on Logic and Concurrency 
Miguel Palomino Tarjuelo (Universidad Complutense de Madrid, Spain)
Non-Strongly Stable Orders and Simulation Relations  
September 15, 2010, Reykjavik, Iceland
Place: Room M1.15, Reykjavik University, Menntavegur 1
Slides