Peter Schneider-Kamp

Aktiviteter

Aktiviteter pr. år 2001 2009 2010 2013

• 21 Organisering af eller deltagelse i konference
• 21 Peer reviewer/fagfællebedømmer af manuskripter
• 8 Foredrag og præsentationer i privat eller offentlig virksomhed
• 5 Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
• 13 Mere
  • 4 Medlemskab af bedømmelsesudvalg
  • 4 Gæsteophold ved andre institutioner
  • 3 Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
  • 1 Bestyrelsesarbejde i virksomhed, forening eller organisation
  • 1 Andet

Aktiviteter pr. år

Søgeresultater

• digital high school exams for HHX (Ekstern organisation)

  Peter Schneider-Kamp (Medlem)

  2013 → …

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

• inventor of SDU Scribble

  Peter Schneider-Kamp (Deltager)

  2012 → 2014

  Aktivitet: Andre aktiviteter › Andet

• Programme Committee: Internatinal ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012) (Tidsskrift)

  Peter Schneider-Kamp (Peer reviewer)

  17. nov. 2011 → …

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Arrangør)

  20. jul. 2011 → 22. jul. 2011

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Arrangør)

  18. jul. 2011 → 20. jul. 2011

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Peer reviewer)

  20. jan. 2011 → 30. sep. 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Arrangør)

  11. jan. 2011 → …

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Peer reviewer)

  6. jan. 2011 → 31. dec. 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Medlem)

  2011 → 2014

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

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

  Peter Schneider-Kamp (Peer reviewer)

  3. nov. 2010 → 22. jul. 2011

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Arrangør)

  4. okt. 2010 → …

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Arrangør)

  4. okt. 2010 → …

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Reviewer: 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17) (Tidsskrift)

  Peter Schneider-Kamp (Peer reviewer)

  4. okt. 2010 → …

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Deltager)

  23. jul. 2010 → 25. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Deltager)

  20. jul. 2010 → 21. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

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

  Peter Schneider-Kamp (Foredragsholder)

  20. jul. 2010

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• International Conference on Logic Programming (ICLP 2010)

  Peter Schneider-Kamp (Deltager)

  16. jul. 2010 → 19. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Deltager)

  11. jul. 2010 → 14. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (IFIP WG 1.6)

  Peter Schneider-Kamp (Deltager)

  10. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

• IWS2010 International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)

  Peter Schneider-Kamp (Deltager)

  9. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

• UP Valencia (Ekstern organisation)

  Peter Schneider-Kamp (Medlem)

  1. jun. 2010 → 15. okt. 2010

  Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

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

  Peter Schneider-Kamp (Peer reviewer)

  20. maj 2010 → 10. okt. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Danish Static Analysis Symposium

  Peter Schneider-Kamp (Arrangør)

  4. maj 2010 → 20. aug. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• RWTH Aachen University

  Peter Schneider-Kamp (Gæsteforsker)

  26. mar. 2010 → 31. mar. 2010

  Aktivitet: Gæsteophold ved andre institutioner

• 10th International Symposium on Functional and Logic Programming (Begivenhed)

  Peter Schneider-Kamp (Redaktør)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Redaktør)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Redaktør)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Programme Committee: 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR 2010) (Tidsskrift)

  Peter Schneider-Kamp (Redaktør)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

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

  Peter Schneider-Kamp (Redaktør)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Programme Committee: Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010) (Tidsskrift)

  Peter Schneider-Kamp (Redaktør)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Reviewer: 21st International Conference on Rewriting Techniques and Applications (RTA 2010) (Tidsskrift)

  Peter Schneider-Kamp (Peer reviewer)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Reviewer: ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM 2010) (Tidsskrift)

  Peter Schneider-Kamp (Peer reviewer)

  1. jan. 2010

  Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning

• Automated Termination Analysis of Programs using Dependency Pairs

  Peter Schneider-Kamp (Foredragsholder)

  4. nov. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Roskilde Universitet

  Peter Schneider-Kamp (Gæsteforsker)

  4. nov. 2009

  Aktivitet: Gæsteophold ved andre institutioner

• Management Committee substitute member: COST Action IC0901 (Ekstern organisation)

  Peter Schneider-Kamp (Medlem)

  26. okt. 2009 → …

  Aktivitet: Medlemskab › Bestyrelsesarbejde i virksomhed, forening eller organisation

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

  Peter Schneider-Kamp (Arrangør)

  26. okt. 2009 → 15. jul. 2010

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Automated Termination Analysis of Programs using Dependency Pairs

  Peter Schneider-Kamp (Foredragsholder)

  22. okt. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• École Polytechnique Fédérale de Lausanne

  Peter Schneider-Kamp (Gæsteforsker)

  17. okt. 2009 → 24. okt. 2009

  Aktivitet: Gæsteophold ved andre institutioner

• Proving Termination of Logic Programs with Cut

  Peter Schneider-Kamp (Foredragsholder)

  15. okt. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Nordic Workshop on Programming Theory (NWPT '09)

  Peter Schneider-Kamp (Deltager)

  14. okt. 2009 → 16. okt. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• RWTH Aachen University

  Peter Schneider-Kamp (Gæsteforsker)

  10. okt. 2009 → 12. okt. 2009

  Aktivitet: Gæsteophold ved andre institutioner

• ERCIM Executive Committee

  Peter Schneider-Kamp (Deltager)

  17. sep. 2009 → 18. sep. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• The Dependency Triple Framework for Termination of Logic Programs

  Peter Schneider-Kamp (Foredragsholder)

  10. sep. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

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

  Peter Schneider-Kamp (Deltager)

  9. sep. 2009 → 11. sep. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Automated Termination Analysis of Programs using Term Rewriting

  Peter Schneider-Kamp (Foredragsholder)

  20. aug. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• Danish Static Analysis Symposium (DANSAS '09)

  Peter Schneider-Kamp (Deltager)

  20. aug. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Termination Analysis by Dependency Pairs and Inductive Theorem Proving

  Peter Schneider-Kamp (Foredragsholder)

  6. aug. 2009

  Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed

• International Conference on Automated Deduction (CADE '09)

  Peter Schneider-Kamp (Deltager)

  4. aug. 2009 → 7. aug. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

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

  Peter Schneider-Kamp (Deltager)

  2. aug. 2009 → 3. aug. 2009

  Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference

• Syddansk Universitet (Ekstern organisation)

  Peter Schneider-Kamp (Medlem)

  7. jul. 2009 → 2012

  Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg