Werner M. Dietl from the University of Waterloo will join the JAX with two sessions: "Preventing null pointer exceptions at compile time" and "Implement your own type system, today!". We are looking forward to see him soon in Mainz! More information here >> ow.ly/Op2L30nAcAw

Wir präsentieren Euch mit Vorfreude unsere Speaker im Track Core Java & JVM Languages 😁 Hendrik Ebbers 👾 - Karakun @lukaseder - Data Geekery GmbH Felix Becker - REWE Systems GmbH Werner M. Dietl - University of Waterloo

#Java & die #JVM sind das schlagende Herz des Java-Universums. Unsere Experten Peter Verhas Peter @[email protected], Werner Dietl Werner M. Dietl & Hendrick Ebbers Hendrik Ebbers 👾 werden Euch JAX tiefe Einblicke in die Java-Programmierung vermitteln. Jetzt den Track erkunden ow.ly/qh6t30pYeWd

07.07.2020

Join us at the 22nd Workshop on Formal Techniques for Java-like Programs on Thursday July 23rd via Zoom. Programme details are at 2020.ecoop.org/track/FTfJP-20…… ECOOP’24 Conference #ecoop20 #ftfjp20

"Precise Inference of Expressive Units of Measurement Types" at SPLASH/OOPSLA this week! Check it out and join a Q&A session. 2020.splashcon.org/details/splash… #splash20

Have a healthy and happy 2021, everyone! I hope to see more of you in person next year. Stay safe.

Faculty opening in Computer Software and Computer Hardware, ECE, uWaterloo: uwaterloo.ca/engineering/fa…

Interested in type systems or verification? See our paper and poster on "Scalability and Precision by Combining Expressive Type Systems and Deductive Verification" today at SPLASH Conference ! 2021.splashcon.org/details/splash… 2021.splashcon.org/details/splash… dl.acm.org/doi/10.1145/34…

We’re extremely excited to welcome Werner Dietl (Werner M. Dietl) as the new Independent Member of the Kotlin Foundation Language Committee. Werner is an Associate Professor at the University of Waterloo and has ample experience in working with programming languages.

Faculty openings in Computer Hardware and Computer Software, ECE, uWaterloo: uwaterloo.ca/engineering/fa…

If you do research in programming languages and formal methods, consider submitting to the Workshop on Formal Techniques for Java-like Programs this year! We construe the term "Java-like" very broadly. 2023.ecoop.org/track/FTfJP-20…

🎉 The Kotlin Foundation is now a mentor org for Google Summer of Code 2024! Join us to: 🛠️ Gain real-world dev experience 🌍 Contribute to global Kotlin projects 🤝 Learn from mentors at Google, Gradle, and JetBrains 💰 Get a stipend & boost your résumé blog.jetbrains.com/kotlin/2024/02…

The submission site for R2 of #ECOOP24 is open for both resubmissions from R1 🔄 and new submissions ✨ ecoop24.hotcrp.com Good luck to everyone submitting or resubmitting! 🍀 🔔 Deadlines 📅 Research Papers: April 17 Artifacts: April 23