Στον καθηγητή κ Χρυσάφη Χαρτώνα απονεμήθηκε το βραβείο Aristotle Logic Prize για την εργασία του Canonical extensions and Kriple-Galois semantics for non-distributive logics και είναι υποψήφιος για το Universal Logic Prize στο συνέδριο Unilog 2018 , Vichy, France, όπου θα παρουσιάσει το σχετικό ερευνητικό του έργο.
Πρόκειται για μια σημαντική διάκριση που αναδεικνύει την αναγνώριση την οποία χαίρει ο κ. Χαρτώνας, ενώ επιβεβαιώνει και προωθεί περαιτέρω την ισχυρή θέση του Τμήματος Μηχανικών Πληροφορικης, και κατ' επέκταση του ΤΕΙ Θεσσαλίας, στο διεθνή επιστημονικό και ευρύτερο ακαδημαϊκό χώρο.