[Logica-l] Concurso TC

[Mario Benevides]

O Departamento de Ciência da Computação da Universidade Federal
do Rio de Janeiro  está com inscrições abertas para Concurso Público para o
cargo de Professor da Carreira  de Magistério Superior até o dia 6/2/2018
para as seguintes áreas:

 Ciência da Computação - Segurança da Informação

 Ciência da Computação - Teoria da Computação

Ciência da Computação - Computação Gráfica

Ciência da Computação - Métodos Numéricos

 O endereço para a realização da inscrição e com maiores
informações sobre prazos e documentação:


*https://concursos.pr4.ufrj.br/index.php/43-concursos/concursos-em-andamento/edital-n-860-de-20-de-dezembro-de-2017*


   Solicitamos a divulgação desta informação para todos os
possíveis interessados.


*=== *


-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpVMp-dcizTqO%2BXcaRAcQm72y_5J%2B42ROswUFB-BMN%3DM_Q%40mail.gmail.com.

[Logica-l] Material didático sobre TC

[Mario Benevides]

Caros,

Estou procurando material didático para um curso de Teoria dos Conjuntos
para a graduação em Matemática. É um curso introdutório. Serve link para
cursos, livros, textos etc..

Muito obrigado,
Mario

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpXB_OMa35momp-9gPHaZfiSAtkX4jUvQQVvnrteny%2B4tA%40mail.gmail.com.

[Logica-l] Fwd: [DocPesq] Corte no Fantástico

[Mario Benevides]

-- Forwarded message -
From: Edson H. Watanabe 
Date: dom, 16 de jul de 2017 às 09:50
Subject: [DocPesq] Corte no Fantástico
To: , usuariosdaco...@coppe.ufrj.br <
usuariosdaco...@coppe.ufrj.br>


Caros,

Vejam a chamada do Fantástico de hoje:

 
http://g1.globo.com/fantastico/videos/v/fantastico-revela-situacao-critica-ciencia-brasil/6005506/


Ab

Watanabe


-- 

Economizar energia e responsabilidade de todos na UFRJ
Voce tambem deve ajudar nessa campanha
acesse:https://ufrj.br/essacontaedetodos


COPPE: 50 ANOS ANTECIPANDO O FUTURO

Prof. Edson H. Watanabe
Diretor da COPPE/UFRJ
Centro de Gestao Tecnologica CGTEC-CT2
Rua Moniz Aragao, 360, Bloco 1
Ilha da Cidade Universitaria
21941-594 Rio de Janeiro - RJ
Tel. +55 21 3622-3477 / 3478


___
DocPesq mailing list
docp...@cos.ufrj.br
http://listas.cos.ufrj.br/mailman/listinfo/docpesq
-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpWTAAgNS6%3DCzfW-%3DqUY4Tj7LTmF_BgjxX8YE3HSC8Yn7w%40mail.gmail.com.

Re: [Logica-l] notícias do "Women in Logic 2017"

[Mario Benevides]

Oi Claudia e Valéria,

Só uma sugestão, vocês poderiam organizar um mini evento, versão Brasil,
em Brasilia este ano junto ao Tableaux. Uma mesa redonda ou uma seção. O
que acham?

Abraços,

Mario

Em 27 de junho de 2017 18:35, Valeria de Paiva 
escreveu:

> Obrigada JM e Claudia pelos parabens!
> Acho que o evento foi muito bom mesmo.
> e acho(espero) que vamos ter um repeteco ano que vem em Oxford, como parte
> da FLoC,
> Federated Logic Conference http://www.floc2018.org/.
> pelo menos estamos tentando...
>
> Abraços,
> Valeria
>
> 2017-06-27 12:39 GMT-07:00 Cláudia Nalon :
>
>> Olá, João e demais:
>>
>> Em 2017-06-27 16:22, Joao Marcos escreveu:
>>
>>> On Sat, Jun 17, 2017 at 5:05 AM, Valeria de Paiva
>>>  wrote:
>>>

 no aeroporto indo pra Iceland pra Primeira Workshop "Women in Logic"

 https://sites.google.com/site/firstwomeninlogicworkshop/,

 associada ao LiCS.

 a gente tenta, ne?

>>>
>>> Parabéns a tod*s *s envolvid*s pelo sucesso!
>>> http://womeninlogic.blogspot.de/2017/06/back-from-iceland-wo
>>> men-in-logic-2017.html
>>>
>>
>> A Valéria e as demais organizadoras estão de parabéns! Foi mesmo um ótimo
>> evento, com apresentações técnicas muito, mas muito boas. Além disso,
>> pessoalmente me senti muito satisfeita de, pela primeira vez em toda a
>> minha carreira acadêmica, estar em uma sala onde a maioria eram mulheres.
>>
>> Eu espero, como já disse em outras oportunidades, que esta se torne uma
>> iniciativa permanente. E, quem sabe, que a gente possa também reproduzir
>> eventos deste tipo em nosso território.
>>
>> Abraços,
>>
>> Cláudia
>>
>> --
>> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
>> dos Grupos do Google.
>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele,
>> envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
>> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
>> Visite este grupo em https://groups.google.com/a/di
>> map.ufrn.br/group/logica-l/.
>> Para ver esta discussão na web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/e66e3417477979e238d6ae138ef7996a%40unb.br.
>>
>
>
>
> --
> Valeria de Paiva
> http://vcvpaiva.github.io/
> http://research.nuance.com/author/valeria-de-paiva/
> http://www.cs.bham.ac.uk/~vdp/
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsxLJNqzxtMYYF-
> V2P9o4yav-W4LFF0GWEvZgbps35_aw%40mail.gmail.com
> 
> .
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpUq%2BN-SUam9NHxjhWRf%3D%2BiAFoSoGBUqr9T7QZ_KkWH0_A%40mail.gmail.com.

[Logica-l] Fwd: Extensão do deadine - ENIAC 2017

[Mario Benevides]

Prezado(a) Mário Benevides

Pedimos que seja enviado para suas listas de colaboradores o terceiro
CFP do ENIAC (abaixo), com a extensão do prazo de submissão para 03 de
Julho.

Obrigada e pedimos desculpas por mensagens duplicadas.

-- O
deadline da décima quarta edição do  Encontro Nacional de Inteligência
Artificial e Computacional  acaba de ser adiado! Aproveitem para
submeterem seus artigos!

Mais detalhes abaixo e em
http://www.bracis2017.ufu.br/eniac-encontro-nacional-de-
inteligencia-artificial-e-computacional


 Important Dates *

- Paper submission: June 28th, 2017  July 3rd, 2017 (NEW) - Notification
of acceptance: July 23th, 2017 - Camera-ready version: August 15th, 2017
- Event: October 02-05, 2017


Full Call for Papers

