Activities

Program committee member

Upcoming events

  • 33nd 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

Past events

  • 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:

  • 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)

2019

Upcoming events

  • 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

Past events

  • 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