Summer Schools

• Secure P2P energy trading: From theory to practice, 2022.

Workshops

• AFRiTS workshop, 2023.
• EnnCore workshop, 2023.
• SafeAI special session, 2022.
• MathNLP: The 1st Workshop on Mathematical Language Processing, EMNLP 2022.
• MathNLP: The 2nd Workshop on Mathematical Language Processing, LREC-COLING 2024.

Panels

• Smart Meters: the gateway to user-centric energy services - ISGT-Europe 2023.
• EnnCore panel - CDTS 2023 forum.
• How is Artificial Intelligence influencing Formal Methods? Challenges and opportunities - SBMF 2023.

Invited talks

• Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perpective, Idiap Research Institute, Switzerland, 2023.
• A Tale of Two Oracles: Defining and Verifying when AI Systems are Safe, AFRiTS workshop at SBMF 2023.
• Privacy-friendly P2P energy trading markets - RISE-Sweden, 2023.
• P2P energy trading scenarios in Greater Manchester - invited expert, 2021.

Tutorials

• Marco Valentino and André Freitas. Reasoning with Natural Language Explanations. Accepted to EMNLP 2024.
• Carvalho, DS., Zhang, Y., Freitas, A.: Formal Semantic Controls over Language Models. (Accepted to LREC-COLING 2024).