21.06.2025 –, Blauer Salon
Sprache: English
Programming languages are a core tool of what we as hackers work with, but their design, implementation, and properties are also a field of scientific study, frequently called "PL theory", which deals with program semantics, verification (etc.) and often also overlaps with other fields of mathematics and logic (type theory, category theory, etc.).
This meetup is meant to be a place for people interested in any of these topics to meet up, share perspectives and ideas, and meet others with adjacent or overlapping fields of interest.
We might have short lightning talks; if you're interested in infodumping about your favorite topic or current project, feel free to reach out (or just show up!).
academia
a cat that's somehow found itself as a PhD student. Interested in formal logic, interactive theorem provers (esp. Isabelle/HOL), and code generation. Nya! :3