Colegas: Nossa apresentação em comemoração ao Dia Internacional da Lógica será no sábado, 16 de janeiro,
16:00 - 16:30 *Horário de Zurique* 12:00- 12:30 (meio dia) *Horário de São Paulo* David Fuenmayor & Walter Carnielli "Gödelian flowers in exotic fields: automating (meta-)mathematical reasoning for non - classical logics" Zoom Meeting https://ethz.zoom.us/j/95894757666?pwd=aHZxOWM2Zzk0b3lRTWYwVWw1QlZEUT09 Meeting ID: 958 9475 7666 Password: 597677 Car@s colegas -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLcGyc%3D4YRS-xxSeKYX2TFmNWFdC-gRCWhi-u1xF2FqWTg%40mail.gmail.com.
