CLE-AIPS - SCIENCE, TRUTH AND CONSISTENCY
23-28 de agosto de 2009
Local: Auditório do IMECC-UNICAMP

Organização:
L'Académie Internationale de Philosophie des Sciences (A.I.P.S.)
Centro de Lógica, Epistemologia e História da Ciência (CLE)

MBR'09_BRAZIL- MODEL-BASED REASONING IN SCIENCE AND TECHNOLOGY
Abduction, Logic, and Computational Discovery
Campinas, 17-19 de dezembro de 2009
Local: Auditório do IMECC-UNICAMP e Hotel Royal Palm Tower

Organizadores:
Lorenzo Magnani e Walter Carnielli

Anais/Proceedings

- Serão publicados pela Springer (na série "Studies in Computational Intelligence")

- Artigos técnicos selecionados serão publicados num volume especial do "Journal of Algorithms in Cognition, Informatics and Logic" (publicado pela Elsevier, em breve sob a Oxford University Press)

Organização:
Departamento de Filosofia da Universidade de Pavia (Itália)
Departamento de Filosofia e Ciências Sociais da Universidade de Siena (Itália)
Sociedade Brasileira de Lógica (SBL)
Centro de Lógica, Epistemologia e História da Ciência (CLE)

Eventos já Realizados

16th The Workshop on Logic, Language, Information and Computation - WoLLIC’2009
21-24 de junho de 2009
Tóquio, Japão

CLE 30 Anos
Apresentação
Conferências CLE 30 Anos

Eventos CLE 30 Anos - Associados

CLE 30 Anos - XV EBL - XIV SLALM
11-17 de maio de 2008 - Paraty, RJ

Programação

V Simpósio Internacional Principia
Florianópolis, 6 a 9 de agosto de 2007
Hotel Praiatur (Praia de Ingleses, Florianópolis, SC)

Com a participação dos GTs da ANPOF

CLE-SBL 25 Anos
26-30 de maio de 2003
Local: CLE-UNICAMP

IV World Congress of Paraconsistency (WCP4)
13-18 de julho de 2008
Ormond College - University of Melbourne

III World Congress of Paraconsistency (WCP3)
28-31 de julho de 2003
IRIT-Toulouse, França

15th The Workshop on Logic, Language, Information and Computation - WoLLIC’2008
01-04 de julho de 2008
Edinburgh, Scotland

14th The Workshop on Logic, Language, Information and Computation - WoLLIC’2007
02-05 de julho de 2007
Rio de Janeiro, Brasil

SÉRIE DE COLÓQUIOS CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

Conforme decisão da reunião da assembléia geral da SBL em abril de 2006, a Sociedade Brasileira de Lógica passa a apoiar oficialmente a série de Colóquios Cone Sul de Ciências Formais.

XII COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

De 08 a 12/11/2008 foi realizado no Itaimbé Palace Hotel em Santa Maria-RS, como atividade do Programa de Pós-Graduação em Filosofia da UFSM dedicado ao tema “VISUALIZAÇÃO”.

XI COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

De 14 a 18/11/2007 foi realizado no Itaimbé Palace Hotel em Santa Maria-RS, como atividade do Programa de Pós-Graduação em Filosofia da UFSM dedicado ao tema “NEGAÇÃO”.

X COLÓQUIO CONESUL DE FILOSOFIA DAS CIÊNCIAS FORMAIS

De 15 a 19/11/2006 foi realizado no Itaimbé Palace Hotel em Santa Maria-RS, como atividade do Programa de Pós-Graduação em Filosofia da UFSM dedicado ao tema “MODALIDADES”.

XII SIMPÓSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA

Está programado para o início de 2004 o “XII Simpósio Latinoamericano de Lógica Matemática (XII SLALM)”.

O evento, que deverá realizar-se na Costa Rica, América Central, está sendo organizado pelo seguinte comitê: Carlos Di Prisco (Instituto Venezuelano de Investigações Científicas - IVIC, Venezuela), Xavier Caicedo (Univ. de los Andes, Colômbia), Renato Lewin (Univ. Católica de Chile, Chile), Marta Sagastume (Univ. de La Plata, Argentina), Francisco Miraglia (USP, Brasil) e Jorge Guier (Univ. de Costa Rica, Costa Rica).

CombLog'04 - Workshop on Combination of Logics: Theory and Applications
Department of Mathematics, IST, Lisbon, Portugal
July 28-30, 2004

Executive Committee:

Walter A. Carnielli (UNICAMP, Campinas)
Marcelo E. Coniglio (UNICAMP, Campinas)
Paulo Mateus (IST, Lisbon)
Amílcar Sernadas (IST, Lisbon, Chair)