Seminário de Lógica e Computação

O Seminário de Lógica e Computação está no seu quarto ano. Trata-se de um fórum de discussão sobre temas de Lógica e Computação, aberto a todos os interessados. Os encontros decorrerão normalmente às segunda-feiras, sendo previamente anunciados.

2007/08

• 17/12/07, Manuel Campagnolo (DM/ISA/UTL e SQIG/IT): Using approximation to characterize real computable functions
• 27/11/07, José Carlos Espírito Santo (DM, UM): Unidade e diversidade na teoria estrutural da demonstração
• 19/11/07, Mário Florido (DCC, UP): System L: a linear version of Godel System T
• 15/10/07, Gilda Ferreira (CMAF, UL): Introdução ao Cálculo de Dedução Natural - análise dos conectivos

2007

• 13/6/07, Guillaume Bonfante (Nancy): Interpretation of programs, a tool to measure their complexity
• 31/5/07, Matthias Baaz (Viena): Generalization and Formal Analogy
• 25/5/07, Oliver Kullmann (Swansea): SAT and the Polya Permanent Problem
• 16/5/07, Mário Jorge Edmundo (UA): Cohomologia na Lógica
• 2/5/07, Isabel Oitavem (UNL): Modelos de computação - uma reflexão
• 18/4/07, Isabel Oitavem (UNL): Teoria de Recursão e Complexidade
• 28/3/07, Pedro Quaresma de Almeida (DM, UC): GeoThms - Laboratório Virtual para a Geometria Euclidiana
• 21/3/07, Charles Morgan (London): Ramsey Theory

2006

• 13/9/06, Ulrich Berger (Swansea): On the computational interpretation of classical analysis
• 1/6/06, António Marques Fernandes (Lisboa): O problema do contínuo - a solução parcial de Kurt Gödel
• 19/5/06, Harold Simmons (Manchester): Tiering without tears
• 18/5/06, Oliver Kullmann (Swansea): Identification of inconsistencies in low-level translations of user queries

• 28 Abril 2006, Simpósio de Matemática: Centenário do nascimento de Kurt Gödel

• 6/4/06, Kerry Ojakian (CLC-UTL), Bounded Arithmetic with Bounded Finite Types
• 24/3/06, Luís Antunes (DCC, UP), Complexidade de Komolgorov: quando a teoria se encontra com a prática
• 16/3/06, Sabine Broda (UP), Inferência de tipos principais no cálculo-BCK
• 6/3/06, Bartosz Wieckowski (Universität Tübingen, Alemanha), Substitutional Quantification and Modality
• 2/3/06, J. Félix Costa (IST, UTL), Computing over the reals: a new non-standard approach

2005

• 20/5/05, Pedro Quaresma de Almeida (DM, UC), Sistemas de Dedução & Provadores Automáticos de Teoremas
• 29/4/05, Luís Pinto (U. Minho), Permutabilidade em cálculo de sequentes através de uma extensão do Cálculo-λ
• 22/4/05, Ana Maria de Almeida (DM, UC), Complexidade - Informação - Entropia
• 15/4/05, Yasser Omar (CLC-UTL), Bits Quânticos e as suas Aplicações
• 7/4/05, João Marcos (CLC-UTL e Unileste-MG), Modal non-classical negations
• 18/3/05, José Coelho (Universidade Aberta), Introdução à Teoria da Complexidade Algorítmica
• 7/3/05, Fernando Ferreira (UL), Uma nova noção de realizabilidade

• Isabel Oitavem, UNL e CMAF.
• Reinhard Kahle, UC e Centria.