Acontecendo: SALOME 1 - the 1st South American LOgic MEeting
32 views
Skip to first unread message
jean-yves beziau
Jan 13, 2024, 9:02:24 AM1/13/24
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Nosso evento
SALOME 1 : the 1st South American LOgic MEeting,
está indo muito bem com a participação de pessoas da América do Sul e do mundo inteiro
no ambiente bem descontraído da cidade ensolarada de Cusco, Peru.
Hoje vamos começar o dia com três palestras bem interessantes:
Jasmin Özel (Alemanha), "Antilogism in Ladd-Franklin"
Nina Auras (Brasil), "Hegel’s critique on language formalization"
Ulrich Meyer (Estados Unidos), "Against Impossibilia"
Nina Auras (Brasil), "Hegel’s critique on language formalization"
Ulrich Meyer (Estados Unidos), "Against Impossibilia"
mais na frente no dia vamos ter as palestras
Carolyn Talcott (Estados Unidos), "Rewriting modulo constraints: proof methods for verifying rewriting logic models of cyberphysical systems"
Philip Welch (inglaterra), "Free subsets of first order structures"
e amanhã a comemoração do dia mundial da lógica
bem na praça central de Cusco no lugar que foi a residência dos reis incas.
JYB
Reply all
Reply to author
Forward
0 new messages