---------- Forwarded message --------- Call for Contributed Talks ************************************************************************** Workshop on Decidability of Logics and Theories and Their Combinations https://sites.google.com/view/unilog-2022/workshops/decidability ************************************************************************** UNILOG 2022 https://sites.google.com/view/unilog-2022/welcome **************************************************************************
Decidability is recognized as an important property both for logics and theories. Several techniques have been proposed to investigate whether or not a logic or a theory is decidable.However it seems that more research is needed in this front. In fact, the existing techniques are not enough to cope with the large variety of logics and theories that exist nowadays, some of them with very different and sophisticated features. Additionally some emphasis should be put on investigating preservation of decidability when combining logics and theories. Important Dates Submission: October 15, 2021 Topics of interest include: Decidability of logics Techniques for proving decidability Decidability of theories Preservation of decidability by combination Decidability of new logics for challenging applications Relationship between decidability and other logical properties Lógica e Computação Departamento de Matemática Instituto Superior Técnico Universidade de Lisboa https://fenix.tecnico.ulisboa.pt/homepage/ist12466 -- 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 receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhTLZ7OErGnTrkG4Qc1Lt4i1m58sgxXqBML5FSJAfSVDA%40mail.gmail.com.
