diff --git a/_announce/2025-01-09-latte_2025.txt b/_announce/2025-01-09-latte_2025.txt new file mode 100644 index 0000000..d37b5a6 --- /dev/null +++ b/_announce/2025-01-09-latte_2025.txt @@ -0,0 +1,11 @@ +--- +title: "CFP: LATTE 2025: Workshop on Languages, Tools, and Techniques for Accelerator Design" +timestamp: "1/9/2025 11:50:43" +deadline: "1/31/2025" +--- +LATTE is a venue for discussion, debate, and brainstorming at the intersection of hardware acceleration and programming languages research. The core mission is to bring ideas we love from software programming languages and tools to the world of hardware design: +https://capra.cs.cornell.edu/latte25/ + +LATTE '25 is co-located with ASPLOS, in Rotterdam. + +Submit your 2-page position paper by January 31. diff --git a/_announce/2025-01-12-oplss.txt b/_announce/2025-01-12-oplss.txt new file mode 100644 index 0000000..ba72460 --- /dev/null +++ b/_announce/2025-01-12-oplss.txt @@ -0,0 +1,62 @@ +--- +title: "Oregon Programming Languages Summer School (OPLSS)" +start: "6/23/2025" +end: "7/5/2025" +--- +We are excited to announce that the 24th annual Oregon Programming +Languages Summer School (OPLSS) will take place from June 23 to July 5, 2025, at +the University of Oregon in Eugene. We are looking forward to being back +in Oregon! + +This year's theme will be "Types, Logic, and Formal Methods." +The program will feature the following speakers and topics: + +Nada Amin - Harvard University +Metaprogramming + +Valeria De Paiva - Topos Institute +Lambda-calculi for logics + +Kathleen Fisher - DARPA +Formal methods for natural security + +Limin Jia - Carnegie Mellon University +Information Flow Type Systems + +Delia Kesner - Université de Paris +Lambda Calculi Through the Lens of Linear Logic + +Kathryn S McKinley - Google +System design and innovation: A Garbage Collection Case Study + +Anja Petković Komel - TU Wien and Argot Collective +Introduction to Type Theories + +Brigitte Pientka - McGill University +Introduction to Logical Foundations + +Paige Randall North - Utrecht University +Introduction to Category Theory + +Emina Torlak - Amazon Web Services +Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization + +Caterina Urban - INRIA +Abstract Interpretation-Based Static Analysis + +Niki Vazou - IMDEA Software Institute +Refinements Types + +Jeannette Wing - Columbia University +Trustworthy AI + +Ningning Xie - University of Toronto. +Algebraic effects and handlers + +More details about the registration process will be +available soon on the OPLSS website + + https://www.cs.uoregon.edu/research/summerschool/summer25/ + +OPLSS 2025 Organization Team +Alexandra Silva, Silvia Ghilezan, and Zena M. Ariola