Foto af Peter Schneider-Kamp

Vis Scopus Profil

Peter Schneider-Kamp

 https://orcid.org/0000-0003-4000-5570

  • Campusvej 55

    5230 Odense M

    Danmark

20092021
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Aktiviteter 2001 2013

Filtrer
Organisering af eller deltagelse i konference

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