Modal Functional (Dialectica) Interpretation
Mathematical Logic Webinar, por Trifon Trifonov (Sofia University).
Mathematical Logic Webinar, por Trifon Trifonov (Sofia University).
Mathematical Logic Webinar, por Marie Kerjean (LIPN - Université Paris 13).
The meeting intends to create an atmosphere conducive to sharing experiences and ideas among the young researchers, increasing their scientific background, to facilitate novel breakthroughs.
Mathematical Logic Webinar, por Luís Caires (NOVA Laboratory for Computer Science and Informatics).
Mathematical Logic Webinar, por Diana Costa (Universidade de Lisboa).
Seminários de Sistemas Dinâmicos, por Marcelo Durães e Aline Melo (PUC-Rio - Pontifícia Universidade Católica do Rio de Janeiro).
The second edition of the Workshop on Combinatorial Optimization is organized by CMAFcIO and CEG-IST and will occur in an online format.
Mathematical Logic Webinar, por Melissa Antonelli (University of Bologna).
Mathematical Logic Webinar, por Nicholas Pischke (TU Darmstadt).
Mathematical Logic Webinar, por Thomas Powell (University of Bath).