[Logica-l] UNILOG'2018 - Vichy, June 16-26, 2018 - 6th WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC

2017-02-10 Por tôpico jean-yves beziau
The 6th UNILOG - WORLD CONGRESS AND SCHOOL ON UNIVERSAL LOGIC will take place in Vichy, France, June 16-26, 2018 after previous editions in Montreux 2005, Xi'an 2007, Lisbon 2010, Rio 2013 and Istanbul 2015: http://www.uni-log.org Along these years UNILOG has been a leading international logical

[Logica-l] TABLEAUX/FroCoS/ITP 2017 - Call for Posters

2017-02-10 Por tôpico Cláudia Nalon
CALL FOR POSTERS TABLEAUX/FroCoS/ITP 25-29 SEPTEMBER 2017 BRASILIA BRAZIL TABLEAUX/FroCoS/ITP 2017 will have a poster session, which is intended for descriptions of works in progress, student projects and relevant research

[Logica-l] Primeira palestra Lolita/2017

2017-02-10 Por tôpico Elaine Pimentel
Prezados colegas do Lolita, É com muito prazer que convido vocês para o nosso primeiro encontro do ano. Mário Sérgio é professor do DCC/UFMG, fez mestrado em lógica e doutorado em Teoria da Informação. Estão todos convidados!!! Dia: 16/02/2017 Hora: 17h Local: Anfiteatro A/CCET Título: Quando

Re: [Logica-l] Primeira palestra Lolita/2017

2017-02-10 Por tôpico Joao Marcos
Mais ainda: Mário Sérgio foi orientando de mestrado de alguém que conhecemos muito... e que trabalha com Lógica no DMAT / UFRN. Imperdível palestra!! Seja bem-vindo a Natal, Mário Sérgio! Joao Marcos On Feb 10, 2017 8:29 PM, "Elaine Pimentel" wrote: Prezados colegas do Lolita, É com muito pr