Informatik

Aktivitäten

Aktivitäten pro Jahr 1988 2015 2019 2020 2021 2024

• 534 Vortrag
• 141 Organisation einer Veranstaltung
• 129 Mitwirkung an einer Veranstaltung
• 93 Poster-Präsentation
• 376 Mehr
  • 92 Herausgeber/innen Tätigkeit
  • 51 Peer-review von Publikationen
  • 50 Gastvortrag
  • 44 Forschungsaufenthalt
  • 42 Ratsmitglied
  • 33 Komiteemitglied
  • 19 Berufungskommission
  • 16 Mitglied einer Institution
  • 9 Habilitationskommission
  • 6 Mitgliedschaft Forschungskomitee
  • 5 Andere/Nicht-drittmittelfinanzierte Projekte
  • 3 Prüfungskomission
  • 2 Gutachten
  • 2 Mitglied eines Forschungsnetzwerks
  • 1 Beratende Tätigkeit
  • 1 Vorstandsmitglied

Aktivitäten pro Jahr

Suchergebnisse

• 23rd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2024

  Cruciani, E. (Mitgliedschaft im Programmausschuss)

  6 Mai 2024 → 10 Mai 2024

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• SIAM Conference on Data Mining 2024

  Cruciani, E. (Mitgliedschaft im Programmausschuss)

  18 Apr. 2024 → 20 Apr. 2024

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Tag der offenen Tür an den Fachbereichen Informatik und Artificial Intelligence and Human Interfaces

  Forster, S. (Mitwirkende/r), Hagenauer, H. (Mitwirkende/r), Pape, D. (Mitwirkende/r), Elsässer, R. (Mitwirkende/r), Trutschnig, W. (Mitwirkende/r), Kwitt, R. (Mitwirkende/r), Augsten, N. (Mitwirkende/r), Sokolova, A. (Mitwirkende/r), Kutil, R. (Mitwirkende/r), Pree, W. (Mitwirkende/r), Demir, C. (Mitwirkende/r), Wallner, V. (Mitwirkende/r), Hirländer, S. (Mitwirkende/r), Paraschivoiu, I. E. (Mitwirkende/r), Mayer, H. (Mitwirkende/r), Kocher, D. (Mitwirkende/r), Hütter, T. (Mitwirkende/r), Kirchgasser, S. (Mitwirkende/r), Schuiki, J. (Mitwirkende/r), Linortner, M. (Mitwirkende/r), Burgstaller, S. (Mitwirkende/r), Flotzinger, E. (Mitwirkende/r) & Riedl, E. (Organisator/in)

  9 Feb. 2023

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• International Conference on Code Quality (ICCQ), 2023

  Kirsch, C. (Mitgliedschaft im Programmausschuss)

  2023 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• ACM/SIGAPP Symposium on Applied Computing, Track on “Cyber-Physical Systems”

  Kirsch, C. (Mitgliedschaft im Programmausschuss)

  2023 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 6th International Conference on Big Data Management (ICBDM23)

  Pree, W. (Mitgliedschaft im Programmausschuss)

  2023

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 22nd International Conference on Autonomous Agents and Multiagent Systems

  Cruciani, E. (Mitgliedschaft im Programmausschuss)

  2023

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 32nd International Joint Conference on Artificial Intelligence

  Cruciani, E. (Mitgliedschaft im Programmausschuss)

  2023

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Dagstuhl Seminar 22461

  Forster, S. (Organisator/in) & Nazari, Y. (Mitwirkende/r)

  13 Nov. 2022 → 18 Nov. 2022

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• IFIP WG1.3 Foundations of System Specification Meeting

  Sokolova, A. (Mitwirkende/r)

  18 Jan. 2022 → 19 Jan. 2022

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 6th International Workshop "Women in Logic" WIL 2022

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 47th International Symposium onMathematical Foundations of Computer Science MFCS 2022

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 20th International Conference on Formal Modeling and Analysis of Timed Systems FORMATS 2022

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• FORTE 2022 - 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• CAV 2022 – 34th International Conference on Computer Aided Verification

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 21st International Conference on Autonomous Agents and Multiagent Systems

  Cruciani, E. (Mitgliedschaft im Programmausschuss)

  2022

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence

  Cruciani, E. (Mitgliedschaft im Programmausschuss)

  2022

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• EAPLS Best Dissertation Award 2021

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Dagstuhl Seminar 22492 - Formal Methods and Distributed Computing: Stronger Together

  Attiya, H. (Organisator/in), Enea, C. (Organisator/in), Rajsbaum, S. (Organisator/in) & Sokolova, A. (Organisator/in)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 14th International Conference on Mathematics of Program Construction MPC 2022

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 33rd International Conference on Concurrency Theory CONCUR 2022

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Beth Outstanding Dissertation Prize 2022

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 11th IFIP WG 1.8 Workshop on Trends in Concurrency Theory TRENDS 2022 @ CONFEST 2022

  D'Argenio, P. (Organisator/in) & Sokolova, A. (Organisator/in)

  2022 → …

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 35th International Symposium on Distributed Comuting

  de Vos, T. (Teilnehmer/in)

  4 Okt. 2021 → 8 Okt. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 13th ACM International Conference on Automotive User Interfaces and Interactive Vehicular Applications, AutomotiveUI 2021

  Sypniewski, J. (Teilnehmer/in)

  9 Sept. 2021 → 12 Sept. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• International ACM Conferenceon Automotive User Interfacesand Interactive Vehicular Applications 2021

  Meschtscherjakov, A. (Teilnehmer/in)

  9 Sept. 2021 → 14 Sept. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Conference on Algebra and Coalgebra in Computer Science

  Sokolova, A. (Teilnehmer/in)

  31 Aug. 2021 → 2 Sept. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 37th Conference on Mathematical Foundations of Programming Semantics

  Sokolova, A. (Teilnehmer/in)

  30 Aug. 2021 → 2 Sept. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 27th International SPIN Symposium on Model Checking of Software

  Sokolova, A. (Teilnehmer/in)

  12 Juli 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• CHI Italy 2021: 14th Biannual Conference of the Italian SIGCHI Chapter

  Paraschivoiu, I. E. (Teilnehmer/in)

  11 Juli 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Women in Logic 2021 @ LICS 2021

  Sokolova, A. (Teilnehmer/in)

  27 Juni 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Media Architecture Biennale 2020

  Paraschivoiu, I. E. (Teilnehmer/in)

  24 Juni 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths, CHI 2021

  Paraschivoiu, I. E. (Teilnehmer/in)

  8 Mai 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths, CHI 2021

  Meschtscherjakov, A. (Teilnehmer/in)

  8 Mai 2021 → 13 Mai 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Out of Your Mind? Embodied Interaction in Sports - Workshop @CHI 2021

  Meschtscherjakov, A. (Organisator/in)

  7 Mai 2021 → 8 Mai 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 2021 CHI Conference on Human Factors in Computing Systems: Making Waves, Combining Strengths, CHI 2021

  van Rheden, V. (Teilnehmer/in)

  7 Mai 2021 → 8 Mai 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• IFIP WG 1.3 Foundations of System Specifications: Luxemburg Meeting

  Sokolova, A. (Teilnehmer/in)

  27 März 2021 → 28 März 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• GI Meeting Deduction and Logic

  Sokolova, A. (Teilnehmer/in)

  26 März 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 15th International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2021

  Sypniewski, J. (Organisator/in)

  14 Feb. 2021 → 21 Feb. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 15th International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2021

  Smit, G. D. (Teilnehmer/in)

  14 Feb. 2021 → 19 Feb. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 15th International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2021

  Sypniewski, J. (Teilnehmer/in)

  14 Feb. 2021 → 21 Feb. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 15th International Conference on Tangible, Embedded, and Embodied Interaction, TEI 2021

  Smit, G. D. (Teilnehmer/in)

  14 Feb. 2021 → 19 Feb. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• POPL 2021 - 48th ACM SIGPLAN Symposium on Principles of Programming Languages

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  17 Jan. 2021 → 22 Jan. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• POPL 2021 - 48th ACM SIGPLAN Symposium on Principles of Programming Languages

  Sokolova, A. (Teilnehmer/in)

  17 Jan. 2021 → 22 Jan. 2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Women in Logic 2021 @ LICS 2021

  Sokolova, A. (Chair)

  2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 27th International SPIN Symposium on Model Checking of Software

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 37th Conference on Mathematical Foundations of Programming Semantics

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• International Conference on Formal Aspects of Component Software

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• Women in Logic 2021 @ LICS 2021

  Sokolova, A. (Mitgliedschaft im Programmausschuss)

  2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung

• 27th International SPIN Symposium on Model Checking of Software

  Sokolova, A. (Chair)

  2021

  Aktivität: Mitwirkung an und Organisation einer Veranstaltung › Mitwirkung an einer Veranstaltung