The next anticipated release is after Isabelle2023 (September 2023) is Isabelle2024 (May 2024). The distance between two releases is usually 8–10 months, but recently this got closer 11 months. To return to regularity, and to accommodate other side-conditions, the hot phase of the release is presently scheduled for 03-Apr..15-May-2024. The detailed plan is as follows:

• 06-Mar-2024: Isabelle2024-RC0 as informal preview
• 03-Apr-2024: Isabelle2024-RC1 as first formal release candidate
• 15-May-2024: final and unchangeable Isabelle2024 release