23JULPropositions as Types : An Introduction to Program Synthesisjue, 23 jul · 18:30ETH Zurich / Zentrum / CAB G 52
26JULJunior Programmer Certification Course dom, 26 jul · 09:30BUE ( The British University in Egypt)
29JULPapers We Love: Brooklyn - DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learningmié, 29 jul · 18:30Mindspace Williamsburg
30JULJava Compiler Superpowers: Annotation Processors, Error Prone, and Coding Agentsjue, 30 jul · 18:30Free Times Cafe