[Logica-l] OKK Patrick Suppes nasceu 100 anos atrás ...

2022-03-17 Por tôpico jean-yves beziau
Patrick Suppes nasceu dia 17 de março de 1922 e faleceu dia 17 de novembro de 2014, com 92 anos. https://en.wikipedia.org/wiki/Patrick_Suppes Ele teve uma vida longa e cheia de atividade até o fim. Trabalhei com ele por dois anos em Stanford de janeiro de 2000 até dezembro de 2002. Escrevemos

[Logica-l] Sessão Especial do Seminário de Lógica - Dia CBDL (Carol Blasio pela Diversidade da Lógica)

2022-03-17 Por tôpico 'Samuel Gomes da Silva' via LOGICA-L
Prezados, Em parceria com o coletivo Lógicas Brasileiras ( https://logicasbrasileiras.wordpress.com/ ), Teremos na segunda-feira, 21 de março, às 19hs, uma Sessão Especial do Seminário de Lógica da UFBA, como parte da comemoração do primeiro dia CBDL - Carol Blasio* por Diversidade na

[Logica-l] Call for 10 PhD Positions in Computer Science at TU Wien, Vienna, Austria

2022-03-17 Por tôpico Elaine Pimentel
Second Call for Applications The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien – Logics for Computer Science Program at TU Wien, co-funded by the European Commission, offers *10* full-time PhD positions. The program is hosted by TU Wien, one of