Advancements in AI mean that people can create software just by describing it. Consider this your vibe coding primer.

The Correctness-by-Construction tutorial focuses on a structured programming approach for correct software development. Besides functional correctness, also non-functional properties such as security ...

Provides society information that may include news, reviews or technical notes that should be of interest to practitioners and researchers.