O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia, com a palestra
COMO CARACTERIZAR A NOÇÃO DE VEROFUNCIONALIDADE?
Prof. Dr. João Marcos
DIMAp / UFRN
Data: 04 / 05 /2007 às 16 h
Local: UFRN / CCHLA / Auditório de Filosofia
quinta-feira, 26 de abril de 2007
terça-feira, 24 de abril de 2007
Seminário de Lógica e Fundamentos na UFBA
Seminário de Lógica e Fundamentos
- Áreas de interesse: Lógicas clássicas e não-clássicas, teoria dos conjuntos, topologia conjuntística, teoria dos reticulados, álgebra universal, computação teórica.
- Professores responsáveis: Andreas Brunner, Peter Malcolm Johnson, Samuel Gomes da Silva, Steffen Lewitzka.
- Dias e Local: Quintas-feiras, às 16hs, na Sala 107 do Instituto de Matemática, Campus Ondina - UFBA.
segunda-feira, 23 de abril de 2007
OFF: Eventos sobre Teoria dos Modelos na Colômbia
Caros colegas,
recebi a mensagem que transcrevo abaixo falando sobre a "Primeira Oficina em Teoria dos Modelos sobre o-minimalidade", que aconteceu na Colômbia entre 28 de março e 2 de abril de 2007. Na mensagem, Pedro H. Zambrano R. informa que entre o dia 30 de julho e o dia 3 de agosto de 2007 vai acontecer um segundo encontro sobre Teoria dos Modelos na Colômbia, o Bogotá Model Theory Meeting. Leia mais detalhes abaixo.
[]s,
Adolfo
Prezado professor Adolfo Neto:
Sou estudante de doutorado em Matemática na Universidad Nacional de Colombia (Bogotá-Colômbia) e professor auxiliar da mesma universidade. Neste momento estou trabalhando com o professor Andrés Villaveces em Teoria da Estabilidade em Classes Elementares abstratas (Teoria dos Modelos).
Aqui na Colômbia a gente tem uma escola interessante em teoria dos modelos, onde os professores que trabalhan nas universidades Nacional e de los Andes (em Bogotá) tem trabalhos com pessoal importante no tema: o professor Villaveces tem trabalhos com o Saharon Shelah, o Rami Grossberg e a Monica VanDieren, o professor Alexander Berenstein (da Universidad Nacional de Colombia) tem trabalhos com o W. Henson (Illinois), o Itay Ben-Yaacov (Lyon), o Steven Buechler (Notre Dame) e o professor Alf Onshuus (Universidad de los Andes, Bogotá) tem trabalhos com o Thomas Scanlon (Berkeley) e o Clifton Ealy (Illinois), sem esquecer ao professor Xavier Caicedo, muito conhecido pelo pessoal Brasileiro.
Como parte importante desta escola em Teoria dos Modelos que a gente tem aqui na Colômbia, no passado mês de março e parte do mês de abril aconteceu a Primeira oficina em Teoria dos Modelos sobre o-minimalidade ( http://matematicas.unal.edu.co/~aberenst/ominimalidadvilladeleyva). Alguns dos conferencistas convidados foram o David Marker (U. Illinois, Chicago), o Sergei Starchenko (Notre Dame), o Charles Steinhorn (Vassar), o Assaf Hasson (Oxford), a Margarita Otero (Madrid), o Alf Dolich (U. Illinois, Chicago) e o Mário Edmundo (Lisboa), pessoal especialista em o-minimalidade.
Entre o dia 30 de julho e o dia 3 de agosto de 2007, vai acontecer um segundo encontro deste tipo aqui na Colômbia (o Bogotá Model Theory Meeting), dedicado a temas gerais em Teoria dos Modelos. Alguns dos conferencistas convidados são o John Baldwin (U. Illinois, Chicago), o Rami Grossberg (Carnegie Mellon), o Ward Henson (U Illinois, Urbana), o Frank Wagner (Lyon), a Monica VanDieren (Robert Morris Univ.), a Meeri Kesälä (Helsinki), o Clifton Ealy (U. Illinois, Urbana), o Itaï Ben Yaacov (Lyon), a Silvia Barbina (Barcelona) e a Jana Marikova (U. Illinois, Urbana)
O pessoal interessado pode visitar o site http://www.matematicas.unal.edu.co/~aberenst/tmbogota07 ou pode escrever ao Alexander Berenstein (aberenst at gmail.com), ao Andrés Villaveces (avillavecesn at gmail.com) ou ao Alf Onshuus (onshuus at gmail.com) para obter mais informação sobre o encontro.
Agradeço muito a divulgação deste encontro no seu blog, embora não é um encontro que vai acontecer no Brasil acho que tem pessoal Brasileiro que pode ficar interessado em assistir ao encontro.
Muito obrigago pela sua atenção.
Atenciosamente,
Pedro H. Zambrano R.
Estudante doutorado em Matemática
Professor Auxiliar
Universidad Nacional de Colombia
Bogotá - Colômbia.
recebi a mensagem que transcrevo abaixo falando sobre a "Primeira Oficina em Teoria dos Modelos sobre o-minimalidade", que aconteceu na Colômbia entre 28 de março e 2 de abril de 2007. Na mensagem, Pedro H. Zambrano R. informa que entre o dia 30 de julho e o dia 3 de agosto de 2007 vai acontecer um segundo encontro sobre Teoria dos Modelos na Colômbia, o Bogotá Model Theory Meeting. Leia mais detalhes abaixo.
[]s,
Adolfo
Prezado professor Adolfo Neto:
Sou estudante de doutorado em Matemática na Universidad Nacional de Colombia (Bogotá-Colômbia) e professor auxiliar da mesma universidade. Neste momento estou trabalhando com o professor Andrés Villaveces em Teoria da Estabilidade em Classes Elementares abstratas (Teoria dos Modelos).
Aqui na Colômbia a gente tem uma escola interessante em teoria dos modelos, onde os professores que trabalhan nas universidades Nacional e de los Andes (em Bogotá) tem trabalhos com pessoal importante no tema: o professor Villaveces tem trabalhos com o Saharon Shelah, o Rami Grossberg e a Monica VanDieren, o professor Alexander Berenstein (da Universidad Nacional de Colombia) tem trabalhos com o W. Henson (Illinois), o Itay Ben-Yaacov (Lyon), o Steven Buechler (Notre Dame) e o professor Alf Onshuus (Universidad de los Andes, Bogotá) tem trabalhos com o Thomas Scanlon (Berkeley) e o Clifton Ealy (Illinois), sem esquecer ao professor Xavier Caicedo, muito conhecido pelo pessoal Brasileiro.
Como parte importante desta escola em Teoria dos Modelos que a gente tem aqui na Colômbia, no passado mês de março e parte do mês de abril aconteceu a Primeira oficina em Teoria dos Modelos sobre o-minimalidade ( http://matematicas.unal.edu.co/~aberenst/ominimalidadvilladeleyva). Alguns dos conferencistas convidados foram o David Marker (U. Illinois, Chicago), o Sergei Starchenko (Notre Dame), o Charles Steinhorn (Vassar), o Assaf Hasson (Oxford), a Margarita Otero (Madrid), o Alf Dolich (U. Illinois, Chicago) e o Mário Edmundo (Lisboa), pessoal especialista em o-minimalidade.
Entre o dia 30 de julho e o dia 3 de agosto de 2007, vai acontecer um segundo encontro deste tipo aqui na Colômbia (o Bogotá Model Theory Meeting), dedicado a temas gerais em Teoria dos Modelos. Alguns dos conferencistas convidados são o John Baldwin (U. Illinois, Chicago), o Rami Grossberg (Carnegie Mellon), o Ward Henson (U Illinois, Urbana), o Frank Wagner (Lyon), a Monica VanDieren (Robert Morris Univ.), a Meeri Kesälä (Helsinki), o Clifton Ealy (U. Illinois, Urbana), o Itaï Ben Yaacov (Lyon), a Silvia Barbina (Barcelona) e a Jana Marikova (U. Illinois, Urbana)
O pessoal interessado pode visitar o site http://www.matematicas.unal.edu.co/~aberenst/tmbogota07 ou pode escrever ao Alexander Berenstein (aberenst at gmail.com), ao Andrés Villaveces (avillavecesn at gmail.com) ou ao Alf Onshuus (onshuus at gmail.com) para obter mais informação sobre o encontro.
Agradeço muito a divulgação deste encontro no seu blog, embora não é um encontro que vai acontecer no Brasil acho que tem pessoal Brasileiro que pode ficar interessado em assistir ao encontro.
Muito obrigago pela sua atenção.
Atenciosamente,
Pedro H. Zambrano R.
Estudante doutorado em Matemática
Professor Auxiliar
Universidad Nacional de Colombia
Bogotá - Colômbia.
Agentes com recursos limitados e raciocínio aproximado
-----------------------------------------------------------------------------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: Agentes com recursos limitados e raciocínio aproximado
Palestrante: Renata Wassermann
Data e Local: dia 23.04.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP
Resumo:
Muitas aplicações em Inteligência Artificial utilizam a lógica clássica para representação de conhecimento e automatização do raciocínio. A linguagem lógica tem a vantagem de ser bem estabelecida e estudada formalmente. Por outro lado, sabe-se que mesmo restringindo-se à lógica proposicional, operações de inferência ou checagem de consistência são computacionalmente intratáveis.
Muitas alternativas à lógica clássica foram criadas para representação de raciocínio, mas nenhuma sobreviveu por tanto tempo quanto a lógica. Recentemente têm surgido na literatura propostas de manter-se a lógica como linguagem de representação, mas refinando as noções de inferência e satisfatibilidade para que os problemas se tornem tratáveis. Neste seminário vamos discutir a idéia de aproximações: quando não se pode resolver um problema diretamente, procuramos soluções parciais. Quanto mais recursos (tempo, memória) tivermos, melhor a qualidade das soluções parciais. Caso os recursos sejam ilimitados, a solução deve convergir para a solução clássica.
Todos são benvindos
Seminário Registrado na CPG do IME/USP
Página: http://www.ime.usp.br/~liamf
------------------------------
Título: Agentes com recursos limitados e raciocínio aproximado
Palestrante: Renata Wassermann
Data e Local: dia 23.04.07 às 16:00 hs
Local: Sala 242 - Bloco A - IME - USP
Resumo:
Muitas aplicações em Inteligência Artificial utilizam a lógica clássica para representação de conhecimento e automatização do raciocínio. A linguagem lógica tem a vantagem de ser bem estabelecida e estudada formalmente. Por outro lado, sabe-se que mesmo restringindo-se à lógica proposicional, operações de inferência ou checagem de consistência são computacionalmente intratáveis.
Muitas alternativas à lógica clássica foram criadas para representação de raciocínio, mas nenhuma sobreviveu por tanto tempo quanto a lógica. Recentemente têm surgido na literatura propostas de manter-se a lógica como linguagem de representação, mas refinando as noções de inferência e satisfatibilidade para que os problemas se tornem tratáveis. Neste seminário vamos discutir a idéia de aproximações: quando não se pode resolver um problema diretamente, procuramos soluções parciais. Quanto mais recursos (tempo, memória) tivermos, melhor a qualidade das soluções parciais. Caso os recursos sejam ilimitados, a solução deve convergir para a solução clássica.
Todos são benvindos
Há Alguma Lógica em Sentenças Judiciais?
O seminário "Há alguma lógica em sentenças judiciais?" (leia o resumo clicando aqui e depois em "Click here to start download..."), acontecerá no dia 25/04/2007, às 16h00, na sala de seminários do CLE, como parte da programação dos Seminários de Programa do Grupo de Lógica Teórica e Aplicada CLE/IFCH do primeiro semestre de 2007.
O palestrante será Fabrício Gomes, advogado com formação na Faculdade de Direito da Universidade de São Paulo e no momento estudante do Programa de Pós-Graduação em Filosofia/Lógica do DF- IFCH- UNICAMP, sob a orientação de Walter Carnielli.
Assinar:
Postagens (Atom)