Bom dia,
Que data especial! Feliz aniversário, querida Ítala. Você é uma inspiração
para todos nós. Muita saúde, amor e paz em sua vida. Merecida homenagem.
Beijos,
Ana Teresa
Em qui., 18 de jul. de 2024, 00:19, Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> escreveu:
>
lembrado por todos nós. "Professor Newton da Costa, o meu muito obrigada
por sua existência e amizade!".
Abraços a todos,
Ana Teresa
Em qua., 17 de abr. de 2024, 19:29, Hugo Luiz Mariano
escreveu:
> Uma grande perda para a Lógica brasileira.
> Pessoalmente, meu interesse por fu
Bom dia,
Importantíssima lista para toda a comunidade de lógica. Obrigada, João
Marcos, por tão relevante contribuição.
Ana
Em sex, 25 de mar de 2022 07:46, Elaine Pimentel
escreveu:
> Parabéns a João, e a todos os colegas que ajudaram e ajudam a levar essa
> ideia fantástica a
Bom dia,
Obrigada por compartilhar, João Marcos. Incrível sua trajetória científica
e tudo o que vocês construíram juntos.
Beijos,
Ana
Em qui, 24 de mar de 2022 20:32, Joao Marcos escreveu:
> O excelente canal *Lógica MX* publicou ontem um vídeo apresentando a
> trajetória acadêm
Prezados,
Que triste notícia. Eu a conhecia apenas de vista, e li alguns dos seus
artigos, mas sempre soube da sua boa energia. Que Deus a tenha e conforte a
sua família.
Ana
Em seg, 25 de out de 2021 12:48, Walter Carnielli
escreveu:
> Colegas:
>
>
> Junto minhas manifestaçõe
/places-to-go/fjord-norway/bergen/
2) Department of Informatics
https://www.uib.no/en/ii
3) The annual meeting of Ph.D. students:
https://www.uib.no/en/rs/ict/135784/ict-research-school-annual-meeting-2020
---
Ana Ozaki
Associate Professor
University of Bergen
https://www.uib.no/en/persons
corações.
Beijos e abraços solidários para a Sheila e suas filhas.
Ana Teresa
Em sáb., 14 de nov. de 2020 às 17:20, Marcelo Esteban Coniglio <
conig...@unicamp.br> escreveu:
> Tristíssima notícia. Um lógico billante, uma pessoa incrível, exemplo
> de talento, humildade e honesti
Dear all,
>
> The Munich Center for Mathematical Philosophy is organizing the sixth
> edition of the Summer School on Mathematical Philosophy for Female
> Students, taking place from 28th July to 3rd August 2019, and invites
> applications until 31st March 2019.
>
> PROGRAM
> ===
>
>
[LOGIC] 6th Summer School on Mathematical Philosophy for Female Students,
Munich (Germany), 28 Jul - 3 Aug 2019
To:
The Munich Center for Mathematical Philosophy is organising the sixth
edition of the Summer School on Mathematical Philosophy for Female
Students, taking place from 28th July to 3r
Agora todo mundo da lista sabe seu número de telefone.
att
Ana Paula
On Mon, 26 Nov 2018 at 14:07, Mario Roberto Folhadela Benevides <
ma...@cos.ufrj.br> wrote:
> Oá Pessoal,
>
> Peço desculpas por ter enviado uma mensagem pessoal para o Jean na lista.
>
> Abraços,
>
&
Obrigada Eduardo, estava a procura disso o outro dia. Me será bem útil.
Em seg, 16 de abr de 2018 01:53, Eduardo Ochs
escreveu:
> Ana, nao deixa de dar uma olhada nesse artigo aqui sobre a Tese de
> Church...
> Dershowitz/Gurevich: "A Natural Axiomatization of Computability
Obrigada a todos pelas dicas.
E vou dar uma olhada na tese de Church e e estudar sobre função computável.
Em sex, 13 de abr de 2018 14:44, Thanos Tsouanas
escreveu:
> [mando novamente minha mensagem pois acho que mandei por o email errado]
>
> Oi Ana,
>
> Nao tenho certeza qual
Para quem tem interesse em começar uma IC na área de Teoria da Recursão quais
os conceitos que tenho bem definidos na cabeça para entender bem a referida
Teoria??
Por enquanto meu professor me recomendou ler o Capítulo 10 do
livro do Prof. Walter Carnielli e Richard L. Epstein.
suficiente.
Muito grata,
Ana
> Cara Ana,
>
> Aqui na fortiss usamos métodos de verificação de software/hardware que
> utilizam princÃpios e formalismos lógicos.
> Eu precisaria de mais informação para te responder melhor...
>
> Abraços,
>
> Vivek
>
> On Mo
para as mais diversas
profissões que exigem raciocínio lógico.
Beijos e abraços,
Ana
> oi Ana,
> desculpe a demora, nao tinha visto!
>
> Mas concordo com o JM que outros sao mais indicados, pois o meu trabalho
> nao 'e em logica matematica diretamente.
>
> Centros d
Olá a todos,
Muito grata a todos que me responderam nesta lista e no meu email particular.
Abraços e boa semana,
Ana
> Olá,
>
> Não tenho experiência.
>
> Acredito que o Aryldo Russo https://br.linkedin.com/in/aryldo
> tenha trabalhado com especificação formal no metrô d
Parabéns, João Marcos, por sua excelente iniciativa. E obrigada por sua
dedicação à lista.
Parabéns a todos que contribuem nesta lista.
Abraços e bom domingo,
Ana
> Parabéns à LOGICA-L por seus doze anos de existência!
>
> Que muitos mais anos de saudáveis discussões venha
empresas que possa
me relatar? Lembrei da Valéria de Paiva :). Se tiverem um tempinho e
puderem me responder, podem usar o meu email particular (a...@lia.ufc.br).
Muito grata,
Ana
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Par
Olá a todos,
Saiu a tradução para português, feita pelo Ruy de Queiroz, do livro do van
Dalen, na Amazon. O link é:
https://www.amazon.com/Logica-Estrutura-Portuguese-Dirk-Dalen/dp/184890262X
Abraços a todos,
Ana
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L
, querido João Marcos.
Conte conosco,
Ana Teresa Martins
(em nome do Grupo LogIA - UFC)
> Colegas e amig@s:
>
>
> Achei que me cabia, por estar sabendo, repassar a estarrecedora e
> pesarorosa
> noticia sobre a tragédia que envolveu
> nossa querida colega Carol Blasi
Excelente!
2014-05-05 11:16 GMT-03:00 Décio Krause :
> Genial, Andréa.
> Obrigado
>
>
>
> Décio Krause
> Departamento de Filosofia
> Universidade Federal de Santa Catarina
> www.cfh.ufsc.br/~dkrause
>
>
>
>
>
>
> Em 05/05/2014, à(s) 10:57, Andrea
Acho que a opção "Não desejo declarar" parece ser a escolha unânime.
Recusei a declarar também, afinal, quais são os critérios para definir a
"raça"?
Não somos todos homo sapiens ou existem subespécies que não conheço?
Em 11 de abril de 2013 18:18, Decio Krause escreveu:
> Concordo plenamente
rá, Campus Fortaleza
O Edital, o programa, a resolução, o contato e outras informações
encontram-se no endereço:
http://www.progep.ufc.br/index.php?option=com_content&task=view&id=396&Itemid=67
Atenciosamente,
Profa. Ana Teresa Martins
Departamento de Computação
Univers
Edital N. 498/2012
Universidade Federal do Ceará, Campus Fortaleza
O Edital, o programa, a resolução, o contato e outras informações
encontram-se no endereço:
http://www.progep.ufc.br/index.php?option=com_content&task=view&id=396&Itemid=67
Atenciosamente,
Profa. Ana Teresa Martins
Dep
. Caso haja
algum doutor interessado em fazer tal concurso, peço a gentileza de entrar
em contato comigo o mais breve possível.
Atenciosamente,
Ana Teresa Martins
Professora Associada IV
Departamento de Computação
Universidade Federal do Ceará
___
Logica-l
Parabéns pelo excelente trabalho, JY.
[]s
Ana
> E com prazer que estamos anunciando a publicacao do centesimo artigo da
> Logica Univeralis.
> Por coincidencia se trata da reedicao de um artigo classico de Heijenoort
> num numero especial dedicado ao 100 anos do nascimento de JvH
&
Meus parabéns, Walter, bem merecido mesmo.
Bjs
Ana
> 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
Prezados,
no meu programa, alguns acataram o nome do Marcelo, mas não foi a maioria,
de forma que o nome dele não constou em nossa lista.
[]s
Ana
> NotÃcias sobre a votação para o CA-CC.
>
> 2012/5/3 Adolfo Neto :
>> Recebi isto do meu coordenador. Votamos no Marcelo.
>
&
Faço minhas as palavras da Valéria.
Muito bom trabalho, João Marcos, e obrigada ao Marcelo pelo interesse.
Irei indicá-lo no meu programa.
Abraços,
Ana
> Excelente noticia Joao Marcos!
> Obrigada Marcelo por se prontificar a defender logica no CA da Computacao!
> abs
> Valeria
>
&
equipe
pelo excelente trabalho.
Agora é o momento do "boca-a-boca" com os membros do comitê.
Um abraço a todos,
Ana
> Que se nenhum professor presentemente vinculado a um programa de
> pós-graduação brasileiro "na área" tiver publicado no periódico em
> qu
Oi João Marcos,
> Olá, Ana:
>
> A planilha já estava larga, e decidimos então omitir a informação
> sobre o Qualis anterior. De todo modo, vale observar que, no que diz
> respeito aos 29 periódicos já qualis-ficados na versão anterior do
> Qualis CC, todas as revis
t; manteve a nota A1. Não sei se valeria a pena
indicar que a sugestão é manter, para que fique claro as que realmente
queremos mudar de nota.
[]s
Ana
> PessoALL:
>
> O link para as tabelas finais que serão encaminhadas é este:
>
> http://goo.gl/DCYcd
>
> Daqui a pouquinh
publicação quando fizemos um documento justificando cada
mudança com base no documento de área. Entendo que aqui a idéia é
justamente fugir dos cálculos de índice de impacto e dar o sentimento da
área, como era feito anteriormente ao QUALIS.
Abraços a todos,
Ana
> Olá Decio, olá Doria,
>
> G
Prezados:
Excelente trabalho, João Marcos, para a nossa comunidade de Lógica &
Computação. Vamos torcer que o trabalho do Marcelo e o Maurício junto às
Comissões Especiais de Inteligência Artificial e Circuitos (não seria
Métodos Formais?) tragam bons resultados.
[]s
Ana
> [
Parabéns, Ruy e Anjolina, pelo livro e pelo trabalho realizado!
Bjs e abraços,
Ana
> Caro Ruy:
>
> meus sinceros parabéns à Angiolina, a você e ao Dov. Infelizmente,
> esta mensagem não vale como "RSVP"
> porque Recife está um tanto longe... :-)
> Mas o
Olá Maria Francisca,
Tenho um amigo que tem feito revisão de artigos para mim e para alguns
outros colegas da área de Computação e Lógica. O contato dele é:
"Michael Shinner"
[]s
Ana
> Prezados colegas,
>
> Gostaria de saber se poderiam me indicar alguém, preferencia
membros da
SBC.
Abraços a todos,
Ana
On Fri, 3 Jun 2011, a...@lia.ufc.br wrote:
Para os interessados na criação da Comissão Especial de Lógica e Computação,
Entrei em contato com o vice-presidente da SBC, prof. Marcelo Walter, e
com o diretor de Eventos e Comissões Especiais da SBC, prof
Oi Márcio e Renata,
Meus parabéns. Sua tese está ótima. Um resultado merecido e bastante
importante para a área de Lógica na Computação.
[]s
Ana Teresa
> Caros
>
> Márcio Moretto Ribeiro
> e Renata Wassermann
>
>
> parabéns ao Márcio pale premiacao (primeiro lugar) no
novas comissões especiais. Há uma discussão de uma nova proposta na
qual, antes de se criar uma CE, deveria ser criado um grupo de interesse.
Esta proposta está em análise e o prof. Lisando espera que a mesma fique
concretizada durante o congresso de julho da SBC.
Abraços a todos,
Ana
. Os
interessados podem responder diretamente para mim em a...@lia.ufc.br.
Adicionalmente, caso o candidato seja da área de Inteligência Artificial,
já com doutorado, também entrar em contato usando o mesmo endereço
eletrônico acima citado.
Atenciosamente,
Ana Teresa Martins
Programa de Mestrado e
Oi João,
faço minhas as palavras da Valéria e do Mário.
Obrigada pelo seu empenho na criação e administração da lista.
Todos aprendemos muito nesta convivência virtual.
Bjs
Ana
On Fri, 25 Mar 2011, Valeria de Paiva wrote:
Epa!
eu nao recebi essa mensagm do moderador da lista.
(Ainda bem que
.
[]s
Ana Teresa
---
*** CONCURSO PÚBLICO ***
* Nossas desculpas pela possível recepção de múltiplas cópias *
Universidade Federal do Ceará (Sede Fortaleza)
Departamento de Computação
http://www.dc.ufc.br/
Concurso para
Prezados Colegas,
que notícia mais triste. Conheci-o de perto e ele realmente era, além de
um pesquisador exemplar, uma grande pessoa, alguém que nos transmitia
muita paz. É uma grande perda para todos nós.
Abraços a todos,
Ana Teresa
On Mon, 27 Apr 2009, Jerusa Marchi wrote:
Senhores
Prezados colegas,
abaixo divulgo edital para Professor Adjunto para o Departamento de
Computação da UFC.
Gostaria de salientar que há pontos ligados à área de Lógica e Teoria da
Computação. Veja informações na página http://www.dc.ufc.br para maiores
detalhes.
[]s
Ana Teresa Martins
*
FAVOR DIVULGAR EM SUA INSTITUIÇÃO
DESCULPAR EVENTUAIS DUPLICAÇÕES
*
MESTRADO E DOUTORADO EM CIÊNCIA DA COMPUTAÇÃO (MDCC)
(http://www.mdcc.ufc.br)
Universidade
*
FAVOR DIVULGAR EM SUA INSTITUIÇÃO
DESCULPAR EVENTUAIS DUPLICAÇÕES
*
MESTRADO E DOUTORADO EM CIÊNCIA DA COMPUTAÇÃO (MDCC)
(http://www.mdcc.ufc.br)
Universidade
46 matches
Mail list logo