Boards, Committees and Chairs

• 2019, Programme Committee, Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3), see http://ysip3.computational-logic.org/
• 2018, Session chair, Chaired the session "Program Analysis" at the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2018)
• Doctoral School Executive Committee, PhD representative (2014–2015)

Invited speaker

• 2018 Confluence in Constraint Handling Rules: A retrospective overview. Presented jointly with Christiansen, H. at the 7th International Workshop on Confluence (IWC 2018)
• 2016 Probabilistic Output Analysis. Presented at the APL research group at Computer Science, Copenhagen University.
• 2016 Confluence Modulo Equivalence for Constraint Handling Rules. Presented at Informatik, Ulm university.

Peer reviewing

RC 2020, 12th Conference on Reversible Computation, July 9 - July 10, 2020, Oslo, Norway

YSIP3 (2019), Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3), in Stavropol and Arkhyz, Russian Federation, September 17 - 20, 2019

RC 2019, 11th International Conference on Reversible Computation, June 24th–25th, 2019, Lausanne, Switzerland

FSCD 2018, 3rd International Conference on Formal Structures for Computation and Deduction, in Oxford (UK), July 9–12, 2018

FLOPS 2018, Functional and Logic Programming, 14th International Symposium, Nagoya, Japan, May 9–11, 2018

PEPM 2017 Workshop on Partial Evaluation and Program Manipulation

LOPSTR 2011, 21st International Symposium on Logic-Based Program Synthesis and Transformation, Odense, Denmark, July 18-20, 2011

LOPSTR 2010, 20th International Symposium on Logic-Based Program Synthesis and Transformation, Hagenberg, Austria, July 23-25, 2010

Other talks and presentations

• 2018 (article presentation) Confluence of CHR revisited: invariants and modulo equivalence. Presented at the 28th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2018
• 2018 (article presentation) Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs presented at the 26th International Workshop on Functional and Logic Programming, WFLP 2018
• 2018 (PhD defense) Probabilistic Program Analysis
• 2018 (high school student introduction day) Grønne computerprogrammer (green software) presented at Nat Dag (natural science day) at Roskilde university
• 2017 (article presentation) Confluence and Convergence in Probabilistically Terminating Reduction Systems presented at the 27th International Symposium on Logic-based Program Synthesis and Transformation, LOPSTR 2017
• 2017 (poster presentation) Beliefs and Plausibilities in Abstract Interpretation, presented at The Tenth International Symposium on Imprecise Probability: Theories and Applications, ISIPTA 2017
• 2016 (high school student introduction day) Grønne computerprogrammer (green software) presented at Nat Dag (natural science day) at Roskilde university
• 2016 (Student talk) Probabilistic Output Analysis presented at the Estonian Winter School for Computer Science, EWSCS
• 2016 (extended abstract presentation) Approximating Probabilities in static analysis presented at 26th Nordic Workshop on Programming Theory, NWPT 2016
• 2015 (abstract presentation) Probabilistic Resource Analysis presented at the 2nd ICT-Energy Doctoral Symposium
• 2015 (abstract presentation) Probabilistic Output Analysis for discrete resource programs presented at 7th Danish Static Analysis Symposium, DANSAS 2015
• 2015 (work in progress/informal) Probabilistic output analysis by program manipulation presented at ENTRA Workshop, May 2015
• 2012 (extended abstract presentation) Semi Inversion of Conditional Constructor Term Rewriting Systems presented at 24th Nordic Workshop on Programming Theory, NWPT 2012