Bob Konferenz
@bobkonf@discuss.systems
The software development conference for everyone dissatisfied with the status quo. Registration is open! https:// bobkonf.de/2026/registration Organised by @ activegroupgmbh
discuss.systems
Bob Konferenz
@bobkonf@discuss.systems
The software development conference for everyone dissatisfied with the status quo. Registration is open! https:// bobkonf.de/2026/registration Organised by @ activegroupgmbh
discuss.systems
@bobkonf@discuss.systems
·
Mar 05, 2026
Of course #BOBkonf2026 wouldn't be BOBkonf without tutorials, and we have eight of them again this year!
Starting off tutorial track A is Peter Thiemann with his hands-on introduction to Agda "Agda by Example: Programming and Proving with Dependent Types"
Read more: https://bobkonf.de/2026/peter-thiemann.html
2
0
4