Usar a palavra certa para a coisa certa é uma coisa importante mas não
necessariamente óbvia.
Quando se instituiu e/ou instituitonalisou o uso errada de uma palavra, é
difícil trocar a palavra.
Na teoria da recursão se usa a palavra decidível de uma maneira
inapropriada, e não é amanhã que vamos
*WORKSHOP INTERNACIONAL*
*22 Y 23 DE SEPTIEMBRE DE 2021*
*LAS FILÓSOFAS Y LEIBNIZ*
La reunión tiene como objetivo fundamental proponer un espacio análisis y
debate acerca de las conexiones, relaciones e influencias que puedan
establecerse entre la filosofía leibniziana y el pensamiento de
* Apologies for cross posting *
==
Call for Participation
Reasoning Web Summer School (RW) 2021
(Part of Declarative AI 2021)
https://declarativeai2021.net/reasoning-web
Venue: ONLINE event (with FREE registration)
Dates: 8-10 September 2021
-- Forwarded message -
Trends in Logic XXI 2021 - Deadline Extension Announcement
-
Updates and changes:
- The deadline for contributions has been extended till 14 September 2021
- Both online and on-site options for participation/presentation are planned
-
The