I took my first absence permit in order to attend to the 15th Panhellenic Logic Symposium.
(will rewrite) - met a lot of people, there’s a lot of DSS, not a lot of TT so far, main event has section on mathematics & formalisation - all that remains is to see what’s that about :)
No time to study, check event notes :)