Stav dette: Proceedings of the 9th Brazilian Technology Symposium (BTSym’23)