Fwd: [seminarios-CLE] Alteração Seminários

---------- Forwarded message ----------
From: Rafael Testa
Date: 2010/5/25
Subject: [seminarios-CLE] Alteração Seminários

Pessoal,
devido aos Seminários de Lógica Modal em Aristóteles nos dias 26, 27 e 28, o seminário de Dante Cardoso, previsto para esta quarta, será dia 16/06. Nosso próximo seminário previsto, portanto, será no dia 09/06 (Carlos Eduardo, título e resumo a ser enviado).

"Resumo" da ópera:

++++++++++++++++++++++++++++

Dias 26, 27 e 28 de maio de 2010
Horário: 14h30- 18h
"A Method of Modal Reasoning in Aristotle: Proof by Assumption of the Possible"
(a discussion of Prior Analytics A 15 34a5-33, and De Caelo A 12
281b9-15, 281b20-25, 282a1-4, 283a11-17, 283b6-17)
Expositores: Marko Malink (Humboldt Universitat, Berlin) & Jacob Rosen
(Humboldt Universitat, Berlin)

Dia 09/06
Horário: 16h00 - 18h00
Título: a ser enviado
Carlos Eduardo (estudante doutorado, IFCH/CLE)

Dia 16/06
Horário: 16h30 - 18h00
Título: O Paradoxo da Cognoscibilidade
Resumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.
Dante Cardoso (estudante doutorado, IFCH/CLE)

+++++++++++++++++++++++++++++

Qualquer eventual alteração será devidamente informada.

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

__,_._,___

Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:

---------- Forwarded message ----------
From: Walter Carnielli
Date: 2010/5/22
Subject: [seminarios-CLE] Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:


Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:

"A Method of Modal Reasoning in Aristotle: Proof by Assumption of the Possible"
(a discussion of Prior Analytics A 15 34a5-33, and De Caelo A 12
281b9-15, 281b20-25, 282a1-4, 283a11-17, 283b6-17)

Expositores: Marko Malink (Humboldt Universitat, Berlin) & Jacob Rosen
(Humboldt Universitat, Berlin)

Dias 26, 27 e 28 de maio de 2010
Horário: 14h 30- 18h
Sala de Seminários - Centro de Lógica, Epistemologia e História da
Ciência (CLEHC)
Unicamp

Programa de Pós-Graduação em Filosofia da Universidade de Campinas (UNICAMP).
Mais informações pelo e-mail angioni.lucas EM gmail.com

--

--
+++++++++++++++++++++++++++++++++++++++++++++++++
Walter Carnielli
Centre for Logic, Epistemology and the History of Science – CLE
State University of Campinas –UNICAMP
P.O. Box 6133 13083-970 Campinas -SP, Brazil
Phone: (+55) (19) 3521-6515
Fax: (+55) (19) 3289-3269
Website: http://www.cle.unicamp.br/prof/carnielli

IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ

---------- Forwarded message ----------
From: rodrigo cid
Date: 2010/5/21
Subject: [Logica-l] IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ
To:

IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ





Os alunos do PPGLM/UFRJ convidam os estudantes de pós-graduação a participar de seu quarto seminário. Os interessados deverão enviar resumo e texto integral relativo à apresentação para o seguinte e-mail: seminarioppglm@yahoo.com.br até o dia 15 de julho.


O texto deve ter, no máximo, 10 páginas e obedecer à seguinte formatação: fonte Times New Roman, corpo 12, espaço entre linhas 1,5 e margens 2,5 cm; o respectivo resumo deve conter até 300 palavras. Os  trabalhos enviados serão submetidos à avaliação do corpo docente do programa.


O evento será realizado entre 13 e 17 de setembro.


Cordialmente,


Alunos do PPGLM

Seminário do LIAMF dia 20/5

---------------------------------------------------------------------------
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: Atualização de Modelos Baseada em Ações
Palestrante: Maria Viviane de Menezes

Data:  20/5/2010, 14hs
Local: Sala 254-A

Erros são comuns durante o desenvolvimento de sistemas de software e
hardware, sendo que sua detecção e correção na maioria das vezes envolve um
processo de alto custo. Este custo, no entanto, pode ser reduzido se o
projetista for capaz de corrigir erros ainda na fase de especificação do
sistema. Atualização de Modelos é uma abordagem formal utilizada para corrigir
automaticamente um modelo de um sistema que não satisfaz uma dada propriedade. A
maioria das abordagens de atualização de modelos é baseada na lógica temporal de
tempo ramificado CTL, a qual não leva em consideração as ações que rotulam as
transições de estados.
Nesta proposta apresentamos um arcabouço de atualização de modelos baseada
em ações, que pode ser utilizado para sugerir automaticamente modificações em
um sistema considerando as ações que rotulam as transições de estados, bem
como sugerir modificações na própria especificação de ações. Neste contexto,
a especificação de um sistema é representada por um sistema de transições
rotuladas e as propriedades a serem verificadas são especificadas na lógica
temporal alpha-CTL : uma extensão da CTL que possui a semântica baseada em ações.


Todos são bem-vindos.

Seminaire "Logiques en format polynomial" (W. Carnielli)

Vendredi 21 mai a 14h  :

Walter Carnielli, U. Campinas, Centre de Logique, Epistemologie et
Histoire des Sciences (CLE) et Departement de Philosophie : "Logiques en
format polynomial"

RESUME : Nous allons montrer que beaucoup de logiques peuvent etre
exprimées en format polynomial avec des coefficients sur les corps de
Galois finis. Cela s'applique a tous les logiques multi-valués finis
ainsi qu'aux logiques paraconsistantes, beaucoup de logiques modales et
un certain fragment de la logique du premier ordre. On obtient ainsi un
nouveau mode de calcul avec des propriétés intéressantes.

[seminarios-CLE] Seminário - URGENTE

Pessoal,
Houve uma mudança no cronograma de nossos seminários. Nesta quarta teremos, ao invés do Dante, seminário do Prof. Rubens Lintz, membro fundador do CLE e Professor Emérito da Mac Master University do Canadá.

Título:

"Os Irracionais na História da Matemática"

às 16h00, no CLE

--

Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

[seminarios-CLE] Seminário

Pessoal,
lembro a todos que nesta quarta-feira, dia 12/05, teremos seminário de Dante Cardoso (nosso colega do CLE, mestrando)

+++
Título: O Paradoxo da Cognicibilidade
Resumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.
+++

Como sempre às 16h00 no CLE, desta vez na sala usual (salvo imprevisto).

Abraços.

--
Rafael R. Testa
Doutorando do Centro de Lógica, Epistemologia e História da Ciência
Departamento de Filosofia, Unicamp
http://sites.google.com/site/rafaeltesta

__._,_.___

Your email settings: Individual Email|Traditional
Change settings via the Web (Yahoo! ID required)
Change settings via email: Switch delivery to Daily Digest | Switch to Fully Featured
Visit Your Group | Yahoo! Groups Terms of Use | Unsubscribe

__,_._,___