[Logica-l] Fwd: CFP - Escola de Informática Teórica e Métodos Formais (ETMF 2016)

2016-09-13 Por tôpico Joao Marcos 
-- Mensagem encaminhada --
De: Simone Cavalheiro


Prezados colegas,

é com grande satisfação que divulgamos no site do evento a Programação
Preliminar do ETMF 2016:

 http://etmf2016.imd.ufrn.br/

e mais uma vez solicitamos divulgação da Chamada de Trabalhos do evento.

Saudações,
Coordenadores do ETMF 2016


-- Forwarded message --

CHAMADA DE TRABALHOS

Escola de Informática Teórica e Métodos Formais (ETMF 2016)
Natal, RN, Brasil
22 e 23 de Novembro de 2016

Evento Satélite do Simpósio Brasileiro de Métodos Formais (SBMF)
http://sbmf2016.imd.ufrn.br/


DATAS IMPORTANTES

Deadline para submissão de artigos: 23/09/2016
Divulgação dos artigos selecionados: 21/10/2016
Submissão da versão final: 28/10/2016

INTRODUÇÃO

A Escola de Informática Teórica e Métodos Formais (ETMF 2016) é uma
promoção conjunta da Universidade Federal de Pelotas (UFPel) e
Universidade Federal do Rio Grande do Norte (UFRN). A escola é um
evento satélite do Simpósio Brasileiro de Métodos formais e visa
congregar estudantes e pesquisadores para divulgar e promover aspectos
teóricos da Computação, particularmente:
1) qualificar a formação de estudantes e profissionais nas áreas que
compõem a informática teórica;
2) prover um fórum regular onde possam ser apresentados os trabalhos
em andamento nessas áreas;
3) discutir metodologias de ensino de informática teórica.

TÓPICOS DE INTERESSE

Autores são convidados a submeter artigos originais, que tratem de
trabalhos concluídos ou em andamento, relacionados com pesquisas
envolvendo aspectos teóricos da computação. Os principais tópicos de
interesse incluem (mas não se restringem a) pesquisas nas áreas de:

Álgebra aplicada à computação
Algoritmos exatos e aproximativos
Análise de programas
Análise e projeto de algoritmos
Análise estática
Complexidade de problemas
Computabilidade
Domínios
Ensino de Informática Teórica
Especificação formal
Fundamentos de Matemática Intervalar
Instituições
Linguagens Formais e Autômatos
Lógica
Lógica Computacional
Matemática Discreta
Meta-heurísticas
Modelos de computação
Modelos probabilísticos
Otimização combinatória
Pensamento Computacional
Prova Interativa de Teoremas
Semântica de linguagens orientadas a agentes
Semântica formal
Sistemas de Consequência
Sistemas de tipos
Sistemas Dinâmicos a Eventos Discretos
Sistemas Fuzzy
Teoria da Informação
Teoria das Categorias
Teoria dos Grafos
Topologia aplicada à computação
Verificação de modelos
Verificação de programas

SUBMISSÕES

Os artigos podem ser escritos em Português ou em Inglês e devem ter
entre 8 e 10 páginas.  Os artigos devem ser submetidos em formato PDF,
utilizando o estilo do LNCS  (Lecture Notes in Computer Science).

Artigos podem ser submetidos através do seguinte link:
https://easychair.org/conferences/?conf=etmf2016

COMITÊS

Coordenação Geral
Simone Cavalheiro (UFPel)

Organização Local
Martin Musicante (UFRN)

- Comitê de Programa -

Aline Maria Santos Andrade (UFBA)
Ana Cristina Vieira de Melo (USP)
Anamaria Martins Moreira (UFRJ)
Arnaldo Vieira Moura (UNICAMP)
Benjamín René Callejas Bedregal (UFRN)
Breno Piva Ribeiro (UFS)
Carlos Alberto Olarte Vega (UFRN)
Christiano de Oliveira Braga (UFF)
Cláudia Nalon (UnB)
Giovanny Fernando Lucero Palma (UFS)
Jayme Szwarcfiter (UFRJ)
Joao Marcos (UFRN)
Juliana Kaizer Vizzotto (UFSM)
Juliano Manabu Iyoda (UFPE)
Leila Maciel de Almeida e Silva (UFS)
Leila Ribeiro (UFRGS)
Luciana Foss (UFPel)
Lucio Mauro Duarte (UFRGS)
Marcel Vinicius Medeiros Oliveira (UFRN)
Marcelo de Almeida Maia (UFU)
Márcio Lopes Cornélio (UFPE)
Martin Alejandro Musicante (UFRN)
Patricia Duarte de Lima Machado (UFCG)
Regivan Hugo Nunes Santiago (UFRN)
Renata Hax Sander Reiser (UFPel)
Rohit Gheyi (UFCG)
Rosiane de Freitas Rodrigues (UFAM)
Sérgio Queiroz de Medeiros (UFRN)
Simone André da Costa Cavalheiro (UFPel)
Tiago Lima Massoni (UFCG)
Umberto Souza da Costa (UFRN)

-- 
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_Li4UK%3DAzZ5FEOGfsaV476POxMnGq7rxCXZPSkhjpQQs%2Bw%40mail.gmail.com.

[Logica-l] Fwd: [PT] Post-doctoral Position in Proof Theory, Vienna University of Technology

2016-09-13 Por tôpico Elaine Pimentel 
Talvez seja de interesse para membros da lista.

Elaine.
-- Forwarded message --
From: Stefan Hetzl 
Date: Tue, Sep 13, 2016 at 4:13 AM
Subject: [PT] Post-doctoral Position in Proof Theory, Vienna University of
Technology
To: prooftheory.l...@gmail.com


A position as post-doctoral researcher is available in the group for
Computational Logic (http://www.dmg.tuwien.ac.at/fg2/) at the Faculty
of Mathematics of the Vienna University of Technology. This position
is part of a research project on the proof theory of induction. The
aim of this project is to further deepen our understanding of the
structure of proofs by induction and to develop new algorithms for the
automation of inductive theorem proving. Techniques of relevance
include cut-elimination, witness extraction, Herbrand's theorem.

The successful candidate is expected to have (or be close to
completing) a PhD in mathematics or computer science and a strong
background in proof theory. Experience in one or more of the following
areas is an advantage: formal languages, computational complexity,
automated theorem proving, unification theory. The ability to work in
a team is an important prerequisite.

The employment is full-time (40h / week). The salary is EUR 33.300,-
after taxes per year. The position is initially for 1 year - an
extension is possible in case of mutual interest. The starting date is
negotiable, but should be within 6 months of the application deadline.
The application deadline is October 21, 2016.

The application should contain:
- cover letter (Why are you interested in this position? Why are you
qualified?)
- curriculum vitae
- list of publications
- scan of graduation diploma and/or other relevant certificates
- preferred starting date
- up to two references or letters of recommendation

Send informal inquiries and your application to:

Stefan Hetzl 
http://www.dmg.tuwien.ac.at/hetzl/




-- 
Elaine.
-
Elaine Pimentel  - DMAT/UFRN

Address: Departamento de Matemática
Universidade Federal do Rio Grande do Norte
Campus Universitário - Av. Senador Salgado Filho, s/nº
Lagoa Nova, CEP: 59.078-970 - Natal - RN

Phone: +55 84 9193-6127 / 3215-3819
Fax:   +55 84 3211-9219

http://sites.google.com/site/elainepimentel/
Lattes: http://lattes.cnpq.br/3298246411086415


-- 
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/CAHQVs%2BW-JpZmmfLBLNfQjqxJtOfxLjkYVfQPwP%2B%2BvAuc_BZV4w%40mail.gmail.com.

[Logica-l] LoLITA Seminars - 16.09.2016, 16:00, sala de Seminários DMAT

2016-09-13 Por tôpico Joao Marcos 
Seguem detalhes do nosso próximo LoLITA Seminar, realmente imperdível!

Dia: 16/09/2016
Horário: 16:00
Local: Sala de Seminários DMAT (2o andar), UFRN

Speaker: Elaine Pimentel

Title: A unified view of modal and substructural logics

Abstract:
It is well known that context dependent logical rules can be hard to
both, implement and reason about. This is one of the reasons for the
quest for better behaved logical systems. In the case of modalities,
local rules can be, in general, described using generalizations of
sequent calculus systems. In this work, we propose a general framework
for describing systems based on multiplicative additive linear logic
plus simply dependent multimodalities. This class of systems includes
linear logic with subexponentials (SELL) and hybrid linear logics. The
chosen approach is linear nested sequents (LNS). It turns out that LNS
systems can be adequately encoded into (plain) linear logic, showing
that LL is, in fact an “universal framework” for the specification of
logical systems. From the theoretical point of view, our results show
that (1) logics such as SELL, that were thought to be more expressive
than LL, are, in fact, equally expressive; and (2) it is possible to
give an uniform presentation to linear logics featuring different
axioms of modalities. From the practical point of view, our results:
(3) lead to a generic way of building theorem provers for different
logics, all of them based on the same grounds; and (4) allow for the
use of the same logical framework for reasoning about all such logical
systems.

This is a joint work with Björn Lellmann and Carlos Olarte

-- 
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_Lhh1t1OQ1jkdtRpz%2Buo4HpVvSJPJouKNqp2mHzNMQvkGw%40mail.gmail.com.

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 10 atualizações em 3 tópicos

2016-09-13 Por tôpico Hercules de Araujo Feitosa 
Obrigado João Marcos, pelo trabalho realizado até o momento. 

Carol, seja bem vinda como Administradora. 

Entendo que todos nós, participantes, temos interesse na LÓGICA-L. Faremos o 
empenho para mantê-la, com ênfase no que nos reúne, a Lógica. 

Abraços. 

- Mensagem original -

De: logica-l@dimap.ufrn.br 
Para: "Destinatários de resumo por e-mail"  
Enviadas: Terça-feira, 13 de setembro de 2016 7:19:45 
Assunto: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 10 
atualizações em 3 tópicos 


logica-l@dimap.ufrn.br  Grupos do Google
Resumo por e-mail dos tópicos 
Ver todos os tópicos 


* [META] fim do período de candidaturas à administração da LOGICA-L - 7 
atualizações 
* 3 Permanent positions at UFBA, Brazil - 2 atualizações 
* Read this article on SpringerLink - 1 atualização 
[META] fim do período de candidaturas à administração da LOGICA-L 
LOGICA-L : Sep 12 03:41PM -0700 

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_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTRNM7hWe4/edit?usp=sharing
 

◠☺◡☺◠☺◡☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡☺◠☺◡ 

Cumprimentos lógicos, 
Joao Marcos 
[list-owner] 

Samuel Gomes : Sep 12 03:50PM -0700 

... Um viva à Carolina e à lista, que sobreviverá ! 

Valeu Carol, 

[]s Samuel 



On Monday, September 12, 2016 at 7:41:24 PM UTC-3, LOGICA-L wrote: 

Valeria de Paiva : Sep 12 03:57PM -0700 

Carol 

muito obrigada por assumir essa big responsability, alem das outras todas 
que voce ja' teem! 
Conte comigo pra dar apoio pra tudo que voce achar que eu posso ajudar!!! 

Valeu mesmo Carol!!! 

beijos 
Valeria 


-- 
Valeria de Paiva 
http://research.nuance.com/author/valeria-de-paiva/ 
http://www.cs.bham.ac.uk/~vdp/ 
http://valeriadepaiva.org/ 

"Francicleber M. Ferreira" : Sep 12 07:59PM 
-0300 

Legal, Carolina! Obrigado por assumir essa tarefa! 

Abraços, 
Francicleber 


Carol Blasio : Sep 12 08:36PM -0300 

Agradeço as mensagens! 


Seria uma pena acabar com a lista depois de uma década com milhares de 
threads. A partir de outubro vou ficar pelos bastidores garantindo que meu 
trabalho não apareça muito nem pelo excesso e nem pela falta. 

Um grande abraço e não abusem com a regra 6 ("onde menos vale mais"?): 
https://docs.google.com/document/d/1nXljf_KASE8xIY9Vh8rrlTAPwZ7X9HnEzjTRNM7hWe4/edit
 

Carol 


Em 12 de setembro de 2016 19:59, Francicleber M. Ferreira < 

-- 
*Carolina Blasio* 
PhD student in Philosophy 
State University of Campinas (Unicamp) 
*"Most if not all choices in life are not binary"* 
M. Dunn, 2010. Too much of a good thing. 

Mario Benevides : Sep 12 09:15PM -0300 

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 


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

Eduardo Ochs : Sep 12 09:28PM -0300 

Obrigado, Carol! 
Agora a gente vai ter mais tempo pra - entre mil outras coisas - puxar a 
orelha do Jean-Yves por ele ter desistido da candidatura dele! =P 
[[]] =), 
Eduardo 


Voltar ao início 
3 Permanent positions at UFBA, Brazil 
Samuel Gomes : Sep 12 04:05PM -0700 

Caros, 

Escrevo para dar um UPDATE aqui no tópico, porque tem OUTRO concurso aberto 
aqui no Departamento de Matemática da UFBA, agora com duas vagas. 

O prazo para inscrição nesse de agora é: 31/08/2016 a 30/10/2016 

O edital é o mesmo das mensagens anteriores deste tópico, só o edital de 
inclusão que é outro e está neste link: 

http://www.concursos.ufba.br/docentes/2016/editais/inclusao03_ed012016_iemnpaffoiiilmiq.pdf
 

Os pontos mudaram um pouquinho (para a prova escrita e didática): 

1. Teorema da Função Inversa e da Função Implícita, e aplicações (Implicit 
and Inverse Function theorems, and applications) 
2. Teoremas de Sylow, e aplicações (Sylow theorem, and applications) 
3. Teorema de Gauss-Bonnet, e aplicações (Gauss-Bonnet theorem, and 
applications) 
4. Teorema de Cauchy-Goursat, e aplicações (Cauchy-Gours

[Logica-l] IfCoLog - Special issue on Connexive Logics

2016-09-13 Por tôpico João Daniel Dantas 
Saudações,

Já está disponível online uma edição especial do IfCoLog sobre Connexive
Logics editada por Heinrich Wansing, Hitoshi Omori e Thomas Macaulay
Ferguson:

http://www.collegepublications.co.uk/journals/ifcolog/?7

Para os interessados no tema, é sempre bom lembrar do ótimo site sobre o
assunto mantido por Wansing e Omori:

https://sites.google.com/site/connexivelogic/home

Abraços,

João Daniel

-- 
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/CAKFx%2BYGzu_z2S%3D_RPVqZvMSynORWzSB1FtCipkY3qMQQDP2ttA%40mail.gmail.com.

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

2016-09-13 Por tôpico Marcos Silva 
OLá, Carol,

(vou abusar um pouco da tal regra 6.)

Muito obrigado por assumir esta responsabilidade!

Esperamos todos que você possa trabalhar com tranquilidade e autonomia.

Conte conosco!

Vida longa à LOGICA-L!

Abraços,
Marcos

2016-09-12 21:28 GMT-03:00 Eduardo Ochs :

> Obrigado, Carol!
> Agora a gente vai ter mais tempo pra - entre mil outras coisas - puxar a
> orelha do Jean-Yves por ele ter desistido da candidatura dele! =P
>   [[]] =),
> Eduardo
>
>
> 2016-09-12 21:15 GMT-03:00 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_KASE8xIY9Vh8rrlTAP
>>> wZ7X9HnEzjTRNM7hWe4/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/di
>>> map.ufrn.br/group/logica-l/.
>>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>>> map.ufrn.br/d/msgid/logica-l/932f9366-696e-4215-9af1-07c83d4
>>> 96eeb%40dimap.ufrn.br
>>> 
>>> .
>>>
>>
>>
>>
>> --
>> Federal University of Rio de Janeiro
>> www.cos.ufrj.br/~mario
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CAA6BQpXzeshDK7KM7QDZtoXXdh46zt
>> gLX2Hn5MGT8FXm7VMHvw%40mail.gmail.com
>> 
>> .
>>
>
> --
> 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/CADs%2B%2B6jOjSys24OaJFfj-
> ieh-pAWZYigZNBLrDzswXsZuaaxYw%40mail.gmail.com
> 
> .
>



