We are very happy to announce that at this year Model Checking Contest, our tool TAPAAL won a gold medal in the CTL model checking] category and was awareded four silver medals in the other categories (except for state-space exploration where we do not participate). The detailed results can be found here: https://mcc.lip6.fr/2023/results.php.