Aktiviteter pr. år
Aktiviteter
- 1 - 50 ud af 68 resultater
Søgeresultater
-
digital high school exams for HHX (Ekstern organisation)
Peter Schneider-Kamp (Medlem)
2013 → …Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
inventor of SDU Scribble
Peter Schneider-Kamp (Deltager)
2012 → 2014Aktivitet: Andre aktiviteter › Andet
-
Programme Committee: Internatinal ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2012) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
17. nov. 2011 → …Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Peter Schneider-Kamp (Arrangør)
20. jul. 2011 → 22. jul. 2011Aktivitet: 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. 2011Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Programme Committee: International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
20. jan. 2011 → 30. sep. 2011Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
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
-
Program Committee: 21st International Symposium on Logic-Based Program Synthesis and Transformation (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
6. jan. 2011 → 31. dec. 2011Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Symposium on Principles and Practice of Declarative Programming (Ekstern organisation)
Peter Schneider-Kamp (Medlem)
2011 → 2014Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
Programme Committee: 13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 2011) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
3. nov. 2010 → 22. jul. 2011Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
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
-
Reviewer: 17th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-17) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
4. okt. 2010 → …Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
Peter Schneider-Kamp (Deltager)
23. jul. 2010 → 25. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Synthesis, Verification and Analysis of Rich Models (SVARM 2010)
Peter Schneider-Kamp (Deltager)
20. jul. 2010 → 21. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
-
Synthesizing Shortest Straight-Line Programs over GF(2) using SAT
Peter Schneider-Kamp (Foredragsholder)
20. jul. 2010Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
International Conference on Logic Programming (ICLP 2010)
Peter Schneider-Kamp (Deltager)
16. jul. 2010 → 19. jul. 2010Aktivitet: 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. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (IFIP WG 1.6)
Peter Schneider-Kamp (Deltager)
10. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
-
IWS2010 International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)
Peter Schneider-Kamp (Deltager)
9. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i workshop, kursus, seminar eller lignende
-
UP Valencia (Ekstern organisation)
Peter Schneider-Kamp (Medlem)
1. jun. 2010 → 15. okt. 2010Aktivitet: Medlemskab › Medlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende
-
Programme Committee: 8th International Workshop on the Implementation of Logics (IWIL 2010) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
20. maj 2010 → 10. okt. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Danish Static Analysis Symposium
Peter Schneider-Kamp (Arrangør)
4. maj 2010 → 20. aug. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
RWTH Aachen University
Peter Schneider-Kamp (Gæsteforsker)
26. mar. 2010 → 31. mar. 2010Aktivitet: Gæsteophold ved andre institutioner
-
10th International Symposium on Functional and Logic Programming (Begivenhed)
Peter Schneider-Kamp (Redaktør)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
PC Chair: International Workshop on Termination (WST 2010) (Tidsskrift)
Peter Schneider-Kamp (Redaktør)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Programme Committee: 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010) (Tidsskrift)
Peter Schneider-Kamp (Redaktør)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Programme Committee: 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR 2010) (Tidsskrift)
Peter Schneider-Kamp (Redaktør)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Programme Committee: International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (Tidsskrift)
Peter Schneider-Kamp (Redaktør)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Programme Committee: Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS-WLPE 2010) (Tidsskrift)
Peter Schneider-Kamp (Redaktør)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Reviewer: 21st International Conference on Rewriting Techniques and Applications (RTA 2010) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Reviewer: ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM 2010) (Tidsskrift)
Peter Schneider-Kamp (Peer reviewer)
1. jan. 2010Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning
-
Automated Termination Analysis of Programs using Dependency Pairs
Peter Schneider-Kamp (Foredragsholder)
4. nov. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Roskilde Universitet
Peter Schneider-Kamp (Gæsteforsker)
4. nov. 2009Aktivitet: Gæsteophold ved andre institutioner
-
Management Committee substitute member: COST Action IC0901 (Ekstern organisation)
Peter Schneider-Kamp (Medlem)
26. okt. 2009 → …Aktivitet: Medlemskab › Bestyrelsesarbejde i virksomhed, forening eller organisation
-
Organizer: International Workshop on Termination (WST '10)
Peter Schneider-Kamp (Arrangør)
26. okt. 2009 → 15. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Automated Termination Analysis of Programs using Dependency Pairs
Peter Schneider-Kamp (Foredragsholder)
22. okt. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
École Polytechnique Fédérale de Lausanne
Peter Schneider-Kamp (Gæsteforsker)
17. okt. 2009 → 24. okt. 2009Aktivitet: Gæsteophold ved andre institutioner
-
Proving Termination of Logic Programs with Cut
Peter Schneider-Kamp (Foredragsholder)
15. okt. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Nordic Workshop on Programming Theory (NWPT '09)
Peter Schneider-Kamp (Deltager)
14. okt. 2009 → 16. okt. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
RWTH Aachen University
Peter Schneider-Kamp (Gæsteforsker)
10. okt. 2009 → 12. okt. 2009Aktivitet: Gæsteophold ved andre institutioner
-
ERCIM Executive Committee
Peter Schneider-Kamp (Deltager)
17. sep. 2009 → 18. sep. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
The Dependency Triple Framework for Termination of Logic Programs
Peter Schneider-Kamp (Foredragsholder)
10. sep. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '09)
Peter Schneider-Kamp (Deltager)
9. sep. 2009 → 11. sep. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Automated Termination Analysis of Programs using Term Rewriting
Peter Schneider-Kamp (Foredragsholder)
20. aug. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
Danish Static Analysis Symposium (DANSAS '09)
Peter Schneider-Kamp (Deltager)
20. aug. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Termination Analysis by Dependency Pairs and Inductive Theorem Proving
Peter Schneider-Kamp (Foredragsholder)
6. aug. 2009Aktivitet: Foredrag og mundtlige bidrag › Foredrag og præsentationer i privat eller offentlig virksomhed
-
International Conference on Automated Deduction (CADE '09)
Peter Schneider-Kamp (Deltager)
4. aug. 2009 → 7. aug. 2009Aktivitet: 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. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Syddansk Universitet (Ekstern organisation)
Peter Schneider-Kamp (Medlem)
7. jul. 2009 → 2012Aktivitet: Medlemskab › Medlemskab af bedømmelsesudvalg