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