Activities per year
Activities
- 21 results
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 2011Activity: 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 2011Activity: 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 2011Activity: 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 2010Activity: 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 2010Activity: 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 2010Activity: 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 2010Activity: 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 2010Activity: 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 2010Activity: 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 2010Activity: 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 2010Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Workshop on Practical Aspects of Automated Reasoning (Event)
Schneider-Kamp, P. (Editor)
1. Jan 2010Activity: 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 2009Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
25th International Conference on Logic Programming (Event)
Schneider-Kamp, P. (Editor)
1. Jan 2009Activity: 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 2009Activity: 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 2009Activity: 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 2009Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
KI - Künstliche Intelligenz (Journal)
Schneider-Kamp, P. (Editor)
1. Jan 2009Activity: Editorial work and peer review › Peer review of manuscripts › Research
-
Theory and Practice of Logic Programming (Journal)
Schneider-Kamp, P. (Editor)
1. Jan 2009Activity: Editorial work and peer review › Peer review of manuscripts › Research