06.06.2018 Tag der Universitaet
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
    © Manuela Kerer, Foto: Nafez Rerhuf 19/20 October: Workshop KLANG-FORMEN, with the Composer, Manuela Kerer
    In this workshop, the eye should play an important role next to the ear. Using exercises, the participants will approach the subject in small groups and form visual, as well as acoustic sound.

    Mehr erfahren

    Geswi 19 October: Lecture on "Culture and Construction - Transit into the Modern Era"
    As part of the "Impuls-Idee-Innovation" series event, Professor Claus Baldus / Berlin will give a lecture on Friday, 19 October, 2018, from 15-17h in HS 380 (Social Science, Rudolfskai 42) on "Culture and Construction - Transit in the Modern Era".

    Mehr erfahren

    Gruppenfoto Federal President Alexander Van der Bellen Welcomes Salzburg DC Lead Students in the Hofburg
    Alexander van der Bellen was impressed by the critical contributions of the students of the Salzburg Erasmus Master's Programme, "Digital Communication Leadership" (DC Lead). In an audience on Friday, 5 October, five students presented their visions of a digital communication world at the Hofburg in Vienna.

    Mehr erfahren

    Folder 22 October: Lecture Series: Torah and Cross. Politics and Life Worlds. Jewish Identity Creations and Jewish-Christian Boundaries in the Middle Ages and Early Modern Period
    Monday, 22 October, 2018, HS E.001 (Unipark) Dr. Eveline Brugger (St. Pölten) “Unsern juden gemainklich solich genad getan." Medieval Jewish law and princely Jewish politics using the example of Austria.

    Mehr erfahren

    Lorenz Aglas Dr. Lorenz Aglas Receives Ursula and Fritz Melcher Dissertationspreis 2018
    Dr. Lorenz Aglas, senior scientist of the working group of Prof. Fatima Ferreira (Department of Life Sciences), receives this year's "Ursula and Fritz Melcher Dissertationspreis 2018" of the Austrian Society for Allergology and Immunology (ÖGAI) due to the excellent scientific results of his doctoral thesis.

    Mehr erfahren

    Foto: Katja Hutter 22 October - Panorama:Uni with Katja Hutter
    The theme of the Panorama:Uni on 22 October, at 19:00, Panoramabar Lehen, is "Wanted: the Creativity of Customers. Or, why new technologies are changing the business world".

    Mehr erfahren

    Die ehrenamtlichen Alumni Ambassadors für München. c Rothenburg Alumni Chapter Munich Founded
    In order to offer the graduates of the University of Salzburg in Munich an opportunity for networking and exchange, the Munich Chapter of the Alumni Club was founded on 12 October.

    Mehr erfahren

    Die Seeschlacht von Actium – Ein Sieg des Antonius? 23 October: Guest Lecture, "The Naval Battle of Actium - A Victory of Antonius?"
    Prof. Dr. Christoph Schäfer (Ancient History, University of Trier) will give a lecture on this subject on 23 October, 2018, at 18:30 in the Abgusssammlung SR E.33, Residenzplatz 1.

    Mehr erfahren

    Große Aula Events of the Leopold Kohr Academy
    The Leopold Kohr Academy has organized two events, one in September and another in October, 2018. Together with the University of Salzburg, the institution runs the Kohr Archive.

    Mehr erfahren

    Zeit und Kult id. Gründungsphase der neuen Polis Rhodolis Rhodos 21 November: Guest Lecture, "Zeit und Kult in der Gründungsphase der neuen Polis Rhodos"
    Dr. Sven Th. Schipporeit (Institute for Classical Archeology, University of Vienna) will give a lecture on this subject on Wednesday, 21 November, 2018, in the Abgussammlungs SR E.33, Residenzplatz 1.

    Mehr erfahren

    Digital_lecture 30 October: First Digital Lecture: Lecture with Prof. Mitkov
    Prof. Ruslan Mitkov, Professor of Natural Language Processing and Computational Linguistics at the University of Wolverhampton, UK, will hold a lecture on the topic of linguistic intelligence on Tuesday, 30 October, at 18:00 - Computer vs. Humans.

    Mehr erfahren

    Empfang der Religionen - Logo Sikhismus 7 November: 8th Reception of Religions - Schwerpunkt: Sikhism
    The reception will take place on Wednesday, 7 November, 2018, at the Faculty of Catholic Theology, Universitätsplatz 1 (Salzburg). 18:15 in the Kollegienkirche (Religious Joining Prayer - designed by the Afro-Asian Institute Salzburg), 19:00 Reception at HS 101 of the Faculty of Catholic Theology (Universitätsplatz 1, ground floor).

    Mehr erfahren

    Einladung Lesung Evelyne de la Chenelière 7 November: Reading - Evelyne de la Chenelière
    Invitation to a reading in French and German from the novel "La concordance des temps", Wednesday, 7 November, 2018, 18:00, Leselounge Fachbibliothek Unipark.

    Mehr erfahren

    Andreas Spechtl und Thomas Köck 9 November: Andreas Spechtl | Thomas Köck: GHOST DANCE
    Concert performance as part of the OPEN MIND Festival WHAT'S LEFT / WHAT'S RIGHT in cooperation with ARGEkultur // Friday, 9 November, 2018 | 21:00, Ulrike-Gschwandtner-Str. 5, 5020 Salzburg, Hall // www.w-k.sbg.ac.at/de/kunstpolemik-polemikkunst // Admission is free

    Mehr erfahren

    Plakat Stille Nacht Symposium Oktober 2018 9 November: Symposium & Exhibition Opening: "Silent Night: Christmas between Theological Claim and Popular Culture"
    9 November, 2018, 14:00 to 17:30, Bischofshaus, Kapitelplatz 2 Symposium "Silent Night: Christmas between Theological Claim and Popular Culture" and the Opening of the Exhibition "Silent Night, Holy Art" - cycle of paintings by Johann Weyringer (the Exhibition will be held until 7 December, 2018). Organized by Archdiocese of Salzburg and University of Salzburg, Faculty of Theology (organization: Alexander Zerfass).

    Mehr erfahren

    Ulrike Vedder 14 November: ULRIKE VEDDER: Gender Studies and Contemporary Literature: Critical Reflection on Polemics
    As part of the lecture series, POLEMIK UND GENDER, Ulrike Vedder, from the Institute for German Literature of the Humboldt University Berlin will give a guest lecture at the Unipark Nonntal on 14 November at 19:00 // Erzabt-Klotz-Str. 1, E.002 (Agnes Muthspiel) // www.w-k.sbg.ac.at/de/kunstpolemik-polemikkunst

    Mehr erfahren

    Konzertplakat Concert by the University Orchestra 17 November, 2018
    It's that time again, on 17 November, 2018, the concert by the University Orchestra will take place for this semester

    Mehr erfahren

    Teilnehmer Praxisdialog 2018 Practice Dialogue between University and LVwG
    Members of the Department of Public, International and European Law and judges and legal staff of the LVwG Salzburg met each other to discourse on practice-relevant issues.

    Mehr erfahren

    Fachdidaktische Ringvorlesung Demokratie lernen in der Schule Didactic Lecture Series in the Winter Semester 2018/19 "Learning Democracy at School - Political Education as a Task for All Subjects"
    Political education has been a general teaching principle in Austria since 1978, that is, an educational and developmental task, which is the responsibility of the teachers of all school subjects and grades. The lecture series will show ways in which democracy education can work in different subjects, so that student teachers and educators have different perspectives on the same fundamental challenge.

    Mehr erfahren

    © Karol Tymiński – Foto: Marta Ankiersztejn 27 November: Workshop: CHOREOGRAPHING SOUND. The Body as an Instrument and Visceral Soundtrack with Karol Tymiński.
    The workshop aims to examine the musicality of the body and, vice versa, the corporeality of music from a choreographic perspective. This approach corresponds with the extension of the concept of music, as well as the questioning of performance traditions in the context of New Music, which also puts a stronger emphasis on the body.

    Mehr erfahren

    © Hanna Kulenty, Foto: Krzysztof Zygmunt Andrzejewski 28 November: W&K Forum - MUSIC AND POWER: POLAND. Panel Discussion with Music
    The relatively young democracy of Poland, whose political climate has intensified considerably since the last elections, is also moving increasingly to the fore. Politically critical leaders of representative cultural organisations have been, and continue to be, replaced by the new administration, while independent creative artists appear to be able to find niches that so far or already live outside the country.

    Mehr erfahren

    Logo der DHA2018 Tagung 29 November – 1 December: 5th Digital Humanities Austria Conference in Salzburg
    The conference will take place from 29 November – 1 December, 2018, at the Unipark Nonntal.

    Mehr erfahren

    Training Days 2018 6 December, Training Day 2018
    On 6 December, 2018, the University of Salzburg will host the WTZ Training Day on the subject of Kommunikation, Dissemination und Verbreitung in H2020 projects.

    Mehr erfahren

  • Veranstaltungen
  • 19.10.18 P-ART Transfer: Abschlusspräsentationen

    Mehr erfahren

    19.10.18 KLANG-FORMEN

    Mehr erfahren

    20.10.18 KLANG-FORMEN

    Mehr erfahren

    23.10.18 Die Seeschlacht von Actium – Ein Sieg des Antonius?

    Mehr erfahren

    24.10.18 The Psychology of Cognitive Illusions

    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