Bernhard Aichernig

Aktivitäten

Aktivitäten pro Jahr 1996 2006 2007 2009 2010 2015 2021

• 39 Mitgliedschaft in Programmkomitee
• 29 Vortrag bei Workshop, Seminar oder Kurs
• 20 Vortrag bei Konferenz oder Fachtagung
• 14 Gastvortrag
• 26 Mehr
  • 7 Invited talk bei Konferenz oder Fachtagung
  • 7 Forschungstätigkeit an einer externen Einrichtung
  • 3 Konferenz oder Fachtagung (Teilnahme an/Organisation von)
  • 3 Herausgebertätigkeit
  • 2 Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe
  • 2 Öffentlicher Vortrag oder öffentliche Diskussion
  • 1 Externe Prüfungstätigkeit
  • 1 Mitgliedschaft in Prüfungskommission

Aktivitäten pro Jahr

Suchergebnisse

• 1st International Workshop on Foundations and Techniques for Open Source Software Certification (Veranstaltung)

  Bernhard Aichernig (Mitglied)

  1 Nov. 2006 → 1 Nov. 2007

  Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe

• Formal Methods Europe, Formal Methods Europe (Niederlande) (Externe Organisation)

  Bernhard Aichernig (Vorsitzende/r)

  4 Apr. 2004

  Aktivität: Mitgliedschaft › Mitgliedschaft in Forschungsnetzwerk oder Expertengruppe