[Logica-l] Fwd: Alonzo Church Award - Call for Nominations

-- Forwarded message -- The 2018 Alonzo Church Award for Outstanding Contributions to Logic and Computation Call for Nominations Introduction An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the AC

[Logica-l] Deadline extended - Short Communications and Posters (ICM 2018)

Caros, Feliz 2018, Foi prorrogado até 05 de março o deadline para submissões de comunicações e posters para o ICM 2018 (o congresso mundial de matemáticos que vai ocorrer no Rio de Janeiro). http://www.icm2018.org/portal/en/short-communication Como disse aqui o João Marcos recentemente, n