In one year will start the 7th edition of UNILOG
to take place at the Orthodox Academy of Crete, April 1 -11, 2022
with a school (April 1-5) and a congress (April 6-11) .
The school will offer 30 tutorials on all aspects of logic.
The congress will include 20 workshops, the World Logic Prizes
Muito merecido a ambos. Fico um pouco surpreso de não ter acontecido antes.
Jeff Ullman gostava de escrever livros. Quando não precisava fazer
mais nada fez este excelente livro acadêmico de programação em ML:
https://www.xataka.com/historia-tecnologica/premio-turing-considerado-como-nobel-informatica-para-creadores-base-que-se-sustentan-compiladores
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de
-- Forwarded message -
From: [LOGIC] Mailing List
Date: Wed, Mar 31, 2021 at 1:12 AM
Subject: [LOGIC] Opening of the Carl Friedrich von Weizsaecker-Centre:
"Making Responsible Decisions in & about Science", Virtual, 6 Apr 2021
To:
Dear All,
We cordially invite you to join us as
-- Forwarded message -
From: Eduardo Alejandro Barrio
Dear friends,
Ariel Roffé, of the BA-Logic group, has recently released the code of
the logic modules of TAUT (https://www.taut-logic.com/) into a public
repository (https://github.com/ariroffe/logics). The idea is to turn