Peter Schneider-Kamp

Activities

Activities per year 2001 2009 2010 2013

• 21 Conference organisation or participation
• 21 Peer review of manuscripts
• 8 Talks and presentations in private or public companies
• 5 Membership of commitees, commissions, boards, councils, associations, organisations, or similar
• 13 More
  • 4 Membership of review committee
  • 4 Visiting another research institution
  • 3 Organisation or participation in workshops, courses or seminars
  • 1 Board duties in companies, associations, or public organisations
  • 1 Other

Activities per year

Search results

• Synthesis, Verification and Analysis of Rich Models (SVARM 2010)

  Peter Schneider-Kamp (Participant)

  20. Jul 2010 → 21. Jul 2010

  Activity: Attending an event › Organisation or participation in workshops, courses or seminars

• Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (IFIP WG 1.6)

  Peter Schneider-Kamp (Participant)

  10. Jul 2010

  Activity: Attending an event › Organisation or participation in workshops, courses or seminars

• IWS2010 International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)

  Peter Schneider-Kamp (Participant)

  9. Jul 2010

  Activity: Attending an event › Organisation or participation in workshops, courses or seminars