Peter Schneider-Kamp

Search results

• Symposium on Principles and Practice of Declarative Programming (Event)

  Schneider-Kamp, P. (Peer reviewer)

  17. Nov 2011 → …

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

• International Workshop on Software Engineering for Resilient Systems (Event)

  Schneider-Kamp, P. (Peer reviewer)

  20. Jan 2011 → 30. Sept 2011

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

• 21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011) (Event)

  Schneider-Kamp, P. (Peer reviewer)

  6. Jan 2011 → 31. Dec 2011

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

• 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP 2011 (Event)

  Schneider-Kamp, P. (Peer reviewer)

  3. Nov 2010 → 22. Jul 2011

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

• 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (Event)

  Schneider-Kamp, P. (Peer reviewer)

  4. Oct 2010 → …

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

• International Workshop on the Implementation of Logics (Event)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (Editor)

  1. Jan 2010

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

• 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010) (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2010

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

• ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM 2010) (Event)

  Schneider-Kamp, P. (Peer reviewer)

  1. Jan 2010

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

• International Conference on Rewriting Techniques and Applications (RTA '09) (Event)

  Schneider-Kamp, P. (Peer reviewer)

  1. Jan 2010

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

• International Workshop on Software Engineering for Resilient Systems (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2010

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

• Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2010

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

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

  Schneider-Kamp, P. (Editor)

  1. Jan 2010

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

• Workshop on Practical Aspects of Automated Reasoning (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2010

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

• 18th EACSL Annual Conference on Computer Science Logic (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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

• 25th International Conference on Logic Programming (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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

• International Conference on Rewriting Techniques and Applications (RTA '09) (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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

• International Symposium on Logic-Based Program Synthesis and Transformation (Event)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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

• Journal of Logical and Algebraic Methods in Programming (Journal)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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

• KI - Künstliche Intelligenz (Journal)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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

• Theory and Practice of Logic Programming (Journal)

  Schneider-Kamp, P. (Editor)

  1. Jan 2009

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