[Logica-l] Solicitação de Papers
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-uniform Spaces in Terms of Filters. 4. Norihiro Kamide. A Sequent Calculus for 3-Dimensional Space. Atenciosamente, Regivan -- ** Prof. Dr. Regivan Hugo Nunes Santiago Group of Logic, Language, Information, Theory and Applications - LoLITA Department of Informatics and Applied Mathematics - DIMAp Federal University of Rio Grande do Norte - UFRN Avenida Senador Salgado Filho, 3000, Campus Universitario, Lagoa Nova, 59.078-970, Natal, RN, Brasil Caixa Postal: 1679 Phone: +55 84 3215-3814 Ext. 211 Fax: +55 84 3215-3813 http://www.dimap.ufrn.br/~regivan e-mail: regivan AT DOMAIN=dimap,ufrn,br. ** ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] Gendered Conferences
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 2013 sobre Filosofia da Logica e da Matemática a partir de uma rubrica "on colors and numbers". Será uma continuacao, mas por querer concentrar a segunda edicao do evento em questoes filosoficas contemporaneas a respeito do estatuto de cores, pensei claro em ter alguém falando dos Qualia. Pensar em qualia é pensar no David Chalmers. Fiz um convite, entao. Ele declinou alegando 1) falta de tempo em 2015, 2) nao poder agora fazer uma contribuicao ao tema principal do evento e 3) nao ter mulheres no evento. As duas primeiras razoes eram esperadas. A terceira foi uma surpresa para mim. A crítica dele de nao querer participar de um evento apresentando razao tao radical entre mulheres e homens, me fez repensar os participantes, a estrutura do meu evento e meu "implicit bias". Só havia pensado de fato em pesquisadores-homens (para minha surpresa e decepcao). Com um pouco de pesquisa, achei este site com pontos muito bons sobre o tema de "radical gendered conferences". Nao concordo com algumas visoes e argumentos, mas acho a iniciativa muito iluminadora. http://feministphilosophers.wordpress.com/2011/03/26/how-to-avoid-a-gendered-conference/ abraco, Marcos Silva ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[Logica-l] UNILOG'2015 Istambul, Turquia
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/listinfo/logica-l
Re: [Logica-l] Gendered Conferences
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 mente Dito isto, certamente há formas mais simpáticas de recusar o convite E lamentar a falta de mulheres na platéia. []s 2014-02-11 14:09 GMT-02:00 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 2013 sobre Filosofia da Logica e da Matemática > a partir de uma rubrica "on colors and numbers". Será uma continuacao, mas > por querer concentrar a segunda edicao do evento em questoes filosoficas > contemporaneas a respeito do estatuto de cores, pensei claro em ter alguém > falando dos Qualia. > > Pensar em qualia é pensar no David Chalmers. Fiz um convite, entao. Ele > declinou alegando 1) falta de tempo em 2015, 2) nao poder agora fazer uma > contribuicao ao tema principal do evento e 3) nao ter mulheres no evento. > As duas primeiras razoes eram esperadas. A terceira foi uma surpresa para > mim. > > A crítica dele de nao querer participar de um evento apresentando razao tao > radical entre mulheres e homens, me fez repensar os participantes, a > estrutura do meu evento e meu "implicit bias". Só havia pensado de fato em > pesquisadores-homens (para minha surpresa e decepcao). > > Com um pouco de pesquisa, achei este site com pontos muito bons sobre o > tema de "radical gendered conferences". Nao concordo com algumas visoes e > argumentos, mas acho a iniciativa muito iluminadora. > > http://feministphilosophers.wordpress.com/2011/03/26/how-to-avoid-a-gendered-conference/ > > > abraco, > Marcos Silva > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Gendered Conferences
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 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 mente > > Dito isto, certamente há formas mais simpáticas de recusar o convite E > lamentar a falta de mulheres na platéia. > > []s > > > 2014-02-11 14:09 GMT-02:00 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 2013 sobre Filosofia da Logica e da Matemática >> a partir de uma rubrica "on colors and numbers". Será uma continuacao, mas >> por querer concentrar a segunda edicao do evento em questoes filosoficas >> contemporaneas a respeito do estatuto de cores, pensei claro em ter alguém >> falando dos Qualia. >> >> Pensar em qualia é pensar no David Chalmers. Fiz um convite, entao. Ele >> declinou alegando 1) falta de tempo em 2015, 2) nao poder agora fazer uma >> contribuicao ao tema principal do evento e 3) nao ter mulheres no evento. >> As duas primeiras razoes eram esperadas. A terceira foi uma surpresa para >> mim. >> >> A crítica dele de nao querer participar de um evento apresentando razao tao >> radical entre mulheres e homens, me fez repensar os participantes, a >> estrutura do meu evento e meu "implicit bias". Só havia pensado de fato em >> pesquisadores-homens (para minha surpresa e decepcao). >> >> Com um pouco de pesquisa, achei este site com pontos muito bons sobre o >> tema de "radical gendered conferences". Nao concordo com algumas visoes e >> argumentos, mas acho a iniciativa muito iluminadora. >> >> http://feministphilosophers.wordpress.com/2011/03/26/how-to-avoid-a-gendered-conference/ >> >> >> abraco, >> Marcos Silva >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
Re: [Logica-l] Mini-Curso de "Homotopy Theory and Type Theory" no Verão da Matemática-UFPE
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 Informática (CIn) da UFPE 21/02: 14h-18h, Sala A-014, Centro de Informática (CIn) da UFPE A quem interessar: o livro "Homotopy Type Theory" pode ser obtido a partir do seguinte endereço: http://homotopytypetheory.org/book/ Ruy 2014-01-07 19:32 GMT-03:00 Ruy de Queiroz : > É com satisfação que confirmamos a oferta de um mini-curso em "Teoria da > Homotopia e Teoria dos Tipos", por Eric Finster (Paris), como parte do > Programa de Verão 2014 da Matemática (UFPE). > > Período: 17 a 21 de Fevereiro de 2014 > Horário: 14-18hs > Sala: (a confirmar) > > Para maiores informações sobre inscrições no Programa de Verão 2014 da > Matemática (UFPE), visite http://www.dmat.ufpe.br/Verao2014/index.html > > Ruy > -- > > Short Course on Homotopy Theory and Type Theory > > In this course, I will give a short overview of some classical > constructions from algebraic topology and homotopy theory, including the > theory of homotopy groups, homology groups, fibrations and cofibration > sequences, as well as some basic applications of these tools. I will then > proceed to detail the connection with intensional type theory, and in > particular, how some of these constructions can be mimicked in modern proof > assistants. > > Bio > === > Eric Finster received his Ph.D. in mathematics in 2010 from the > University of Virginia. His thesis work concerned stable splittings of > mapping spaces and spaces of sections derived from a technique in homotopy > theory known as Goodwillie Calculus. After graduating, he held > postdoctoral positions at the École Polytechnique Fédéral de Lausanne in > Switzerland, and the Institute for Advanced study in Princeton, where he > participated in the Univalent Foundations project. His work concerns > connections between logic, computer science, homotopy theory and higher > category theory. > ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
