UNILOG'2018: até 5 de outubro para submeter uma proposta de communicação

[jean-yves beziau]

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

[Marcelo Finger]

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

> --
> 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 logica-l+u...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logi...@dimap.ufrn.br.
> 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