• Campusvej 55

    5230 Odense M

    Danmark

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

Aktiviteter 2001 2013

Filtrer
Organisering af eller deltagelse i workshop, kursus, seminar eller lignende

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

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