Fwd: [Logica-l] Seminários LoLITA / UFRN - 10Dez2010

Mais um seminário, esta semana, do
 Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
da UFRN:


Aventuras no País dos Buscadores
--Valéria de Paiva
Local:  Sala 3H7, UFRN
Data: 10-Dez-10,  09:00-10:00

Resumo:
Em maio de 2008 eu resolvi largar o meu emprego como pesquisadora do
PARC, o celebrado laboratório de pesquisas da Xerox em Palo Alto, CA,
para me juntar a uma micro-empresa inventando um buscador para
revolucionar a internete.  Três meses mais tarde Cuil foi lancado, com
muita fanfarra e um acervo de inovação impressionante.  A fanfarra não
ajudou, pois o tráfico foi gigante, as máquinas não aguentaram, a
qualidade foi pras cucuias e Cuil não conseguiu se recuperar do mau
lançamento.  Dois anos mais tarde, a empresa acabou, e eu ainda estou
tentando entender a matemática do desastre.  Ganhar ou perder dentro
da ecologia do Vale do Silício tem muito pouco a ver com essa
matemática, muito mais a ver com a ecologia de Wall Street e com a
pior crise econômica desde 1929.  Mas a matemática da qualidade das
buscas na internete é um problema super-interessante por si mesmo.  E
um dos problemas que podemos (e devemos!) tentar resolver, pois para
todo mundo, busca na internete, na sua máquina, no seu telefone é o
único caminho à nossa frente.
--
Uma versão preliminar desta palestra pode ser assistida (em inglês) no
video do PARC Forum:
http://groups.google.com/group/lolita-ufrn/web/lolita-seminars#VdP-10122010
--
A palestra é promovida pelo LoLITA e organizada como parte das
comemorações dos 25 anos do DIMAp / UFRN.
A professora Valéria de Paiva é convidada do DIMAp como Professora
Visitante para o ano de 2011.

Fwd: [Logica-l] Seminários LoLITA / UFRN - 26Nov10

Mais um seminário, esta semana, do
 Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações
 http://groups.google.com/group/lolita-ufrn/web/seminrios-do-lolita
da UFRN:


"K-like Fuzzy Kripke Models"
Regivan Hugo Nunes Santiago (DIMAp / UFRN)
Place: Sala de reuniões do DIMAp
Date: 26-Nov-10,  09:00-10:00

Abstract:
The generalization of Classical Logic to Fuzzy Logics and to Modal
Logics allows on one side the generalization of the truth from a
binary value to a many-valued setting, giving rise to the possibility
to modelling accurately the notion of uncertainty/possibility, and on
the other side, the introduction of a qualification on truth values
(e.g. the truth with respect to the time variations).  Those notions
have been more widely investigated in a common setting giving rise to
Modal-Fuzzy Logics.  This approach enables the introduction of a truth
qualification together with a grade of uncertainty enabling the
modelling of phenomena where the truth value is enriched with
uncertainty and qualification.

In this seminar,  the investigation of the preservation of classical
modal theorems into the fuzzy setting is presented.  The key concept
which permits such situation is called classical-like fuzzy semantics.
_______________________________________________
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Seminário do LIAMF dia 24/8 ***DIA e HORÁRIO não usuais***

***** NOTEM O DIA E HORÁRIO NÃO USUAIS *************

***** TERÇA, 10:30 *********************

----------------------------------------------------------------------------
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: e-Infrastructure for Biomedical research: activities at the
Academic Medical Center of the University of Amsterdam

Palestrante: Silvia Delgado Olabarriaga (AMC, Holanda)

Data:  24/8/2010 (terça), 10:30hs
Local: a ser anunciada


Resumo:


The amount and complexity of biomedical data available for research and
healthcare are assuming dramatic proportions as a consequence of
advances in data acquisition techniques. Not only a vast amount and
variety of data can be acquired about living organisms, but also the
throughput and resolution (spatial, spectral, time, etc.) are ever
growing. Moreover, a wealth of information about life style, disease
history and clinical parameters is also available in hospital databases
and (electronic) patient files. This radical increase of biological and
clinical data creates completely new challenges and opportunities in
life sciences and transforms life science research in an information
science. A shift in the methodologies used for data analysis and
management is required to address the increasing challenges, where
information and communication technologies (ICT) play an essential role.
At the AMC we adopt Web and GRID technologies to enable and enhance
biomedical research, participating in the on-going global research
effort to develop what is termed "cyberinfrastructures" in the USA, and
"e-Science infrastructures" in Europe. In particular we collaborate with
the Dutch e-Science Grid (BiGGrid project) and the Biomedical virtual
research community established during EGEE projects. The e-Bioscience
group currently has activities covering data analysis in the areas of
medical imaging, next generation DNA sequencing and proteomics.
This talk will present an overview of the activities of this group with
the goal of identifying areas of possible collaboration with USP
researchers.


http://www.bioinformaticslaboratory.nl


