Parabens Walter!
Marcelo
2011/1/19 Walter Carnielli :
> 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
Parabens Márcio, e parabens Renata!
Estamos todos muito orgulhosos pela merecida distinção.
E parabens também ao Márcio pelo belissimo prêmio recebido: publicar
sua tese em inglês, em formato de livro pela Springer!!
Abraços,
Marcelo
2011/8/3 Walter Carnielli :
> Caros
>
> Márcio Moretto Ribei
Parabens aos autores!!!
2011/8/30 Francisco Antonio Doria :
> http://www.crcpress.com/product/isbn/9780415690850
>
> --
> fad
>
> ahhata alati, awienta Wilushati
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/ma
Estarrecedor!
2011/9/9 Carlos Gonzalez
> Prezados colegas,
>
> Os professores de SP que fizeram o curso para o concurso tiveram uma
> prova com 30 questões.
>
> A primeira questão da prova e:
>
> >>
> Segundo Aristóteles, o silogismo é "um discurso em que, postas algumas
> co
Prezados colegas,
Nosso caro colega Francisco Miraglia solicitou que reenvie esta
mensagem para a lista em homenagem ao professor Lopez-Escobar,
recentemente falecido.
Atenciosamente,
Marcelo Coniglio
=
Dear Colleagues.
My brother, friend and co-author, Ken Lopez
Caros colegas,
Estou trasmitindo a partir da sua solicitação uma mensagem de Grisel,
sobrinha do Prof. Ken Lopez-Escobar, recentemente falecido.
Atenciosamente,
Marcelo Coniglio
-- Forwarded message --
From: Grisel Damgaard
Date: Thu, Sep 15, 2011 at 12:09 PM
Subject: from Ken
-- Forwarded message --
From: PhilPapers
Date: Thu, Oct 6, 2011 at 6:54 PM
Subject: News: PhilJobs
To: conig...@cle.unicamp.br
PhilJobs
The PhilPapers team is pleased to announce a new online database of
job ads in philosophy: PhilJobs. The database is to cover jobs in
philosoph
Prezados Colegas do GT Lógica, estudantes e demais interessados:
Como amplamente divulgado pela ANPOF, permanecem abertas as inscrições
para o XV Encontro Nacional da ANPOF que será realizado entre os dias
22 e 26 de outubro de 2010 em Curitiba, PR, vão até dia 15 de março.
Como Coordenador do GT
Llamado a contribuciones
Taller de Lógica de Buenos Aires – Homenaje a Horacio Arló-Costa
La Sociedad Argentina de Análisis Filosófico (SADAF) organiza un
Homenaje a Horacio Arló-Costa, que tendrá lugar en Buenos Aires del 2
al 4 de agosto de 2012.
Invitados especiales:
Verónica Becher (Uni
Voto na proposta 1, e contra a iniciativa de João Marcos de abrir um
novo pleito. Acho que niunguém tem mais paciência para continuar
debatendo sobre este assunto. Parabenizo o Rodrigo, o Samuel e a
Valeria (em estrita ordem alfabética) pelo valioso trabalho que
fizeram de graça para tentar melhor
Oi Marcelo,
Acho que a sua resposta sintetiza tudo: o Julio tem inconvenientes em
aceitar qualquer lógica fora da clássica. De fato, a primeira mensagem
de Julio criticando a negacao paraconsistente pode se aplicar mutatis
mutandis à negacao intuicionista: na logica intuicionista nao vale o
princi
Caro Tony,
A Tamar Lando, estudante de doutorado em Berkeley sob a orientação de
Paolo Mancosu e Barry Stroud, está realizando um excelente trabalho
mostrando a conexão entre lógicas modais, topologia, medida e
probabilidades. Eis sua pagina
http://philosophy.berkeley.edu/people/detail/66
Veja se
Pois é, entre 100 medidas tomar uma acertada nao está nada mal...
Marcelo
On Thu, May 24, 2012 at 11:06 AM, Walter Carnielli
wrote:
> Ótima iniciativa da Honorável Câmara dos Deputados da Nação Argentina;
> nem tudo é ruim no reino da Princesa Cristina!
>
> Walter
>
> 2012/5/24 Valeria d
-- Forwarded message --
From: Marcelo Esteban Coniglio
Date: 2012/5/24
Subject: Re: [Logica-l] go Argentina!
To: Marcelo Finger
Caro Marcelo F.,
Nao somente destruiram, sucatearam, espezinharam e sabotaram de
várias formas suas instituições de ensino e pesquisa como você bem
**
SECOND BRAZILIAN CONGRESS ON FUZZY SYSTEMS - II CBSF
November, 06th-09th
Natal, Rio Grande do Norte, Brazil
http://sites.google.com/site/academicfuzzybr/cbsf-eng
**
Caro Tony,
De fato a tese do Mateus é muito interessante. Eu participei da
banca.Uma das coisas mais interessantes que achei foi a silogistica
modal que o Aristóteles propôs e, ao que parece, não fechou
completamente, mas também não foi completamente entendida pelos
analistas. É um belo tema de es
Lamento a noticia e compartilho as palavras do João...
2012/6/2 Joao Marcos :
> Registro com pesar a notícia do fim da Crítica, o mais importante blog
> de Filosofia lusófona.
>
> O discurso de despedida de Desidério Murcho, seu idealizador e
> mantenedor por mais de quinze anos, dirige-se nominal
Parabéns para o Walter por esta merecida distinção!
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
Prezado Jose Carlos,
Muitíssimo obrigado pelo apoio, e esperamos encontrá-lo no evento; em
particular, nas sessões do nosso GT Lógica que acontecerão na
quarta-feira. Aproveito para divulgar neste fórum a programação do XV
Encontro da Anpof:
http://www.anpof.org.br/comunidade/system.php?_action=
Caros Colegas,
Gostaria de informá-los de que será realizado em Salvador (BA) o XVII
Congresso da Sociedade Interamericana de Filosofia, de 07 a 11 de
outubro de 2013.
Os trabalhos deverão ser submetidos na forma de resumos, contendo de
500 a 800 palavras, até o 15 de março. Os trabalhos podem se
Caros membros da Lista,
O EBL (encontro Brasileiro de Lógica) é organizado pela SBL (Sociedade
Brasileira de Lógica). A escolha do local e dos comitês organizadores,
assim como todos os detalhes de organização (escolha dos palestrantes
convidados, da realização ou não de uma Escola, escolha dos pa
Caro João,
Pois é, os arquivos ocupam apenas 361MB no meu pendrive. Eu gerenciei
pessoalmente aquele CD-ROM em 2003, em ocasião dos 25 anos do CLE/XIII
EBL.
Faz tempo que falamos que deveríamos disponibilizá-lo na página do
CLE, mas acabamos esquecendo. Agora que o João trouxe de novo esta boa
pro
Caro João,
Pois é, os arquivos ocupam apenas 361MB no meu pendrive. Eu gerenciei
pessoalmente aquele CD-ROM em 2003, em ocasião dos 25 anos do CLE/XIII
EBL.
Faz tempo que falamos que deveríamos disponibilizá-lo na página do CLE,
mas acabamos esquecendo. Agora que o João trouxe de novo esta boa pr
Realmente uma notícia muito triste. A descrição da Andréa não poderia
ser mais adequada.
Achei muito boa a proposta do Chico de homenageá-lo no EBL.
Abraços,
Marcelo
2013/11/5 Walter Carnielli :
> Caros colegas,
>
>
> trago aqui a triste notícia do falecimento do Prof. Elias Humberto
> Alves, ex
Caro Joao, caros todos,
Voltando àquela questão do Journal of Non-Classical Logic: de acordo
com o prometido, a coleção completa já está disponível para acesso
gratuito (junto com outros links a livros onlne, que iremos
acrescentando aos poucos) no seguinte endereço:
http://www.cle.unicamp.br/pri
Car@s colegas,
Tenho o prazer de anunciar a defesa da tese de doutorado do meu
estudante Newton Peron, no dia 20 de fevereiro às 10hs, no
IFCH/Unicamp, Campinas.
O título da tese é "(In)Completude Modal por (N)Matrizes Finitas", e a
banca será composta, além de mim, pelos seguintes professores:
L
Caro Adolfo,
Cada um deve ter sua lista de livros de Lógica Modal preferidos. No
seu caso eu recomendo os seguintes, por serem muito claros e
informativos:
A New Introduction to Modal Logic
G.E. Hughes and M.J. Cresswell
http://www.amazon.com/A-New-Introduction-Modal-Logic/dp/0415126002
Modal Lo
Entrevista ao filósofo da linguagem Scott Soames, que poderá ser de
interesse para vários membros desta lista:
http://www.3ammagazine.com/3am/on-the-analytic-philosophers-language-and-kripkes-unfinished-business/
Abraço,
Marcelo
___
Logica-l mailing li
maneira seguinte:
Presidente: Prof. Dr. Marcelo Esteban CONIGLIO
Universidade Estadual de Campinas (UNICAMP)
1º Vice-Presidente: Prof. Dr. Jean-Yves BÉZIAU
Universidade Federal do Rio de Janeiro (UFRJ)
2º Vice-Presidente: Prof. Dr. João Marcos DE ALMEIDA
Universidade Federal do Rio Grande do
Caros colegas,
Para quem possa interessar, repasso a mensagem abaixo.
Abraço,
Marcelo
-- Forwarded message --
From: silvio seno chibeni
Date: 2014-04-28 20:24 GMT-03:00
Subject: [Ifch-docentes-l] Concurso de estetica Dept Filosofia -
inscricoes abertas
To: Lista docente , Depa
"And please, I don't want to add the omega-rule, it is NOT logical!"
É muito engraçado! Foi realizado por Diego Tajer, estudante de
Doutorado em Filosofia na Universidade de Buenos Aires, orientado por
Eduardo Barrio.
Abraços,
Marcelo
On Mon, May 5, 2014 at 10:57 AM, Andrea Loparic wrote:
> ht
-- Mensagem encaminhada --
De:
Data: sábado, 10 de maio de 2014
Assunto: EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014
Para:
EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014
Due to numerous requests and for problemS of our reception system,
the submission for SLAL
-- Mensagem encaminhada --
De:
Data: sábado, 10 de maio de 2014
Assunto: Deadline Extended: XVI SLALM 2014- SATELLITE COLLOQUIUM OF
PHILOSOPHY OF LOGIC
Para:
EXTENDED PAPER SUBMISSION. NEW DEADLINE: May 20, 2014
Due to numerous requests and for problems of our reception system,
Prezados(as),
Nesta quarta-feira teremos mais um seminário do Grupo de Lógica
Teórica e Aplicada (GLTA) no Centro de Lógica, Epistemologia e
História da Ciência (CLE) da UNICAMP. Seguem abaixo os dados:
Dia: 28/09/2016
Horário: 16:00
Local: Sala de Seminários do CLE (sala Kurt Gödel)
Rua Sérgio B
Prezados(as),
Nesta quinta e sexta-feira teremos dois seminários do renomado
Professor Timothy Williamson (University of Oxford) no Centro de
Lógica, Epistemologia e
História da Ciência (CLE) da UNICAMP. Seguem abaixo os dados:
Dia: 29/09/2016 (quinta-feira)
Horário: 16:00
Título: "Absolute Prova
Parabéns Marcos!!
Grande abraço
Marcelo
Em 11 de jan de 2017 20:01, "Joao Marcos" escreveu:
> Parabéns ao Marcos Silva, que acabou de ganhar o prêmio
> "Junior Faculty Member" da Fulbright
> http://fulbright.org.br/wp-content/uploads/2016/02/
> Fulbright-Jr.-Faculty-Award-2016-2017.pdf
> para
Extended Deadline FEB 5, 2017!
Please, disseminate this extended deadline.
We cordially invite submissions of contributed papers on the general
topics of Logic, including
- Philosophical and Mathematical Logic, and Applications,
- History and Philosophy of Logic,
- Non-classical Logic and Applica
Prezados(as) colegas
Está disponível online (e em breve na versão impressa) o South
American Journal of Logic Vol. 2, n. 1 (2016), cuja lista de artigos
encontra-se no final desta mensagem.
Convidamos todos(as) os(as) colegas a submeter um artigo em qualquer
das áreas da Lógica.
Um abraço
Jean
New Extended Deadline: FEB 16, 2017!
Please, disseminate this extended deadline.
We cordially invite submissions of contributed papers on the general
topics of Logic, including
- Philosophical and Mathematical Logic, and Applications,
- History and Philosophy of Logic,
- Non-classical Logic and A
-- Forwarded message --
From: slalm2017
Date: Thu, Feb 23, 2017 at 4:33 PM
Subject: SLALM 2017: Submission Deadline EXTENDED
To: abere...@gmail.com, jordi.lopez-a...@imj-prg.fr,
da...@math.uconn.edu, george.metca...@math.unibe.ch,
carlos.are...@gmail.com, fzalam...@unal.edu.co, br.
Caros(as) colegas,
A Sociedade Brasileira de Lógica (SBL) disponibilizará recursos
financeiros para apoiar um número limitado de estudantes de
pós-graduação que pretendam participar do XVIII Encontro Brasileiro de
Lógica. Tais recursos financeiros se destinariam a cobrir: alojamento,
alimentação e
d: A Festschrift for Francisco Miraglia
Marcelo Esteban Coniglio, Hugo Luiz Mariano and Vinicius Cifú Lopes
(Guest Editors)
1. A Quarter of a Century of Joint Work with Chico Miraglia
Max Dickmann
2. On Inverse Limits of Compact Structures
Xavier Caicedo and Santiago Pinzón
3. On Alien Primes, Exoti
2017-06-23 19:17 GMT-03:00 Walter Carnielli :
> Esse rapaz é o Fabrício Gomes, que fez o mestrado comigo e agora
> doutorou-se em Direito na USP, com um trabalho (sério, não é nenhum
> dessas referido há pouco) sobre Lógica e Direito.
Dou fé sobre a seriedade do trabalho do Fabricio porque
Caro Samuel,
Parabéns para você e para todos os membros do grupo de Lógica da UFBA!! Era
realmente uma "não-permisão" (para não usar o termo "proibição")
completamente absurda.
Um abraço
Marcelo
2017-10-27 17:16 GMT-02:00 Samuel Gomes da Silva :
> Prezados,
>
> Após uma longa espera de três me
Parabéns Cassiano!
O ITA fez uma excelente aquisição.
Um grande abraço
Marcelo
2018-03-07 11:18 GMT-03:00 Antonio Marmo :
> Caros participantes,
>
> Tenho a alegria de comunicar um resultado merecido: nosso colega Cassiano
> Terra foi
> o primeiro colocado no concurso do ITA para lecionar no D
Parabéns João pela excelente ideia 12 anos atrás, e por tê-la materializado
de maneira duradoura.
Um grande abraço
Marcelo
Em sáb, 24 de mar de 2018 14:39, Joao Marcos escreveu:
> Parabéns à LOGICA-L por seus doze anos de existência!
>
> Que muitos mais anos de saudáveis discussões venham por
Parabéns Roque!!
Um abraço
Marcelo
2018-04-03 22:26 GMT-03:00 Alfredo Roque Freire :
> Obrigado pelo comentário Rodrigo, me sinto honrado de ser mencionado assim
> na lista de lógica.
>
> Devo muito da minha formação e trabalho ao Rodrigo e ao Walter (meu
> coorientador e orientador, respectiva
Parabéns Tony, e parabéns Jean-Yves!
Um abraço
Marcelo
2018-04-04 13:25 GMT-03:00 Walter Carnielli :
> Car@s,
>
> Hesito em classificar esta mensagem de OFF- TOPIC, mas se for o
> caso, fica classificada condicionalmente. Para isso temos Lógica.
> Gostaria de parabenizar o Tony Marmo p
Caros(as) colegas
Anunciamos o lançamento online e impresso do último número do South
American Journal of Logic (SAJL) (ver informações abaixo).
Próximos lançamentos:
-Vol. 3, n. 2: Proceedings of the 5th World Congress on the Square of
Opposition - Easter Island, November 11-15, 2016.
Lançamento
Parabéns Evandro e Ítala pela merecida indicação!!
Abraços
Marcelo
Em qua, 17 de out de 2018 09:57, Evandro L. Gomes
escreveu:
> Caros/as colegas da lista de Lógica:
>
> Escrevo para comunicar que nosso livro "Para além das Columas de Hércules,
> uma história da paraconsistência: de Heráclito
Oi a todos,
Nossa colega Andrea Loparic (Departamento de Filosofia-FFLCH-USP)
disponibilizou online um provador automático de teoremas da sua autoria
para a lógica mimimal de Johanssen-Kolmogoroff, e para a lógica
proposicional intuicionista. O endereço é:
http://www.interleft.com.br/aloparic/tab
Estão abertas as inscrições para concurso docente na Universidade Federal do
ABC (Santo André - SP), com 6 vagas na área de Filosofia, categoria
Professor Adjunto I, no Centro de Ciências Naturais e Humanas, com as
seguintes sub-áreas:
Filosofia da Ciência - 2 vagas
Epistemologia - 1 vaga
Lógica
Comunicado- novo Diretor do Centro de Lógica, Epistemologia e História
da Ciência (CLE) da Unicamp
Gostaríamos de comunicar que o prof. Walter Carnielli, Professor
Titular do Departamento de Filosofia do Instituto de Filosofia e
Ciências Humanas (IFCH) da Unicamp, foi designado, após consulta a
Prezados(as) colegas
Tenho o prazer de anunciar a seguinte palestra a ser ministrada no
CLE/UNICAMP na sexta-feira 26/07 às 16:00, na sala de seminários "Kurt
Gödel":
"Designing Normative Theories of Ethical Reasoning: Formal Framework,
Methodology, and Tool Support"
Christoph Benzmüller, Dr. ha
Prezados(as) colegas
Lembro para vocês que nesta sexta-feira 26/07 o Prof. Christoph
Benzmüller (Freie Universität Berlin) vai ministrar a seguinte
palestra no CLE/UNICAMP, às 16:00, na sala de seminários "Kurt
Gödel":
"Designing Normative Theories of Ethical Reasoning: Formal Framework,
Metho
Parabéns Bruno e Walter! A tese é realmente muito boa.
Abraços
Marcelo
Em ter, 10 de set de 2019 16:38, Walter Carnielli <
walter.carnie...@gmail.com> escreveu:
> Caras e caros Colegas:
>
> Tenho a satisfação de informar que meu orienta do Bruno Ramos
> Mendonça e eu ganhamos o Prêmio CAPES
Caros(as)
A quem interessar possa.
Abs
Marcelo
De: Steve Awodey
Enviado: viernes, 4 de octubre de 2019 8:49 a. m.
Para: categor...@mta.ca
Cc: Steve Awodey
Asunto: categories: Logic job at CMU
Friends,
The Department of Philosophy at Carnegie Mellon Un
Colegas,
Isto pode ser de interesse para estudantes de pós-graduação e pós-doutorandos.
Abs
Marcelo
--
PhDs in Logic 2020: PhDs in Logic XII (2020)
Freie Universität Berlin
Berlin, Germany, April 27-29, 2020
https://www.e
Colegas,
Por favor distribuir.
Abs
Marcelo
***
The Institute of Information Theory and Automation, Czech Academy of
Sciences invites applications for a two-year postdoctoral position in
the Department of Decision-Making Theory (with a pos
Caros Sourav e Giorgio,
Com relação à sua mensagem, agradecemos pelo interesse em nosso artigo, mas
gostaríamos de esclarecer alguns enganos de vossa parte na apreciação dos
resultados.
(1) Vocês afirmam "Em primeiro lugar, a validade nas estruturas Twisted,
que são as novas estruturas introduzi
s em V(PS3)! Como podemos entender isso de forma errada quando Sourav
> é um dos autores do artigo?
> Por essa razão uma estrutura a valores em PS3 não pode fornecer modelos
> de ZF completo. Deve necessariamente haver algo errado no segundo resultado
> principal Teorema 9.4!
>
> Saudaçõe
a 9.4!>>"
Abraços
Walter e e Marcelo
Em qua., 18 de dez. de 2019 às 09:04, Marcelo Esteban Coniglio <
conig...@unicamp.br> escreveu:
> Prezados Sourav e Giorgio
>
> Muito obrigado mais uma vez pelas observações. No entanto, infelizmente
> tem alguns erros de argumentaçã
Prezad@s colegas e estudantes
Na próxima terça-feira 14, às 14hs, será realizado no CLE (assim como
em diversos lugares do mundo) um pequeno evento comemorando o Dia
Mundial da Lógica. Estão tod@s convidados a participar.
Programa:
Sessão 1 (14:00 to 16:00)
14:00 Walter Carnielli: The Brazilia
-- Forwarded message -
From: MathFuzzLog working group
Date: Mon, Jan 13, 2020 at 2:32 PM
Subject: LATD 2020: Call for Papers
To: math fuzzlog
LOGIC, ALGEBRA AND TRUTH DEGREES 2020 (LATD 2020)
14-18 September, 2020
Tbilisi, Georgia
https://www.logic.at/latd2020/
*
Caro Umberto,
Muito obrigado pela atinada observação. As LFIs às que nos referimos não
são nem self-extensional nem algebrizáveis. Neste artigo estamos
principalmente preocupados com a self-extensionality, no sentido de que
todos os conectivos (incluindo a negação paraconsistente e o conectivo de
Claro, seus trabalhos, os de Joao Marcos e os de Avron sobre LFIs
self-extensionais (modais e 3-valoradas) estão comentados. Nossa proposta é
diferente e abrange as LFIs basicas.
Abraço
Marcelo
Em qui., 26 de mar. de 2020 às 13:48, jean-yves beziau <
jyb.logic...@gmail.com> escreveu:
> Uma LFI
Caro Umberto,
Certamente deveremos mudar a frase do abstract (que, como mencionado antes,
em nada afeta o que é apresentado no artigo).
Um grande abraço, e aguardamos seus comentários!
Marcelo
Em qui., 26 de mar. de 2020 às 15:41, Umberto Rivieccio <
umberto.riviec...@gmail.com> escreveu:
>
>
Caro João,
Uma belíssima e merecida homenagem! Parabéns aos editores e autores por
este importante volume.
Um forte abraço
Marcelo
Em qua., 15 de jul. de 2020 às 16:30, Joao Marcos
escreveu:
> O belo editorial do volume da Synthese dedicado à memória de Carolina
> Blasio está finalmente onl
Caros(as),
Gostaria de parabenizar os editores da série, e agradecer efusivamente o
Chico por ter disponibilizado esta verdadeira jóia.
Grande abraço
Marcelo
Em sex., 17 de jul. de 2020 às 13:09, Rodrigo Freire
escreveu:
> Divulgo grande livro publicado hoje em acesso aberto pelo LnA.
>
>
> -
Tristíssima notícia. Um lógico billante, uma pessoa incrível, exemplo
de talento, humildade e honestidade.
Meus sinceros pêsames para a Sheila e para suas filhas
Marcelo
Em sáb., 14 de nov. de 2020 às 14:49, Bruno Lopes escreveu:
>
> Caros,
>
> Encaminho a nota da SBL em pesar pelo falecimento
Prezados(as) colegas
No dia 14 de janeiro das 14 às 16:30 (horário de Brasília), celebrando
o Dia Mundial da Lógica, teremos uma série de palestras curtas
ministradas por pesquisadores vinculados ao Centro de Lógica,
Epistemologia e História da Ciência (CLE) da UNICAMP. Vários dos
pesquisadores vã
Notícia muitissimo triste. Uma perda enorme. Meus sentimentos para o
Benjamin, o Claudio e todos seus familiares e amigos.
Marcelo
Em qua., 7 de abr. de 2021 às 12:31, valeria.depaiva
escreveu:
>
> do Twitter do Thiago da Silva ontem
>
> Hoje a Matemática brasileira perde um grande nome para a C
Parabéns, Dória e Newton!
Grande abraço
Marcelo
Em ter., 29 de jun. de 2021 às 17:00, Famadoria escreveu:
>
> Foi aceito pela Synthèse Library o livro do Newton e meu, On Hilbert’s Sixth
> Problem, acabei de sabê-lo. Reúne quarenta anos de trabalhos nossos.
>
> Sent from my iPhone
>
> --
> Voc
[Please circulate! We apologize for any cross-postings]
Session of Logic at CLAM 2021
Online, September 15-17, 2021
https://clam2021.cmat.edu.uy/
The 6th Latin American Congress of Mathematicians (CLAM 2021) will be
held online from 13 September to 17 September, 2021.
A session of logic "Lógica M
Prezadas e prezados colegas,
Esta mensagem pode ser de interesse para membros da lista.
Abraços
Marcelo
-- Forwarded message -
Dear all,
I'm here forwarding a message form Rafał Gruszczyński, the local PI of
our partner Univ. of Torun
Maybe you know somebody who could be in
- Forwarded message -
Dear all,
We are happy to announce the Open House on Category Theory 2021. A
short, informal meeting which ideally would have taken place in México
but, because of the covid pandemic, will take place online; 18-19
November 2021.
We will seize the occasion to
-- Forwarded message -
===
TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2022)
First announcement
===
Conference: June 20-24, 2022 in Coimbra
School: June 13-18, 2022 in Praia de Mira
Uma notícia tristíssima! Uma perda enorme!
Meus mais profundos pêsames para familiares e amigos
Marcelo
Em seg., 25 de out. de 2021 às 10:49, Gisele Secco
escreveu:
>
> Pessoal
> Acabo de ser informada do falecimento de nossa querida Andrea.
> Manifesto meus mais carinhosos sentimentos à sua me
- Forwarded message -
Estimadas/os:
Queremos invitarlas/os a la conferencia de cierre del Workshop CaToAm,
que se llevará a cabo el día sábado 30 de Octubre a las 13 horas.
La conferencia estará dictada por Lluis Godo, IIIA, Barcelona y se
titula Simplified Kripke semantics for
Parabéns, Walter e Juliana!
Abraços
Marcelo
Em seg., 13 de dez. de 2021 às 12:50, Walter Carnielli
escreveu:
>
> Cara(o)s Colegas e estudantes:
>
> Tenho a satisfação de anunciar que está no ar o curso (livre e grátis)
>
> "Pensamento Crítico, Lógica e Argumentação" oferecido na Plataforma
>
TC -3)
14:00 – 14:30
Talk 1 - Logics of ignorance
Ekaterina Kubyshkina (University of Campinas)
Mattia Petrolo (Federal University of ABC)
14:40 – 15:10
Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices
Guilherme Vicentin de Toledo (University of Campinas)
Marcelo Es
f Campinas)
Mattia Petrolo (Federal University of ABC)
14:40 – 15:10
Talk 2 - Decision Procedures for da Costa’s hierarchy through RNmatrices
Guilherme Vicentin de Toledo (University of Campinas)
Marcelo Esteban Coniglio (University of Campinas)
15:20 – 15:50
Talk 3 - On a cut-free sequent system f
Meus parabéns ao Ciro, o Abílio e o Henrique pela importante distinção!
Abraços
Marcelo
Em sáb., 29 de jan. de 2022 às 18:42, Petrucio Viana
escreveu:
>
> A SBL tem a honra e o prazer de informar que os artigos intitulados
>
> Coproduct and amalgamation of deductive systems by means of ordered
**JOB: 6-Month Visiting Fellowship at the Complutense University of Madrid**
The Project “From Vagueness and Truth to Substructural Epistemology
and Metaphysics” led by Elia Zardini at the Department of Logic and
Theoretical Philosophy of the Complutense University of Madrid is
pleased to offer a
-- Forwarded message -
Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel,
July 31st 2022
https://asl-workshop.github.io/asl22/
The past two decades have witnessed important progress in static
analysis and verification of code with low-level pointer and heap
mani
Excelente notícia! Um livro excelente de Introdução à Lógica,
principalmente para estudantes de graduação em Filosofia.
Parabéns Cezar!
Abraço
Marcelo
Em sex., 18 de mar. de 2022 às 14:31, Elaine Pimentel
escreveu:
>
> Prezados colegas,
>
> Vem aí a segunda edição do livro "Introdução à Lógica"
-- Forwarded message -
Dear colleague,
it is our pleasure to invite you to particiate in the
39th Linz Seminar on Fuzzy Set Theory"Many-Valued Logics: Theory and
Applications"
June 7-10, 2022
Bildungshaus St. Magdalena, Linz, Austria
Since their inception in 1979 the Linz Semina
-- Forwarded message -
Postdoc position in non-classical logic
Emerging Field: Logic and Philosophy of Science,
Department of Logic, Nicolaus Copernicus University (NCU) in Toruń,
Poland
The position
Department of Logic of NCU in Toruń and Emerging Field: “Logic and
Philosophy o
A quem interessar...
A Faculdade de Engenharia Elétrica e de Computação da Unicamp informa
que estão abertas as inscrições para concurso de Professor Doutor, na
Área de Engenharia de Computação, para as disciplinas EA876 -
Introdução a Software de Sistema, EA879 I
Excelente notícia!! parabéns para a Evelyn e para o Daniel!!!
Elaine, o Bruno Ramos Mendonça ganhou em 2019 o Prêmio Capes, sob
orientação do Walter Carnielli.
Um abraço
Marcelo
Em sex., 12 de ago. de 2022 às 08:53, Joao Marcos escreveu:
>
> https://www.in.gov.br/en/web/dou/-/edital-n-11/2022
Excelente notícia!!
Parabéns Evelyn, Daniel e Ole!!
Marcelo
Em sáb., 15 de out. de 2022 às 14:36, Joao Marcos escreveu:
>
> Agora também com o prêmio de melhor tese na ANPOF! Evelyn está de muitos
> parabéns.
>
> JM
>
> On Fri, Aug 12, 2022, 13:34 Daniel Durante wrote:
>>
>> Viva!!
>>
>> Obri
A quem possa interessar,
vai ter nos dias 7 e 8 de novembro o primeiro Workshop sobre
semânticas não-determinísticas para lógicas modais:
https://sites.google.com/view/1stworkshop-ndml/startseite
Para participar remotamente tem que fazer a inscrição online até hoje,
domingo 06/11.
O evento começ
Parabéns Henrique e Damián!
Grande abraço
Marcelo
Em dom., 11 de dez. de 2022 às 21:06, Henrique Antunes
escreveu:
>
> Prezad@s,
>
> É com enorme prazer que anuncio a publicação do segundo volume do
> Special Issue "Logics and Their Interpretations", editado por mim e por
> Damian Szmuc, na Log
-- Forwarded message -
(Apologies for multiple posting)
CALL FOR SHORT CONTRIBUTIONS / POSTERS
20th International Conference on
Relational and Algebraic Methods in Computer Science
RAMiCS 2023
3 to 6 Apr
Parabéns para o Walter e a Juliana pelo prêmio!!!
Abraços,
Marcelo
Em qua., 18 de jan. de 2023 às 12:52, Walter Carnielli
escreveu:
>
> (EN below!!!)
>
> Prezados colegas da SBL e da Lista Brasileira de Lógica:
>
> Gostaríamos de agradecer a premiação relativa ao Prêmio Newton da
> Costa 202
-
The Centre of Philosophy of the University of Lisbon announces the
selection procedure for a 12 month postdoctoral position in
substructural logics and their philosophy, within the R&D project ‘New
Perspectives on the Objects and Grounds of
Parabéns Raoni e Jonas, é um volume excelente!!
E parabéns ao Décio também, pela merecida homenagem!
Abraços
Marcelo
Em qui., 7 de set. de 2023 às 11:29, Raoni Wohnrath Arroyo
escreveu:
>
> Oi pessoal,
>
> peço licença pra divulgar o seguinte livro em homenagem ao filósofo
> brasileiro Décio K
-- Forwarded message -
PURITY AND SIMPLICITY OF MATHEMATICAL PROOFS
(12 months postdoc position, University of Rome Tor Vergata.
Supervisor: Gabriele Pulcini)
A one-year postdoc position is now open at the Dep. of Literary,
Philosophical and Art History Studies, University of Rom
Parabéns Valéria e Hugo, excelente notícia para nossa comunidade!
Um abraço
Marcelo
Em qua., 3 de jul. de 2024 às 13:21, 'samuel' via LOGICA-L <
logica-l@dimap.ufrn.br> escreveu:
> Parabéns aos colegas Valeria de Paiva e Hugo Mariano pela iniciativa !
>
>
> https://jornal.usp.br/universidade/us
Dear Colleagues,
It is with deep regret that we inform you of the passing of Yuriy
Vasilievich Ivlev on July 7th, 2024.
Yuriy Vasilievich Ivlev was born on December 21, 1936, in Verhnespasskoe
village, Tambov region, USSR. His pioneering work in the 1970s on
quasi-matrices for logics, now known a
1 - 100 de 110 matches
Mail list logo
