• 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. 201122. jul. 2011

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Peter Schneider-Kamp (Arrangør)
18. jul. 201120. jul. 2011

Aktivitet: Deltagelse i faglig begivenhedOrganisering 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 begivenhedOrganisering 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 begivenhedOrganisering 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 begivenhedOrganisering af eller deltagelse i konference

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

Peter Schneider-Kamp (Deltager)
23. jul. 201025. jul. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

International Conference on Logic Programming (ICLP 2010)

Peter Schneider-Kamp (Deltager)
16. jul. 201019. jul. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Peter Schneider-Kamp (Deltager)
11. jul. 201014. jul. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Danish Static Analysis Symposium

Peter Schneider-Kamp (Arrangør)
4. maj 201020. aug. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Organizer: International Workshop on Termination (WST '10)

Peter Schneider-Kamp (Arrangør)
26. okt. 200915. jul. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Nordic Workshop on Programming Theory (NWPT '09)

Peter Schneider-Kamp (Deltager)
14. okt. 200916. okt. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

ERCIM Executive Committee

Peter Schneider-Kamp (Deltager)
17. sep. 200918. sep. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Peter Schneider-Kamp (Deltager)
9. sep. 200911. sep. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Danish Static Analysis Symposium (DANSAS '09)

Peter Schneider-Kamp (Deltager)
20. aug. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

International Conference on Automated Deduction (CADE '09)

Peter Schneider-Kamp (Deltager)
4. aug. 20097. aug. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

International Workshop on Satisfiability Modulo Theories (SMT '09)

Peter Schneider-Kamp (Deltager)
2. aug. 20093. aug. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

IFIP Working Group 1.6

Peter Schneider-Kamp (Deltager)
2. jul. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

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

Peter Schneider-Kamp (Deltager)
29. jun. 20091. jul. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

International Workshop on Termination (WST '09)

Peter Schneider-Kamp (Deltager)
3. jun. 20095. jun. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

ERCIM Board of Directors

Peter Schneider-Kamp (Deltager)
28. maj 200929. maj 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Organizer: Danish Static Analysis Symposium (DANSAS '09)

Peter Schneider-Kamp (Arrangør)
30. mar. 200921. aug. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference