Re: [Logica-l] Entrevistas na SP Logic

2023-02-16 Por tôpico Joao Marcos
Cool!  Ficarei no aguardo.

JM

On Thu, Feb 16, 2023, 16:52 Walter Carnielli  wrote:

> >Bem, com _todos_ os instrutores não >será...
>
> >João Marcos
>
>
> Sera sim, não vai dar tempo de fazer a entrevista tipo YouTube com todos
> até sexta-feira, mas todos serão convidados a uma  entrevista virtual
> gravada.
>
>
> Você, inclusive.
>
> Abs
>
> W.
>
>
> Bem, com _todos_ os instrutores não será...
>>
>> João Marcos
>>
>> On Thu, Feb 16, 2023, 15:11 Walter Carnielli  wrote:
>>
>>> Pessoal,
>>>
>>> No ambito do grande  evento  SP Logic
>>>
>>> https://www.cle.unicamp.br/splogic/index.php/organization/
>>>
>>> estamos organizando (sob minha orientação e participação) duas series de
>>> entrevistas,
>>> uma em PT por escrito, no Jornal da Unicamp, com Newton da Costa e
>>> professores estrangeiros, (ou do estrangeiro) e outra serie de entrevistas
>>> em vídeo com todos os instrutores, em EN e ES, a aparecer
>>>
>>> As primeiras no Jornal da Unicamp  já  sairam:
>>>
>>> 1) Newton da Costa
>>>
>>> https://www.unicamp.br/unicamp/noticias/2023/02/06/newton-alem-de-newton
>>>
>>>
>>> 2) Fernando Zalamea
>>>
>>>
>>> https://www.unicamp.br/unicamp/noticias/2023/02/10/paraconsistencia-nao-e-pos-modernismo
>>>
>>> 3) Graham Priest
>>>
>>>
>>> https://www.unicamp.br/unicamp/noticias/2023/02/16/por-um-mundo-com-bases-racionais
>>>
>>>
>>> As próximas  serão com Diderik Batens, Elena  Dragalina, Ofer Arieli,
>>> Janusz Ciuciura e Otávio Bueno. Daniele Mundici prefere nao conceder
>>> entrevistas.
>>>
>>> Abs,
>>>
>>> Waltet
>>>
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>>> Lógica 
>>> ---
>>> 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 ver essa discussão na Web, acesse
>>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfOyv4PUEP1rQR1P-2XdZFoZ%3Dufnu6bDjXAgPhZXF9zdw%40mail.gmail.com
>>> 
>>> .
>>>
>>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LgF4ynAFgXmLAjPpDWG0254K3sF%2BNm3OPaAusXEtCtCTg%40mail.gmail.com.


Re: [Logica-l] Entrevistas na SP Logic

2023-02-16 Por tôpico Walter Carnielli
>Bem, com _todos_ os instrutores não >será...

>João Marcos


Sera sim, não vai dar tempo de fazer a entrevista tipo YouTube com todos
até sexta-feira, mas todos serão convidados a uma  entrevista virtual
gravada.


Você, inclusive.

Abs

W.


Bem, com _todos_ os instrutores não será...
>
> João Marcos
>
> On Thu, Feb 16, 2023, 15:11 Walter Carnielli  wrote:
>
>> Pessoal,
>>
>> No ambito do grande  evento  SP Logic
>>
>> https://www.cle.unicamp.br/splogic/index.php/organization/
>>
>> estamos organizando (sob minha orientação e participação) duas series de
>> entrevistas,
>> uma em PT por escrito, no Jornal da Unicamp, com Newton da Costa e
>> professores estrangeiros, (ou do estrangeiro) e outra serie de entrevistas
>> em vídeo com todos os instrutores, em EN e ES, a aparecer
>>
>> As primeiras no Jornal da Unicamp  já  sairam:
>>
>> 1) Newton da Costa
>>
>> https://www.unicamp.br/unicamp/noticias/2023/02/06/newton-alem-de-newton
>>
>>
>> 2) Fernando Zalamea
>>
>>
>> https://www.unicamp.br/unicamp/noticias/2023/02/10/paraconsistencia-nao-e-pos-modernismo
>>
>> 3) Graham Priest
>>
>>
>> https://www.unicamp.br/unicamp/noticias/2023/02/16/por-um-mundo-com-bases-racionais
>>
>>
>> As próximas  serão com Diderik Batens, Elena  Dragalina, Ofer Arieli,
>> Janusz Ciuciura e Otávio Bueno. Daniele Mundici prefere nao conceder
>> entrevistas.
>>
>> Abs,
>>
>> Waltet
>>
>>
>> --
>> LOGICA-L
>> Lista acadêmica brasileira dos profissionais e estudantes da área de
>> Lógica 
>> ---
>> 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 ver essa discussão na Web, acesse
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfOyv4PUEP1rQR1P-2XdZFoZ%3Dufnu6bDjXAgPhZXF9zdw%40mail.gmail.com
>> 
>> .
>>
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf-_osqZd_OTG%3DRQxBieOeSUyHqAeSFJCbEvx3%3DdHRHpg%40mail.gmail.com.


Re: [Logica-l] Entrevistas na SP Logic

2023-02-16 Por tôpico Joao Marcos
Bem, com _todos_ os instrutores não será...

João Marcos

On Thu, Feb 16, 2023, 15:11 Walter Carnielli  wrote:

> Pessoal,
>
> No ambito do grande  evento  SP Logic
>
> https://www.cle.unicamp.br/splogic/index.php/organization/
>
> estamos organizando (sob minha orientação e participação) duas series de
> entrevistas,
> uma em PT por escrito, no Jornal da Unicamp, com Newton da Costa e
> professores estrangeiros, (ou do estrangeiro) e outra serie de entrevistas
> em vídeo com todos os instrutores, em EN e ES, a aparecer
>
> As primeiras no Jornal da Unicamp  já  sairam:
>
> 1) Newton da Costa
>
> https://www.unicamp.br/unicamp/noticias/2023/02/06/newton-alem-de-newton
>
>
> 2) Fernando Zalamea
>
>
> https://www.unicamp.br/unicamp/noticias/2023/02/10/paraconsistencia-nao-e-pos-modernismo
>
> 3) Graham Priest
>
>
> https://www.unicamp.br/unicamp/noticias/2023/02/16/por-um-mundo-com-bases-racionais
>
>
> As próximas  serão com Diderik Batens, Elena  Dragalina, Ofer Arieli,
> Janusz Ciuciura e Otávio Bueno. Daniele Mundici prefere nao conceder
> entrevistas.
>
> Abs,
>
> Waltet
>
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfOyv4PUEP1rQR1P-2XdZFoZ%3Dufnu6bDjXAgPhZXF9zdw%40mail.gmail.com
> 
> .
>

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhM-x7UdVxeba32Ard6VB6xGS8Z_hS25t8syXVNOGEteQ%40mail.gmail.com.


Re: [Logica-l] Entrevistas na SP Logic

2023-02-16 Por tôpico Itala Maria Loffredo D'Ottaviano
Parabéns, Walter, colaboradoras e colaboradores envolvidos.
Itala
Em qui., 16 de fev. de 2023 às 15:11, Walter Carnielli 
escreveu:

> Pessoal,
>
> No ambito do grande  evento  SP Logic
>
> https://www.cle.unicamp.br/splogic/index.php/organization/
>
> estamos organizando (sob minha orientação e participação) duas series de
> entrevistas,
> uma em PT por escrito, no Jornal da Unicamp, com Newton da Costa e
> professores estrangeiros, (ou do estrangeiro) e outra serie de entrevistas
> em vídeo com todos os instrutores, em EN e ES, a aparecer
>
> As primeiras no Jornal da Unicamp  já  sairam:
>
> 1) Newton da Costa
>
> https://www.unicamp.br/unicamp/noticias/2023/02/06/newton-alem-de-newton
>
>
> 2) Fernando Zalamea
>
>
> https://www.unicamp.br/unicamp/noticias/2023/02/10/paraconsistencia-nao-e-pos-modernismo
>
> 3) Graham Priest
>
>
> https://www.unicamp.br/unicamp/noticias/2023/02/16/por-um-mundo-com-bases-racionais
>
>
> As próximas  serão com Diderik Batens, Elena  Dragalina, Ofer Arieli,
> Janusz Ciuciura e Otávio Bueno. Daniele Mundici prefere nao conceder
> entrevistas.
>
> Abs,
>
> Waltet
>
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de
> Lógica 
> ---
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfOyv4PUEP1rQR1P-2XdZFoZ%3Dufnu6bDjXAgPhZXF9zdw%40mail.gmail.com
> 
> .
>
-- 
Prof. Dr. Itala M. Loffredo D'Ottaviano
Full Professor in Logic and the Foundations of Science
Member and Researcher of the *Centre for Logic, Epistemology and the* *History
of Science* at the University of Campinas
Research Fellow of the *Brazilian National Council for Scientific and
Technological Development*
Titular Member, *Brazilian Academy of Philosophy* (Rio de Janeiro)
Emeritus Member, *Académie Internationale de Philosophie de Sciences *
(Bruxelles)
Titular Member, *Institut International de Philosophie *(Paris-Nancy)
Editor of *Coleção CLE, *by the *Centre for Logic, Epistemology and
the* *History
of Science.*

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGi1dG4MpMcufFvvrD3hx11MdZFUyOgCyn7vaiDiqjxcFNr13w%40mail.gmail.com.


[Logica-l] Entrevistas na SP Logic

2023-02-16 Por tôpico Walter Carnielli
Pessoal,

No ambito do grande  evento  SP Logic

https://www.cle.unicamp.br/splogic/index.php/organization/

estamos organizando (sob minha orientação e participação) duas series de
entrevistas,
uma em PT por escrito, no Jornal da Unicamp, com Newton da Costa e
professores estrangeiros, (ou do estrangeiro) e outra serie de entrevistas
em vídeo com todos os instrutores, em EN e ES, a aparecer

As primeiras no Jornal da Unicamp  já  sairam:

1) Newton da Costa

https://www.unicamp.br/unicamp/noticias/2023/02/06/newton-alem-de-newton


2) Fernando Zalamea

https://www.unicamp.br/unicamp/noticias/2023/02/10/paraconsistencia-nao-e-pos-modernismo

3) Graham Priest

https://www.unicamp.br/unicamp/noticias/2023/02/16/por-um-mundo-com-bases-racionais


As próximas  serão com Diderik Batens, Elena  Dragalina, Ofer Arieli,
Janusz Ciuciura e Otávio Bueno. Daniele Mundici prefere nao conceder
entrevistas.

Abs,

Waltet

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfOyv4PUEP1rQR1P-2XdZFoZ%3Dufnu6bDjXAgPhZXF9zdw%40mail.gmail.com.


[Logica-l] 29th WoLLIC 2023 - 3rd Call for Papers (DEADLINE APPROACHING)

2023-02-16 Por tôpico Ruy Jose Guerra Barretto de Queiroz
DEADLINE APPROACHING

[Please distribute. Apologies for multiple postings]

CALL FOR PAPERS

WoLLIC 2023
29th Workshop on Logic, Language, Information and Computation
11-14 July, 2023
Halifax, Nova Scotia, Canada
Website: https://www.mathstat.dal.ca/wollic2023/

ORGANISATION
Department of Mathematics and Statistics, Dalhousie University, Canada
Centro de Informática, Universidade Federal de Pernambuco, Brazil

CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and tutorials
as well as contributed papers. The twenty-ninth WoLLIC will be held at the
Department of Mathematics and Statistics, Dalhousie University, Canada,
11-14 July, 2023.  It is scientifically sponsored by the Association for
Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL),
the Association for Logic, Language and Information (FoLLI), the European
Association for Theoretical Computer Science (EATCS) (tbc), European
Association for Computer Science Logic (EACSL), and the Sociedade
Brasileira de Lógica (SBL).

LOCATION AND FORMAT
Halifax (https://www.halifax.ca/) is the capital and largest municipality
of the Canadian province of Nova Scotia, and the largest municipality in
Atlantic Canada. (Wikipedia)
WoLLIC 2023 will be a hybrid event. All invited talks are planned to be
on-site in order to stimulate discussions and interaction with participants.

SCOPE
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas of
interest are: foundations of computing, programming and Artificial
Intelligence (AI); novel computation models and paradigms; broad notions of
proof and belief; proof mining, type theory, effective learnability and
explainable AI; formal methods in software and hardware development;
logical approach to natural language and reasoning; logics of programs,
actions and resources; foundational aspects of information organization,
search, flow, sharing, and protection; foundations of mathematics;
philosophical logic; philosophy of language.

PAPER SUBMISSION
Proposed contributions should be in English, and consist of a scholarly
exposition accessible to the non-specialist, including motivation,
background, and comparison with related works. Articles should be written
in the LaTeX format of LNCS by Springer (see author's instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must
not exceed 12 pages, with up to 5 additional pages for references and
technical appendices. The paper's main results must not be published or
submitted for publication in refereed venues, including journals and other
scientific meetings.
It is expected that each accepted paper be presented at the meeting by one
of its authors either in person or via remote connection. (At least one
author is required to pay a full on-site registration fee before granting
that the paper will be published in the proceedings.)
Papers must be submitted electronically at the WoLLIC 2023 EasyChair
website https://easychair.org/conferences/?conf=wollic2023.

PROCEEDINGS
The proceedings of WoLLIC 2023, including both invited and contributed
papers, will be published as a volume in Springer's LNCS series. Due to the
earlier timeline this year, the proceedings will appear after the workshop.
In addition, abstracts will be published in the Conference Report section
of the Logic Journal of the IGPL, and selected contributions will be
published (after a new round of reviewing) as a special post-conference
WoLLIC 2023 issue of a scientific journal (to be confirmed).

INVITED SPEAKERS
Thomas Bolander (Technical University of Denmark)
Makoto Kanazawa (Hosei University, Japan)
Magdalena Ortiz (University of Umeå, Sweden)
Aybüke Özgün (University of Amsterdam, Netherlands)
Dusko Pavlovic (University of Hawaii, USA)
Richard Zach (University of Calgary, Canada)

IMPORTANT DATES
February 20, 2023: Abstract deadline
February 27, 2023: Full paper deadline
May 15, 2023: Author notification
June 5, 2023: Final version deadline

PROGRAMME COMMITTEE
Bahareh Afshari (University of Gothenburg, Sweden and University of
Amsterdam, Netherlands)
Zena Ariola (University of Oregon, USA)
Adriana Balan (University Politechnica of Bucharest, Romania)
Marta Bílková (Czech Academy of Sciences, Czech Republic)
Josée Desharnais (Laval University, Canada)
David Fernández-Duque (Czech Academy of Sciences, Czech Republic)
Santiago Figueira, Universidad de Buenos Aires, Argentina
Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA,
Serbia)
Sujata Ghosh (Indian Statistical Institute, India)
Nina Gierasimczuk (Danish Technical University, Denmark)
Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair)
Andreas Herzig (CNRS, University of Toulouse, France)
Juha Kontinen (University of Helsinki, Finland)

[Logica-l] 13th Conference of the IAVS-AISV Visual Semiotics & Agency

2023-02-16 Por tôpico Cassiano Terra Rodrigues
Bons dias!
Divulgo a pedido.
Ah! Braços...
cass.

13th Conference of the IAVS-AISV
Visual Semiotics & Agency / Sémiotique visuelle et agentivité / Semiótica
visual & agencia
September 28-30, 2023, Universidad de Bogotá Jorge Tadeo Lozano, Bogotá
(Colombia)


Call for Papers
In their seminal work, Traité du signe visuel (1992), Groupe μ asks the
fundamental question whether visuality as such is a Hjelmslevean form, that
is, whether it is pertinent to the nature of meaning conveyed. Once you
abandon the autonomy postulate of structuralism, taking into account the
psychology and phenomenology of perception, as suggested by Sonesson
already in 1989, and now more widely accepted within cognitive semiotics,
it becomes obvious that all phenomena offered to (human) perception by way
of the visual sense must share numerous properties, in spite of differing
in other respects. Whether or not this human kind of visuality also shares
properties with visually conveyed experience of other animals is a further
issue for investigation.
The domain of visual semiotics is therefore much wider than that of the
semiotics of pictures, with which it is often identified, or which is at
least the part most often practised. It goes beyond architecture, urbanism,
and the like, to comprehend all kinds of artefacts, whether the result of
artisanal practice or contemporary design, even pertaining to direct
perception itself. Indeed, large parts of the meaning we experience in
relation, if not to our own body, then certainly to that of others, is
visual, as is the meaning of clothing, food, gesture, sports events,
tourism, dance, theatre, and performance in the artistic sense. The same is
true of everything from scarecrows and dummies in the show window to
sculptures and public monuments. Many of these examples address several
different senses (apart from being polysemiotic in Zlatev’s sense (2019),
that is, involving different kinds of meaning-making), but visuality often
constitutes the Dominant in the Prague school sense of the term. But even
in cases in which visuality doesn’t predominate, more thorough
investigations than those of which we dispose at present are called for.
The question What does the visual do? has become a highly relevant one.
In exploring the wider domain of visuality, we cannot help but encountering
an issue which has recently acquired the centre stage of scholarly interest
in archaeology, cognitive science, and phenomenology: the nature of agency.
Without forgetting the pioneering work on semiotics of agency by Douglas
Niño (2015), it is no doubt in the critique of Lambros Malafouris (2013)
that agency has come to the fore as an issue within semiotics. Precisely
because it is highly reductionistic, Malafouris’s work has already started
to spur a wider semiotic account of agency. No doubt, the seminal work of
Alfred Gell and Shaun Gallagher has taught us that agency is a complex,
multi-layered notion. With reference to the authors quoted, it may be
better to formulate the issue of agency at the general level of visuality
than at that of pictures. This is not to deny that this question also has
urgency with respect to pictures. It was as a reaction to the idea of
Jean-Marie Schaeffer (1987), according to whom photography can be produced
by purely causal means, without any intervention of purpose, that Sonesson
(1988; 2015) developed the idea of remote intentions. But the issue of
agency becomes ever more convoluted with the prevalence of
computer-engineered pictures, starting with software packages and pre-sets
and ending up with image-producing algorithms, for instance, on the
internet, video games, film, streaming platforms, etc.
Outside of semiotics, recent discussions on the role of the agency in the
generation of meaning show a panorama of continuous developments, but
without evident trends of convergence. For instance, in the introduction to
their Handbook of Phenomenology of Agency, Erhard & Keiling (2020) list,
among others, topics such as the metaphysics of agency, rationality,
voluntary and involuntary action, the phenomenology of agency, the
phenomenology of freedom, and embodied agency. Thus, agency has an
ontological meaning (the ability to do), with aesthetic (doing with
aesthetic effects), epistemic (doing with the effect of knowing) and
ethical-political consequences (doing with the effect of intervening). But,
at the same time, it can be inquired what the relation between these topics
and visual meaning-making is. What is, for example, the relation between
pictures and embodied agency? What is the relationship between agency and
visual media reception? (cf. Susanne Eicher, 2014). Is there anything which
is characteristic about the phenomenology of visual pictorial perception?
Or in the other direction, what is the impact of visual images on the
agency and the sense of the agency? What is the relation between visual
persuasion and agency control? What is the reach and scope of pictures in
power and

[Logica-l] Francisco Antonio Dória, Professor Emérito da UFRJ

2023-02-16 Por tôpico Adolfo Neto
Entrevistei Francisco Antonio Dória, Professor Emérito da UFRJ e
pesquisador com publicações nas áreas de Lógica, Matemática e outras. Veja
no YouTube: https://youtu.be/2RD1mzUhDkc Escute no Anchor:
https://anchor.fm/adolfont/episodes/Francisco-Antonio-Dria--Professor-Emrito-da-UFRJ-e1v1c9v

-- 
==
Adolfo Neto
Associate Professor - Federal University of Technology, Paraná
Web: http://www.dainf.ct.utfpr.edu.br/~adolfo
Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
==

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 

--- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYXhpRzeGH7sNG9Bp9EbwvXcXbiFTBzBMgzH6Q3GK7NNWA%40mail.gmail.com.