Assoc.-Prof. Dr. Ana Sokolova

Home
Computer Sciences
Staff
Associate Professors
Assoc.-Prof. Dr. Ana Sokolova

Assoc. Prof. Dr. Ana Sokolova 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

PLUS Talks on the Development Plan 2022-2027
With the PLUS Talk, a new form of communication was introduced to the Paris Lodron University of Salzburg in 2020. Within the framework of this format members of the rectorate discuss certain key issues with employees of the PLUS, students and public representatives. The discussions take place LIVE and offer participants the opportunity to ask questions on current topics.
Mehr erfahren

Virtual Open Day
On Wednesday 17th March 2021 PLUS is holding a virtual open day and warmly invites all interested pupils and final year classes offenen. Further information can be found under www.uni-salzburg.at/openday.
Mehr erfahren

Current Information about Teaching at the PLUS
After talks with the ministry and intensive consultation with the deans, the rectorate of the Paris Lodron University of Salzburg has decided that exams should generally only be conducted online at the moment. The following points apply here:
Mehr erfahren

"Dealing with challenges in a solution-oriented way - competently and safely".
There are numerous challenges in everyday elementary education, not only in Corona times. The art lies in dealing constructively with challenging situations. The fourth day of elementary education in Salzburg on 22nd January 2021, which will take place in digital form due to the pandemic-related measures, is dedicated to the topic of "Dealing with challenges in a solution-oriented way - competently and safely".
Mehr erfahren

Call for Papers: 100 Years of Paulo Freire – Solidarity in a Global Society
Dialogue and Liberation in a Digital Future - Place and time: Paris Lodron University Salzburg; 14-16 October 2021 - Contact: markus.maier@stud.sbg.ac.at
Mehr erfahren

WHAT EFFECT DOES MUSIC HAVE? Online Lecture on the 20th January 2021
As part of the series "MUSIC & MEDICINE“ the science and art cooperation focus group is organising a total of three online lectures in January and February 2021.
Mehr erfahren

Invitation to the Conference: "Narrative of a Successful Democracy? History – Politics – Law"
INTERDISCIPLINARY CONGRESS under the leadership of Reinhard Heinisch, Reinhard Klaushofer, Christoph Kühberger and Margit Reiter
Mehr erfahren

Lecture as Part of the Agorá Series at the Chinese Studies Centre of the PLUS
Prof. Dr. Hans van Ess (Vice President of the Ludwig Maximilians University and Professor at the Institute for Sinology) with the topic "New Confucianism in the 21st Century" on Tuesday, 19 January, 2021 at 6:00 pm.
Mehr erfahren

MUSIC, ENTRAINMENT AND THE MIND–BODY CONNECTION: Online-Lecture 27.1.2021
As part of the series „MUSIC & MEDICINE“ the cooperation focus group science and art is organising another online lecture on the 27th January 2021.
Mehr erfahren

THURS 28 JAN.: MAKING ART MODERN? VIEWS FROM THE ITALIAN RENAISSANCE– Talk by Robert Brennan with a response by Wolf-Dietrich Löhr
10 am /Online-Matinee with lecture and discussion „Artes“ series with Robert Brennan and Wolf-Dietrich Löhr.
Mehr erfahren

CHORAL SINGING IN CORONA TIMES: Online Lecture on 3rd February 2021
As part of the series „MUSIC & MEDICINE“ the cooperation focus group science and culture is organising another online lecture on the 3rd February 2021.
Mehr erfahren

Webinars at the Law Academy in January 2021
The Law Academy at the University of Salzburg is offering three online seminars in January 2021 on the topics of an update to competition law (antitrust law and UWG) on Friday, 15 January 2021, an update to company law on Friday, 22 January 2021 and an update to warranty law on Friday, 29th January 2021.
Mehr erfahren

Erinnerung ditact_call for lectures 2021
We would like to remind you of the Call for Lectures, which is still open until 28th February. Apply to be a lecturer at the ditact_women‘s IT summer studies, which will take place from the 23rd August.- 04th September 2021 at the University of Salzburg. It is very important to us to also support young female lecturers. E
Mehr erfahren
Veranstaltungen
19.01.21 Pecha Kucha - Ideen kurz & knackig präsentieren
Mehr erfahren

19.01.21 Neukonfuzianismus im 21. Jahrhundert
Mehr erfahren

20.01.21 Das doing menstruation in der Gesellschaft der Nachhaltigkeit
Mehr erfahren

20.01.21 Wie wirkt Musik?
Mehr erfahren

21.01.21 Friderike ›Zweig‹ und weibliche Intellektualität im frühen 20. Jahrhundert
Mehr erfahren

22.01.21 Friderike ›Zweig‹ und weibliche Intellektualität im frühen 20. Jahrhundert
Mehr erfahren

22.01.21 Update GmbH-Recht
Mehr erfahren
Alumni Club
PRESS

Top-Navi

Haupt-Navi

Brotkrumenpfad

Sub-Navi

Sidebar-Menü rechts

Footer