Aktiviteter pr. år
Aktiviteter
- 21 resultater
Søgeresultater
-
13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Schneider-Kamp, P. (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)
Schneider-Kamp, P. (Arrangør)
18. jul. 2011 → 20. jul. 2011Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
21st Workshop on Logic-based methods in Programming Environments (WLPE 2011)
Schneider-Kamp, P. (Arrangør)
11. jan. 2011 → …Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
13th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Schneider-Kamp, P. (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)
Schneider-Kamp, P. (Arrangør)
4. okt. 2010 → …Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010)
Schneider-Kamp, P. (Deltager)
23. jul. 2010 → 25. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Conference on Logic Programming (ICLP 2010)
Schneider-Kamp, P. (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)
Schneider-Kamp, P. (Deltager)
11. jul. 2010 → 14. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Danish Static Analysis Symposium
Schneider-Kamp, P. (Arrangør)
4. maj 2010 → 20. aug. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Organizer: International Workshop on Termination (WST '10)
Schneider-Kamp, P. (Arrangør)
26. okt. 2009 → 15. jul. 2010Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Nordic Workshop on Programming Theory (NWPT '09)
Schneider-Kamp, P. (Deltager)
14. okt. 2009 → 16. okt. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
ERCIM Executive Committee
Schneider-Kamp, P. (Deltager)
17. sep. 2009 → 18. sep. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR '09)
Schneider-Kamp, P. (Deltager)
9. sep. 2009 → 11. sep. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Danish Static Analysis Symposium (DANSAS '09)
Schneider-Kamp, P. (Deltager)
20. aug. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Conference on Automated Deduction (CADE '09)
Schneider-Kamp, P. (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)
Schneider-Kamp, P. (Deltager)
2. aug. 2009 → 3. aug. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
IFIP Working Group 1.6
Schneider-Kamp, P. (Deltager)
2. jul. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Conference on Rewriting Techniques and Applications (RTA '09)
Schneider-Kamp, P. (Deltager)
29. jun. 2009 → 1. jul. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
International Workshop on Termination (WST '09)
Schneider-Kamp, P. (Deltager)
3. jun. 2009 → 5. jun. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
ERCIM Board of Directors
Schneider-Kamp, P. (Deltager)
28. maj 2009 → 29. maj 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference
-
Organizer: Danish Static Analysis Symposium (DANSAS '09)
Schneider-Kamp, P. (Arrangør)
30. mar. 2009 → 21. aug. 2009Aktivitet: Deltagelse i faglig begivenhed › Organisering af eller deltagelse i konference