Assoc.-Prof. Dr. Ana Sokolova

Home
Computer Sciences
Staff
Associate Professors
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

Best International Symposium Award for Symposium with Contribution from Astrid Reichel
The paper "The disabling effect of social policies on organizational career management" by Astrid Reichel (Professor for Human Resource Management at PLUS) et al. was awarded the Emerald Best International Symposium Award at the 2019 Academy of Management Meeting, which is the largest and most important management conference in the world, with over 10,000 participants.
Mehr erfahren

The Aurora Mardiganian Medal Awarded to Armenologist Jasmine Dum-Tragut
Univ.Doz. Dr. Dr.h.c. Jasmine Dum-Tragut received the medal on 31 October at the closing event of her curated exhibition "Far from home - fates of Armenian prisoners of war in the First World War" at the Genocide Museum Institute in Yerevan, Armenia.
Mehr erfahren

Christina Antenhofer Is Now a Member of the European Academy of Sciences and Arts
The Salzburg historian, Christina Antenhofer, was recently appointed a member of the European Academy of Sciences and Arts (Historical Class).
Mehr erfahren

Five New Professors Introduced
For the Winter Semester 2019/20, the University of Salzburg appointed five new professors: Michael BLAUBERGER, Univ.-Prof. for Politics of the European Union, Political Science and Sociology (+ DZ SCEUS); Alexander SOKOLICEK, Univ.-Prof. for Classical Archeology, Classical Studies; Ulrike GREINER, Univ.-Prof. for Professional Research and Teacher Education with special reference to subject didactics, School of Education; Margit REITER, Univ.-Prof. for European Contemporary History.
Mehr erfahren

Event Series "Social Pedagogic Views" 2019/20
Social education between help, control, punishment and coercion
Mehr erfahren

5 - 12 November: 17th Developmental Hochschulwochen in Salzburg - 40 Years of "Südwind"
From 5 to 22 November, 2019, Südwind, in cooperation with the University of Salzburg, invites experts to the join in the topic of global inequalities and offers a diverse program: 13 events of the series "REDUCE INEQUALITIES think globally - act sustainably" from different perspectives with global issues and their interaction with the local and individual levels.
Mehr erfahren

13 -15 November: International Confer ence "Playing with History" - On the Material Culture of Toys and Games as a Representation of the Past
An international conference, 13 - 15 November, 2019, organized by SALZBURG MUSEUM and theUNIVERSITY OF SALZBURG, Conference Director: Univ.-Prof. Dr. Christoph Kühberger.
Mehr erfahren

15 November: Lecture - Phylogeographical Studies of Selected Steppe Plants in the Pannonian and Western Pontic Region
Priv-Doz. Dr. Matthias Kropf will give a guest lecture on the subject of "Phylogeographical Studies of selected Steppe Plants in the Pannonian and Western Pontic Region" on 15 November, 2019, at 14:00 in HS 421 of the Faculty of Natural Sciences, Hellbrunnerstrasse 34. The Department of Life Sciences invites you to attend!
Mehr erfahren

20 November: Book Presentation & Conversation "Die Ehemaligen"
Margit Reiter, new professor for European Contemporary History at the Department of History since WS 2019, presents her new book "Die Ehemaligen" in HS 381, GesWi, Rudolfskai 42, on 20 November.
Mehr erfahren

Wednesday, 20 November: Opening of the EXHIBITION "The collage as an interface of disparate levels" Part II
The exhibition’s VERNISSAGE will take place on Wed., 20 November, 2019, 18:30, in the Raum für Kunst in the KunstQuartier, Bergstr. 12a. EXHIBITION DATES: 21 November, 2019 - 31st January, 2020.
Mehr erfahren

21 November: Guest Lecturer, R. Fletcher
The FB KoWi cordially invites you to attend a guest lecture on “How News Use is Changing Across the World”. Richard Fletcher - Reuters Institute, University of Oxford.
Mehr erfahren

