• Campusvej 55

    5230 Odense M

    Danmark

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

Aktiviteter 2001 2013

Filtrer
Peer reviewer/fagfællebedømmer af manuskripter

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

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

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

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

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

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

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

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

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

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

Reviewer: 20th International Conference on Rewriting Techniques and Applications (RTA 2009) (Tidsskrift)

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

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

Reviewer: 25th International Conference on Logic Programming (ICLP 2009) (Tidsskrift)

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

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

Reviewer: Journal of Logic and Algebraic Programming (Tidsskrift)

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

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

Reviewer: KI - Zeitschrift Künstliche Intelligenz (Tidsskrift)

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

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

Reviewer: Proceedings of the 18th EACSL Annual Conference on Computer Science Logic (Tidsskrift)

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

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

Reviewer: Theory and Practice of Logic Programming (Tidsskrift)

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

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