[Logica-l] [HUMOR] Bertrand Russell on the job market
"analytics rule and continentals drool!" http://existentialcomics.com/comic/149 all done using only logic! cheers, jm -- http://sequiturquodlibet.googlepages.com/ -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LiZQyXCHvvsvsL%2BabFZ6v75MaH9Hf9ZXAGz-f0itZqoiQ%40mail.gmail.com.
[Logica-l] The Arbitrariness of the Sign -100 ans du cours de lingustique générale
Estou organizando o workshop The Arbitrariness of the Sign http://www.clg2016.org/geneve/programme/ateliers-libres/the-arbitrariness-of-the-sign parte do evento commemorativo dos 100 anos do Cours de Lingustique Générale, a obra prima do Ferdinand de Saussure que vai acontecer em Genebra em Janeiro de 2017 Tudo mundo é bemvindo Deadline para submeter um abstract: Sept 18 E a continuacao de um trabalho anterior: La pointure du symbole http://www.lautrelivre.fr/jean-yves-beziau/la-pointure-du-symbole -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLBPJ4Av_hdDQbjzdvMx5Lay0qKFaPHZVyPbKqm%3D2ssemQ%40mail.gmail.com.
[Logica-l] 2016 Donald E. Knuth Prize awarded to Noam Nisan
"Noam Nisan will receive the 2016 Donald E. Knuth Prize, the highest honor in theoretical computer science, for his work in computational complexity and algorithmic game theory." [...] "He won the 2012 Gödel Prize for his early work on algorithmic mechanism design with Amir Ronen." http://blog.computationalcomplexity.org/2016/09/noam-nisan-wins-knuth-prize.html (O Noam é professor na Universidade Hebraica de Jerusalém, e foi orientando do Richard Karp.) -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjRN7MxzR8We5m%2BnzLtAG%2B_w9px_QvyvQzRVqJo2TwMAA%40mail.gmail.com.
[Logica-l] Re: The Arbitrariness of the Sign -100 ans du cours de lingustique générale
Gostaria de emfatizar que o evento do 100 anos do Cours de Lingustique Générale que vai acontecer na cidade de Genebra de 9 a 14 de janeiro de 2017 é um evento de grande porte no mundo intellectual nao ha obra igual no mundo moderno Este livro tive um impacto bem forte, muito alem da linguistica é considerado com o fundamento do estruturalismo Ferdinand de Saussure é uma figura de destaco https://en.wikipedia.org/wiki/Ferdinand_de_Saussure Entre muitas coisas, ele apontou que as linguas nao escritas sao muito mais estaveis que as linguas escritas Convido entao tudo mundo para vir para a Genebra, capital mundial da paz https://www.youtube.com/watch?v=wZFk0JZiTg0 Jean-Yves Le samedi 10 septembre 2016 12:04:42 UTC+2, jyb a écrit : > > Estou organizando o workshop > The Arbitrariness of the Sign > > http://www.clg2016.org/geneve/programme/ateliers-libres/the-arbitrariness-of-the-sign > parte do evento commemorativo dos 100 anos do > Cours de Lingustique Générale, a obra prima do Ferdinand de Saussure > que vai acontecer em Genebra em Janeiro de 2017 > > Tudo mundo é bemvindo > Deadline para submeter um abstract: Sept 18 > > E a continuacao de um trabalho anterior: > La pointure du symbole > http://www.lautrelivre.fr/jean-yves-beziau/la-pointure-du-symbole > -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c7386e9c-8638-4d2b-ac4c-8a5e03ac7e9a%40dimap.ufrn.br.
[Logica-l] Convite: workshop em homenagem aos 70 anos do professor Chico Miraglia
Prezados colegas, Temos a satisfação de convidá-los para a participar do workshop "Logic and Applications:in honor to Francisco Miraglia by the occasion of his 70th birthday" , a ser realizado no IME-USP (auditório Jacy Monteiro) nos dias 16 e 17 de setembro (sexta-feira e sábado). Nesta singela homenagem que organizamos para agradecer as contribuições de nosso professor e colega Francisco “Chico” Miraglia, contaremos com 11 comunicações, 5 palestras e 2 mesas redondas. Algumas informações sobre o evento estão na página https://www.ime.usp.br/destaques/francisco-miraglia Abaixo segue a versão mais atualizada sobre a programação. 16 de setembro 09:30 10:00 Abertura 10:00 10:50 P1: Max Dickmann, Paris 6-7: TBA 10: 50 11:20 Coffee break 11:20 11:50 C1: Marcelo Coniglio, CLE-Unicamp: Swap structures: algebraizing logics by means of multialgebras 11:55 12:25 C2: Rodrigo Dias, UFABC: Selective games on binary relations 12:30 14:30 Almoço 14:30 15:20 P2: Ofelia Alas, IME-USP: Maximal countably compact spaces 15:25 15:55 C3: Lucia Junqueira, IME-USP: Reflecting topological properties 16:00 16:30 C4: Rodrigo Freire, UNB: Existential Import in Set Theory 16:35 17:05 Coffee break 17:05 17:55 P3: Ricardo Bianconi, IME-USP: Some model theory of hypergeometric functions 18:00 18:30 C5: Hugo Mariano, IME-USP: Abstract aspects of quadratic forms 18:30 19:00 C6: Vinicius Lopes, UFABC: Some of Chico's quotes 17 de setembro 9:30 10:20 P4: Ruy de Queiroz, UFPE: Propositional equality, identity types, and computational paths 10: 25 10:55 C7: Andreas Brunner, UFBA: Model Theory in Sheaves 10:55 11:25 Coffee break 11:25 11:55 C8: Samuel Silva, UFBA: Topological equivalences of CUT and CUT(Fin) 12:00 12:30 C9: Ciro Russo, UFBA: Quantale modules and propositional deductive systems: interpretation, amalgamation and the Deduction Theorem 12:30 14:30 Almoço 14:30 15:20 P5: Ivan Shestakov, IME-USP: TBA 15:25 15:55 C10: Leandro Aurichi, ICMC-USP: A family of hyperspaces and its applications on products problems 16:00 16:30 C11: Claus Horodynski, UNB: Issues concerning Mathematical formalism 16:30 17:00 Coffee break 17: 00 18:00 Perspectivas da Universidade Brasileira (mesa redonda) 18: 00 19:00 Perspectivas em Lógica e aplicações (mesa redonda) 19: 00 19:20 Encerramento Cordialmente a Comissão Organizadora: Marcelo Esteban Coniglio- UNICAMP Vinicius Cifú Lopes- UFABC Hugo Luiz Mariano –IME-USP -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/20160910231023.Horde.yDJUb5knOm1Jy0bzt4GEJg5%40webmail.ime.usp.br.
