Search
Close this search box.
Categories
Previous events

MOVEP 2022

PhD summer school

MOVEP 2022

15th Summer School on Modelling and Verification of Parallel Processes

MOVEP is a five-day summer school on modelling and verification of infinite state systems. It aims to bring together researchers and students working in the fields of control and verification of concurrent and reactive systems.

MOVEP 2022 will consist of ten invited tutorials. In addition, there will be special sessions that allow PhD students to present their on-going research (each talk will last around 20 minutes). Extended abstracts (1-2 pages) of these presentations will be published in informal proceedings.

The organisation committee is closely monitoring the COVID situation. Currently, we are planning for an in-person school in Aalborg with the possibility for remote participation for those that cannot attend in person. Should it become necessary, the school will be held virtually.

Speakers
  • Giovanni Bacci, AAU
    From Bisimulaltions to Metrics via Couplings
  • David Baelde, ENS RENNES & IRISA
    Formal Proofs of Cryptographic Protocols with Squirrel
  • Christel Baier, Technische Universität Dresden
    From verification to causality-based explications
  • Wojciech Czerwinski, University of Warsaw
    The reachability problem for vector addition systems
  • Bartek Klin, Oxford University
    Computation theory over sets with atoms
  • Laura Kovacs, Vienna University of Technology
    First-order theorem proving and vampire
  • Anca Muscholl, Labri & Université Bordeaux
    A view on string transducers
  • Nir Piterman, Chalmers University of Technology
    Reactive synthesis Amaury Pouly, IRIF – Linear Dynamical Systems: Reachability and invariant generation
  • Renaud Vilmart, LMF & INRIA
    How to verify quantum processes
Target group

PhD students

Sponsors
  • Dept. of Computer Science, Aalborg University
  • The VILLUM Investigator Center S4OS “Scalable analysis and Synthesis of Safe, Secure and Optimal Strategies for Cyber-Physical Systems”
  • DIREC – Digital Research Centre Denmark
Categories
Previous events

Young Researcher Entrepreneurship Academy

PhD summer school

Young Researcher Entrepreneurship Academy

Join the Young Researcher Entrepreneurship Academy (YREA) PhD summer school to grow your entrepreneurial mindset and learn how that can benefit both your current research and future career. 

The course specifically leverages AI, data science, and computer science in the service of societal and environmental challenges in for instance health-tech, green-tech, manufacturing, and business. The aim is to build entrepreneurial capacity and to increase the establishment of university-based startups.

YREA is for you if you are interested in:

  • Insights into ideation, ML Ops, entrepreneurial mindset, testing business ideas, negotiation, etc.
  • Knowing how to create a balanced, flexible career in the intersection of entrepreneurship and academia.
  • Meeting inspiring, like-minded individuals while engaging in active learning approaches.
  • Being invited to an optional follow-up module in fall 2022 as well as pitching event at Digital Tech Summit 2022.
  • 2.5 ETCS Points and free of charge course.
The programme

The themes for each of the three days are as follows:

Day 1: Develop your entrepreneurial knowledge, skills, and mindset.

Day 2: Learn how to turn an idea into an enterprise.

Day 3: Build your enterprise – management and negotiation skills.

The programme is co-developed by DTU, DIREC, AI Pioneer Centre, AU and CBS

Speakers
  • Serge Belonge, PhD, Professor at University of Copenhagen, DIKU, and director of AI Pioneer Centre
  • Thomas Riisgaard Hansen, PhD, Director of DIREC – Digital Research Centre Denmark
  • Camilla Nørgaard Jensen, PhD, Innovation Program Leader, DTU Skylab
  • Michael Bjørnlund, Investor, ROCKSTART
  • Lars Kai Hansen, PhD, Professor, Cognitive Systems, DTU Compute
  • Julie Strandesen Hooge, Commercialisation Manager, DTU
  • Anne Stampe, Co-founder and CEO, Nordic Female Founders
  • Luna Agerholm Gyalokay, Senior Venture Builder, KRING
Target Group

The YREA programme welcomes participants of all genders, ethnicities, capabilities and religions from a computer/data related discipline, with little or no business experience from any Danish university.

Participants include PhD students, Post-doctoral researchers, Master students and Innovation officers at universities.