Peter Schneider-Kamp

View Scopus Profile

Phone+4565502327
Emailpeterskimada.sdudk

21 Conference organisation or participation
21 Peer review of manuscripts
8 Talks and presentations in private or public companies
5 Membership of commitees, commissions, boards, councils, associations, organisations, or similar
More

21 results
- Start date(ascending)
- Title

Filter

13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Schneider-Kamp, P. (Organizer)
20. Jul 2011 → 22. Jul 2011
Activity: Attending an event › Conference organisation or participation
21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011)
Schneider-Kamp, P. (Organizer)
18. Jul 2011 → 20. Jul 2011
Activity: Attending an event › Conference organisation or participation
21st Workshop on Logic-based methods in Programming Environments (WLPE 2011)
Schneider-Kamp, P. (Organizer)
11. Jan 2011 → …
Activity: Attending an event › Conference organisation or participation
13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Schneider-Kamp, P. (Organizer)
4. Oct 2010 → …
Activity: Attending an event › Conference organisation or participation
21st International Symposium on Logic-Based Program-Synthesis and Transformation (LOPSTR 2011)
Schneider-Kamp, P. (Organizer)
4. Oct 2010 → …
Activity: Attending an event › Conference organisation or participation
20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
Schneider-Kamp, P. (Participant)
23. Jul 2010 → 25. Jul 2010
Activity: Attending an event › Conference organisation or participation
International Conference on Logic Programming (ICLP 2010)
Schneider-Kamp, P. (Participant)
16. Jul 2010 → 19. Jul 2010
Activity: Attending an event › Conference organisation or participation
International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
Schneider-Kamp, P. (Participant)
11. Jul 2010 → 14. Jul 2010
Activity: Attending an event › Conference organisation or participation
Danish Static Analysis Symposium
Schneider-Kamp, P. (Organizer)
4. May 2010 → 20. Aug 2010
Activity: Attending an event › Conference organisation or participation
Organizer: International Workshop on Termination (WST '10)
Schneider-Kamp, P. (Organizer)
26. Oct 2009 → 15. Jul 2010
Activity: Attending an event › Conference organisation or participation
Nordic Workshop on Programming Theory (NWPT '09)
Schneider-Kamp, P. (Participant)
14. Oct 2009 → 16. Oct 2009
Activity: Attending an event › Conference organisation or participation
ERCIM Executive Committee
Schneider-Kamp, P. (Participant)
17. Sept 2009 → 18. Sept 2009
Activity: Attending an event › Conference organisation or participation
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '09)
Schneider-Kamp, P. (Participant)
9. Sept 2009 → 11. Sept 2009
Activity: Attending an event › Conference organisation or participation
Danish Static Analysis Symposium (DANSAS '09)
Schneider-Kamp, P. (Participant)
20. Aug 2009
Activity: Attending an event › Conference organisation or participation
International Conference on Automated Deduction (CADE '09)
Schneider-Kamp, P. (Participant)
4. Aug 2009 → 7. Aug 2009
Activity: Attending an event › Conference organisation or participation
International Workshop on Satisfiability Modulo Theories (SMT '09)
Schneider-Kamp, P. (Participant)
2. Aug 2009 → 3. Aug 2009
Activity: Attending an event › Conference organisation or participation
IFIP Working Group 1.6
Schneider-Kamp, P. (Participant)
2. Jul 2009
Activity: Attending an event › Conference organisation or participation
International Conference on Rewriting Techniques and Applications (RTA '09)
Schneider-Kamp, P. (Participant)
29. Jun 2009 → 1. Jul 2009
Activity: Attending an event › Conference organisation or participation
International Workshop on Termination (WST '09)
Schneider-Kamp, P. (Participant)
3. Jun 2009 → 5. Jun 2009
Activity: Attending an event › Conference organisation or participation
ERCIM Board of Directors
Schneider-Kamp, P. (Participant)
28. May 2009 → 29. May 2009
Activity: Attending an event › Conference organisation or participation
Organizer: Danish Static Analysis Symposium (DANSAS '09)
Schneider-Kamp, P. (Organizer)
30. Mar 2009 → 21. Aug 2009
Activity: Attending an event › Conference organisation or participation

Peter Schneider-Kamp

Activities

Search results