23JULIPropositions as Types : An Introduction to Program Synthesistors 23 juli · 18:30ETH Zurich / Zentrum / CAB G 52
26JULIJunior Programmer Certification Course sön 26 juli · 09:30BUE ( The British University in Egypt)
29JULIPapers We Love: Brooklyn - DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningons 29 juli · 18:30Mindspace Williamsburg
30JULIJava Compiler Superpowers: Annotation Processors, Error Prone, and Coding Agentstors 30 juli · 18:30Free Times Cafe