20032021

Research output per year

If you made any changes in Pure these will be visible here soon.

Activities

Filter
Peer review of manuscripts

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 reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Peer reviewer)
20. Jan 201130. Sep 2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Peer reviewer)
6. Jan 201131. Dec 2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Peer reviewer)
3. Nov 201022. Jul 2011

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Peer reviewer)
20. May 201010. Oct 2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Editor)
1. Jan 2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Editor)
1. Jan 2010

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Editor)
1. Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Editor)
1. Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

Reviewer: Journal of Logic and Algebraic Programming (Journal)

Peter Schneider-Kamp (Editor)
1. Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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

Peter Schneider-Kamp (Editor)
1. Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch

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 reviewPeer review of manuscriptsResearch

Reviewer: Theory and Practice of Logic Programming (Journal)

Peter Schneider-Kamp (Editor)
1. Jan 2009

Activity: Editorial work and peer reviewPeer review of manuscriptsResearch