bio:
Silvia D. Olabarriaga was born in Porto Alegre, Brazil. She graduated in
Informatics at the Federal University of Rio Grande do Sul (UFRGS,
Brazil) in 1982. After working two years in the Brazilian computer
industry (EDISA) as a software engineer, she went back to Informatics at
UFRGS to obtain a Master's degree Computer Graphics. Her dissertation
was about 3D computer animation (1987), which remained her main reseach
topic at INESC, Lisbon (1988-1989) and as a lecturer at the Informatics
Institute at UFRGS (1990-2002). From 1994 on, her interests moved into
Scientific Visualization and Image Processing, with focus on medical
applications. She obtained a PhD in Computer Science in 1999, at the at
the University of Amsterdam, NL, with the thesis Human-Computer
Interaction for the Segmentation of Medical Images. From April 2002
until February 2005 she worked as a research fellow at the Image
Sciences Institutes, UMC-Utrecht, NL, in medical image segmentation
(CT). In March 2005 she joined the Virtual Laboratory for e-Sciences
projectat the Informatics Institute of the University of Amsterdam. Her
main interests since then include the development, usage and evaluation
of grid technology for to enable and enhance advanced biomedical
(imaging) applications (e-Science).
In 2007 Silvia moved to the Academic Medical Center and became leader of
the Medical Diagnosis and Imaging subprogram (SP1.3) of the VL-e
project. In May 2008 she joined the Bioinformatics Laboratory as a post
doctoral fellow. Silvia is since Jan 2009 assistant professor at the
Bioinformatics Laboratory of the Department of Clinical Epidemiology,
Biostatistics and Bioinformatics (KEBB) of the AMC and leads the
e-Bioscience group.





Todos são bem-vindos.

Seminário do Grupo de Lógica e Filosofia da Ciência

 Assunto: Seminário do Grupo de Lógica e Filosofia da Ciência

Prezados :

Convido a todos para o próximo seminário do Grupo de Lógica e
Filosofia da Ciência. No dia 16 de julho, às 16h, contaremos com a
presença do professor Walter Carnielli, da Universidade de Campinas
(UNICAMP), que  nos falará sobre "Multimodalidades, consistência e o
inquérito filosófico". O seminário será na sala do Programa de
Mestrado em Filosofia, sala B1-685 (mezanino, ICC Norte).
Segue abaixo o resumo da apresentação.
Cordialmente,
Samuel.


Resumo:

Se você for um filósofo ou lógico, jamais poderá reclamar da sua
família: você tem necessariamente os pais que tem, pois com pais
diferentes, você não seria a mesma pessoa (e talvez  não reclamasse).
Este exemplo dado por Saul Kripke ilustra a ideia da necessidade
metafísica, mas esta não é a  única: há as  necessidades lógicas, e as
físicas, e o necessário a posteriori. E há ainda as  noções de
possibilidade. De que maneira  a lógica modal, vista como o estudo do
raciocínio que envolve o uso das expressões  'necessariamente' e
'possivelmente', trabalha com tudo isso? Existem modalidades
não-clássicas, ou as  noções de modalidade não as  admitem? Seria a
'consistência' uma noção modal?  E o que tem isso tudo a ver com os
mundos possíves? E com os mundos impossíveis? Pretendo mostrar a
matemática das modalidades e das multimodalidades, incluindo ideias
básicas da  combinação de  lógicas, discutir alguns  de seus problemas
e ajudar a   compreender porque a  lógica modal ocupa hoje uma posição
tão privilegiada na  filosofia, na computação e na
linguística.



Walter Carnielli é Professor Titular do Departamento de Filosofia da
UNICAMP, e diretor do Centro de Lógica, Epistemologia  História da
Ciência  da  UNICAMP.  Autor de dezenas de artigos científicos  em
Lógica, Combinatória, Teoria  da Computação, Teoria dos Conjuntos e
Filosofia da  Lógica,  Carnielli é co-autor de "Analysis and Synthesis
of Logics: How to Cut and Paste Reasoning Systems" (Springer, 2008,
com D. Gabbay, M. E. Coniglio, C. Serndas e P. Gouveia), " Modalities
and Multimodalities" (Springer, 2008, com C. Pizzi) e "Computability:
Computable Functions, Logic, and the Foundations of Mathematics"
(Wadsworth, Thomson Learning, ARF Publications em várias edições desde
1989). Acaba de  lançar "Pensamento Crítico: o poder da lógica e da
argumentação " (Editora Rideel, 2009, com R. L. Epstein).

Seminário Claudio Pizzi

---------- Forwarded message ----------
From: Rafael Testa
Date: 2010/6/19
Subject: [seminarios-CLE] Seminário

Pessoal, nesta próxima quarta, dia 23/06, teremos seminário do Professor Claudio Pizzi (Universidade de Siena, Itália).

Título e resumo a ser enviado.

Como sempre à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

Seminários do CLE

Pessoal,
Lembro a todos que nesta quarta, dia 16, teremos seminário de Dante Cardoso (nosso colega do CLE, mestrando)

+++
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.
+++

Como sempre às 16h00 no CLE.

Nossos próximos encontros estão previstos para os dias 23/06 e 30/06

--
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 LIAMF 10/06/2010

----------------------------------------------------------------------------
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: Bases de Conhecimento e Padrões na Área de Saúde
Palestrante: Flavio Lichtenstein (Anflatech TIS - UNIFESP DIS)

Data:  10/06/2010, 14hs
Local: Sala 254-A

Este seminário visa dar uma visão inicial da atual organização da administração das informações e bases de conhecimentos no segmento de saúde. As informações estão distribuídas nos consultórios, nos laboratórios, nos hospitais, nos diversos prestadores de serviços e no âmbito governamental. Estão armazenadas em diversas mídias: papel, vídeos, sons e digital, de forma organizada ou não. Como se pode reunir ordenadamente tais informações? Como se pode processá-las? Quais os padrões e desafios para tal tarefa?

Mostraremos algumas informações relativas às bases de conhecimento (BC) existentes na área de saúde, para que servem, quando surgiram, sua disponibilidade e acessibilidade. Porque temos que ter BC?s em saúde? Como e porque processá-las? O que é interoperabilidade?

Quais os padrões na área de saúde? Para que servem? Como estes padrões asseguram ética, segurança da informação e confidencialidade? Quais os padrões em saúde para bases de dados locais e federativas (descentralizadas)?
Todos estes tópicos serão abordados de forma superficial para informar ou introduzir a platéia ao estado da arte de TI em Saúde

Todos são benvindos

Marcelo Finger