Peter Schneider-Kamp

Søgeresultater

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

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (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

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (Deltager)

  11. jul. 2010 → 14. jul. 2010

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

• Danish Static Analysis Symposium

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (Deltager)

  14. okt. 2009 → 16. okt. 2009

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

• ERCIM Executive Committee

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (Deltager)

  9. sep. 2009 → 11. sep. 2009

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

• Danish Static Analysis Symposium (DANSAS '09)

  Schneider-Kamp, P. (Deltager)

  20. aug. 2009

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

• International Conference on Automated Deduction (CADE '09)

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (Deltager)

  2. aug. 2009 → 3. aug. 2009

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

• IFIP Working Group 1.6

  Schneider-Kamp, P. (Deltager)

  2. jul. 2009

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

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

  Schneider-Kamp, P. (Deltager)

  29. jun. 2009 → 1. jul. 2009

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

• International Workshop on Termination (WST '09)

  Schneider-Kamp, P. (Deltager)

  3. jun. 2009 → 5. jun. 2009

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

• ERCIM Board of Directors

  Schneider-Kamp, P. (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)

  Schneider-Kamp, P. (Arrangør)

  30. mar. 2009 → 21. aug. 2009

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