Equational Hybrid Propositional Type Theory
Por Manuel Martins (Universidade de Aveiro).
Por Manuel Martins (Universidade de Aveiro).
O encontro, a decorrer nos dias 30 de junho e 01 de julho de 2017, contará com um núcleo de comunicações que incidirá sobre o tema "Os Militares e a Matemática". Em particular, o 30.º SNHM contará com a conferencista convidada, Liliane Alfonsi (Université Paris Sud, Laboratoire EST-GHDSO) que apresentará a comunicação “La guerre de sept ans (1756-1763) et ses conséquences pour les écoles militaires françaises”.
Por Stefano Negro (Ecole Normale Supérieure de Paris).
A visita do orador é financiada pelo projeto PTDC/MAT-STA/0975/2014.
Ezgi Su
CMAFCIO, Universidade de Lisboa
Por Rui Alberto Pimenta Rodrigues (Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa).
Abstract: (Deep) Neural networks seem to be achieving the targets drawn for Artificial Intelligence in the early 60's. We will present the practical accomplishments. The underlying mathematical models will be discussed:
Por João Gouveia (Universidade de Coimbra).
Por Filippo Gazzola (Politecnico of Milan).
Por Ezgi Su (Universidade de Lisboa, CMAF-CIO).
Por Marco Dozzi (Inst. Elie Cartan, Univ. de Lorraine, Nancy).