Piotr Masłowski

Prowadził warsztaty:

• WWW17 (2021): tenpo suno tu wan la o kama sona e toki pona
• WWW18 (2022): Programowanie z typami zależnymi
• WWW19 (2023): tenpo suno tu wan la o kama sona e toki pona
• WWW19 (2023): Programowanie z dowodzeniem twierdzeń