Oi Jean Yves. Gostaria de falar sobre "Quantitative Logic Reasoning", dei um minicurso no SLALM2017 no México sobre esse tópico, mas não sei em que formato submeter. Não achei a descrição e não sei se é este tipo de contribuição que v tem tem mente.
[]s Marcelo 2017-09-22 6:59 GMT-03:00 jean-yves beziau <[email protected]>: > Caro/as Colegas > > Estamos fazendo extensão do deadline do UNILOG'2018 até 5 de outubro. > Essa edição vai acontecer em Vichy, na França de 16 a 26 de junho de 2018. > Vai ser a mais importante ja organizada. > > Na escola vamos ter 30 cursos sobre os assuntos mais variados e as vezes > pouco conhecidos, com por exemplo > "Louis Couturat (1868-1914): Early symbolic logic and the dream of a > characteristica universalis" > apresentado por Oliver Schlaudt (Heidelberg) > http://www.uni-log.org/ULS6-louis-couturat.html > > No congresso vamos ter muitos convidados famosos: Pierre Cartier, Danielle > MacBeth, David Makinson, Ole Hjortand, Michael Genesereth, Francesca > Poggiolesi, Volker Peckhaus, Bruno Poizat, etc... > http://www.uni-log.org/invited6 > > e cerca de 20 workshops com por exemplo > THE LVOV-WARSAW SCHOOL: PAST, PRESENT AND FUTURE > http://www.uni-log.org/wk6-lvov-warsaw.html > ou um workshop de teoria da prova organizado por PSH e Thomas Piecha > http://www.uni-log.org/wk6-proof-theory.html > > E possivel submeter uma proposicão de communicação (resumo de uma pagina) > seja diretamente aos organizadores de um workshop > seja a organização principal do evento. > > E vai ter uma sessão LOGIC PRIZES > com os vencedores de prêmios de lógica de cerca 15 paises do mundo > o ultimo pais a entrar na jogada foi a Lituania > http://www.uni-log.org/logic-prize-world > > Todos os detalhos estão no site do evento > http://www.uni-log.org/vichy2018 > > JYB > > -- > Você recebeu essa mensagem porque está inscrito 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLC%3DY2araTC6vLLA%3D-VOnd4YNKjmqFpnD7Y8abBkeh-0qA%40mail.gmail.com. -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CABqmzx0XJLxg2sj8doTGP254pVrdCjqDvprCxfzs5i2XMrSMzQ%40mail.gmail.com.
