quinta-feira, 19 de agosto de 2010

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.




sexta-feira, 9 de julho de 2010

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



domingo, 20 de junho de 2010

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



segunda-feira, 14 de junho de 2010

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


segunda-feira, 7 de junho de 2010

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 

Lógica informal - Seminários CLE


Pessoal,
nesta quarta, dia 9, teremos seminário. Como sempre às 16h00, no CLE:

Antonio Eduardo Consalvo, doutorando CLE/IFCH
Lógica informal
A exposição analisará o objetivo da lógica informal, bem como seu problemas. De maneira mais detida, apresentaremos os problemas da discussão crítica como método de diálogo que procura não somente sustentar uma tese como também obter a adesão dos receptores.

atenciosamente,

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


terça-feira, 25 de maio de 2010

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

__,_._,___