• Campusvej 55

    5230 Odense M

    Danmark

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

Aktiviteter 2001 2013

digital high school exams for HHX (Ekstern organisation)

Peter Schneider-Kamp (Medlem)
2013 → …

Aktivitet: MedlemskabMedlemskab af udvalg, kommission, råd, nævn, forening, organisation eller lignende

inventor of SDU Scribble

Peter Schneider-Kamp (Deltager)
20122014

Aktivitet: Andre aktiviteterAndet

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ømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Programme Committee: International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (Tidsskrift)

Peter Schneider-Kamp (Peer reviewer)
20. jan. 201130. sep. 2011

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Program Committee: 21st International Symposium on Logic-Based Program Synthesis and Transformation (Tidsskrift)

Peter Schneider-Kamp (Peer reviewer)
6. jan. 201131. dec. 2011

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Symposium on Principles and Practice of Declarative Programming (Ekstern organisation)

Peter Schneider-Kamp (Medlem)
20112014

Aktivitet: MedlemskabMedlemskab 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. 201022. jul. 2011

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

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ømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Synthesis, Verification and Analysis of Rich Models (SVARM 2010)

Peter Schneider-Kamp (Deltager)
20. jul. 201021. jul. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering 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. 2010

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

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

Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (IFIP WG 1.6)

Peter Schneider-Kamp (Deltager)
10. jul. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering 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. 2010

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i workshop, kursus, seminar eller lignende

UP Valencia (Ekstern organisation)

Peter Schneider-Kamp (Medlem)
1. jun. 201015. okt. 2010

Aktivitet: MedlemskabMedlemskab 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 201010. okt. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Danish Static Analysis Symposium

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

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

RWTH Aachen University

Peter Schneider-Kamp (Gæsteforsker)
26. mar. 201031. mar. 2010

Aktivitet: Gæsteophold ved andre institutioner

10th International Symposium on Functional and Logic Programming (Begivenhed)

Peter Schneider-Kamp (Redaktør)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

PC Chair: International Workshop on Termination (WST 2010) (Tidsskrift)

Peter Schneider-Kamp (Redaktør)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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

Peter Schneider-Kamp (Redaktør)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Programme Committee: 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR 2010) (Tidsskrift)

Peter Schneider-Kamp (Redaktør)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Programme Committee: International Workshop on Software Engineering for Resilient Systems (SERENE 2010) (Tidsskrift)

Peter Schneider-Kamp (Redaktør)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

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. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Reviewer: 21st International Conference on Rewriting Techniques and Applications (RTA 2010) (Tidsskrift)

Peter Schneider-Kamp (Peer reviewer)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Reviewer: ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation (PEPM 2010) (Tidsskrift)

Peter Schneider-Kamp (Peer reviewer)
1. jan. 2010

Aktivitet: Redaktionelt arbejde og fagfællebedømmelsePeer reviewer/fagfællebedømmer af manuskripterForskning

Automated Termination Analysis of Programs using Dependency Pairs

Peter Schneider-Kamp (Foredragsholder)
4. nov. 2009

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Roskilde Universitet

Peter Schneider-Kamp (Gæsteforsker)
4. nov. 2009

Aktivitet: Gæsteophold ved andre institutioner

Management Committee substitute member: COST Action IC0901 (Ekstern organisation)

Peter Schneider-Kamp (Medlem)
26. okt. 2009 → …

Aktivitet: MedlemskabBestyrelsesarbejde i virksomhed, forening eller organisation

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

Automated Termination Analysis of Programs using Dependency Pairs

Peter Schneider-Kamp (Foredragsholder)
22. okt. 2009

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

École Polytechnique Fédérale de Lausanne

Peter Schneider-Kamp (Gæsteforsker)
17. okt. 200924. okt. 2009

Aktivitet: Gæsteophold ved andre institutioner

Proving Termination of Logic Programs with Cut

Peter Schneider-Kamp (Foredragsholder)
15. okt. 2009

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

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

RWTH Aachen University

Peter Schneider-Kamp (Gæsteforsker)
10. okt. 200912. okt. 2009

Aktivitet: Gæsteophold ved andre institutioner

ERCIM Executive Committee

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

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

The Dependency Triple Framework for Termination of Logic Programs

Peter Schneider-Kamp (Foredragsholder)
10. sep. 2009

Aktivitet: Foredrag og mundtlige bidragForedrag 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. 200911. sep. 2009

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Automated Termination Analysis of Programs using Term Rewriting

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

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

Danish Static Analysis Symposium (DANSAS '09)

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

Aktivitet: Deltagelse i faglig begivenhedOrganisering af eller deltagelse i konference

Termination Analysis by Dependency Pairs and Inductive Theorem Proving

Peter Schneider-Kamp (Foredragsholder)
6. aug. 2009

Aktivitet: Foredrag og mundtlige bidragForedrag og præsentationer i privat eller offentlig virksomhed

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

Syddansk Universitet (Ekstern organisation)

Peter Schneider-Kamp (Medlem)
7. jul. 20092012

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg