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

Activities 2001 2013

digital high school exams for HHX (External organisation)

Peter Schneider-Kamp (Member)
2013 → …

Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

inventor of SDU Scribble

Peter Schneider-Kamp (Participant)
20122014

Activity: Other activitiesOther

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

13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Peter Schneider-Kamp (Organizer)
20. Jul 201122. Jul 2011

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Organizer)
18. Jul 201120. Jul 2011

Activity: Attending an eventConference organisation or participation

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

21st Workshop on Logic-based methods in Programming Environments (WLPE 2011)

Peter Schneider-Kamp (Organizer)
11. Jan 2011 → …

Activity: Attending an eventConference organisation or participation

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

Symposium on Principles and Practice of Declarative Programming (External organisation)

Peter Schneider-Kamp (Member)
20112014

Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

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

13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Peter Schneider-Kamp (Organizer)
4. Oct 2010 → …

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Organizer)
4. Oct 2010 → …

Activity: Attending an eventConference organisation or participation

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

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

Peter Schneider-Kamp (Participant)
23. Jul 201025. Jul 2010

Activity: Attending an eventConference organisation or participation

Synthesizing Shortest Straight-Line Programs over GF(2) using SAT

Peter Schneider-Kamp (Lecturer)
20. Jul 2010

Activity: Talks and presentationsTalks and presentations in private or public companies

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

Peter Schneider-Kamp (Participant)
20. Jul 201021. Jul 2010

Activity: Attending an eventOrganisation or participation in workshops, courses or seminars

International Conference on Logic Programming (ICLP 2010)

Peter Schneider-Kamp (Participant)
16. Jul 201019. Jul 2010

Activity: Attending an eventConference organisation or participation

International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)

Peter Schneider-Kamp (Participant)
11. Jul 201014. Jul 2010

Activity: Attending an eventConference organisation or participation

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 eventOrganisation 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 eventOrganisation or participation in workshops, courses or seminars

UP Valencia (External organisation)

Peter Schneider-Kamp (Member)
1. Jun 201015. Oct 2010

Activity: MembershipMembership of commitees, commissions, boards, councils, associations, organisations, or similar

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

Danish Static Analysis Symposium

Peter Schneider-Kamp (Organizer)
4. May 201020. Aug 2010

Activity: Attending an eventConference organisation or participation

RWTH Aachen University

Peter Schneider-Kamp (Visiting researcher)
26. Mar 201031. Mar 2010

Activity: Visiting another research institution

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

Automated Termination Analysis of Programs using Dependency Pairs

Peter Schneider-Kamp (Lecturer)
4. Nov 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

Roskilde Universitet

Peter Schneider-Kamp (Visiting researcher)
4. Nov 2009

Activity: Visiting another research institution

Management Committee substitute member: COST Action IC0901 (External organisation)

Peter Schneider-Kamp (Member)
26. Oct 2009 → …

Activity: MembershipBoard duties in companies, associations, or public organisations

Organizer: International Workshop on Termination (WST '10)

Peter Schneider-Kamp (Organizer)
26. Oct 200915. Jul 2010

Activity: Attending an eventConference organisation or participation

Automated Termination Analysis of Programs using Dependency Pairs

Peter Schneider-Kamp (Lecturer)
22. Oct 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

École Polytechnique Fédérale de Lausanne

Peter Schneider-Kamp (Visiting researcher)
17. Oct 200924. Oct 2009

Activity: Visiting another research institution

Proving Termination of Logic Programs with Cut

Peter Schneider-Kamp (Lecturer)
15. Oct 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

Nordic Workshop on Programming Theory (NWPT '09)

Peter Schneider-Kamp (Participant)
14. Oct 200916. Oct 2009

Activity: Attending an eventConference organisation or participation

RWTH Aachen University

Peter Schneider-Kamp (Visiting researcher)
10. Oct 200912. Oct 2009

Activity: Visiting another research institution

ERCIM Executive Committee

Peter Schneider-Kamp (Participant)
17. Sep 200918. Sep 2009

Activity: Attending an eventConference organisation or participation

The Dependency Triple Framework for Termination of Logic Programs

Peter Schneider-Kamp (Lecturer)
10. Sep 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '09)

Peter Schneider-Kamp (Participant)
9. Sep 200911. Sep 2009

Activity: Attending an eventConference organisation or participation

Automated Termination Analysis of Programs using Term Rewriting

Peter Schneider-Kamp (Lecturer)
20. Aug 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

Danish Static Analysis Symposium (DANSAS '09)

Peter Schneider-Kamp (Participant)
20. Aug 2009

Activity: Attending an eventConference organisation or participation

Termination Analysis by Dependency Pairs and Inductive Theorem Proving

Peter Schneider-Kamp (Lecturer)
6. Aug 2009

Activity: Talks and presentationsTalks and presentations in private or public companies

International Conference on Automated Deduction (CADE '09)

Peter Schneider-Kamp (Participant)
4. Aug 20097. Aug 2009

Activity: Attending an eventConference organisation or participation

International Workshop on Satisfiability Modulo Theories (SMT '09)

Peter Schneider-Kamp (Participant)
2. Aug 20093. Aug 2009

Activity: Attending an eventConference organisation or participation

University of Southern Denmark (External organisation)

Peter Schneider-Kamp (Member)
7. Jul 20092012

Activity: MembershipMembership of review committee