20032021
If you made any changes in Pure these will be visible here soon.

Activities 2001 2013

Filter
Conference organisation or participation

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

Peter Schneider-Kamp (Organizer)
20. Jul 201122. Jul 2011

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Organizer)
18. Jul 201120. Jul 2011

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Organizer)
11. Jan 2011 → …

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Organizer)
4. Oct 2010 → …

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Organizer)
4. Oct 2010 → …

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Participant)
23. Jul 201025. Jul 2010

Activity: Attending an eventConference organisation or participation

International Conference on Logic Programming (ICLP 2010)

Peter Schneider-Kamp (Participant)
16. Jul 201019. Jul 2010

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Participant)
11. Jul 201014. Jul 2010

Activity: Attending an eventConference organisation or participation

Danish Static Analysis Symposium

Peter Schneider-Kamp (Organizer)
4. May 201020. Aug 2010

Activity: Attending an eventConference organisation or participation

Organizer: International Workshop on Termination (WST '10)

Peter Schneider-Kamp (Organizer)
26. Oct 200915. Jul 2010

Activity: Attending an eventConference organisation or participation

Nordic Workshop on Programming Theory (NWPT '09)

Peter Schneider-Kamp (Participant)
14. Oct 200916. Oct 2009

Activity: Attending an eventConference organisation or participation

ERCIM Executive Committee

Peter Schneider-Kamp (Participant)
17. Sep 200918. Sep 2009

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Participant)
9. Sep 200911. Sep 2009

Activity: Attending an eventConference organisation or participation

Danish Static Analysis Symposium (DANSAS '09)

Peter Schneider-Kamp (Participant)
20. Aug 2009

Activity: Attending an eventConference organisation or participation

International Conference on Automated Deduction (CADE '09)

Peter Schneider-Kamp (Participant)
4. Aug 20097. Aug 2009

Activity: Attending an eventConference organisation or participation

International Workshop on Satisfiability Modulo Theories (SMT '09)

Peter Schneider-Kamp (Participant)
2. Aug 20093. Aug 2009

Activity: Attending an eventConference organisation or participation

IFIP Working Group 1.6

Peter Schneider-Kamp (Participant)
2. Jul 2009

Activity: Attending an eventConference organisation or participation

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

Peter Schneider-Kamp (Participant)
29. Jun 20091. Jul 2009

Activity: Attending an eventConference organisation or participation

International Workshop on Termination (WST '09)

Peter Schneider-Kamp (Participant)
3. Jun 20095. Jun 2009

Activity: Attending an eventConference organisation or participation

ERCIM Board of Directors

Peter Schneider-Kamp (Participant)
28. May 200929. May 2009

Activity: Attending an eventConference organisation or participation

Organizer: Danish Static Analysis Symposium (DANSAS '09)

Peter Schneider-Kamp (Organizer)
30. Mar 200921. Aug 2009

Activity: Attending an eventConference organisation or participation