5. Juni 2019 Tag der Universität
Assoc. Prof. Dr. Ana Sokolova
Assoc. Prof. Dr. Ana Sokolova Deputy Head of Department
  • Jakob-Haringer-Str. 2
  • 5020 Salzburg
Tel:
+43 662 8044-6417
Fax:
+43 662 8044-611
anas@cs.uni-salzburg.at http://cs.uni-salzburg.at/~anas/

I work in the area of formal methods for analysis of concurrent systems, more specifically on behavior semantics of systems. I am interested in coalgebra, an abstract unifying framework for studying various transition systems based on category theory, and more concretely in probabilistic and real-time systems. My recent interests stretch all the way to concurrent data structures. 

Zur deutschen Startseite
  • News
    Preisträger Martin Niedermeier mit Professorin Ursula Lütz-Meind Martin Niedermeier Receives the Fritz Grasenick Prize for Study on Toxins in Algae
    For his publication on the detoxification of the metals strontium and barium in the cells of the moor green alga Micrasterias, the Salzburg biologist Martin Niedermeier received the Fritz Grasenick Prize 2018 of the Austrian Society for Electron Microscopy (ASEM) in the field of Life Sciences.

    Mehr erfahren

    2 Perspektiven © Orinta Rötting 10 April, 8 and 22 May: Two Perspectives - Lunch Debate: Religious Studies in an Interdisciplinary Conversation
    Held over three Wednesdays (10 April, 8 and 22 May, 2019) from 13:00 to 14:00 in the Clubraum of the KHG (Wiener-Philharmoniker-Gasse 2, Salzburg).

    Mehr erfahren

    Ausstellung im Botanischen Garten From 15 April, An Exhibition in the Botanical Garden: Painting and Photography in Dialogue
    A botanical painter, Mischa Skorecz and a photographer, Mischa Erben exhibit their pictures in the Botanischer Garten Salzburg.
    Where: In the Botanical Garden, Hellbrunnerstr. 34, A-5020 Salzburg
    When: 15 April until the end of August 2019.

    Mehr erfahren

    ©Mandelbaum Verlag 29 April: Book Presentation and Discussion with Sylvia Köchl
    »Das Bedürfnis nach gerechter Sühne« ("The Need for Just Expiation") Paths from "Professional Criminals" to the Ravensbrück concentration camp.

    Mehr erfahren

    KinderUNI Sujet 2 – 3 May: KinderUNI Unterwegs Focuses on the Climate
    Already for the second time, the >KinderUNI unterwegs< is traveling with bundled knowledge to the Pongau region, this year to the Bundeschullandheim Schloss Tandalier in Radstadt. On 2 and 3 May, 2019, the University of Salzburg together with akzente Salzburg Regional Association and the KLAR!-Region Pongau, the LAG Lebens.Wert.Pongau, the Kompass Mädchenberatung, as well as Architektur - Technik + Schule will offer a colorful and free program.

    Mehr erfahren

    Nekyia_Staatliche Antikensammlungen München 6 May: Rather err with Homer? Intended inconsistencies in the Afterlife Descriptions of Virgil, Silius Italicus and Statius.
    Guest lecture by Herrn Univ.-Prof. Dr. Andreas Heil, University of Vienna, on Monday, 6.5.2019, 17.30, Residenzplatz 1, Abguss-Sammlung SR. E.33, Department of Classical Studies.

    Mehr erfahren

    Kohei Saito, The ADRI 2018, Patna, India 6 May: The Relevance of Marx's Idea of Eco-socialism in the Anthropocene
    Monday, 06.05.2019, at 17:00, UniPark: Lecture by Kohei Saito, University of Osaka, Japan, in the context of the lecture series "Global Challenges - Answers to Climate Change"

    Mehr erfahren

    07.05.2019 Podiumsdiskussion 7 May, 2019: "Migration from Africa to Europe" - Panel Discussion
    The panel discussion will take place as part of the event series, "Theologie im Zeichen der Zeit", on 7 May, 2019, at 18:00 in HS 101 of the Faculty of Catholic Theology (Universitätsplatz 1, Salzburg, EG).

    Mehr erfahren

    Daniel Tanuro, www.tv5monde.com 9 May: Indispensable Radicalities - unerlässliche Radikalitäten
    Lecture by Daniel Tanuro, Agricultural Engineer and Eco-socialist Activist, on Thursday, 9 May at 19:30 at the UniPark Salzburg, as part of the lecture series "Global Challenges - Answers to Climate Change".

    Mehr erfahren

    Birgit Mahnkopf, https://elevate.at/websites/2016/elevate.at/spe 9 May: Growth Limits as Barriers of Capitalism
    Lecture by Birgit Mahnkopf, Berlin, on Thursday, 9 May at 18:00 at the UniPark Salzburg, as part of the lecture series "Global Challenges - Answers to Climate Change".

    Mehr erfahren

    Logo SJG 16 May: Salzburg Law Society
    Date: 16.05.2019 // Time: 18:30h s.t. - 20: 00h // Place: Hörsaal 209 (!) the Faculty of Law, the University of Salzburg // Churfürststraße 1 // A-5020 Salzburg // (access signposted)

    Mehr erfahren

    Fragen die in der Veranstaltung besprochen werden 8 May: World-Café: Working Conditions in Art and Culture
    What does communication have to do with it? 8 May, 2019, 15.00-18.00, FÜNFZIGZWANZIG, Residenzplatz 10, 5020 Salzburg

    Mehr erfahren

  • Veranstaltungen
  • 24.04.19 subnetTALK: Tangible Aesthetics (Vortragssprache EN)

    Mehr erfahren

    25.04.19 Netzwerk Qualitative Methoden

    Mehr erfahren

    25.04.19 Praxisseminar Sozialversicherung - Unmittelbarkeit der Leistungserbringung

    Mehr erfahren

    29.04.19 »Das Bedürfnis nach gerechter Sühne« Wege von »Berufsverbrecherinnen« in das Konzentrationslager Ravensbrück

    Mehr erfahren

  • Alumni Club
  • PRESS
  • Uni-Shop

  • University of Salzburg's facebook site University of Salzburg's twitter site University of Salzburg's instagram site University of Salzburg's flickr site University of Salzburg's vimeo site