Bernhard Aichernig

Activities

Activities per year 1996 2020

• 39 Membership in Programm Committee
• 28 Talk at workshop, seminar or course
• 19 Talk at conference or symposium
• 13 Invited talk
• 26 More
  • 8 Research at external institution
  • 6 Invited talk at conference or symposium
  • 3 Conference or symposium (Participation in/Organisation of)
  • 3 Editorial activity
  • 2 Membership of research network or expert group
  • 2 Public lecture or debate
  • 1 External examination
  • 1 Membership of examination board

Activities per year

Search results

• Tool-Supported Invariant-Based Programming

  Bernhard Aichernig (Agent)

  17 Aug 2010

  Activity: Examination or supervision › External examination