21 November: Work Anytime and Anywhere... Mobile Work and its Consequences
The annual interdisciplinary Fachtagung des Wissensnetzwerks Recht, Wirtschaft und Arbeitswelt will take place on Thursday, 21 November, 2019, on the topic, "Work Anytime and Anywhere... Mobile Work and its Consequences" at the Edmundsburg.
Mehr erfahren

26 November: History under Discussion
As part of the lecture series, Geschichte im Gespräch, and the lecture "Fundamentals of Medieval History (Christina Antenhofer)", Thorsten Hiltmann (Münster) will give a lecture on 26 November, 2019, at 09: 00h in HS 380 on Medieval Heraldry between Cultural History and New Digital Methods.
Mehr erfahren

21 – 22 November: Masses Die - Scenic, Architectural and Material Memories of Two World Wars. Ways of Remembering in a European Perspective
THURSDAY, 21 Nov.: LECTURES (08.30-19:00h) at Wissenschaft & Kunst, Bergstr. 12a, KunstQuartier, Studio 1.OG // FRIDAY, 22 Nov: EXCURSION (08:30-16:00h) Memorial Concentration Camp Ebensee, memorial Mauthausen. Departure: At 08:30, from Unipark Nonntal, Erzabt-Klotz-Straße 1.
Mehr erfahren

28 November: The 4th Film Series "Filmclub Horizonte Slawistyka, Slavistika, Cławistika"
The Department of Slavonic Studies would like to cordially invite you, together with the cultural center DAS KINO, to the fourth part of our successful cinema series of East and Central European films. The film club "Slawistyka, Slavistika, Cлавистика" presents award-winning current Polish, Russian and Czech films with social and political themes.
Mehr erfahren

28 – 30 November: International Scientific Symposium, Times for Change: Transnational Migration and Cultural Crossings in Nineteenth-Century Dance
28 to 30, November, 2019 - Unipark Nonntal, Erzabt-Klotz-Straße 1, 5020 Salzburg, Department of Music and Dance Studies, Dance Studio, Room 2.105, 2nd floor.
Mehr erfahren

29 November: Conference "Accountability of Digitized Enterprises"
On 29 November, 2019, the conference, "Responsibility of Digitized Companies", will take place at the University of Salzburg. The focus is on the ethical and legal implications of the use of artificial intelligence.
Mehr erfahren

6/7 December: 45th Austrian Linguistic Congress
The Department of Linguistics invites all interested parties to participate in the 45th Austrian Linguistic Congress. The event will take place on the 6th and 7th of December, 2019, at the Unipark Nonntal. The registration deadline has been extended until 07.11.2019. See the programme for registration fees.
Mehr erfahren
Veranstaltungen
15.11.19 Symposion "Wirtschaftliche Betrachtungsweise"
Mehr erfahren

15.11.19 Group Singing: Positive Intervention in the Lives of People with Parkinson’s / Positive Auswirkungen des Chorgesangs auf Patientinnen und Patienten mit Parkinson
Mehr erfahren

15.11.19 Phylogeographical studies of selected steppe plants in the Pannonian and Western Pontic region
Mehr erfahren

18.11.19 WiWi-Get2gether
Mehr erfahren

20.11.19 Die Collage als Schnittstelle disparater Ebenen Teil II
Mehr erfahren

21.11.19 Massen sterben – landschaftliche, architektonische und materielle Erinnerungen an zwei Weltkriege. Wege des Erinnerns in europäischer Perspektive
Mehr erfahren

21.11.19 Interdisziplinäre Tagung "Die Arbeit ist immer und überall ... - mobiles Arbeiten und seine Folgen"
Mehr erfahren

21.11.19 Salzburger Museen und Sammlungen Geschichte vor Ort. Vom Museum des Bürgertums zum Museum in und für die Gesellschaft
Mehr erfahren

21.11.19 How News Use is Changing Across the World
Mehr erfahren
Alumni Club
PRESS
Uni-Shop

Top-Navi

Haupt-Navi

Brotkrumenpfad

Sub-Navi

Sidebar-Menü rechts

Footer