The National Meeting on Artificial and Computational Intelligence
(ENIAC'2017) is the fourteenth of a series of successful meetings
bringing together Artificial and Computational Intelligence. In 2017,
ENIAC will be held in Uberlândia-MG, in conjunction with the Sixth
Brazilian Conference on Intelligent System (BRACIS'2017), the Symposium
on Knowledge Discovery, Mining and Learning (KDMILE2017), the
thirty-second Brazilian Symposium on Databases (SBBD'2017) and the
Brazilian Symposium in Information and Human Language Technology
(STIL'2017).

ENIAC is an event that provides a forum for researchers, practitioners,
educators, and students to present and discuss innovations, trends,
experiences, and developments in the field of Artificial and
Computational Intelligence. Particularly, it is the ideal forum for
undergraduate and graduate students present their first AI/CI paper.

* Activities and Themes *

Authors are encouraged to submit articles containing new ideas,
discussions on existing work, practical studies, and experiments
relevant to the field of Artificial and Computational Intelligence,
which have not been previously published. The topics of interest
include, but are not limited to: - Applications of Artificial
Intelligence - Machine Learning - Knowledge Acquisition - Evolutionary
Computation and Metaheuristics - Software Tools for Artificial
Intelligence - Fundamentals of Artificial Intelligence - Distributed
Artificial Intelligence and Multiagent Systems - Computational
Intelligence - Intelligent Human-Computer Interfaces - Fuzzy Systems -
Data Mining - Text and Web Mining - Ontologies - Natural Language
Processing - Automated Planning and Scheduling - Logic Programming -
Automated Reasoning - Model-Based Reasoning - Artificial Neural Networks
- Knowledge Representation - Representation Learning - Deep Learning -
Knowledge Base Construction - Intelligent Robotic - Decision Support
Systems - Hybrid Intelligent Systems - Intelligent Information Systems -
Intelligent Tutoring Systems - Artificial Life - Computer Vision - Data
Science

* Paper Format and Submission Details *

The article is limited to twelve (12) pages including text, references,
appendices, tables, and figures. Articles may be written in Portuguese
or English, and using the SBC article style
(http://www.sbc.org.br/documentos-da-sbc/summary/169-
templates-para-artigos-e-capitulos-de-livros/878-
modelosparapublicaodeartigos).
Papers must be submitted in PDF format using the JEMS system in
https://jems.sbc.org.br/eniac2017 *

*** Note that the review process will be double-blind (authors names and
institutions must be omitted in the papers) ***

All submitted papers will be reviewed by at least three experts in the
field.  The accepted papers will be included in the ENIAC proceedings,
published electronically as BDB Comp
(http://www.lbd.dcc.ufmg.br/bdbcomp). Papers will be accepted for either
oral or poster presentation. However, no distinction will be made
between accepted papers in the conference proceedings.

* Special Issues *

Authors of selected papers will be invited to submit extended versions
of their work to be appreciated for publication in special issues of
international journals (to be announced).


General Chair: Gina M. B. de Oliveira (UFU) Program Chairs: Aline Paes,
Universidade Federal Fluminense  UFF (alinep...@ic.uff.br) and André
Britto, Fundação Universidade Federal do Sergipe (an...@dcomp.ufs.br)




-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpUHKn%2BTQKFcMt3X7X_X6eoXfC17V9fLe4crgnC8sKPEwA%40mail.gmail.com.

[Logica-l] DEADLINE EXTENSION: Workshop DaLi– Dynamic Logic: new trends and applications

[Mario Benevides]

  DEADLINE EXTENSION


Workshop DaLi– Dynamic Logic: new trends and applications
Brasília, 24 September, 2017
(co-located with FROCOS TABLEAUX and ITP 2017)
workshop.dali.di.uminho.pt


Building on the pioneer intuitions of Floyd-Hoare logic, Dynamic Logic was
intro- duced in the 70’s by Pratt as a suitable logic to reason about, and
verify, classic imperative programs. Since then, the original intuitions
grew to an entire family of logics, which became increasingly popular for
assertional reasoning about a wide range of computational systems.
Simultaneously, their object (i.e. the very notion of a program) evolved in
unexpected ways. This leads to dynamic logics tailored to specific
programming paradigms and extended to new computing domains, including
probabilistic, continuous and quantum computation.
Both its theoretical relevance and practical potential make Dynamic Logic a
topic of interest in a number of scientific venues, from wide-scope
software engineering conferences to modal logic specific events. However,
no specific event is exclusively dedicated to it. This workshop aims at
filling fill such a gap, joining an heterogeneous community of colleagues,
from Academia to Industry, from Mathematics to Computer Science. forum for
disseminating and sharing new trends and applications of Dynamic Logic.
The event is promoted by the project DaLí - Dynamic logics for
cyber-physical systems: towards contract based design
(POCI-01-0145-FEDER-016692), a R&D project supported by the Portuguese
Foundation for Science and Technology (http: //dali.di.uminho.pt).

* Topics *

We invite submissions on the general field of Dynamic Logic, its variants
and applications, including, but not restricted to:
- Dynamic logic,foundations and applications
- Logics with regular modalities
- Modal/temporal/epistemic logics
- Kleene and action algebras and their variants
- Quantum dynamic logic
- Coalgebraic modal/dynamic logics
- Graded and fuzzy dynamic logics
- Dynamic logics for cyber-physical systems
- Dynamic epistemic logic
- Complexity and decidability of variants of dynamic logics and temporal
logics
- Model checking, model generation and theorem proving for dynamic logics

* Submissions and publications 

Authors are invited to submit original papers (un-published and not
submitted for publication elsewhere) up to 15 pages in lncs style. Accepted
papers will be published in a Springer’s Lecture Notes of Computer Science
volume. Submissions with work in progress (abstracts with 2-5 pag) are also
welcomed for short presentations. They are subject of a light reviewing and
will be available at conference in a informal booklet.

Both kind of submissions should be done via the EasyChair link
 https://easychair.org/conferences/?conf=dali17.
Extended versions of the DaLí contributions will be invited to a special
issue in the Journal of Logical and Algebraic Methods in Programming,
Elsevier.

* Important Dates 
- NEW DEADLINE - June 18, 2017: Abstract deadline
-  NEW DEADLINE - June 18, 2017:  Full paper deadline
- July 14, 2017: Author notification

 Invited Speakers 
 - Alexandru Baltag, UVA, NL
 - Edward Hermann Haeusler, PUC-Rio, BR


 PC Chairs 
 - Alexandre Madeira (UM & UA, PT)
 - Mário Benevides (UFRJ, BR)


 Program Committee: 
 - Carlos Areces (U. Cordoba, AR)
 - Phillippe Balbiani (U. Toulouse, FR)
 - Alexandru Baltag (Uva, NL)
 - Luís S. Barbosa (U.Minho, PT)
 - Johan van Benthem (U.Stanford & U.Tsinghua)
 - Patrick Blackburn (U. Roskilde, DK)
 - Stéphane Demri (CNRS, FR)
 - Hans van Ditmarsch (LORIA, Nancy, FR)
 - Francicleber M. Ferreira (UFC, BR)
 - Valentin Goranko (U. Stockholm, SE)
 - Edward H. Hauesler (PUC-Rio, BR)
 - Rolf Hennicker (LMU, Munchen, DE)
 - Andreas Herzig (Toulouse, FR)
 - Dexter Kozen (Cornell, USA)
 - Clemens Kupke (U.Strathclyde, UK)
 - Bruno  Lopes Vieira (UFF, BR)
 - Paulo Mateus (IST, PT)
 - Manuel A. Martins (U.Aveiro, PT)
 - Carlos Olarte (UFRN, BR)
 - José N. Oliveira (U. Minho, PT)
 - André Platzer (CMU, USA)
 - Eugénio Rocha (U. Aveiro, PT)
 - Valéria de Paiva (NC, USA)
 - Regivan Santiago (UFRN, BR)
 - Luis Menasche Schechter (UFRJ, BR)
 - Tinko Tinchev (U. Sofia, BG)
 - Petrucio Viana (UFF, BR)
 - Yde Venema (ILLC, NL)
 - Renata Wassermann (USP, BR)

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario 

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpUxL4E3d%2BXw03WP%3D1LxmCtjyR8mPbAbVAM0WwKqssC

[Logica-l] Fwd: Falecimento do Professor Elon Lages Lima

[Mario Benevides]

-- Mensagem encaminhada --
De: "walcy santos" 
Data: 07/05/2017 12:40
Assunto: Falecimento do Professor Elon Lages Lima
Para: "i...@im.ufrj.br" 
Cc:

Comunico com pesar o falecimento do Professor Elon Lages Lima ocorrido esta
manhã.

Elon era pesquisador aposentado do IMPA e teve um destacado papel no
desenvolvimento da Matemática brasileira.

Atenciosamente,

Walcy
-- 
Enviado do Gmail para celular

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpW2pDjJ%3DA3mj9eyqx38BKYEcBif_D4YUfArSyEhyVPY4g%40mail.gmail.com.

Re: [Logica-l] Fwd: Raymond Smullyan Memorial Conference

[Mario Benevides]

Oi João,

Gostei muito do seu material sobre Tableaux p/ LNC.

Abraço,

Mario

2017-05-04 13:06 GMT-03:00 Joao Marcos :

> Alguns colegas podem ter interesse em conferir o material partilhado
> abaixo.
>
> E por falar em Smullyan, meu breve tutorial sobre tableaux para
> lógicas não-clássicas, apresentado ontem no evento "PhDs in Logic IX",
> foi dedicado a ele:
> https://www.dropbox.com/s/rrsokk0rxa7lwmc/tableaux-tutorial.pdf?dl=0
>
> Cumprimentos lógicos,
> Joao Marcos
>
>
> -- Forwarded message --
> From: Melvin Fitting
> Date: Wed, May 3, 2017 at 1:16 AM
>
>
> A conference remembering Raymond Smullyan was held at the CUNY
> Graduate Center on April 27, 2017.  The web site will remain up, at
>
> https://eva16968.wixsite.com/smullyanremembrance
>
> and material is still being added to it.  Check it from time to time.
>
> The meeting was videoed and the video is available on my YouTube
> channel.  It can be accessed through the conference site, or directly
> at my YouTube channel
>
> https://www.youtube.com/channel/UCaYn8I26NlSa71sreWnS-Bw
>
> In addition to the conference itself, there is a video from 2000 of
> Raymond playing the piano, and shortly there will be a video of him
> speaking and doing magic in Bucharest in 2008, and another of him
> reading from “Cold Mountain”, from 2016.  Excerpts from these videos
> were used as part of my eulogy at the conference, the text  of which
> is also available on the conference web site.
>
> Sincerely,
>
> Melvin Fitting
>
> --
> Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L"
> dos Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Visite este grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver esta discussão na web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAO6j_LizWZSOWMK3as_fMZjLwPfkeGW7PKOiJcWt-
> HEvXe2Y9w%40mail.gmail.com.
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpVnoy35D35Qca%3Dn6S82pENTm0pgcBzJd0WUhsjNcCaB2Q%40mail.gmail.com.

[Logica-l] Livro Introdutório de Lógica

[Mario Benevides]

Caros,

Um amigo me pediu uma recomendação de um livro introdutório de Lógica para
ele usar num curso de Lógica para juristas. Alguém conhece algum livro ou
material didático nesta linha?

Muito obrigado e abraços,

Mario

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpWaMDsnkvLZpSKOAQiHKbJgyaZC1MukdszBXWWfAyTmkg%40mail.gmail.com.

[Logica-l] Fwd: II ETC -- CSBC 2017 --- Chamada para Submissão de Trabalhos - NOVO DEADLINE

[Mario Benevides]

 leilão e meecanismos, precificação, jogos cooperativos, jogos
combinatórios, pesquisa operacional, algoritmos, aplicações.

- *Geometria Computacional:* espaços métricos, geometria de distâncias,
algoritmos geométricos,estruturas baseadas em propriedades geométricas,
estruturas espaciais, aplicações.

- *Aplicações em outras áreas de conhecimento e problemas práticos:* alocação
de recursos, apoio à tomada de decisão, biologia computacional,
compiladores, economia, escalonamento, engenharias, estrutura molecular,
pesquisa operacional, probabilidade e estatística,  processos produtivos,
reconhecimento de padrões, redes de computadores, redes complexas, redes
livres de escala e redes web, robótica, roteamento, segurança de código,
sistemas e redes, sistemas paralelos e distribuídos,teoria de conjuntos,
visualização de dados, aplicações com grandes massas de dados, aplicações
dinâmicas, aplicações de tempo real.



*DATAS IMPORTANTES*

   - Submissão do resumo estendido: até *19 de março de 2017*
   - Resultado da avaliação da submissão: *24 de abril de 2017*
   - Submissão da versão definitiva do resumo estendido e inscrição para o
   evento: até *07 de maio de 2017*


*FORMATO PARA SUBMISSÃO DE TRABALHOS*

Os trabalhos devem ser submetidos na forma de resumos estendidos formatados
seguindo o estilo dos artigos da SBC, disponível em
http://tinyurl.com/sbc-template-artigos. Devem ter no máximo 04 (quatro)
páginas incluindo referências, figuras e tabelas. A submissão dos artigos
será eletrônica, em formato PDF, por meio do sistema JEMS (
https://submissoes.sbc.org.br/csbc_etc2016).


Os trabalhos serão selecionados para apresentação oral de até 15 minutos ou
para exposição em poster, a depender do volume de submissões e da qualidade
das mesmas. O evento é aberto para a comunidade, mas com especial interesse
nos alunos em formação de graduação e de pós-graduação. O melhor
trabalho apresentado
será objeto de premiação, a ser divulgado com as demais premiações do CSBC.
Os trabalhos aceitos serão publicados em anais eletrônicos na página do
CSBC.


Pelo menos um dos autores de cada artigo aceito deve se inscrever no evento
e comparecer ao mesmo para apresentar o trabalho.

*COORDENAÇÃO GERAL DO CSBC 2017*

Nizam Omar (U. P. Mackenzie)

Luciano Silva (U. P. Mackenzie)

*COORDENAÇÃO DO ETC 2017*

Cláudia Linhares Sales (UFC)
Rosiane de Freitas (UFAM)

*COORDENAÇÃO LOCAL DO ETC 2017*

Pedro P.B. de Oliveira (U. P. Mackenzie)

*COMITÊ DE PROGRAMA*


Ana Teresa Martins (UFC)
Calebe Bianchini (U. P. Mackenzie)
Carlos  E. Ferreira (USP)
Celina M.H. de Figueiredo (UFRJ)
Cláudia Linhares Sales (UFC)
Claudson Bornstein (UFRJ)
Cristina G. Fernandes (USP)
Edson Cárceres (UFMS)
Erika Morais (UFG)
Fábio Protti (IC, UFF)
Flavio Keidi Miyazawa  (UNICAMP)
Jayme Szwarcfiter (UFRJ/UERJ)
Luciana Buriol (UFRGS)
Luerbio Farias (UERJ)
Luiz C. Lamb (UFRGS)
Luiz Satoru Ochi (UFF)
Mario Benevides (UFRJ)
Manoel Campelo (UFC)
Rosiane de Freitas (UFAM)
Vinicius Santos (UFMG)

>
-- 
Cláudia Linhares Sales
Universidade Federal do Ceará










-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpXx7s3ETODAS23OhniTRqfTTPX1VDekNUZiQq9rvkqSFQ%40mail.gmail.com.

Re: [Logica-l] Game Theory and Philosophy of Economics

[Mario Benevides]

Oi André,

Eu recomendo os seguintes livros no meu curso. Eles estão em ordem dos que
eu uso mais. Tem minhas notas de aula na minha página www.cos.ufrj.br/~mario

Abraços,

Mario

1. Game Theory and Strategy, P. Straffin, 1993

2. A Prime in Game Theory, R. Gibbons, 1992

3. Game Theory for Applied Economists, Gibbons, 1992

4. A Course in Game Theory, Osborne e Rubinstein, 1994

5. Game Theory Evolving, H. Gintis, 2000

6. Uma Breve Intr. a Teoria de Jogos c/ Aplicações a Redes de
Computadores, E. S. Silva e D. R. Figueiredo, 2007

7. An Introduction to Game Theory, M. J. Osborne, 2004


Em 11 de novembro de 2016 14:01, André Pontes 
escreveu:

> Olá Pessoal!
>
> Ultimamente, ando interessado em discussões sobre Filosofia da Economia e
> sua relação com a Lógica e a Matemática. Alguém poderia indicar uma pequena
> lista do que vocês consideram bons livro texto de Teoria dos Jogos e algum
> trabalho de referência que correlacione Lógica e Economia?
>
> André Pontes
>
>
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/CAMezR3yk5dEDOMP-2L6o39vQ7fP5UHhzE%
> 2BKyD7Qx4NHvFpYaWQ%40mail.gmail.com
> 
> .
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpWX0VVKWKix5rhC4%3Dbwc4vzetp1UxMPuxiuCoL%3Dd%3DteMQ%40mail.gmail.com.

Re: [Logica-l] [META] fim do período de candidaturas à administração da LOGICA-L

[Mario Benevides]

Oi Carolina e João,

Primeiro gostaria de agradecer ENORMENTE ao João por este este belo
trabalho de 10 anos. Segundo quero dar as boa vindas a Carolina e agradecer
por aceitar esta importante tarefa.  Conte comigo.

Forte abraço a todos,

Mario

Em 12 de setembro de 2016 19:41, LOGICA-L  escreveu:

> PessoALL:
>
> Parece que não será desta vez que a nossa lista será suspendida.  Mesmo
> após preparar o terreno publicamente durante três meses, o deadline venceu
> ontem e fui surpreendido por ter recebido *uma única candidatura* para
> assumir o papel de administrador da LOGICA-L.
>
> ◠☺◡☺◠☺◡☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡
>
> Tendo tomado conhecimento desta lista através da minha panfletagem pessoal
> durante o EBL 2006, em Itatiaia, *Carolina Blasio* é membro da lista desde
> que esta foi fundada, e acompanhou bem a sua história durante todo este
> tempo.  É alguém em quem confio, e que certamente fará com muito empenho o
> papel de servir a esta comunidade a partir de outubro próximo, por um
> mandato de até 24 meses.  De minha parte, espero que Carolina possa contar
> com a colaboração de todos no reforço aos princípios e regras de convívio
> que foram estabelecidos aqui em discussão pública ao longo dos últimos
> meses:
> https://docs.google.com/document/d/1nXljf_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTR
> NM7hWe4/edit?usp=sharing
>
> ◠☺◡☺◠☺◡☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡
>
> Cumprimentos lógicos,
> Joao Marcos
> [list-owner]
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em https://groups.google.com/a/
> dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse https://groups.google.com/a/
> dimap.ufrn.br/d/msgid/logica-l/932f9366-696e-4215-9af1-
> 07c83d496eeb%40dimap.ufrn.br
> 
> .
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA6BQpXzeshDK7KM7QDZtoXXdh46ztgLX2Hn5MGT8FXm7VMHvw%40mail.gmail.com.

[Logica-l] Fwd: [Sistemas] Seminário: Prof. Jayme Szwarcfiter (UFRJ) - 7/5 (quarta) - 11h - sala H-324B

[Mario Benevides]

-- Mensagem encaminhada --
De: Daniel R Figueiredo 
Data: 2 de maio de 2014 18:08
Assunto: [Sistemas] Seminário: Prof. Jayme Szwarcfiter (UFRJ) - 7/5
(quarta) - 11h - sala H-324B
Para: siste...@cos.ufrj.br


Pessoal,

Dando continuidade ao Ciclo de Seminários PESC, semana que vem teremos
no auditório o Professor Emérito Jayme Szwarcfiter que irá falar sobre
a história da Computação através dos tempos tendo o computador como
protagonista. Nosso colega Jayme é um dos pioneiros da Computação no
Brasil, além de renomado professor e pesquisador, tendo recebido
diversos prêmios e distinções, e ainda co-autor de um dos livros texto
da área de Algoritmos mais adotado nas Universidades Brasileiras. Não
percam esta oportunidade, e convidem seus colegas. Mais detalhes em
http://www.cos.ufrj.br/seminarios/

Bom final de semana, e até breve,
Daniel
___
Sistemas mailing list
siste...@cos.ufrj.br
http://listas.cos.ufrj.br/mailman/listinfo/sistemas



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] CNPq - Resultado do julgamento - [307134/2013-0] - Produtividade em Pesquisa - PQ - 2013

[Mario Benevides]

Caros,

Concordo com o Walter. Não entendo o motivo da lista dos vencedores não
ficar disponível. Seria bom para todos.

Abraços,

Mario


Em 28 de janeiro de 2014 12:49, Walter Carnielli  escreveu:

> Caros,
>
> acho que paciêncai já tivemos e temos tido, e  muita.  A  única
> maneira de  o argumento  "No entanto, na análise comparativa com as
> demais propostas, o seu
>  pedido não alcançou classificação que permitisse o atendimento"  é
> publicar a lista de  todos os candidatos, ou pelo menos dos que
> "alcançaram   classificação" e de seus projetos  "vencedores".
>
> Onde está a  cumprimento  por parte do CNPq  da Lei de Acesso à Informação?
>
>
> http://www.planalto.gov.br/ccivil_03/_ato2011-2014/2011/lei/l12527.htm
>
>
> Abs,
>
> Walter
>
> Em 25 de janeiro de 2014 12:31, Décio Krause 
> escreveu:
> > Caro JM, caros da lista, colegas do CA
> >
> > Um esclarecimento se faz necessário com respeito à mensagem enviada pelo
> JM acerca da decisão do CNPq sobre seu pedido de bolsa de pesquisa.
> >
> > O Comitê (CA) recomendou vários projetos que não foram contemplados,
> segundo eles, por falta de dinheiro. Segundo eles, seriam necessárias novas
> bolsas; em Outubro, pedimos que criassem mais cinco pelo menos, mas nada
> ocorreu. Novas bolsas são necessárias não somente para que novos
> pesquisadores entrem no sistema mas também  para que pesquisadores 2 possam
> progredir para 1. De cada bolsa 1, pode-se criar duas bolsas 2. Estamos
> analisando criteriosamente os pesquisadores 1 (independentemente de seu
> renome) para ver se eles realmente cumprem os ditames que estão nas
> "condições" propostas pelo CNPq para pesquisadores (cada nível tem
> condições a serem cumpridas). É fácil ver que muitos não cumprem, e
> deveriam ser desclassificados ou rebaixados. Isso pode ser feito quando do
> pedido de novas bolsas por parte deles, e na minha opinião isso DEVE ser
> feito. Se um PQ 1 descer para 2 ou for eliminado, abre-se uma nova vaga.
> Mas é preciso um pouco de paciência; não se consegue mexer com tudo de uma
> só vez.  Recomendo que não desistam, continuem insistindo, enviando
> novamente projetos cada vez melhores e voltados para a Filosofia; lembrem
> que a área é Filosofia, e não, por exemplo, Matemática ou Ciência da
> Computação. Assim, insistam nas relações de seu trabalho com questões
> filosóficas, e centrem fogo em publicações em revistas de Filosofia.  Na
> hierarquização, um trabalho em revista filosófica é priorizado em relação a
> um trabalho em revista de outra área de mesmo mérito.
> >
> > 
> >
> > Décio Krause
> > Departamento de Filosofia
> > Universidade Federal de Santa Catarina
> > www.cfh.ufsc.br/~dkrause
> > 
> >
> >
> >
> >
> >
> > Em 24/01/2014, à(s) 23:03, Joao Marcos  escreveu:
> >
> >> Olá, amigos, reparti com vocês meu insucesso no comitê CC nos 3 últimos
> anos, alguns me sugeriram tentar no comitê FI.  Fi-lo.  Eis o resultado:
> idêntico  insucesso.
> >>
> >> É a vida.  Abraços,
> >> João Marcos
> >>
> >>
> >> Nome: Joao Marcos de Almeida
> >> Processo: 307134/2013-0
> >> Modalidade: Produtividade em Pesquisa - PQ - 2013
> >>
> >> Prezado(a) Senhor(a),
> >>
> >> Comunicamos que, de acordo com o estabelecido nas normas do CNPq
> >> para a modalidade de bolsa acima, sua proposta foi analisada pelo
> >> Comitê de Filosofia e teve o seu mérito reconhecido.
> >>
> >> No entanto, na análise comparativa com as demais propostas, o seu
> >> pedido não alcançou classificação que permitisse o atendimento.
> >>
> >> O CNPq permanece à disposição de V.Sa. para novas solicitações
> >> em outras oportunidades.
> >>
> >> Atenciosamente,
> >>
> >> Guilherme Sales Soares de Azevedo Melo
> >> Diretor de Engenharias, Ciências Exatas e Humanas e Sociais
> >>
> >
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>
>
> --
> ---
> Prof. Dr. Walter Carnielli
> Director
> Centre for Logic, Epistemology and the History of Science - CLE
> State University of Campinas -UNICAMP
> 13083-859 Campinas -SP, Brazil
> Phone: (+55) (19) 3521-6517
> Fax: (+55) (19) 3289-3269
> Institutional e-mail: walter.carnie...@cle.unicamp.br
> Website: http://www.cle.unicamp.br/prof/carnielli
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Interessante Peter Higgs no Guardian

[Mario Benevides]

http://www.theguardian.com/science/2013/dec/06/peter-higgs-boson-academic-system

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: palestras - história da matemática

[Mario Benevides]

-- Forwarded message --
From: Tatiana Roque 
Date: 2013/10/2
Subject: palestras - história da matemática
To: i...@im.ufrj.br


Caros colegas,

Gostaria de convidá-los para duas palestras de um visitante que
receberemos na próxima semana, pesquisador importante da área de
História da Matemática. A primeira será aqui no IM, e a segunda irá
inaugurar os seminários de História da Matemática do IMPA. Seguem os
detalhes das palestras e uma breve apresentação do Prof. Jesper Lützen
(Instituto de Matemática-Universidade de Copenhague).


*Dia 8/10 terça-feira, 17h

Impossibility theorems with special emphasis on the classical
problems

Many of the most celebrated mathematical theorems say that
something cannot be done. In the talk I shall discuss the nature and
general development of this kind of theorems followed by an account of
the historical development of the impossibility of the so-called
classical problems: the duplication of the cube, the trisection of the
angle and the quadrature of the circle. I shall argue that
impossibility statements often began as meta-statements about the
problem solving activity of mathematics, and were only later conceived
as real mathematical results, that could and should be proved. The
development of new methods of proof provided the basis for this
shift. I shall exemplify this by the history of the classical problems
in between their formulation in Greek antiquity and their final
impossibility proofs in the 19th century. In particular I shall
analyse some of the advances due to the introduction in the 17th
century of analytical methods in geometry.

UFRJ
Centro de Tecnologia
Bloco C
Sala C116


*Dia 9/10 quarta-feira, 17h

Joseph Liouville: Master of Pure and Applied Mathematics.

Joseph Liouville (1809-1882) was the leading French mathematician
between Cauchy and Hermite. The talk will deal with his life and in
particular with his many mathematical contributions to
mathematics such as differentiation of arbitrary order (fractional
calculus), integration in finite form, Sturm-Liouville theory, Galois
Theory, transcendental numbers, mechanics, differential geometry and
integral equations. The talk will be based on Liouville's published
work as well as his many unpublished notebooks. The notebooks reveal
the sources of inspiration and his method of discovery of many of his
published ideas as well as many far-reaching ideas and results that he
did not publish.

IMPA
Sala 228
http://institucional.impa.br/seminarios/lista.action


Apresentação:

Jesper Lützen

Trabalha sobre a história da Análise e de outros ramos da matemática
nos séculos XIX e início do XX, com ênfase nas interações com a
física.

Exemplos de publicações:

The changing importance of an impossibility result, Historia
Mathematica, vol 36, s. 374-394, 2010.

The Physical Origin of Physically Useful Mathematics,
Interdisciplinary Science Reviews , vol 36, nr. 3, s. 229-243, 2011.

Examples and Reflections on the Interplay between Mathematics and
Physics in the 19th and 20th century, idem.

The Mathematician Sophus Lie: It was the Audacity of my Thinking,
Mathematical Intelligencer, vol 26, s. 60-64, 2004.

Joseph Liouville 1809-1882: Master of Pure and Applied Mathematics
(Studies in the History of Mathematics and Physical Sciences). NY:
Springer, 1990.




-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Logic PhDs = volumes em previsao

[Mario Benevides]

Caro Jean,

Que iniciativa maravilhosa. Adorei os 7 volumes e todos os previsto. Esta
série vai ser de extrema utilidade.

Parabéns e um abraço,

Mario

Em 11 de julho de 2013 16:01, jean-yves beziau escreveu:

> Grato Valeria e Joa Marcos pelo apoio
>
> Gostaria de acrescentar que alem dos 7 volumes em preparacao que estao na
> pagina
> http://www.collegepublications.co.uk/lphd/
>
> Temos uma lista de volumes em previsao,
> da qual fazem parte:
>
> Alfred Tarski
> Emil Post
> Paul Bernays
> John von Neumann
> Jacques Herbrand
> Kurt Gödel
> Stephen Kleene
> Roland Fraïsse
> Nuel Belnap
> Jon Michael Dunn
> Dov Gabbay
> Johan van Benthem
>
> Ja estamos estudando quem vai preparar cada volume
> Suggestoes sao bemvindos
>
> Jean-Yves
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Matemático desconhecido prova resultado importante sobre números primos

[Mario Benevides]

http://simonsfoundation.org/features/science-news/unheralded-mathematician-bridges-the-prime-gap/




-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Lógicas modais proposicionais como teorias de 1a ordem clássicas

[Mario Benevides]

Oi Daniel,

Não sei entendi sua pergunta. Mas em Lógicas temporais o uso de operadores
que são definidos usando-se fecho transitivo ou ponto fixo é bem comum, por
exemplo o Until. Voce não irá conseguir expressá-los no sistema Fitch.

Um abraço,

Mario

Em 27 de maio de 2013 15:42, Marcelo Finger  escreveu:

> Oi Daniel.
>
> Em relação à sua pergunta:
>
> >A pergunta, então, é: tem alguma lógica não-clássica que eu não vou
> conseguir resolver no meu software, simulando-a como uma teoria de primeira
> ordem clássica?
>
> Bom, pra não ser simulável em primeira ordem, que é turing completa, a
> lógica teria de "mais indecidível" que a lógica de primeira ordem.
>
> Agora, se a v quiser simulação em tempo polinomial, a coisa já fica
> mais interessante.  Tem muita lógica que é duplamente exponencial, ou
> não elementar, e essas, certamente, v não consegue simular. Tente, por
> exemplo, simular um produto de duas lógicas intuicionistas e v se
> estrepa completamente.
>
> []s
>
> Marcelo
>
>
> >
> > Eu tenho um palpite, João. A razão pode ser histórica. No caso das
> lógicas modais, por exemplo, a regimentação em primeira ordem só se tornou
> possível depois que a semântica dos modelos de Kripke se estabeleceu. É
> preciso muita reflexão para converter os conceitos de "necessidade" e
> "possibilidade", que traduzem-se diretamente em operadores lógicos, em uma
> relação binária entre estados possíveis do mundo (ou mundos possíveis) que
> rotulam proposições! Outra esquisitice histórica da lógica modal é o nome
> dos sistemas! K, T, B, S4, S4.3, S5?
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
>
>
>
> --
> Marcelo Finger
> Department of Computer Science, Cornell University
>
> on leave from:
>  Departament of Computer Science, IME
>  University of Sao Paulo
>  http://www.ime.usp.br/~mfinger
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] DORA

[Mario Benevides]

http://am.ascb.org/dora/

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: [Sistemas] Palestra Prof. Vazirgiannis: "Graph Mining in Social Networks and the Web"

[Mario Benevides]

Caros,

Sei que é um pouco fora do escopo da lista mas pode ser que alguém tenha
interesse.

Um abraço,

Mario

===

Ola,

Nesta quinta-feira, dia 16/05/2013 às 13:30h
no PESC/COPPE, na sala H-324b

teremos a palestra

"Graph Mining Tools for Community Detection and Evaluation in Social
Networks and the Web"

ministrada pelo
Professor Michalis Vazirgiannis, da École Polytechnique de Paris,
http://www.lix.polytechnique.fr/~mvazirg/

A palestra será um resumo do tutorial que ele apresentará no WWW 2013:

http://www2013.org/program/graph-mining-tools-for-community-detection-and-evaluation-in-social-networks-and-the-web/

Michalis Vazirgiannis gostaria também de discutir oportunidades de
colaboração entre o PESC e o dept de informática da Ecole Polytechnique.

Short CV

Dr. Vazirgiannis is a Full Professor in the area of "Databases &
Information Systems".He has also been a visiting professor in Deusto Univ
(Spain) (2006-2009), and in LIX at Ecole Polytechnique,France where he is
teaching the data base course.

He has worked as a researcher in the different places: in the Knowledge &
DB Lab (group, N.T.U. Athens), in GMD-IPSI (currently Frauhofer - IPSI),
Germany, in Fern-Universitaet Hagen, in project VERSO(later GEMO) in
INRIA/Paris, in IBM India Research Laboratory and in Max Planck Instistut
fur Informatik (Saarbruecken, Germany) in the group of G. Weikum . M.
Vazirgiannis held a Marie Curie Intra-European fellow (2006-2007)in area of
"P2P Web Search", hosted by INRIA FUTURS (in GEMO group, headed by S.
Abiteboul) in Orsay, Paris.

His current research interests are on
a. Web/Social graphs analysis & evolution monitoring (rank prediction,
graph based aggregate metrics for communities evaluation, graph clustering
optimization)
b. Computational Advertising (keyword extraction from web pages for adwords
campaigns, automated campaign design and monitoring)
c. Web Personalization & (time aware keyword extraction, real time
recommendations for small devices)
d. Web Archiving (entity recognition, entity based retrieval)

His industrial experience and expertise lie in the areas of data mining and
machine learning for large scale data repositories (i.e. the Web graph,
social networks, medical data etc).
He has contributed chapters in books and encyclopedias, published two
international books and more than a hundred papers in international
refereed journals and conferences. (Full list of
Publications)
(Publications
@ 
DBLP).
He is also co-author of two patents filed in the Greek patent office.

-- 
===




-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Palestra: Defeasible Modalities

[Mario Benevides]

Caros,

Na quinta dia 04/04 receberemos na UFRJ o pesquisador
Ivan José Varzinczak, CAIR, the UKZN-CSIR Meraka Centre for Artificial
Intelligence Research, in South Africa.
*
*Ivan José Varzinczak  received his *Ph.D. in Artificial Intelligence* from
Université Paul Sabatier, France, in 2006. Former member of IRIT, France,
he is currently a postdoctoral researcher at CAIR, the UKZN-CSIR Meraka
Centre for Artificial Intelligence Research, in South Africa. *
http://en.varzinczak.net16.net/

*Todos são muito benvindos.

Um abraço,

Mario* *Benevides*

Local: *PESC-COPPE, sala H324*A
Data: *18/03 Hora: 12:45*

Título*: Defeasible Modalities

*Resumo*: Nonmonotonic logics are usually characterized by the presence of
some notion of `conditional' that fails monotonicity. Research on
nonmonotonic logics is therefore largely concerned with the defeasibility
of argument forms and the associated normality (or abnormality) of its
constituents. In contrast, defeasible modes of inference aim to formalize
the defeasible aspects of modal notions such as actions, obligations and
knowledge. In this work we enrich the standard possible worlds semantics
with a preference ordering on worlds in Kripke models. The resulting family
of modal logics allow for the elegant expression of defeasible modalities.
We also propose a tableau calculus which is sound and complete with respect
to our preferential semantics.

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Palestra Prof. Joseph Halpern (CS, Cornell Un.)

[Mario Benevides]

Caros,

Na segunda dia 18/03 recebremos na UFRJ o Prof. Joseph Halpern, chefe do
Departamento de Ciência da Computação da Universidade de Cornell.* *Gostariamos
de convidar a todos para sua palestra*, *detalhes a seguir*. *Após a
palestra o Prof. Halpern gostaria de encontrar pesquisadores e* alunos de
graduação* interessados em cursar pós-graduação em Cornell.* *É importante
frisar que o Departamento de Ciência da Computação da Universidade de
Cornell está entre os *cinco melhores* do EUA.*

*Prof Joseph Halpern tem importantes contribuições em Lógica,
principalmente em Lógicas Modais, Diânmicas, Epistêmicas, Probabilisticas,
Teoria dos Jogos e Teoria de Decisão.* *Para maiores detalhes ver sua
página em http://www.cs.cornell.edu/home/halpern/*

*Todos são muito benvindos.

Um abraço,

Mario* *Benevides e Gerson Zaverucha*

Local: *PESC-COPPE, sala H324B*
Data: *18/03 Hora: 13:30*

Título*: Beyond Nash Equilibrium: Solution Concepts for the 21st Century

*Resumo*: Nash equilibrium is the most commonly-used notion of equilibrium
in game
theory. However, it suffers from numerous problems. Some are well known
in the game theory community; for example, the Nash equilibrium of repeated
prisoner's dilemma is neither normatively nor descriptively reasonable.
However, new problems arise when considering Nash equilibrium from a
computer science perspective: for example, Nash equilibrium is not robust
(it does not tolerate "faulty" or "unexpected" behavior), it does not
deal with coalitions, it does not take computation cost into account, and
it does not deal with cases where players are not aware of all aspects of
the game. In this talk, I discuss solution concepts that try to address
these shortcomings of Nash equilibrium. This talk represents joint work
with various collaborators, including Ittai Abraham, Danny Dolev, Rica
Gonen, Rafael Pass, and Leandro Rego. No background in game theory will
be presumed.


-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: link para página web com notas de aula

[Mario Benevides]

   Caros,

Segue um link para uma página com notas de aula em protuguês

   O link:

   http://arquivoescolar.org/handle/arquivo-e/9

  Estas duas paginas explicam a filosofia e regras deste projeto:

http://arquivoescolar.org/help/aboutarchive.html
http://arquivoescolar.org/password-login

  Um abraço,

Mario





-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: Poincaré- amanhã!

[Mario Benevides]

Caros,

Só para lembrar que começa amanhã às 9h, no IMPA, o Colóquio em
homenagem aos 100 anos da morte de Henri Poincaré. Veja o programa a seguir:

http://www.impa.br/opencms/pt/eventos/extra/2012_henri_poincare/attach/programa.pdf


Um abraco,

Mario



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: convite colóquio Poincaré

[Mario Benevides]

-- Mensagem encaminhada --
De: Tatiana Roque 
Data: 30 de outubro de 2012 08:39
Assunto: convite colóquio Poincaré
Para: i...@im.ufrj.br


Caros Colegas,

Gostaríamos de convidá-los e pedir que divulguem o Colóquio em
homenagem ao centenário da morte de Henri Poincaré,
que terá lugar no IMPA, na semana de 27 a 30 de novembro.

No site do evento encontram-se mais informações, como palestrantes,
titulos e programa:

http://www.impa.br/opencms/pt/eventos/store/evento_1206

Os organizadores dispõem de recursos limitados para apoiar a
participação na conferência de alunos de pós-graduação que queiram
apresentar poster. Os interessados deverão enviar titulo e abstract do
pôster para d...@impa.br até o dia 14 de novembro, além de se
registrarem em:

http://www.impa.br/opencms/pt/eventos/store/evento_1206?link=20


Cordialmente,

Os organizadores
Enrique Pujals, Tatiana Roque e Antonio Augusto Videira



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: Palestra no PESC

[Mario Benevides]

Caros,

Gostaria de convidar a todos para a palestra do Professor *Hans van
Ditmarsch* - Universidade de Sevilha, Espanha, que será ministrada no PESC
no dia 28/08 às 13:00 na sala H318B (seminários).

O professor Hans estará nos visitando durante toda a semana que vem, se
alguém tiver interesse em encontrá-lo é só me mandar um email.

Para maiores informaões sobre o professor Hans acesse sua página
http://personal.us.es/hvd/

Todos são muito benvindos.

Mario Benevides


Título: Awareness bisimulation, knowledge, and awareness


(This is joint work with Tim French, Fernando Velazquez, and Yi Wang)

We consider semantic structures and logics that differentiate between being
uncertain about a proposition, being unaware of a proposition, becoming
aware of a proposition, and getting to know the truth value of a
proposition. We propose a unified setting to model this variety of static
and dynamic aspects of awareness and knowledge. Various derived notions
will be discussed: explicit knowledge, implicit knowledge, and also novel
epistemic notions such as speculative knowledge (back to the motivation in
Levesque's 'A Logic of Implicit and Explicit Belief', one can speculate
over variables of which one is unaware, e.g. if you are unaware of p, then
p v ~p is still speculatively known by you). A cornerstone of this
framework is the notion of awareness bisimulation - this is the proper
notion of structural similarity on the structures enriched with awareness
of propositional variables proposed by Fagin and Halpern in 'Belief,
awareness, and limited reasoning'. Just as bisimilarity preserves logical
truth, awareness bisimilarity preserves the truth of which you are aware.


-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario <http://www.cos.ufrj.br/%7Emario>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Fwd: Walter Carnielli: indicação para medalha de ouro

[Mario Benevides]

 Walter,

Parabéns pelo merecido premio.

Um abraço,

Mario

Em 1 de agosto de 2012 15:19, gerson zaverucha escreveu:

> Parabens Walter!
> Belo reconhecimento.
> Gostaria de esclarecer que o Walter ganhou o premio (nao foi "apenas" uma
> indicaçao):
> *Professor Walter Carnielli is to receive the TGA Medal 2013 for
> Mathematics.*
> Vejam o video da Matematica.
>
> Abs,
> Gerson
>
> 2012/8/1 Joao Marcos 
>
> > -- Forwarded message --
> > From: Juliana Bueno-Soler 
> > Date: 2012/8/1
> > Subject: Walter Carnielli: indicação para medalha de ouro
> >
> >
> > Caros colegas e amigos:
> >
> > escrevo para comunicar que o Prof. Walter Carnielli foi indicado para
> > receber a medalha de ouro da Telesio Galilei Academy of Science (baseada
> > em Bellinzona, Suiça) para 2013 na área de Matemática, por suas
> > contribuições conjuntas à Matematica, Lógica e Filosofia
> >
> > http://telesio-galilei.com/tg/index.php/academy-award-2013
> >
> > O nome da academia homenageia Bernardino Telesio e Galileo Galilei, tidos
> > como heróis da resistência à autoridade contra a ciência livre.
> >
> > A academia premiou desde 2008 diversos físicos, matemáticos e alguns
> > poucos filósofos, incluindo os brasileiros Fernando Galembeck (Química,
> > Unicamp) e Djairo Guedes de Figueiredo (Matemática, Unicamp).
> >
> > Gostaria que alguém postasse esta mensagem na Lista dos Lógicos
> > Brasileiros (da qual eu não faço parte mais).
> >
> > Att.,
> > Juliana
> >
> > +
> > Juliana Bueno-Soler
> > Professor Adjunto I
> > Universidade Federal do ABC - CCNH
> > Rua Santa Adélia, 166 - Bangu
> > Santo André - SP
> > homepages: http://tinyurl.com/juliana-bueno-soler
> >http://geocities.com/j_bueno13/
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Qualis 2012 - MATEMÁTICA

[Mario Benevides]

Rodrigo, tudo bem?

Tem algo estranho, no site consta a TCS como A1 e a NDJFL como A2. Onde
você viu que a TCS é B1?

http://qualis.capes.gov.br/webqualis/ConsultaPeriodicos.faces

Um abraço,

Mario

Em 14 de junho de 2012 21:55, Rodrigo Freire escreveu:

> > Não penso que seja o caso de comemorar tanto assim.
> >
>
>
> Concordo, e certamente não estou comemorando o resultado. Continuo achando
> que o qualis nem deveria existir. O único ponto positivo que vi nisso tudo
> é que nosso trabalho teve algum efeito, pois minha expectativa era que nem
> isso seria alcançado. (Não acredito que colocariam qualquer revista de
> lógica no A espontaneamente).
>
> Estou sem entender a queda da Theoretical Computer Science para B1, e a
> ascensão do NDJFL para A2 na computação. Quando divulgarem os documentos de
> área do triênio poderemos encontrar alguma pista.
>
> Abraço
> Rodrigo
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario 
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Concerning Hybrid Logics

[Mario Benevides]

Oi Valéria,

Acrescentar nominais e @ normalmente não muda a complexidade de problemas
de validade, satisfabilidade e verificação de modelos. Isto é bem
interessante do ponto de vista computacional.

Um abraço,

Mario

Em 23 de maio de 2012 09:09, Valeria de Paiva
escreveu:

> nao entendi Mario...tem alguma definicao formal de hibridizacao ou e' so'
> a ideia intuitiva de pegar uma logica modal e adicionar nominais da menor
> maneira possivel?
>
> Valeria
>
> 2012/5/22 Mario Benevides 
>
>> Caros,
>>
>> Um outro aspecto muito interessante  é que, *normalmente*, a
>> "hibridização" (não estou falando de binders) de uma lógica modal não
>> aumenta a complexidade de lógica modal por baixo.
>>
>> Um abraço,
>>
>> Mario
>>
>> Em 22 de maio de 2012 11:21, Valeria de Paiva 
>> escreveu:
>>
>> oi Elaine,
>>> A Sara tem sim, mas me parece que 'e o mesmo truque/insight do
>>> Vigano/Simpson, so' que em forma de sequentes em vez de deducao natural,
>>> o
>>> que voce gosta mais...!
>>> as limitacoes dos metodos tb sao semelhantes, teorias geometricas.
>>>
>>> all good stuff, como se diz por ai.
>>> abs
>>> valeria
>>>
>>> 2012/5/22 Elaine Pimentel 
>>>
>>> > Olas!
>>> >
>>> > Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
>>> > dizer que me parece que a Sara Negri tem um "procedure" para gerar
>>> > sistemas baseados em cálculo de sequentes para lógicas modais.
>>> >
>>> > Abraco,
>>> >
>>> > Elaine.
>>> >
>>> > 2012/5/21 Valeria de Paiva :
>>> > > oi Joao Marcos,
>>> > > com certeza, o estilo de deducao natural do Basin, Vigano e Matthews,
>>> > que o
>>> > > Luca explicou muito melhor no livro e' uma outra maneira de
>>> consertar os
>>> > > formalismos dedutivos modais, da mesma forma que os sistemas do
>>> Simpson
>>> > tb
>>> > > o sao, pra logica modal intuicionista.
>>> > > as logicas hibridas levam essa ideia ao seu desenvolvimento natural.
>>> > > se voce vai etiquetar as formulas pra dizer onde elas sao validas,
>>> em vez
>>> > > de colocar no sistema dedutivo simplesmente a relacao de
>>> acessibilidade
>>> > do
>>> > > modelo, pode colocar os mundos tambem e usa-los nas formulas como
>>> > cidadaos
>>> > > de primeira classe.
>>> > >  e isso te da', como bem disse o Mario, muito mais expressividade no
>>> > > sistema.
>>> > > a minha resposta pro Tony nao 'e discordando da do Mario, mas sim
>>> > > explicando o que *eu* vejo de interessante...
>>> > >
>>> > > Como a gente ja conversou muitas vezes, eu tenho varios "problemas
>>> > > emocionais" com todos os formalismos que fazem essa coisa de fazer a
>>> > > semantica parte da sintaxe, pois eu acho que isso 'e meio
>>> > > "cheating",filosoficamente.  tb 'e dar uma primazia especial aas
>>> > semanticas
>>> > > de mundos possiveis que eu nao sei se elas teem), mas a gente quer
>>> usar
>>> > > sistemas modais, a gente quer fazer contas/descobrir provas neles, e
>>> isso
>>> > > certamente 'e uma solucao implementavel...
>>> > >
>>> > > vamos conversando e melhorando o nosso entendimento dos nossos
>>> sistemas,
>>> > ne?
>>> > > abs
>>> > > Valeria
>>> > >
>>> > > On Mon, May 21, 2012 at 2:49 PM, Joao Marcos 
>>> wrote:
>>> > >
>>> > >> Olá, Valeria:
>>> > >>
>>> > >> Acho que vale a pena recordar ainda que há uma outra maneira
>>> bastante
>>> > >> simples de "consertar" os formalismos dedutivos modais, pelo
>>> acréscimo
>>> > >> de etiquetas (representando termos de uma assinatura de primeira
>>> ordem
>>> > >> adequada) sobre fórmulas modais e a adição de fórmulas relacionais à
>>> > >> linguagem-objeto.  Como resultado, regras de dedução natural
>>> > >> extremamente simples para os principais sistemas modais podem ser
>>> > >> definidas, tal como ilustradas no livro "Labelled Non-Classical
>>> > >> Logics&q

Re: [Logica-l] Concerning Hybrid Logics

[Mario Benevides]

Caros,

Um outro aspecto muito interessante  é que, *normalmente*, a "hibridização"
(não estou falando de binders) de uma lógica modal não aumenta a
complexidade de lógica modal por baixo.

Um abraço,

Mario

Em 22 de maio de 2012 11:21, Valeria de Paiva
escreveu:

> oi Elaine,
> A Sara tem sim, mas me parece que 'e o mesmo truque/insight do
> Vigano/Simpson, so' que em forma de sequentes em vez de deducao natural, o
> que voce gosta mais...!
> as limitacoes dos metodos tb sao semelhantes, teorias geometricas.
>
> all good stuff, como se diz por ai.
> abs
> valeria
>
> 2012/5/22 Elaine Pimentel 
>
> > Olas!
> >
> > Eu nao vou ter tempo agora de escrever muito, mas acho que vale a pena
> > dizer que me parece que a Sara Negri tem um "procedure" para gerar
> > sistemas baseados em cálculo de sequentes para lógicas modais.
> >
> > Abraco,
> >
> > Elaine.
> >
> > 2012/5/21 Valeria de Paiva :
> > > oi Joao Marcos,
> > > com certeza, o estilo de deducao natural do Basin, Vigano e Matthews,
> > que o
> > > Luca explicou muito melhor no livro e' uma outra maneira de consertar
> os
> > > formalismos dedutivos modais, da mesma forma que os sistemas do Simpson
> > tb
> > > o sao, pra logica modal intuicionista.
> > > as logicas hibridas levam essa ideia ao seu desenvolvimento natural.
> > > se voce vai etiquetar as formulas pra dizer onde elas sao validas, em
> vez
> > > de colocar no sistema dedutivo simplesmente a relacao de acessibilidade
> > do
> > > modelo, pode colocar os mundos tambem e usa-los nas formulas como
> > cidadaos
> > > de primeira classe.
> > >  e isso te da', como bem disse o Mario, muito mais expressividade no
> > > sistema.
> > > a minha resposta pro Tony nao 'e discordando da do Mario, mas sim
> > > explicando o que *eu* vejo de interessante...
> > >
> > > Como a gente ja conversou muitas vezes, eu tenho varios "problemas
> > > emocionais" com todos os formalismos que fazem essa coisa de fazer a
> > > semantica parte da sintaxe, pois eu acho que isso 'e meio
> > > "cheating",filosoficamente.  tb 'e dar uma primazia especial aas
> > semanticas
> > > de mundos possiveis que eu nao sei se elas teem), mas a gente quer usar
> > > sistemas modais, a gente quer fazer contas/descobrir provas neles, e
> isso
> > > certamente 'e uma solucao implementavel...
> > >
> > > vamos conversando e melhorando o nosso entendimento dos nossos
> sistemas,
> > ne?
> > > abs
> > > Valeria
> > >
> > > On Mon, May 21, 2012 at 2:49 PM, Joao Marcos 
> wrote:
> > >
> > >> Olá, Valeria:
> > >>
> > >> Acho que vale a pena recordar ainda que há uma outra maneira bastante
> > >> simples de "consertar" os formalismos dedutivos modais, pelo acréscimo
> > >> de etiquetas (representando termos de uma assinatura de primeira ordem
> > >> adequada) sobre fórmulas modais e a adição de fórmulas relacionais à
> > >> linguagem-objeto.  Como resultado, regras de dedução natural
> > >> extremamente simples para os principais sistemas modais podem ser
> > >> definidas, tal como ilustradas no livro "Labelled Non-Classical
> > >> Logics", de Luca Viganò --- ou no seguinte material nosso, em
> > >> português:
> > >> http://www.dimap.ufrn.br/~jmarcos/courses/LC/Cap4.pdf
> > >>
> > >> As lógicas híbridas, claro, vão muito além disso, sendo baseadas em
> > >> linguagens legitimamente *mais expressivas* do ponto de vista das
> > >> estruturas relacionais por elas caracterizadas, como Mário bem chamou
> > >> a atenção em sua mensagem.
> > >>
> > >> Abraços,
> > >> Joao Marcos
> > >>
> > >>
> > >> On Sat, May 19, 2012 at 1:01 PM, Valeria de Paiva
> > >>  wrote:
> > >> > Tony,
> > >> > as far as I'm concerned the real advantage of hybrid logics over
> > >> multimodal
> > >> > logics is on their proof theoretical aspects, hybrid logics are much
> > >> better
> > >> > behaved than modal logics as far as their proof theory goes.
>  Patrick
> > >> > Blackburn gave a course in nasslli2002 where he pressed this point
> and
> > >> i've
> > >> > spent an enjoyable half an hour trying to find the slides to send
> you,
> > >> but
> > >> > have not. the reader for the course is available
> > >> > www.stanford.edu/group/nasslli/courses/*blackburn*/reader.pdf.
> > >> >
> > >> > in particular interpolation results are recovered:
> > >> > (Repairing the Interpolation Theorem in Quantified Modal
> > >> > Logic,
> > >> > by Carlos Areces, Patrick Blackburn and Maarten Marx. *Annals of
> Pure
> > and
> > >> > Applied Logic*, 124, 287-299, 2003. )
> > >> >
> > >> > but for me the big payoff was on cut-elimination results for several
> > >> > systems.
> > >> >
> > >> > Patrick's lectures were impressive enough to make me investigate
> > >> > constructive versions of hybrid logics with Torben Brauner to begin
> > with
> > >> > and more recently with Herman Hauesler and Alexandre Rademaker.
> > >> >
> > >> > and yes, satisfaction operators do behave like modal operators.
> > >> >
> > >> > but no, it's not simply giving 

Re: [Logica-l] Concerning Hybrid Logics

[Mario Benevides]

Dear Tony,

Some Hybrid logics have the same  expressive power of  FOL. But even the
basic hybrid logic is not bisimulation-invariant while modal logics, in
general, are. Some properties like irreflexivity, intransitivity are not
definable in BML but are in BHL.

All the best,

Mario

2012/5/18 Tony Marmo 

> Dear colleagues and friends,
>
> I write to inquire the following concerning hybrid logics:
>
> 1. Firstly, I wonder whether hybrid logic languages have a real advantage
> in relation to *multi-modal logics*, for instance, if the former are really
> more expressive than the latter, or if the notion of parameter covers that
> of nominals.
>
> 2. I'm not sure whether the modal operators are not satisfaction operators
> or vice-versa. Isn't it the same as giving new names to old things?
>
> I shall appreciate your opinions.
>
> Thank you very much,
>
> Tony Marmo
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] classificacao para JAL

[Mario Benevides]

Caros,

Eu concordo com o Jean, acho que ela deve ser classificada na computação de
acordo com o seu fator (que é o que a Capes vê). Portanto acho que ela deve
ser A1 ou A2.

Um abraço,

Mario

Em 28 de março de 2012 11:37, Rodrigo Freire escreveu:

> Pessoal (principalmente da computação)
>
>
> Estamos recebendo sugestões para (todas as revistas e especialmente) o JAL.
>
> Me parece que é uma boa revista. Eu diria que seu perfil é claramente
> "logica computacional". Como o Jean-Yves mencionou, é campeã de impact
> factor (para quem se importa com ele).
>
> Sugestões??
>
> Abraço
> Rodrigo
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] The Abel Prize 2012

[Mario Benevides]

http://www.abelprize.no/
Endre Szemerédi
The Abel Prize Laureate 2012
"for his fundamental contributions to discrete mathematics and
theoretical computer science, and in recognition of the profound and
lasting impact of these contributions on additive number theory and
ergodic theory."

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: LOFT 2012 - deadline and notification date change (ONLY for full papers / extended abstracts, NOT for title & abstract)

[Mario Benevides]

-- Forwarded message --
From: LOFT 2012 
Date: 2012/2/26
Subject: LOFT 2012 - deadline and notification date change (ONLY for full
papers / extended abstracts, NOT for title & abstract)
To: Mario Benevides 


Dear Mario,



** deadline and notification date change **
** title and abstract submission until 1 March **
** full paper [extended abstract] submission until 8 March **


 LOFT10  2012
Tenth Conference on Logic and the Foundations of Game and Decision Theory
   University of Sevilla, Spain, June 18-20, 2012
  http://personal.us.es/hvd/loft/


AIMS OF THE CONFERENCE
This is the tenth in a series of bi-annual conferences on the applications
of logical methods to foundational issues in the theory of individual and
interactive decision-making. See also
http://www.econ.ucdavis.edu/faculty/bonanno/loft.html

INVITED SPEAKERS
   * Walter Carnielli, University of Campinas, Brazil
   * Vincent Conitzer, Duke University, USA
   * Branden Fitelson, Rutgers University, USA
   * Aviad Heifetz, Open University of Israel
   * Andrés Perea, University of Maastricht, Netherlands

SUBMISSION INFORMATION:
The three-day conference will give opportunity for paper presentations and
discussions. Potential contributors should submit an extended abstract of
approximately 5 - 10 pages in PDF format through
http://www.easychair.org/conferences/?conf=loft2012
The [changed!] deadline for submission of titles and abstracts is March 1,
2012, the deadline for submission of full paper versions [extended
abstracts] is March 8, 2012, and authors will be notified of acceptance
decisions by April 16, 2012.

PUBLICATION OF CONTRIBUTED PAPERS:
A selection of papers presented at LOFT10 will be published in two special
issues: one in the Journal of Philosophical Logic and one in the
International Game Theory Review.

Important Dates:
Deadline for submission of titles and abstracts: 1 March, 2012
Deadline for submission of full papers [extended abstracts]: 8 March, 2012
Notification to authors: 16 April, 2012
Conference: 18-20 June 2012



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] LOFT 2012 Sevilla - 2nd CFP

[Mario Benevides]

Caros,

Gostari de chamar a atenção para o seguinte CFP.

Um abraço,

Mario




 LOFT10  2012
Tenth Conference on Logic and the Foundations of Game and Decision Theory
   University of Sevilla, Spain, June 18-20, 2012
  http://personal.us.es/hvd/loft/


AIMS OF THE CONFERENCE
This is the tenth in a series of bi-annual conferences on the applications
of logical methods to foundational issues in the theory of individual and
interactive decision-making. Preference is given to papers which bring
together the work and problems of several fields, such as game and decision
theory, logic, computer science and artificial intelligence, philosophy,
cognitive psychology, mathematics and mind sciences.

The previous nine conferences took place in Marseille (France), January
1994,
Torino (Italy), December 1996, December 1998, July 2000 and July 2002,
Leipzig
(Germany), July 2004, Liverpool (UK), July 2006, Amsterdam (The
Netherlands),
July 2008 and Toulouse (France), July 2010.

Among the topics of particular relevance are:

(*) Modal logics for games and protocols: epistemic and deontic logic,
multi-agent logic, temporal logic, dynamic logic, probabilistic and
multivalued logic, logic of belief revision.

(*) Foundations of game and decision theory: epistemic foundations of
solution concepts, information processing and communication in games,
belief formation and revision in games.

(*) Learning and information-processing models: economic aspects of
information processing, learning in game-theoretic contexts, inductive
learning and inductive decision making.

(*) Bounded rationality approaches to game and decision theory.

INVITED SPEAKERS
   * Walter Carnielli, University of Campinas, Brazil
   * Vincent Conitzer, Duke University, USA
   * Branden Fitelson, Rutgers University, USA
   * Aviad Heifetz, Open University of Israel
   * Andrés Perea, University of Maastricht, Netherlands

SUBMISSION INFORMATION:
The three-day conference will give opportunity for paper presentations and
discussions. Potential contributors should submit an extended abstract of
approximately 5 - 10 pages in PDF format through
http://www.easychair.org/conferences/?conf=loft2012
The deadline for submission is March 1, 2012, and authors will be notified
of
acceptance decisions by April 9, 2012.

PUBLICATION OF CONTRIBUTED PAPERS:
A selection of papers presented at LOFT10 will be published in two special
issues: one in the Journal of Philosophical Logic and one in the
International
Game Theory Review. For a list of publications based on previous LOFT
conferences see http://www.econ.ucdavis.edu/faculty/bonanno/loft.html

Program Chairs:
Giacomo Bonanno, University of California Davis, U.S.A.
Hans van Ditmarsch, University of Sevilla, Spain
Wiebe van der Hoek, University of Liverpool, United Kingdom


Program Committee:
   Mario Benevides
   Adam Brandenburger
   Jan Broersen
   Edith Elkind
   Ulle Endriss
   Luis Farinas Del Cerro
   Yossi Feinberg
   Marcelo Finger
   Spyros Galanis
   Olivier Gossner
   Paul Harrenstein
   Martin van Hees
   Francisco Hernandez Quiroz
   Andreas Herzig
   Willemien Kets
   Jerome Lang
   Martin Meier
   Yoram Moses
   Amparo Marmol Conde
   Manuel Ojeda Aciego
   David Pearce
   Sophie Pinchinat
   Bryan Renne
   Olivier Roy
   Dov Samet
   Elias Tsakas
   Tero Tulenheimo
   Heinrich Wansing


Local Organization Committee:
   Hans van Ditmarsch, University of Sevilla
   Angel Nepomuceno, University of Sevilla
   Francisco Salguero, University of Sevilla
   Fernando Soler, University of Sevilla
   Fernando Velazquez Quesada, University of Sevilla

Important Dates:
Deadline for submission: 1 March, 2012
Notification to authors: 9 April, 2012
Conference: 18-20 June 2012



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: LOFT 2012 Sevilla - first CFP

[Mario Benevides]

Caros,

Gostaria de chamar a atenção para a seguinte chamada. Duas edições especiais
estão previstas para depois do congresso.

Um abraço,

Mario


Below you find the first CFP for LOFT 2012. Please resend to email lists, to
anyone you wish to encourage to submit (including yourself). We have also
updated the webpage: note that TWO different after LOFT journal special
issues are planned, and that a LOFT welcome reception will celebrate 40
years of the JPL. Best wishes, Giacomo/Hans/Wiebe


***
 LOFT10  2012
Tenth Conference on Logic and the Foundations of Game and Decision Theory
   University of Sevilla, Spain, June 18-20, 2012
  http://personal.us.es/hvd/loft/


AIMS OF THE CONFERENCE
This is the tenth in a series of bi-annual conferences on the applications
of
logical methods to foundational issues in the theory of individual and
interactive decision-making. Preference is given to papers which bring
together the work and problems of several fields, such as game and
decision theory, logic, computer science and artificial intelligence,
philosophy, cognitive psychology, mathematics and mind sciences.

The previous nine conferences took place in Marseille (France), January
1994,
Torino (Italy), December 1996, December 1998, July 2000 and July 2002,
Leipzig (Germany), July 2004, Liverpool (UK), July 2006, Amsterdam
(The Netherlands), July 2008 and Toulouse (France), July 2010.

Among the topics of particular relevance are:

(*) Modal logics for games and protocols: epistemic and deontic logic,
multi-agent logic, temporal logic, dynamic logic, probabilistic and
multivalued logic, logic of belief revision.

(*) Foundations of game and decision theory: epistemic foundations of
solution concepts, information processing and communication in games,
belief formation and revision in games.

(*) Learning and information-processing models: economic aspects of
information processing, learning in game-theoretic contexts, inductive
learning and inductive decision making.

(*) Bounded rationality approaches to game and decision theory.

INVITED SPEAKERS
   * Walter Carnielli , University of Campinas, Brazil
   * Vincent Conitzer, Duke University, USA
   * Branden Fitelson, Rutgers University, USA
   * Aviad Heifetz, Open University of Israel
   * Andrés Perea, University of Maastricht, Netherlands

SUBMISSION INFORMATION:
The three-day conference will give opportunity for paper presentations and
discussions. Potential contributors should submit an extended abstract of
approximately 5 - 10 pages in PDF format through
http://www.easychair.org/conferences/?conf=loft2012
The deadline for submission is March 1, 2012, and authors will be notified
of
acceptance decisions by April 9, 2012.

PUBLICATION OF CONTRIBUTED PAPERS:
A selection of papers presented at LOFT10 will be published in a special
issue
of the Journal of Philosophical Logic
For a list of publications based on previous LOFT conferences see
http://www.econ.ucdavis.edu/faculty/bonanno/loft.html

Program Chairs:
Giacomo Bonanno, University of California Davis, U.S.A.
Wiebe van der Hoek, University of Liverpool, United Kingdom
Hans van Ditmarsch, University of Sevilla, Spain


Program Committee:
   Mario Benevides
   Adam Brandenburger
   Jan Broersen
   Edith Elkind
   Ulle Endriss
   Luis Farinas Del Cerro
   Yossi Feinberg
   Marcelo Finger
   Spyros Galanis
   Olivier Gossner
   Paul Harrenstein
   Martin van Hees
   Francisco Hernández Quiroz
   Andreas Herzig
   Willemien Kets
   Jerome Lang
   Martin Meier
   Yoram Moses
   Amparo Mármol Conde
   Manuel Ojeda Aciego
   David Pearce
   Sophie Pinchinat
   Bryan Renne
   Olivier Roy
   Dov Samet
   Elias Tsakas
   Tero Tulenheimo
   Heinrich Wansing


Local Organization Committee:
   Hans van Ditmarsch, University of Sevilla
   Angel Nepomuceno, University of Sevilla
   Francisco Salguero, University of Sevilla
   Fernando Soler, University of Sevilla
   Fernando Velázquez Quesada, University of Sevilla

Important Dates:
Deadline for submission: 1 March, 2012
Notification to authors: 1 April, 2012
Conference: 18-20 June 2012



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: Ciclo Ciência: Mergulhando na Matematica: historia e atualidade dos numeros primos , 13 de outubro, às 18h30

[Mario Benevides]

 --
**

**  **
 --

*--- End of Forwarded Message ---*


-- 
IM/UFRJ
Open WebMail Project (http://openwebmail.org)




-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Tools for Teaching Logic

[Mario Benevides]

Oi Adolfo,

O Hermann tem um Tableaux para LPO bem amigável. Dê uma olhada no link

http://www.tecmf.inf.puc-rio.br/TableauxProver/Applet

Um abraço,

Mario

Em 1 de outubro de 2011 00:23, Adolfo Neto  escreveu:

> Olá,
>
> Já está disponível (com texto parcial) na Biblioteca  do Google o livro
>
> Tools for Teaching Logic: Third International Congress, TICTTL 2011,
> Salamanca, Spain, June 1-4, 2011, Proceedings
> Patrick Blackburn, Hans van Ditmarsch, Maria Manzano, Fernando
> Soler-Toscano
>
>
> http://books.google.com/books?hl=es&lr=&id=be-pTR5TmZIC&oi=fnd&pg=PA239&ots=Od7aGgQM7p&sig=2FFI2t4ZNp4ODXnt_pS_JAfrjzY#v=onepage&q&f=false
>
> Aproveitando a oportunidade, quero pedir aos que ensinam Lógica por aí que
> dêem *sugestões para a implementacao de alguma ferramenta que possa ser
> útil
> para os professores de Lógica*.
>
> Ano passado, na minha disciplina Métodos Ágeis para o Desenvolvimento de
> Software<
> http://www.dainf.ct.utfpr.edu.br/wiki/index.php/Metodologias_%C3%81geis_para_o_Desenvolvimento_de_Software
> >,
> eu e meus alunos implementamos o Logicamente-UTFPR:
>
> https://github.com/adolfont/Logicamente-UTFPR
>
> cujo .jar mais recente pode ser baixado de
>
>
> https://github.com/downloads/adolfont/Logicamente-UTFPR/logicamente-utfpr-alfa-5.1.jar
>
> A ferramenta tem sido muito útil para mim. Uso nas minhas aulas e deixo os
> alunos usando no laboratório. [A ideia do Logicamente-UTFPR era implementar
> em Java algo que já estivesse implementado no Logicamente original
> ]
>
> Um artigo sobre o Logicamente no Tools for Teaching Logic está em
>
>
> http://books.google.com/books?id=be-pTR5TmZIC&pg=PA223&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false
>
> Voltando ao "Tools for Teaching Logic 2010", tem uma ferramenta lá que
> achei
> interessante:
>
>
> http://books.google.com/books?id=be-pTR5TmZIC&pg=PA239&hl=es&source=gbs_toc_r&cad=4#v=onepage&q&f=false
>
> mas o jar que está em
>
> http://www.fdi.ucm.es/profesor/rdelvado/TICTTL2011/
>
> não roda...
>
> O ASA CALCPRO
>
> http://www.asacalcpro.com.br/
>
> também não funciona mais (tentei no WIndows 7 e no Ubuntu 11.04).
>
> Alguém conhece alguma ferramenta relativamente amigável que use tablôs
> marcados para lógica proposcional clássica?
>
>
> []s
> Adolfo
>
> ==
> Adolfo Neto
> Assistant Professor - Federal University of Technology, Paraná
> Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
> Twitter: http://twitter.com/adolfont
> Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
> ==
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Seminário

[Mario Benevides]

Caros,

No dia 3/10 teremos um seminário aqui na UFRJ como parte das atividades do
grupo de interesse em Lógica no Rio de Janeiro,
http://www.rio-logic.org/ . Gostaria de convidar a todos, para maiores
detalhes ver: http://www.rio-logic.org/start1.html

Todos são muito benvindos.

Um abraço,

Mario

+++


Raúl Fervari
Universidade de Códoba
http://cs.famaf.unc.edu.ar/~rfervari/

Data: 3/10
Horário14:00
Local: COPPE/Sistemas na sala H-324-A, no CT da UFRJ, Cidade Universitária.


Title: Dynamic Modal Logics - Changing Structures

==
Abstract: In this talk I will present some modal languages that allows
a real dynamic perspective over relational models.
First of all, I will introduce the basic modal logic just to fix some
notation, and then I will discuss two languages  specially
designed to express dynamic properties of models: Memory Logic and Swap
Logic.

I will discuss some of the results we have already obtained for these
logic as examples of their behavior.  In particular I will show that
the model checking problem for Memory Logic is PSpace-Complete (i.e.,
as hard as model checking full first-order logic); and a
characterization of Swap Logic as a fragment of First Order Logic.
The general message is that dynamic logics as the ones we presented
are very expressive, and that while general techniques can be adapted
to treat them, sometimes a new perspective is required.






-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] WHERE META-INFERENCE DOESN'T APPLY

[Mario Benevides]

Dear Tony,

The deduction theorem does not hold for many modal logics. PDL is a
classical example.

Mario

Em 17 de junho de 2011 13:36, Tony Marmo  escreveu:

> Dear Friends,
>
> I write to inquire about an example of logic system to which the
> meta-inference rule does not apply. If you can remember any, please feel
> free to respond this.
>
> By meta-inference rule I mean:
>
> If A,B |- C, then  A |- B=>C
>
> Thank you very much.
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] cinco velinhas

[Mario Benevides]

João,

Você também merece os parabéns por manter esta lista durante estes 5 anos.

Muito obrigado e um forte abraço,

Mario

Em 24 de março de 2011 20:42, O Administrador da LOGICA-L <
logica-l-ow...@dimap.ufrn.br> escreveu:

> A LOGICA-L se auto-congratula pelos seus cinco anos de vida!
> E que venham mais, e melhores!!
>
> Com os nossos agradecimentos aos atuais 375 membros da lista,
> O Administrador da LOGICA-L
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Mensagem do Committee for Logic in Latin America da ASL- apoio a estudantes (EBL 2011)

[Mario Benevides]

Parabéns Wlater,

Um boa conquista para a nossa cominidade.

Um abraço,

Mario

Em 19 de janeiro de 2011 12:53, Walter Carnielli  escreveu:

> Prezados  colegas e estudantes:
>
> escrevo para  comunicar que, a convite da Associaton for Symbolic Logic,
> passo a  integrar o Committee for Logic in Latin America  da ASL.
>
> Em correspondência com a  ASL ficou esclarecido que, dado o apoio da
> ASL ao  EBL 2011
> http://www.cle.unicamp.br/ebl2011/
>
> (e tendo em conta que o Centro de Lógica, Epistemologia e  História da
> Ciência da UNICAMP
> é membro institucional da ASL) quaisquer estudantes, brasieiros ou
> estangeiros,  bem como doutores recentes, sócios da ASL podem pleitear
> a ajuda  para viagem e estadia  relativo ao EBL 2011.
>
> Ver  informações e detalhes de como proceder em:
> http://www.aslonline.org/asl_announcements.php#15
>
> Atenciosamente,
>
> Walter  Carnielli
>
>
> --
> +
> Prof. Dr. Walter Carnielli
> Director
> Centre for Logic, Epistemology and the History of Science – CLE
> State University of Campinas –UNICAMP
> 13083-859 Campinas -SP, Brazil
> Phone: (+55) (19) 3521-6517
> Fax: (+55) (19) 3289-3269
> e-mail: walter.carnie...@cle.unicamp.br
> Website: http://www.cle.unicamp.br/prof/carnielli
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Teoria dos jogos

[Mario Benevides]

Marcelo,

Estes são os livros que uso no meu curso. Gosto do Straffin e do Gibbons por
serem mais didáticos. Na parte de jogos evolucionários uso o Gints. Dê uma
olhada na página do Daniel Ratton, o livro deles está disponível lá. Dê uma
olhada na página
Theory.net, http://www.gametheory.net tem muita coisa lá.




Uma Breve Introdução a Teoria de Jogos com Aplicações a Redes de
Computadores, por Edmundo S. Silva e Daniel R. Figueiredo, 2007
Game Theory and Strategy, Philip Straffin, 1993.
Game Theory Evolving, Herbert Gintis, 2000.
Game Theory for Applied Economists, Gibbons, 1992.
A Course in Game Theory, Osborne e Rubinstein, 1994.

*
UM abraço,

Mario



*
Em 12 de novembro de 2010 18:26, Marcelo Finger escreveu:

> Olá.
>
> Alguém saberia indicar um bom livro-texto sobre teoria dos jogos em
> nível de doutoramento.
>
> Obrigado
>
> Marcelo
>
> --
> Marcelo Finger
>  Departamento de Ciencia da Computacao
>  Instituto de Matematica e Estatistica
>  Universidade de Sao Paulo
>  Rua do Matao, 1010
>  05508-090Sao Paulo, SP Brazil
>  Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
>  http://www.ime.usp.br/~mfinger 
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Editorial da ACM por M. Vardi

[Mario Benevides]

Caros,

Achei este editorial muito interessante e gostaria de compartilhar com
todos. Me parece interessante a idéia de escrever uma revisão de trabalhos
dos outros como fosse do nosso próprio trabalho.

http://*doi*.acm.org/*10.1145/1785414.1785415*

Um abraço,

Mario

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Morreu Vladimir Arnold

[Mario Benevides]

 Caros,

 Morreu Vladimir Arnold
   http://www.physorg.com/news194804767.html

 Abracos,
Mario

-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] Marcelo Finger, novo Professor Titular da USP

[Mario Benevides]

Marcelo,

Parabéns. Fico feliz por você e pela área de Lógica como um todo.

Forte abraço,

Mario

Em 13 de abril de 2010 23:34, Itala M. L. D'Ottaviano
escreveu:

> Querido Marcelo:
>
> Parabéns, pelo merecido título!
>
> Itala
> > Pessoal.
> >
> > Muito obrigado a todos!
> >
> > Estamos aí para o que precisar.
> >
> > Abraços
> >
> > Marcelo
> >
> > 2010/4/12 Walter Carnielli :
> >> Colegas:
> >>
> >>
> >> quero aqui deixar  nossos  parabéns ao  prezado Marcelo  Finger,  novo
> >> e recente membro do
> >> seleto grupo de  Professores Titulares  da USP.
> >>
> >> Parabéns, Marcelo!!
> >>
> >> Walter
> >>
> >> --
> >>
> >> +
> >> 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) 3788-6519
> >> Fax: (+55) (19) 3289-3269
> >> e-mail: carni...@cle.unicamp.br
> >> Website: http://www.cle.unicamp.br/prof/carnielli
> >> ___
> >> Logica-l mailing list
> >> Logica-l@dimap.ufrn.br
> >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >>
> >
> >
> >
> > --
> > Marcelo Finger
> >  Departamento de Ciencia da Computacao
> >  Instituto de Matematica e Estatistica
> >  Universidade de Sao Paulo
> >  Rua do Matao, 1010
> >  05508-090Sao Paulo, SP Brazil
> >  Tel: +55 11 3091-9688, 3091-6135, 3091-6134 (fax)
> >  http://www.ime.usp.br/~mfinger 
> > ___
> > Logica-l mailing list
> > Logica-l@dimap.ufrn.br
> > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
> >
>
>
> ++
> Itala M. L. D'Ottaviano
> Centre for Logic, Epistemology and the History of Science - CLE
> State University of Campinas - UNICAMP
> P.O. Box 6133
> 13083-970 - Campinas-SP, Brazil
>
> Fax: +55-19-3289-3269
> Tel.:+55–19-3521-6517
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>



-- 
Federal University of Rio de Janeiro
www.cos.ufrj.br/~mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] "Integrity Under Attack: The State of Scholarly Publishing" in SIAM News

[Mario Benevides]

Caros,

Mais um excelente artigo sobre avaliação de produção científica.

http://bit.ly/5zox2a

Um abraço,

Mario
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Bibliometria de novo; interessante

[Mario Benevides]

Caros,

So para alimentar a discussão do Qualis.

Um abraço,

Mario


http://www.sbf1.sbfisica.org.br/boletim1/msg190.htm
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: [Logic and Rational Interaction] New Post : Visiting Fellowships at TiLPS

[Mario Benevides]

-- Forwarded message --
From: Logic and Rational Interaction 
Date: 2009/9/23
Subject: [Logic and Rational Interaction] New Post : Visiting Fellowships at
TiLPS
To: "mariocos.ufrj.br" 



 Having trouble reading this email? View it on our
website.


   * Logic and Rational Interaction 
loriweb.org – loriweb.net : Webportal for the research community *  September
23, 2009Visiting Fellowships at
TiLPS September 23, 2009

*Visiting Fellowships*

The Tilburg Center for Logic and Philosophy of Science (TiLPS) invites
applications for three-months visiting fellowships in the academic year
2010/11 (1 September – 30 November or 1 February to 30 April) intended for
advanced Ph.D. students or faculty.Candidates should work in one of the
areas TiLPS covers and have a commitment to interdisciplinary and
collaborative work.

*Application Procedure: *To apply, send a hardcopy of your application
package to Fellowships Committee, Tilburg Center for Logic and Philosophy of
Science, Tilburg University, P.O. Box 90153, 5000 LE Tilburg, The
Netherlands, or send us (ideally everything in one pdf file) an email to
sollicitere...@uvt.nl.   Candidates should include a letter of interest
(indicating the period of the planned stay), a CV, and a project outline of
no more than 1000 words. Junior candidates should additionally supply one
letter of recommendation.

See http://www.tilburguniversity.nl/faculties/humanities/tilps/jobs/TiLPS
 for more
information.

*Deadline*: The deadline for applications is *December 15, 2009*. Decisions
will be made by 1 February 2010.
 *This mail is brought to you by MailPress .*


Wish to unsubscribe
?
<>___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: [Sistemas] I JORNADA POINCAR É - 24 de agosto na COPPE-UFRJ

[Mario Benevides]

 *2009 ANO DA FRANÇA NO BRASIL*
*I JORNADA POINCARÉ*
*Rio de Janeiro - Segunda-feira 24 de agosto de 2009*
http://www.pg.im.ufrj.br/pemat/

ILHA DO FUNDÃO
COPPE-UFRJ, SALA G-122

*PROGRAMA*

9h Abertura

9h30
Hipóteses e Convenções em Poincaré
Gerard Heinzmann [Archives Poincaré]

10h20
 Pausa café

10h40
Maxwell, Poincaré e o Caos Determinístico
Ildeu de Castro Moreira [UFRJ e MCT]
 11h30
O Contexto da Teoria do Espaço em Poincaré
Philippe Nabonnand [Archives Poincaré]

12h20
Almoço

14h
Lendo as Estrelas: as Cartas de Henri Poincaré
sobre a Mecânica Celeste
Scott Walter [Archives Poincaré]

14h50
Pausa café

15h
Amoroso Costa e a Recepção de Poincaré no Brasil
Antonio Augusto Videira [UERJ]

15h50
Poincaré e a Teoria Qualitativa
sobre as Equações Diferenciais
Tatiana Roque [UFRJ]


*COMISSÃO ORGANIZADORAS*
Antonio Augusto Videira
Dominique Flament
Gerard Grimberg
Luis Pinguelli Rosa
Tatiana Roque

*INSTITUIÇÕES ORGANIZADORAS*
Archives Henri Poincaré (UMR 7117 CNRS)
Fondation Maison des Sciences de l'Homme de Paris
COPPE-UFRJ
Programa de pós-graduação em Ensino de Matemática do IM-UFRJ
Programa de pós-graduação em História da Ciência e da Técnica e
Epistemologia (HCTE)
 *APOIOS*
CNRS - France
Fondation Maison des Sciences de l'Homme de Paris
Ministère des Affaires Étrangères - France
Ambassade de France au Brésil
Université de Nancy - France
FAPERJ
UFRJ - Universidade Federal do Rio de Janeiro
Banco do Brasil
COPPE-UFRJ

--



___
Sistemas mailing list
siste...@cos.ufrj.br
http://listas.cos.ufrj.br/mailman/listinfo/sistemas
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Fwd: seminários de Inverno do HCTE

[Mario Benevides]

Caros,

Acho que estes seminários são de interesse de nossa comunidade. Eles são
abertos a todos.

Um abraço,

Mario

*Seminários de Inverno do HCTE em Filosofia da Matemática*
*Metafísica, Metamatemática e Metabiologia**Uma análise matemática do método
científico, do método axiomático e da Teoria da Evolução de Darwin*


*Dias 3,5, 10,12, 17,19 de Agosto, às 16h, na Sala 633 do Instituto de
Química,*

*Bloco A do CT, Ilha do Fundão*

Prof. *Gregory John Chaitin** *

*IBM Research center*


*e-mail*: *gjchai...@gmail.com*


*Página Web*: 
*http://www.umcs.maine.edu/~chaitin
*


Os Seminários de Inverno do HCTE, serão ministrados pelo Professor Chaitin
em espanhol, respeitando o calendário abaixo:


-* 1a. semana dias 3 e 5*- Metafisica: Uma análise matemática do método
científico;


- *2a. Semanadias 10 e 12* - Metamatemática: Uma análise matemática do
método axiomático;


-* 3a. Semana dias 17 e 19*- Metabiologia: Uma análise matemática da Teoria
de Evolução de Darwin.

Uma prévia dos seminários com textos de referências podem sem encontrados em


*http://www.umcs.maine.edu/~chaitin/ufrj.html
*




Angela Rocha dos Santos
Decana do CCMN-UFRJ
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l