-- Forwarded message -
*N. 53*
Está aberta a submissão de artigos para o número 53 da revista *O que nos
Faz Pensar*, do departamento de Filosofia da PUC-Rio, em número especial
sobre *Filosofia da Tecnologia*. Estão contemplados os seguintes tópicos:
1. Inteligência artifi
Depois de SALOME 1 (the 1st South American LOgic MEeting)
estou lançando este ano um outro congresso continental de lógica: na África
Esta é a sétima série de eventos de lógica que estou lançando depois de:
UNILOG, SQUARE, LiQ, WoCoLoR, WLD, SALOME.
Como disse o Baron Chambourcy du Miaou: "Dans un
Olá,
Gostaria de compartilhar o seguinte podcast voltado para matemática
universitária.
Espero que gostem.
Abraços,
Michel
-- Forwarded message -
De: Lucas Colucci
Date: qui., 15 de fev. de 2024 às 13:19
Subject: [forumppg] +1café: podcast com matemáticos brasileiros
To:
Ca
Call for Bids to Host FroCoS-ITP-TABLEAUX 2025
==
We are pleased to announce the call for proposals for hosting and
organising FroCoS-ITP-TABLEAUX 2025, on their 15th, 16th and 33rd editions,
respectively.
- FroCoS (http://frocos.cs.uiowa.edu/) is the m
