[Logica-l] Solicitação de Papers

2014-02-11 Por tôpico Regivan Hugo Nunes Santiago
Caros colegas da lista, alguma alma caridosa com acesso a Springer poderia me enviar os seguintes papers: 1. M. B. Smith. Power Domains and Predicate Transformers. A Topological View. 2. M. B. Smith. Quasi-uniformities: Reconciling Domains with Metric Spaces. 3. M. B. Smith. Completeness of Quasi-

[Logica-l] Gendered Conferences

2014-02-11 Por tôpico Marcos Silva
Olá, meus caros, achei importante compartilhar esta experiencia, porque sei que nesta lista de emails há muitos outros jovens pesquisadores que gostam de organizar e promover eventos academicos. Já estou organizando uma segunda edicao em Fortaleza, para marco de 2015, de um evento que comecou em

[Logica-l] UNILOG'2015 Istambul, Turquia

2014-02-11 Por tôpico jean-yves beziau
Foi confirmada a organizacao do UNILOG'2015 5th Wordl Congress and School on Universal Logic Istambul, Turquia, 20-30 de Junho de 2015 http://www.uni-log.org/ ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listin

Re: [Logica-l] Gendered Conferences

2014-02-11 Por tôpico Marcelo Finger
Oi Marcos. Achei um tantinho arrogante a forma utilizada pelo David Chalmers para ressaltar o seu implicit bias. Sobre esses, acredito que: 1) Os tais de implicit bias são inevitáveis; 2) São parte do funcionamento inconciente do cérebro humano 3) Devem ser combatidos com a parte consciente da me

Re: [Logica-l] Gendered Conferences

2014-02-11 Por tôpico Décio Krause
Chalmers foi um grosso. Décio Krause Departamento de Filosofia Universidade Federal de Santa Catarina www.cfh.ufsc.br/~dkrause Em 11/02/2014, à(s) 20:01, Marcelo Finger escreveu: > Oi Marcos. > > Achei um tantinho arrogante a forma utiliza

Re: [Logica-l] Mini-Curso de "Homotopy Theory and Type Theory" no Verão da Matemática-UFPE

2014-02-11 Por tôpico Ruy de Queiroz
Aqui vão os dados do curso de Eric Finster: Período: 17 a 21/02 17/02: 14h-18h, Sala D-222, Centro de Informática (CIn) da UFPE 18/02: 08h-12h, Sala D-222, Centro de Informática (CIn) da UFPE 19/02: 14h-18h, Sala D-222, Centro de Informática (CIn) da UFPE 20/02: 14h-18h, Sala A-014, Centro de Info