Miking Workshop 2025
December 10, 2025, KTH Campus, Lindstedtsvägen 30, Level 3, Stockholm, Sweden
Welcome to the 4th Miking workshop! Miking is an open-source project developed mainly at KTH Royal Institute of Technology, with several collaborators within Sweden and internationally. The framework is a meta-language system for creating domain-specific languages and tools. For more information, please see the vision paper, the Miking webpage, or the GitHub pages. In this year's workshop, you will be exposed to the latest developments of the framework. There will be informal hacking sessions, technical talks, and research talks. Please bring your laptop!
The workshop is free of charge and includes lunch, coffee, and Swedish fika. The format is hybrid. That is, it is possible to attend both in person and online using Zoom. In both cases, you need to register (first-come, first-served). Several organizations have been funding research projects related to the Miking framework, including the Swedish Research Council (VR), the Swedish Foundation for Strategic Research (SSF), Vinnova, and Wallenberg AI, Autonomous Systems and Software Program (WASP).
Quick facts
- Date: December 10, 2025
- Time: 13:15-18:00 (catered dinner at 18.15, stay as long as you want)
- Cost: Free of charge
- Format: Hybrid (in person or online via Zoom)
- Place: SCS, KTH Campus, Lindstedtsvägen 30, Level 3, Stockholm, Sweden. For a map, see here.
REGISTRATION (Deadline December 7, end-of-day): REGISTER NOW, seats are limited!
Agenda
13:15 Registration and Coffee
13:30 Welcome and an Introduction to Miking.
Speaker: David Broman
14:15 Tutorial: An Introduction to the Type System of MCore
Speaker: Anders Ågren Thuné
14:45 Coffee and Hacking
15:15 Session 1: Tooling and New DSLs
-
Title: What would Doxygen look like if it were written in Miking? Speaker: Martin Zivojinovic
-
Title: Differential Probabilistic Programming in Miking. Speaker: Oscar Ericsson
15:45 Coffee and Hacking
16:15 Tutorial: An Introduction to Probabilistic Programming in TreePPL - a Miking DSL
Speaker: David Broman
17:00 Coffee, Hacking, and Demos
- Demos: Robots, Learning, and Imitation. Presenters: Martin Orrje and John Wikman
17:30 Session 2: Optimization techniques for DSLs
-
Title: Annotated Automatic Pruning in Miking CorePPL. Speaker: Gizem Caylak
-
Title: Optimizing PPL model evaluation with graphs and applicative functors. Speaker: Viktor Palmkvist
18:00 Closing of the Technical Session
18:15 Catered Dinner and Happy Hacking!