[pl-seminar] Name for PL group

["Loris D'Antoni" <loris@xxxxxxxxxxx>]

Yesterday we had quite a discussion on what we should name the PL group and some cool names came up.Â

I'll list some here and then people can reply to this email with more suggestions. We'll then make a poll and finally decide what we should call ourselves.

- PLeaSE: prog lang (e and a are supposed to be an exists and a forall symbol) software engineering

- MadPL: madison prog lang

- MaPLE: Madison Programming Language and software Engineering

- MaPLES: Madison Programming Language and software Engineering and Security

- PLuS^2 : Prog lang union software eng and security

Cheers,

-Loris