Activities per year
- 50 - 100 out of 111 results
Search results
-
8th International Conference on Graph Transformation
Plump, D. (Member of programme committee)
Apr 2015Activity: Participating in or organising an event › Conference participation
-
Dagstuhl Seminar 15122: Formal Models of Graph Transformation in Natural Language Processing
Plump, D. (Participant)
2015Activity: Participating in or organising an event › Seminar/workshop/course
-
Dagstuhl Seminar 15451: Verification of Evolving Graph Structures
Plump, D. (Invited speaker)
2015Activity: Participating in or organising an event › Seminar/workshop/course
-
7th International Conference on Graph Transformation
Plump, D. (Member of programme committee)
Jul 2014Activity: Participating in or organising an event › Conference participation
-
Computational Completeness of Simple Graph Programs
Plump, D. (Invited speaker)
28 May 2014Activity: Talk or presentation › Invited talk
-
Minimizing Finite Automata with Graph Programs
Plump, D. (Invited speaker)
13 Mar 2013Activity: Talk or presentation › Invited talk
-
-
-
Electronic Proceedings in Theoretical Computer Science 110 (Journal)
Plump, D. (Guest editor)
Feb 2013Activity: Publication peer-review and editorial work › Journal or guest editorship
-
-
7th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013)
Plump, D. (Chair)
2013Activity: Participating in or organising an event › Seminar/workshop/course
-
6th International Conference on Graph Transformation
Plump, D. (Member of programme committee)
Sept 2012Activity: Participating in or organising an event › Conference participation
-
-
Internal PhD Adviser and Examiner
Plump, D. (Examiner (internal))
2012 → 4 Mar 2015Activity: Examination › PhD
-
Internal PhD Adviser and Examiner
Plump, D. (Examiner (internal))
2012 → 12 Apr 2016Activity: Examination › PhD
-
The Design of GP 2
Plump, D. (Invited speaker)
16 Dec 2011Activity: Talk or presentation › Invited talk
-
The Graph Programming Language GP
Plump, D. (Invited speaker)
1 Nov 2011Activity: Talk or presentation › Invited talk
-
-
Graph Programs: Semantics, Verification and Implementation
Plump, D. (Invited speaker)
7 Jul 2011Activity: Talk or presentation › Invited talk
-
Safe Pointers by Graph Transformation
Plump, D. (Invited speaker)
24 Feb 2011Activity: Talk or presentation › Invited talk
-
10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011)
Plump, D. (Invited speaker)
2011Activity: Participating in or organising an event › Seminar/workshop/course
-
-
Electronic Communications of the EASST 26 (Journal)
Plump, D. (Guest editor)
Apr 2010Activity: Publication peer-review and editorial work › Journal or guest editorship
-
3rd International Conference on Algebraic Informatics
Plump, D. (Invited speaker)
2009Activity: Participating in or organising an event › Conference participation
-
-
2nd International Workshop on Graph Computation Models
Plump, D. (Invited speaker)
9 Sept 2008Activity: Participating in or organising an event › Seminar/workshop/course
-
Electronic Notes in Theoretical Computer Science 203(1) (Journal)
Plump, D. (Guest editor)
Mar 2008Activity: Publication peer-review and editorial work › Journal or guest editorship
-
-
Electronic Notes in Theoretical Computer Science 72(1) (Journal)
Plump, D. (Guest editor)
Sept 2007Activity: Publication peer-review and editorial work › Journal or guest editorship
-
Mathematical Structures in Computer Science 17(3) (Journal)
Plump, D. (Guest editor)
Jun 2007Activity: Publication peer-review and editorial work › Journal or guest editorship
-
4th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007)
Plump, D. (Chair)
31 Mar 2007Activity: Participating in or organising an event › Seminar/workshop/course
-
GP: Language and Environment
Plump, D. (Invited speaker)
2 Mar 2007Activity: Talk or presentation › Invited talk
-
GP: Language and Environment
Plump, D. (Speaker)
31 Jan 2007Activity: Talk or presentation › Invited talk
-
Safe Pointers by Graph Transformation
Plump, D. (Invited speaker)
23 Jan 2007Activity: Talk or presentation › Invited talk
-
GP: Language and Environment
Plump, D. (Invited speaker)
18 Jan 2007Activity: Talk or presentation › Invited talk
-
International School on Rewriting (ISR 2006)
Plump, D. (Invited speaker)
3 Jul 2006 → 7 Jul 2006Activity: Participating in or organising an event › Seminar/workshop/course
-
Steering Committee of the International Workshop on Computing with Terms and Graphs (TERMGRAPH) (External organisation)
Plump, D. (Member)
2005 → …Activity: Membership › Committee
-
-
Dagstuhl Seminar 04241: Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems
Plump, D. (Invited speaker)
2004Activity: Participating in or organising an event › Seminar/workshop/course
-
Graph Transformation
Plump, D. (Invited speaker)
5 Feb 2003Activity: Talk or presentation › Invited talk
-
-
First International Workshop on Term Graph Rewriting (TERMGRAPH 2002)
Plump, D. (Chair)
7 Oct 2002Activity: Participating in or organising an event › Seminar/workshop/course
-
Steering Committee of the International Conference on Graph Transformation (ICGT) (External organisation)
Plump, D. (Member)
Oct 2002 → …Activity: Membership › Committee
-
A Complete and Minimal Programming Language for Graph Transformation
Plump, D. (Invited speaker)
15 Mar 2002Activity: Talk or presentation › Invited talk
-
-
-
Term Graph Rewriting
Plump, D. (Invited speaker)
19 Oct 2000Activity: Talk or presentation › Invited talk
-
Computing by Graph Rewriting
Plump, D. (Speaker)
12 Jun 2000Activity: Talk or presentation › Invited talk
-
Computing by Graph Rewriting
Plump, D. (Speaker)
22 May 2000Activity: Talk or presentation › Invited talk
-