-- 
Marcos Silva
https://sites.google.com/site/marcossilvarj/
Philosophie macht Spaß!

-- 
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/CAGZ3pzLh5CJm8YwARzeesYewVmxkUnYDQzuxw-imgJVkNoa07w%40mail.gmail.com

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

2016-09-13 Por tôpico Claus Akira Horodynski Matsushigue 
Boa Carol

Parabéns, valeu... Conta com nois!!

Bjus, Claus
Em 13/09/2016 14:49, "Marcos Silva"  escreveu:

> OLá, Carol,
>
> (vou abusar um pouco da tal regra 6.)
>
> Muito obrigado por assumir esta responsabilidade!
>
> Esperamos todos que você possa trabalhar com tranquilidade e autonomia.
>
> Conte conosco!
>
> Vida longa à LOGICA-L!
>
> Abraços,
> Marcos
>
> 2016-09-12 21:28 GMT-03:00 Eduardo Ochs :
>
>> Obrigado, Carol!
>> Agora a gente vai ter mais tempo pra - entre mil outras coisas - puxar a
>> orelha do Jean-Yves por ele ter desistido da candidatura dele! =P
>>   [[]] =),
>> Eduardo
>>
>>
>> 2016-09-12 21:15 GMT-03:00 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_KASE8xIY9Vh8rrlTAP
 wZ7X9HnEzjTRNM7hWe4/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/di
 map.ufrn.br/group/logica-l/.
 Para ver essa discussão na Web, acesse https://groups.google.com/a/di
 map.ufrn.br/d/msgid/logica-l/932f9366-696e-4215-9af1-07c83d4
 96eeb%40dimap.ufrn.br
 
 .

>>>
>>>
>>>
>>> --
>>> Federal University of Rio de Janeiro
>>> www.cos.ufrj.br/~mario
>>>
>>> --
>>> 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/di
>>> map.ufrn.br/group/logica-l/.
>>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>>> map.ufrn.br/d/msgid/logica-l/CAA6BQpXzeshDK7KM7QDZtoXXdh46zt
>>> gLX2Hn5MGT8FXm7VMHvw%40mail.gmail.com
>>> 
>>> .
>>>
>>
>> --
>> 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/di
>> map.ufrn.br/group/logica-l/.
>> Para ver essa discussão na Web, acesse https://groups.google.com/a/di
>> map.ufrn.br/d/msgid/logica-l/CADs%2B%2B6jOjSys24OaJFfj-ieh-
>> pAWZYigZNBLrDzswXsZuaaxYw%40mail.gmail.com
>> 
>> .
>>
>
>
>
> --
> Marcos Silva
> https://sites.google.com/site/marcossilvarj/
> Philosophie macht Spaß!
>
> --
> 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.u