UITP'14 -- User Interfaces for Theorem Provers
--- call for papers ---
July 17, 2014, Vienna, Austria
http://vsl2014.at/pages/UITP-cfp.html
Important Dates
===
- Paper submission: May 4
- Author notification: May 25
- Final papers: May 31
-
-- Forwarded message --
From: Sebastian Nanz
Date: Wed, Jan 15, 2014 at 10:32 AM
Subject: PhD positions at ETH Zurich in concurrency & verification (ERC
advanced investigator project)
To: se-eve...@lists.inf.ethz.ch
As part of our "Concurrency Made Easy" ERC Advanced Investigator
Olá, Walter,
eu nao sou nem estudioso e nem atuante da area de Paraconsistência, mas um
curioso aplicado. Gostaria de arriscar um comentário sobre a "questao
estratégica" que talvez possa ser relevante.
Isto vem de algumas experiências recentes no segundo semestre de 2013.
Houve tres apresentaco
Vai abrir uma vaga de professor substituto de logica no dpt de filosofia da
UFRJ
quem esta interessado pode me contatar - é urgente e para começar no
primeiro semestro de 2014.
Diploma requerido: mestrado ou doutorado
Jean-Yves
___
Logica-l mailing list
Caros,
agradeço às ponderações do Marcos Silva, João Marcos, Chico Miraglia,
Itala, Júlio, Finger, Décio e Tony Marmo.
Concordo plenamente com o Chico Miraglia, no sentido em que não há
vazio político (pois se houvesse, ele seria preenchido em
velocidade superliminar...) e discordo do Joã
Bem, como acabei de ser mencionado sem o devido contexto, encaminho
para fins de esclarecimento as opiniões que brindei anteriormente em
privado sobre o assunto.
A propósito: a Versita é uma editora polonesa. Hoje ela pertence à
tradicional Walter De Gruyter, que também é atualmente dona da
Birkh
É, Walter. É isso mesmo. Caça níqueis.
Mas a idéia de uma revista "Paraconsistency" pode ser interessante.
Abraço
D
--
Décio Krause
Departamento de Filosofia
Universidade Federal de Santa Catarina
88040-900 Florianópolis - SC - Brasil
http://ww
