Iso-Recursive Multiparty Sessions and their Automated Verification by Marco Giunti (University of Oxford, England)

Qua, 19 março 2025, 14:00 - 15:00

Tipo de evento:

Seminário

Organizador:

DI/NOVA LINCS

Local do evento:

Sala de Seminários do DI e ZOOM

Próximos eventos

26 março 2025

Seminário

Multi-trait User Simulation with Adaptive Decoding for Conversational Task Assistants byRafael Ferreira (NOVA FCT and NOVA LINCS)