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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• 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

• ERCIM Executive Committee

  Peter Schneider-Kamp (Deltager)

  17. sep. 2009 → 18. sep. 2009

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

• 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

• Danish Static Analysis Symposium (DANSAS '09)

  Peter Schneider-Kamp (Deltager)

  20. aug. 2009

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

• 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

• IFIP Working Group 1.6

  Peter Schneider-Kamp (Deltager)

  2. jul. 2009

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

• International Conference on Rewriting Techniques and Applications (RTA '09)

  Peter Schneider-Kamp (Deltager)

  29. jun. 2009 → 1. jul. 2009

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

• International Workshop on Termination (WST '09)

  Peter Schneider-Kamp (Deltager)

  3. jun. 2009 → 5. jun. 2009

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

• ERCIM Board of Directors

  Peter Schneider-Kamp (Deltager)

  28. maj 2009 → 29. maj 2009

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

• Organizer: Danish Static Analysis Symposium (DANSAS '09)

  Peter Schneider-Kamp (Arrangør)

  30. mar. 2009 → 21. aug. 2009

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