This is a dedicated space for people to nerd out about semantics, type theory, programming languages, logic, and everything inbetween! We’re a special interest group (SIG) within CompSoc, and we run frequent events for you to learn about various different topics within these fields.

We have two weekly workshops where you can learn to use the Lean theorem prover, and learn to make your own programming language; ~monthly TypeSig Talks, where academics give introductory talks on their research; and we organise the world’s largest undergrad PL conference every year in reading week of semester two! Everything is designed to be beginner-friendly, so don’t worry if you haven’t got any experience - this is the perfect place to learn! Oh, and all events come with free pizza 🍕

We also have regular pub socials at the Dagda Bar (nominative determinism?) every Sunday at 7pm.

We also have a Discord server for announcements and general discussion. This is the best way to keep up with us and what we’re doing, so do join and say hello!

TypeSig ❤️ you!

Contact

If you want to get in touch with us, please ping the @committee role on our Discord server. We can also be reached via Instagram DM, but this may have a slower response time. For inquiries, please contact us at committee@typesig.pl.