Multimodalidades anódicas e catódicas: de completude a incompletude, de traduções possíveis a mundos (im)possíveis

Quarta-feira dia 1 de abril, às 16h00.
CLE-UNICAMP

Juliana Bueno-Soler
Discutirei os sistemas modais anódicos (sem negação) e catódicos (com graus de negação) e suas extensões multimodais, discorrendo sobre resultados de completude e incompletude com respeito à semânticas de Kripke. Num segundo momento mostrarei como caracterizar tais sistemas através de semânticas de traduções possíveis, e como conectá-las com noções de mundos impossíveis.

---

Seminário do LIAMF dia 2/4/2009

------------------------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-------------------------------------------------------------------------------------------

Título: "A Lição Final": o que a vida e obra de Randy Pausch podem
contribuir para nosso dia a dia como pesquisadores

Palestrante: Flávio Soares Corrêa da Silva

Data: 2/04/2009, 14h00
Local: Sala 241A, IME-USP

Resumo: Randy Pausch foi um brilhante pesquisador, em sua última fase profissional filiado a Carnegie-Mellon. Por motivos bastante peculiares, ele se tornou recentemente também famoso fora dos círculos acadêmicos. Sua autobiografia contém diversos aforismos de onde podemos extrair técnicas e métodos de trabalho bastante concretos, que podem influir positivamente em nossa eficiência como pesquisadores. Nesse seminário discutiremos alguns deles.



Todos são benvindos

Site dos seminários do CLE está no ar - com o resumo do prof. Walter Carnielli

---------- Forwarded message ----------
From: Fernando Girotto <fernando.girotto (no) gmail.com>
Date: 2009/3/22
Subject: [seminarios-CLE] site dos seminários está no ar - com o resumo do prof. walter



Boa noite pessoas.

O novo site dos 'Seminários Regulares de Lógica' está no ar, e pode
ser acessado no seguinte endereço:

http://www.cle.unicamp.br/principal/grupoglta/seminarios/

A versão ainda está meio 'crua', então me avisem de qualquer problema
ou sugestão que vocês tenham.

Abraços,
Fernando e Roberto.

Verdade e Discurso Normativo: problemas para a filosofia da lógica

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica,
Conhecimento e Ética", inicia a sua programação anual dos Seminários de
Lógica e Filosofia Formal, com a palestra:

Verdade e Discurso Normativo: problemas para a filosofia da lógica
Prof. Anderson Souza da Silva
DIPRI – UFRN

Local:  UFRN, Setor II, sala G1
Data: 27 / 03 / 2009  às 16 h.

CoGrOO - Um sistema de análise gramatical para a língua portuguesa

---------- Forwarded message ----------
From: Marcelo Finger
Date: 2009/3/20
Subject: Seminário LIAMF dia 10/11/2008
To: liamf-anuncios@ime.usp.br

CoGrOO - Um sistema de análise gramatical para a língua portuguesa

Palestrante:  William Daniel Colen de Moura Silva

Data:   26/03/2009, 14h00
Local:  Sala 241A, IME-USP

Resumo:

O CoGrOO (Corretor Gramatical para o OpenOffice) é um sistema para a detecção
de erros gramaticais para a língua portuguesa. Atualmente, na sua segunda
geração, emprega técnicas estatísticas de Processamento de Linguagens Naturais
para analisar textos em diversos níveis: sentenças, palavras (análise
morfológica), sintagmas e sujeito - verbo - objeto (análise sintática). A
partir do resultado dessa análise se identifica padrões que determinam
possíveis erros.

O objetivo desse seminário é mostrar os pontos fracos e fortes desse sistema,
levantar idéias de como ele poderia evoluir e ser usado em outras
aplicações. Será também apresentada uma proposta para a terceira geração do
sistema.

Agenda: Breve introdução sobre PLN; CoGrOO como um produto; História do
projeto; Analise da Arquitetura e do Desenvolvimento; Demonstrações;
Resultados e Desempenho; Evolução e propostas.

Página do projeto: http://cogroo.sourceforge.net/

Todos são benvindos

--
 Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica | home page:
 Universidade de Sao Paulo             |   www.ime.usp.br/~mfinger
 Rua do Matao, 1010                    | Tel: +55 11 3091 6310, 3091 6135
 05508-090    Sao Paulo, SP     Brazil | Fax: +55 11 3091 6134, 3814 4135

Compte-Rendu, Rendiconti, Bericht: Memórias acadêmicas de uma viagem sabática pela Europa.

==========================================
Adolfo Neto
Departamento Acadêmico de Informática
Universidade Tecnológica Federal do Paraná
Fone: (41) 3310-4644 / Fax: (41) 3310-4646
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Blog: http://professoradolfo.blogspot.com
==========================================

Pessoal, conforme nosso cronograma o próximo seminário será dia 25 de março, quarta-feira da próxima semana. Segue abaixo as informações.
Atenciosamente,
Rafael Testa

***************************************************

Compte-Rendu, Rendiconti, Bericht:  Memórias acadêmicas de uma viagem
sabática pela Europa.

Prof. Dr. Walter A. Carnielli
CLE e IFCH, UNICAMP

Pretendo descrever  o ambiente acadêmico dos vários Departamentos  de
Filosofia, Lógica, Matemática e Computação que visitei durante recente
estada em Luxemburgo, enfatizando e comparando suas  linhas  de
trabalho e o interesse  manifestado pelo CLE e  pelo Grupo de  Lógica
Teórica e Aplicada, incluindo o  projeto temático FAPESP  ConsRel
sobre   Consequência  Lógica.  Discorrerei sobre   grupos de Istambul,
Obergurgl, Viena, Luxemburgo, Amsterdam, St. Andrews, Copenhagen,
Roskilde, Münster e Lille.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

Local: CLE - UNICAMP

Problemas em Aberto em Lógica Computacional e em Lógica Probabilística -- Seminário LIAMF dia 12/03/2009

---------- Forwarded message ----------
From: Marcelo Finger <mfinger AT ime.usp.br>
Date: 2009/3/10
Subject: Seminário LIAMF dia 12/03/2009


------------------------------------------------------------------------------------------
Seminário do Grupo de Lógica, Inteligência Artificial
e Métodos Formais - LIAMF
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf/seminarios/index.html
-------------------------------------------------------------------------------------------

Título: Problemas em Aberto em Lógica Computacional e em Lógica Probabilística
Palestrante:  Marcelo Finger

Data:   12/03/2009, 14h00
Local:  Sala 241A, IME-USP

Resumo:
--------------

 Neste primeiro seminário do ano, apresentaremos uma série de problemas em
 aberto relacionados a temas de Lógica Computacional e Lógica e
 Probabilidade.  Muitos destes problemas rondam o problema central P=?NP, mas
 formam uma série de outras frentes de pesquisa em melhoria da eficiência
 na resolução de problemas em áreas tão diversas como IA, sistemas
 distribuídos, algoritmos, etc.

 Este seminário destina-se aos alunos que estão procurando temas de
 pesquisa e/ou estão querendo saber dos diversos desafios na área.

Todos são benvindos!
--
 Marcelo Finger
 Departamento de Ciencia da Computacao
 Instituto de Matematica e Estatistica | home page:
 Universidade de Sao Paulo             |   www.ime.usp.br/~mfinger
 Rua do Matao, 1010                    | Tel: +55 11 3091 6310, 3091 6135
 05508-090    Sao Paulo, SP     Brazil | Fax: +55 11 3091 6134, 3814 4135