Welcome to the forum of TEASE-LP. In this forum, we can have the discussions about logic programming that we wanted to have during ETAPS. You can use math here by using the square root button below and then typing in LaTex: \forall x. P(x) \to Q(f(x)). The syntax for formatting is based on Markdown and the more advanced options, which are not immediately available in the editor, are described in the documentation.
To participate in the workshop and the live sessions, please sign up in this forum with the "Sign Up" button and follow the announcements.