Peter Schneider-Kamp

Search results

• digital high school exams for HHX (External organisation)

  Peter Schneider-Kamp (Member)

  2013 → …

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

• inventor of SDU Scribble

  Peter Schneider-Kamp (Participant)

  2012 → 2014

  Activity: Other activities › Other

• 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

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

  Peter Schneider-Kamp (Organizer)

  20. Jul 2011 → 22. Jul 2011

  Activity: Attending an event › Conference organisation or participation

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

  Peter Schneider-Kamp (Organizer)

  18. Jul 2011 → 20. Jul 2011

  Activity: Attending an event › Conference organisation or participation

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

  Peter Schneider-Kamp (Peer reviewer)

  20. Jan 2011 → 30. Sept 2011

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

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

  Peter Schneider-Kamp (Organizer)

  11. Jan 2011 → …

  Activity: Attending an event › Conference organisation or participation

• 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

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

  Peter Schneider-Kamp (Member)

  2011 → 2014

  Activity: Membership › Membership 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 2010 → 22. Jul 2011

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

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

  Peter Schneider-Kamp (Organizer)

  4. Oct 2010 → …

  Activity: Attending an event › Conference organisation or participation

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

  Peter Schneider-Kamp (Peer reviewer)

  4. Oct 2010 → …

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

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

  Peter Schneider-Kamp (Organizer)

  4. Oct 2010 → …

  Activity: Attending an event › Conference organisation or participation

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

  Peter Schneider-Kamp (Participant)

  23. Jul 2010 → 25. Jul 2010

  Activity: Attending an event › Conference organisation or participation

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

  Peter Schneider-Kamp (Lecturer)

  20. Jul 2010

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

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

  Peter Schneider-Kamp (Participant)

  20. Jul 2010 → 21. Jul 2010

  Activity: Attending an event › Organisation or participation in workshops, courses or seminars

• International Conference on Logic Programming (ICLP 2010)

  Peter Schneider-Kamp (Participant)

  16. Jul 2010 → 19. Jul 2010

  Activity: Attending an event › Conference organisation or participation

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

  Peter Schneider-Kamp (Participant)

  11. Jul 2010 → 14. Jul 2010

  Activity: Attending an event › Conference 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 event › Organisation 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 event › Organisation or participation in workshops, courses or seminars

• UP Valencia (External organisation)

  Peter Schneider-Kamp (Member)

  1. Jun 2010 → 15. Oct 2010

  Activity: Membership › Membership 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 2010 → 10. Oct 2010

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

• Danish Static Analysis Symposium

  Peter Schneider-Kamp (Organizer)

  4. May 2010 → 20. Aug 2010

  Activity: Attending an event › Conference organisation or participation

• RWTH Aachen University

  Peter Schneider-Kamp (Visiting researcher)

  26. Mar 2010 → 31. 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 review › Peer review of manuscripts › Research

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

  Peter Schneider-Kamp (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)

  Peter Schneider-Kamp (Peer reviewer)

  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

• Automated Termination Analysis of Programs using Dependency Pairs

  Peter Schneider-Kamp (Lecturer)

  4. Nov 2009

  Activity: Talks and presentations › Talks 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: Membership › Board duties in companies, associations, or public organisations

• Organizer: International Workshop on Termination (WST '10)

  Peter Schneider-Kamp (Organizer)

  26. Oct 2009 → 15. Jul 2010

  Activity: Attending an event › Conference organisation or participation

• Automated Termination Analysis of Programs using Dependency Pairs

  Peter Schneider-Kamp (Lecturer)

  22. Oct 2009

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

• École Polytechnique Fédérale de Lausanne

  Peter Schneider-Kamp (Visiting researcher)

  17. Oct 2009 → 24. Oct 2009

  Activity: Visiting another research institution

• Proving Termination of Logic Programs with Cut

  Peter Schneider-Kamp (Lecturer)

  15. Oct 2009

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

• Nordic Workshop on Programming Theory (NWPT '09)

  Peter Schneider-Kamp (Participant)

  14. Oct 2009 → 16. Oct 2009

  Activity: Attending an event › Conference organisation or participation

• RWTH Aachen University

  Peter Schneider-Kamp (Visiting researcher)

  10. Oct 2009 → 12. Oct 2009

  Activity: Visiting another research institution

• ERCIM Executive Committee

  Peter Schneider-Kamp (Participant)

  17. Sept 2009 → 18. Sept 2009

  Activity: Attending an event › Conference organisation or participation

• The Dependency Triple Framework for Termination of Logic Programs

  Peter Schneider-Kamp (Lecturer)

  10. Sept 2009

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

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

  Peter Schneider-Kamp (Participant)

  9. Sept 2009 → 11. Sept 2009

  Activity: Attending an event › Conference organisation or participation

• Automated Termination Analysis of Programs using Term Rewriting

  Peter Schneider-Kamp (Lecturer)

  20. Aug 2009

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

• Danish Static Analysis Symposium (DANSAS '09)

  Peter Schneider-Kamp (Participant)

  20. Aug 2009

  Activity: Attending an event › Conference organisation or participation

• Termination Analysis by Dependency Pairs and Inductive Theorem Proving

  Peter Schneider-Kamp (Lecturer)

  6. Aug 2009

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

• International Conference on Automated Deduction (CADE '09)

  Peter Schneider-Kamp (Participant)

  4. Aug 2009 → 7. Aug 2009

  Activity: Attending an event › Conference organisation or participation

• International Workshop on Satisfiability Modulo Theories (SMT '09)

  Peter Schneider-Kamp (Participant)

  2. Aug 2009 → 3. Aug 2009

  Activity: Attending an event › Conference organisation or participation

• University of Southern Denmark (External organisation)

  Peter Schneider-Kamp (Member)

  7. Jul 2009 → 2012

  Activity: Membership › Membership of review committee