Activities

Program committee member

  • 33rd IEEE International Parallel & Distributed Processing Symposium, May 22-24, 2019, Rio de Janeiro, Brazil
  • 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (INFOCOM Workshop), April 29 2019, Paris, France
  • 2nd Symposium on Foundations and Applications of Blockchain, April 5 2019, Los Angeles, USA
  • 2nd International Workshop on Blockchain Oriented Software Engineering, February 24 2019, Hangzhou, PR China
  • 11th Innovations in Software Engineering Conference, February 14 – 16, 2019, Pune, India
  • International Workshop on Future Perspective of Decentralized Applications (held in conjunction with the 24th International European Conference on Parallel and Distributed Computing), August 28th, 2018, Turin, Italy
  • Heterogeneous and Unconventional Cluster Architectures and Applications 2018, August 13th, 2018, Eugene, Oregon, USA
  • Ninth Workshop on Intersection Types and Related Systems, July 8th, 2018, Oxford, UK
  • 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems (co-located with MobiSys 2018), June 15th, 2018, Munich, Germany
  • 32nd IEEE International Parallel & Distributed Processing Symposium, May 21-25, 2018, Vancouver, British Columbia, Canada
  • 1st International Workshop on Blockchain Oriented Software Engineering, March 20th, 2018, Campobasso, Italy

Conference or workshop chair:

  • Co-chair of European joint conferences on theory and practice of software (ETAPS), 2027, Copenhagen, Denmark
  •  Co-chair of Panel: Quantum Computing: Going Where No One Has Gone Before at International Conference on Information Systems (ICIS) 2024, December 15-18, 2024, Bangkok, Thailand
  • Co-chair of Track Type- and Logic-Based Methods for System Specification, Synthesis and Analysis at International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, October 27-November 3, 2024, Crete, Greece
  • Co-chair of Verifiable, Robust, and Explainable AI at Danish Digitalization, Data Science and AI 2.0 (D3A), October 22-23, 2024, Nyborg, Denmark
  • Co-chair of IEEE International Conference on Blockchain 2024, August 19-22, 2024, Copenhagen, Denmark
  • Co-chair of Workshop on Verifiable and Robust AI (VRAI), November 6-10, 2023, Sønderborg, Denmark
  • Co-chair of Safe and Trustworthy AI-generated Software at Danish Digitalization, Data Science and AI (D3A), October 22-23, 2023, Nyborg, Denmark
  • Co-chair of Track Formal Methods for System Specification, Synthesis and Analysis at International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, October 25-29, 2021, Crete, Greece
  • Co-local arrangement chair, Principles of Programming Languages (POPL) 2021, Copenhagen, Denmark
  • Track chair at Adaptive 2020, ESES: Evolving Software Ecosystems and Services, October 29 2020, Nice, France
  • Sponsorship chair at 22nd International Conference on Extending Database Technology (EDBT), 2020, Copenhagen, Denmark
  • General workshop chair at 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), June 24-30, 2019, Dortmund, Germany
  • Track organizer Science and Engineering for Distributed Ledger Systems of Future Practice at International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, October 30 – November 13, 2018, Limassol, Cyprus
  • Track organizer ModSyn-PP: Modular Synthesis of Programs and Processes  at 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, October 5-14 2016, Corfu, Greece
  • Workshop co-organizer ModSyn-PL: at 19th International Conference on Software Product Line, July 20 – 24, 2015, Nashville, TN, USA

Talks and Lectures (selected)

2022

  • E2 Forum 2022, September 2022, Frankfurt, Germany
  • PhD School of Logistics 2022: How to: The new Supply Chain Management: Digital, Resilient, Sustainable Supply Networks, July 2022, Dortmund, Germany
  • Blockchain Winter School, January 2022, Copenhagen, Denmark

2021

  • Symposium 1. Wissenschaftlichen Vereinigung Projektmanagement (1WVPM), October 22 2021, Hamburg, Germany
  • 21st Colloquium on Programming Languages and Foundations of Programming (KPS 2021), September 27-29 2021, Kiel, Germany
  • Executive Course on Blockchain, August 25 2021, Copenhagen, Denmark
  • PhD School of Logistics, July 19 2021, Dortmund, Germany
  • Digital Transformation with Blockchain, Sikkerhedsstyrelsen, June 3/4 2021, Esbjerg, Denmark

2020

  • 3rd International (virtual) Conference On Recent Trends In Advanced Computing, Blockchain-based Trustworthy AI, December 12 2020, School of Computer Science and Engineering, VIT, India
  • 15th prof. Vladas Gronskas International Scientific Conference, Blockchain and Software Engineering, December 3 2020, Vilnius University, Kaunas, Lithuania

