[Hol-info] PLMW@POPL 2023: Call For Scholarship Applications (DEADLINE: 10/14 AoE)

2022-09-24 Thread Favonia via hol-info
CALL FOR SCHOLARSHIP APPLICATIONS *DEADLINE: 14 October 2022, 23:59 AoE* (Anywhere on Earth) ACM SIGPLAN Programming Languages Mentoring Workshop Location: Boston, Massachusetts, USA Date: Tuesday, January 17, 2023 Web page: https://popl23.sigplan.org/home/PLMW-POPL-2023 Following the succes

[Hol-info] RAMiCS 2023 - Deadline extension

2022-09-24 Thread Michael Winter
(Apologies for multiple posting) RAMICS DEADLINE EXTENDED 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany