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

• Programme Committee: Internatinal ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  17. Nov 2011 → …

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  20. Jan 2011 → 30. Sep 2011

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Program Committee: 21st International Symposium on Logic-Based Program Synthesis and Transformation (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  6. Jan 2011 → 31. Dec 2011

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: 13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  3. Nov 2010 → 22. Jul 2011

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  4. Oct 2010 → …

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: 8th International Workshop on the Implementation of Logics (IWIL 2010) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  20. May 2010 → 10. Oct 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• 10th International Symposium on Functional and Logic Programming (Event)

  Peter Schneider-Kamp (Editor)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• PC Chair: International Workshop on Termination (WST 2010) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR 2010) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: 21st International Conference on Rewriting Techniques and Applications (RTA 2010) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM 2010) (Journal)

  Peter Schneider-Kamp (Peer reviewer)

  1. Jan 2010

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Programme Committee: 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2009) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: 20th International Conference on Rewriting Techniques and Applications (RTA 2009) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: 25th International Conference on Logic Programming (ICLP 2009) (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: Journal of Logic and Algebraic Programming (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: KI - Zeitschrift Künstliche Intelligenz (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: Proceedings of the 18th EACSL Annual Conference on Computer Science Logic (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research

• Reviewer: Theory and Practice of Logic Programming (Journal)

  Peter Schneider-Kamp (Editor)

  1. Jan 2009

  Activity: Editorial work and peer review › Peer review of manuscripts › Research