Word of the Day (because it’s about time) is ‘respair’, from the 16th century. It means fresh hope, and a recovery from despair. One of too many lost positives we could do with bringing back.
Wishing everyone a gruntled, gormful, ruthful and feckful New Year, full of respair.
I am very saddened by this news. Niklaus got me into CS since I became fascinated by the beauty of his language designs and compiler architectures. And later he became the guiding mentor for my doctoral studies at ETH.
Applications are now open for REPL, Penn PLClub's Summer REU! We have a lot of really exciting projects going on at PLClub right now – if you're an undergrad who's interested in PL research, please apply!
https://t.co/KmyJbVih4s
ICFP'24 will take place on 2-7 September 2024 in Milan, Italy. The call for papers is now available:
https://t.co/qKKygNgLOp
Time to start mining those lambdas!
Did you know that you can submit a paper to ESOP 2024 in several formats – Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format?
https://t.co/7jYAwBNnpm
Due to various requests, we will allow four more days for submission updates on papers submitted to ETAPS by the deadline.
That is, authors needs to submit their papers by October 12 AoE and will be allowed to make changes/updates by October 16, AoE.
Can't resist:
Liking #ocaml ? Check out #fstarlang. Program with proofs in a general purpose, higher order, strict language and extract to efficient executable code in OCaml.
https://t.co/fDcfMHGdZF
ESOP's done well here:
"For the sake of flexibility, submitted research papers may be formatted in Springer’s LNCS, ACM’s PACMPL, or ACM’s TOPLAS format"
https://t.co/79pxBc9X01
Scholarship applications for PLMW@POPL 2024 are up! Scholarships include travel, lodging, and attendance for both POPL and the Programming Languages Mentoring Workshop. Please, sign up your undergraduate and early graduate students!
https://t.co/RwwjV8zSFz
The ESOP 2024 deadline is in a little over one month (Oct 12th). Note the new submission categories (experience reports and fresh perspectives) and lack of formatting requirements for the research papers submission category. More info at:
https://t.co/IGrqvvO36J
We are now accepting applications for the 24-25 University of Pennsylvania Provost's Postdoctoral Fellowship for Academic Diversity. Please share with your colleagues! https://t.co/7YgLyKw9w4
Sad to be missing out on being in the room to listen to @avsm's upcoming keynote: https://t.co/smYq1QRB9C
Glad to be able to watch the talk live from the other side of the world https://t.co/bz4wKf2BAs 🙏