Viðburðir eftir árum

ICE-TCS: Quantales with Quantum Structure

  • 29.5.2015, 14:00 - 15:00

Speaker: Joshua Sack (University of Amsterdam, NL)

Quantales have been used to represent observations of a physical system, and have been applied to concurrent systems.  This talk develops the notion of a quantum dynamic algebra introduced by Baltag and Smets, which is a quantale with quantum structure, and discusses how quantum dynamic algebras may be useful for reasoning about quantum dynamics and quantum programs.

Place: Room M102


Vinsamlegast athugið að á viðburðum Háskólans í Reykjavík (HR) eru teknar ljósmyndir og myndbönd sem notuð eru í markaðsstarfi HR. Hægt er að nálgast frekari upplýsingar á ru.is eða með því að senda tölvupóst á netfangið: personuvernd@ru.is
//
Please note that at events hosted at Reykjavik University (RU), photographs and videos are taken which might be used for RU marketing purposes. Read more about this on our ru.is or send an e-mail: personuvernd@ru.is