2019

  • DiWoDo, Fit for Blockchain, Fraunhofer IML, November 5 2019, Dortmund, Germany
  • Dagstuhl Seminar 19391, Data Ecosystems: Sovereign Data Exchange among Organizations, September 22 – 27 2019, Dagstuhl, Germany
  • European Blockchain Center, Blockchain Summer School 2019, August 12-16 2019, Copenhagen, Denmark
  • University of Copenhagen, Workshop Systems Security, August 13 2019, Copenhagen, Denmark
  • University of Electronic Science and Technology of China, Advanced Functional Programming, July 8-14 2019, Chengdu, PR China, Lecture
  • ICRISAT Workshop on Strengthening digital agriculture for empowering smallholder farmers in India, March 13 2019, Hyderabad, India
  • Future of FM, Cybersecurity Risks in building sensors, February 13 2019,  Düsseldorf, Germany, invited talk

2018

  • 2nd International Colloquium on Adaption Intelligence, Secure and Unified Data Platform for Spatial Factory Models, November 29 2018, Dortmund, Germany, Invited talk
  • Frontiers in Cyber Security, Blockchain Application in Edge Computing-Based Logistics, November 6 2018, Chengdu, PR China, Keynote
  • DIKU Bits, 4 out of 10 million: How computer science helps to safely produce individualized cars, October 22, 2018, Copenhagen, Denmark, Invited talk
  • Worcester Polytechnic Institute, Programmable Money, October 4, 2018, Colloquial Talk
  • Digi-Talks: The Financial System of Tomorrow, Programmable Money and Smart Contracts, September 26, 2018, Copenhagen, Denmark, Invited talk
  • Copenhagen Business School Business Development, Blockchain Business Development: Blockchain as a Business Platform, September 20, 2018, Copenhagen, Denmark, Lecture
  • Sino Danish Symposium on CS, Type-based Program Synthesis from Code Repositories, August 24 2018, Korsør, Denmark, Research talk
  • Copenhagen Business School Executive Course: Application: How your company may be able to leverage on Blockchain, August 22, 2018, Copenhagen, Denmark, Lecture
  • Blockchain Summer School, Blockchain Technology: A walk through, August 13th, 2018, Copenhagen, Denmark, Lecture
  • Summer School for Logistics, Blockchain Programming 101, July 11, 2018, Dortmund, Germany, Lecture
  • Summer School for Logistics, Blockchain and Distributed Ledger Platforms for Supply Chains, July 11, 2018, Dortmund, Germany, Lecture
  • 1. Deutsch-Chinesisches Forum für Intelligente Technologien, Blockchain and Distributed Ledger Platforms for Industrial Applications, June 26 2018, Qingdao, PR China, Invited talk
  • 12thJoint Workshop of GRTG in CS, Blockchain and Distributed Ledger Platforms for Industrial Applications: The new Cloud Computing?, May 30 2018, Dagstuhl, Germany, Invited talk
  • University of Electronic Science and Technology of China, Blockchain and Distributed Ledger Platforms for Industrial Applications: The new Cloud Computing?, March 22 2018, Chengdu, PR China, Colloquial talk
  • Forum Automobil Logistik, Logistics beyond Blockchains, February 1 2018, Frankfurt, Germany, Invited talk

2017

  • Forum Digital Politik’s Conference on Political Challenges and opportunities of cryptocurrencies, On blockchain, contracts, cryptocurrency — are politicians missing the boat?, December 12 2017, Copenhagen, Denmark, Invited talk
  • Styrelsen for Dataforsyning og Effektivisering, Blockchain Technology: An Overview, November 21 2017, Copenhagen, Denmark, Invited talk
  • Worcester Polytechnic Institute, Blockchain for Secure Industrial IT, October 24, 2017, Colloquial talk
  • Dansk Industrie Digital, Blockchain for Secure Industrial IT, September 6 2017, Copenhagen, Denmark, Invited talk
  • Workshop on Big Graph Analysis Systems, Proof Enumeration as Big Graph Analysis Problem, August 21 2017, Copenhagen, Denmark, Research talk
  • Blockchain Summer School 2017, A Walk through Blockchain Technology, August 14 2017, Copenhagen, Denmark, Lecture
  • Global Logistics Supply Chain Conference, Logistics with Verifiable Contracts on Blockchains, June 11 2017, Shanghai, China, Invited talk