lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

65
active users

#formalmethods

1 post1 participant0 posts today

Interested in theoretical cryptography and/or formal methods? Boston University is hosting a summer school on Universally Composable Security and the EasyUC framework for formalizing UC models and proofs.

The school is from August 11 - 14, 2025. Registration is free, and we're supporting both in person and Zoom participation.

For more information and to register, visit:

bu.edu/riscs/events/uc-easyuc-

www.bu.eduUC/EasyUC Summer School | Center for Reliable Information Systems & Cyber Security

*Last Call*

I have a #PhD position for UK students, available with myself and @bentnib

This project will be looking at developing new methods for asserting the resilience of existing communicating systems by developing new static analysis methods derived from advanced programming language research.

*Hard Deadline*: Wednesday 16th April 2025

You will belong to @StrathCyber and @mspstrath, as well as gaining access to @spli

strath.ac.uk/studywithus/postg

(Ignore the deadline on the advert)

Please spread the words.

www.strath.ac.ukTowards Type-Driven Assurance of Communicating Systems | University of Strathclyde

Good quote:
Programming language design is kind of just the unbelievably difficult task of tricking programmers into using formal methods tools, by presenting them in an ergonomic way that doesn’t obstruct how people are used to writing software in a given era. Necessarily each push forward rules out more and more common sources of bugs.
lobste.rs/s/ctpdvb/vine_progra
#plt #typespl #formalmethods #logic

lobste.rsVine: A programming language based on Interaction Nets | Lobsters