Esta é mais uma sessão do Ciclo de Seminários em Matemática, Física & Aprendizagem Automática – MPML @Técnico, envolvendo as unidades de investigação CAMGSD, CEMAT, INESC-ID Lisboa, ISR Lisboa, MARETEC, e  IT Lisboa.

• 31 de março, 2022, quinta-feira, 17h-18h – Online

• Orador: doutor Josef Urban (investigador distinto, coordenador do Department of Artificial Intelligence, Czech Institute of Informatics, Robotics and Cybernetics -CIIRC, Czech Technical University -CTU, Praga, República Checa).

• Título: “Machine Learning and Theorem Proving”.

• Mais informações. 

• Registo.

Seminários já realizados.