workshops no UNILOG'2018: Proof Theory, etc.

[jean-yves beziau]

Grato Marcos para fazer propaganda para o workshop sobre lógica e musica que o Ingolf esta organizando no UNILOG'2018

Quero apontar também o workshop sobre teoria da prova que o Peter Schröder Heister esta organizando 

http://www.uni-log.org/wk6-proof-theory.html

assim que o workshop bem original e interessante:

Practices of Writing and Reading in Logic 

http://www.uni-log.org/wk6-PWRL.html

no total  vamos ter 15 workshops:

http://www.uni-log.org/vichy2018

Jean-Yves