PhD thesis "Syntactic approaches to negative results in process algebras and modal logics"

Lecture in M209 on September 27th, 13-14

  • 27.9.2022, 13:00 - 14:00

Elli Anastasiadi will defend her PhD thesis "Syntactic approaches to negative results in process algebras and modal logics" at 1 PM on Tuesday, 27 September, in room M209 and online. Elli will deliver a public talk, accessible to a general audience, followed by questions from the audience. Thereafter, there will be a closed session with her thesis committee of the duration of at most one hour. The external members of Elli's evaluation committee are Ilaria Castellani (INRIA Sophia Antipolis; http://www-sop.inria.fr/members/Ilaria.Castellani/) and Catuscia Palamidessi (INRIA Saclay and LIX; http://www.lix.polytechnique.fr/~catuscia/). Antonis Achilleos will represent Elli's thesis committee in the evaluation committee.



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