[Logica-l] ITRS 2010 - Call for papers

or EPTC post-proceedings: September 30, 2010 (TBC)* PROGRAM COMMITTEE Mariangiola Dezani-Ciancaglini (Univ.di Torino) Joshua Dunfield (McGill Univ. Montreal) Silvia Ghilezan (Univ. of Novi Sad) Atsushi Igarashi (Kyoto Univ.) Elaine Pimentel (Belo Horizonte Univ.) Betti Venneri (Univ. di Firenze) Cha

Re: [Logica-l] Regras para a igualdade em Deducao Natural

t;    Eduardo Ochs >    eduardoo...@gmail.com >    http://angg.twu.net/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Elaine. ---

[Logica-l] LSFA 2011 - First call for papers

udwig-Maximilians-Universität München) Luca Paolini (UNITO, Italy) Organizing Committee Mauricio Ayala-Rincón Edward Hermann Hauesler PUC-Rio Elaine Pimentel (Local-chair) Simona Ronchi della Rocca Dates and Submission Paper submission deadline: May 23 Author notification: June 30 C

Re: [Logica-l] Qualis de Matemática - Revistas de Lógica

Tem o TCS... Enviado via iPhone Em 11/04/2011, às 20:35, Valeria de Paiva escreveu: > Excelente ideia Samuel! > talvez voce devesse sugerir alguns jornais tambem que achamos que seja > otimos pra Logica Matematica, tipo APAL (Annals of Pure and Applied Logic), > pra mim "Mathematical Structures

[Logica-l] LSFA 2011 - Last call for papers

C-Rio Elaine Pimentel (Local-chair) Simona Ronchi della Rocca Dates and Submission Paper submission deadline:   May 23 Author notification:         June 30 Camera ready:                July 31st Contributions should be written in English and submitted in the form full papers with at most 16 pages.

[Logica-l] LSFA 2011 -- deadline extended and call for posters (new!)

razil) Claudia Nalon (UnB, Brazil) Vivek Nigam (Ludwig-Maximilians-Universitat Munchen) Luca Paolini (UNITO, Italy) Jonathan Seldin (Univ-Lethbridge , Canada) Luis Menasche Schechter (UFRJ, Brazil) Organizing Committee Mauricio Ayala-Rincon Edward Hermann Hauesler PUC-Rio Elaine Pimentel (Local-chair) S

[Logica-l] LSFA 2011 -- Call for posters

título, autores e resumo para o endereço: ela...@mat.ufmg.br Agradeço a atenção de todos, -- Elaine. - Elaine Pimentel  - DMat/UFMG Address: Departamento de Matematica      Universidade Federal de Minas Gerais      Av Antonio Carlos, 6627 - C.P. 702

Re: [Logica-l] LSFA 2011 -- Call for posters

Para submeter uma proposta, basta mandar um arquivo em pdf de uma >> página (estilo ENTCS) em inglês contendo título, autores e resumo para >> o endereço: >> >> ela...@mat.ufmg.br >> >> Agradeço a atenção de todos, >> -- >> Elaine. >> --

[Logica-l] LSFA 2011 -- call for participation

Luca Paolini (UNITO, Italy) Jonathan Seldin (Univ-Lethbridge , Canada) Luis Menasche Schechter (UFRJ, Brazil) Organizing Committee Mauricio Ayala-Rincon Edward Hermann Hauesler PUC-Rio Elaine Pimentel (Local-chair) Simona Ronchi della Rocca Dates Early registration: July 31st Call for grants: July

[Logica-l] Deu na Folha de Sao Paulo.

ca quanto os feitos de Santos Dumont. Espero que a gente consiga fazer isso." -- Elaine. - Elaine Pimentel  - DMat/UFMG Address: Departamento de Matematica      Universidade Federal de Minas Gerais      Av Antonio Carlos, 6627 - C.P. 702      Pamp

Re: [Logica-l] "provas" x "demonstrações", em Lógica

gt; Abraços >> Andrea >> ___ >> Logica-l mailing list >> Logica-l@dimap.ufrn.br >> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l >> > > > > -- > Valeria de Paiva > http://www.cs.bham.ac.uk/~vdp/ > h

Re: [Logica-l] Um "Banco de Teminologia"

On Nov 12, 2011, at 4:46 PM, Joao Marcos wrote: > Esqueci-me desta: > >> 12) proof-theoretic: prova-teorética(o)? > > "Demonstracional"? > Credo… Elaine. ___ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/lis

Re: [Logica-l] "provas" x "demonstrações", em Lógica

importada para o inglês a partir de uma palavra francesa/franca >>>> > antiga, "sette" --- ou pelo menos li isso em um texto do Roger Jones.) >>>> > >>>> > A nossa massa crítica em português é infelizmente reduzida, e >>>> > apar

Re: [Logica-l] "provas" x "demonstrações", em Lógica

s (se não a primeira...) a trabalhar com proof search em deep inference. Devo dizer que se um dia for obrigada a dizer que faço "busca por demonstrações em inferência profunda" vou preferir mudar de área... :) Abraços, -- Elaine. ----- Elaine Pimentel

Re: [Logica-l] FW: Lógicos brasileiros refutam as teses neoliberais

a-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Elaine. Elaine Pimentel Departamento de Matematicas Universidad del Valle Calle 13 No. 100 - 00 ; Edifici

Re: [Logica-l] documento para a capes

; > propostas e a primeira é a prioritária. Portanto, [A2 ou B1] e [B1 ou A2] > > são diferentes: > > no primeiro caso a proposta é "prioritariamente A2" e no segundo "B1, mas > > não menos > > que B1". A tabe

Re: [Logica-l] documento para a capes

ira coluna > da > >> tabela > >> encontra-se o nome da revista, na segunda a editora. Em cada uma das > três > >> colunas > >> seguintes há uma proposta de classificação segundo Qualis em Matemática, > >> Filosofia e > >>

Re: [Logica-l] documento para a capes

ecoes/melhorias ate domingo, > gente? > > Abracos, > Valeria > 2012/3/20 Elaine Pimentel > >> Hola, Valeria!!! >> >> parabens pela iniciativa! >> >> Então, na lista de vocês eu só senti falta da ACM Transactions on >> Computational Logic (TOCL).

[Logica-l] Tatu

regra cut podem ser transformadas para "principais" e depois se cuts principais podem ser transformados em cuts atômicos. Ainda falta a parte de eliminação de cuts atômicos, mas essa é a parte mais fácil. Saludos, -- Elaine. ----

Re: [Logica-l] LSFA2011 @ EPTCS

--- >> \\ >> arXiv:1203.5423 >> Date: Sat, 24 Mar 2012 15:27:21 GMT (3kb) >> >> Title: Proceedings 6th Workshop on Logical and Semantic Frameworks with >> Applications >> Authors: Simona Ronchi della Rocca (UNITO), Elaine Pimentel (UFMG) >&

Re: [Logica-l] Concerning Hybrid Logics

rs do behave like modal operators. >> > >> > but no, it's not simply giving new names to old things, since using the >> > satisfaction operators and internalizing the models as part of your >> syntax >> > you genuinely get a different logic system, which has different >> inferen

[Logica-l] School in Proof Theory: Paraty 2012

ágina. Um abraço, -- Elaine. -------- Elaine Pimentel Departamento de Matematicas Universidad del Valle Calle 13 No. 100 - 00 ; Edificio 320. Ciudadela Universitaria Melendez Cali, Colombia https://sites.google.com/site/elai

Re: [Logica-l] [L&C] H-Index de Conferências

>> > >> >> > Abraços, >> >> > >> >> > Adenilso da Silva Simao >> >> > >> >> > Coordenador do Curso de Bacharelado em Sistemas de Informação >> >> > Departamento de Sistemas de Computacao >> >

Re: [Logica-l] [L&C] H-Index de Conferências

> a brincadeira 'e contar links, ne? > infelizmente. > > abracos, > Valeria > > > 2012/7/30 Elaine Pimentel >> >> Oi, Adolfo! >> >> > Eu me candidato a fazer, desde que alguém me ajude. >> >> Eu posso ajudar... O que exatamente vo

Re: [Logica-l] Esclarecendo alguns pontos do "caso particular"

niel. > > > __**_ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-**bin/mailman/listinfo/logica-l<http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l> > -- Elaine. -

[Logica-l] IMLA 2013 - 1st call for papers

Author notification: January 15th, 2013 Scientific and Organizing Committee * Valeria de Paiva (School of Computer Science, University of Birmingham, UK) * Mario Benevides (COPPE-IM, UFRJ) * Elaine Pimentel (DMAT, UFMG) * Vivek Nigam (DI, UFPb) * Natasha Alechina (School of Computer Science

[Logica-l] IMLA 2013 - final call for papers

, 2012 Author notification: January 15th, 2013 Workshop: April 7th, 2013 Scientific and Organizing Committee * Valeria de Paiva (School of Computer Science, University of Birmingham, UK) * Mario Benevides (COPPE-IM, UFRJ) * Elaine Pimentel (DMAT, UFMG) * Vivek Nigam (DI, UFPb) * Natasha Alechina

[Logica-l] IMLA 2013 -- EXTENDED DEADLINE

Author notification: December 15th, 2013 Workshop: April 7th, 2013 Scientific and Organizing Committee * Valeria de Paiva (School of Computer Science, University of Birmingham, UK) * Mario Benevides (COPPE-IM, UFRJ) * Elaine Pimentel (DMAT, UFMG) * Vivek Nigam (DI, UFPb) * Natasha Alechina (School

[Logica-l] Semantics of proofs and certified mathematics

organisers (Pierre-Louis Curien, Hugo Herbelin, Paul-André Melliès) ** -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP

[Logica-l] CSL '13 call-for-papers

CNRS - ENS Lyon) Carsten Lutz (Universität Bremen) Jean-Yves Marion (Université de Lorraine, LORIA) Damian Niwinski (Warsaw University) Frank Pfenning (Carnegie Mellon University) Elaine Pimentel (UFMG) Ruzica Piskac (Max Planck Institute for Software Systems (MPI-SWS)) Simona Ronchi Della Rocca CHAIR

Re: [Logica-l] medindo o nível de dificuldade de uma derivação

t; variáveis, como o numero de regras usadas, e não somente o numero de >>> regras do absurdo. >>> >>> E o que acham os colegas? Como vocês comparariam, em princípio, o >>> *nível de dificuldade* de duas derivações, digamos, em dedução >>> natura

Re: [Logica-l] medindo o nível de dificuldade de uma derivação

ade é justamente unificação. Continuo achando que no caso proposicional não há diferença, se considerarmos apenas provas normalizadas. > Mas concordo plenamente com Elaine que o assunto 'e fascinante!! :) Elaine. - Elaine Pimentel - DMat/UF

Re: [Logica-l] "Memórias de um matematiqueiro"

es.com/ > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departa

Re: [Logica-l] "Memórias de um matematiqueiro"

ionais menores do que raiz de 2 possui uma > cota superior mas não um supremo? :-) > > JM > > > 2013/5/14 Elaine Pimentel : > > Eu achei o vídeo simplesmente fantástico! Devo confessar que me dá um > certo > > alívio depois que uma aluna minha provou que raiz de 2 é raciona

Re: [Logica-l] "Memórias de um matematiqueiro"

*menor* cota superior não entra na HP :) 2013/5/15 Elaine Pimentel > Ah, João, mas na álgebra alternativa (ou pseudo-real), não existe o > conceito de cota superior: cota superior não entra na minha HP :) > > Então tá tudo certo :) > > Bj! > > > 2013/5/15 Joao Ma

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

__ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Ger

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

res 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? > >

Re: [Logica-l] Livro "básico" para Sequentes e dedução natural

___ > > 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.

[Logica-l] New axioms for Set Theory?

Eu achei super interessante! https://www.simonsfoundation.org/quanta/20131126-to-settle-infinity-question-a-new-law-of-logic/ Via Valeria de Paiva :) -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade

[Logica-l] Logical entailment

Acho que aqui vão alguns exemplos, com ou sem side contitions :) http://imgur.com/Dkpalmp -- Elaine. - Elaine Pimentel - MAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av

[Logica-l] Announcement of the Vienna Summer of Logic meeting

-- Elaine. ----- Elaine Pimentel - MAT/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 Pone: +55 84 3215-3819 / 3215-3822 Fax: +55 84 3211-9219 htps://sites.

[Logica-l] Fwd: Wichtig: Petition "Wissenschaft ist Zukunft"

Quem puder ajudar... Abraços! -- Elaine Begin forwarded message: > From: Agata Ciabattoni > Date: 4 de abril de 2014 04:14:43 BRT > To: getfun-proj...@googlegroups.com > Subject: Wichtig: Petition "Wissenschaft ist Zukunft" > Reply-To: getfun-proj...@googlegroups.com > > Dear colleague, > the

[Logica-l] Fwd: Autumn school in Linear Logic (Lyon, France, 7-8 Nov. 2016). Beginners targeted (students in Logic & Philosophy, Computing Theory, Mathematics)

cott (Univ. Ottawa, Canada) Lorenzo Tortora de Falco (Univ. Roma Tre, Italy) -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador S

[Logica-l] Encontro conjunto: Lolita e GEL -- UFRN

, functional frames, and symmetric frames. In each case we also investigate when and how classical negation may thereby be defined. This is joint work with Ori Lahav and Yoni Zohar. -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de

Re: [Logica-l] Encontro conjunto: Lolita e GEL -- UFRN

nao sei o que sao "negative modalities", por exemplo. > obrigada, > Valeria > >> On Wed, Aug 3, 2016 at 11:07 AM, Elaine Pimentel >> wrote: >> Prezados colegas, >> >> É com prazer que lhes convido para o nosso primeiro encontro do Lolita/GEL >

[Logica-l] Videos/slides da palestra do João Marcos agora available online!

! -- 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

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

rs 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 C

[Logica-l] Aproveitando o CONVITE...

por Fernando Ferreira e Gilda Ferreira. Sexta 30/09/2016 16h Auditório da Geografia - CCHLA - UFRN -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário

[Logica-l] Bolsa de PNPD no PPgMAE/UFRN

professor Marcelo Bourguignon Pereira no endereço m.p.bourguig...@gmail.com Saudações, -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador

[Logica-l] Fwd: New MSc in Logic, Semantics, and Verification of Programs

. - 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 3215-3820 http

[Logica-l] Primeira palestra Lolita/2017

ontrole de divulgação estatística, utilizando a técnica de "differential privacy". -- Elaine. ----- Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário - Av. Senador

Re: [Logica-l] Informações sobre inscrições disponíveis na página do EBL.

iscussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CAA1FGCJzd5c%3DeETXWqvs4Fm32eDdhTdaFPm53dih > r-brtgMrLw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA1FGCJzd5c%3DeETXWqvs4Fm32eDdhTdaFPm53dihr-brtgMrLw%40mail.gmail.

[Logica-l] Fwd: [PT] Call for Participation: International Summer School for Proof Theory in First-Order Logic

ns of Formal Proofs For more information and registration, see https://kgs.logic.at/madeira/ -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade Federal do Rio Grande do Norte Campus Universitário

[Logica-l] Palestras super interessantes na UFRN semana que vem!!

bisimilarity, perhaps the most fundamental equivalence from concurrency theory. I will also describe one of the most representative process calculi for concurrent behaviour CCS. -- Elaine. ----- Elaine Pimentel - DMAT/UFRN Address: Departamento

[Logica-l] Fwd: Fw: Bolsas Pós Doutorado - INCTMat

PPgMAE/UFRN (que faz parte do projeto) tem 4 bolsistas PQ no seu corpo docente: - Carlos Olarte - Sidarta Araújo - Artur Lemonte - Elaine Pimentel Os interessados em encaminhar propostas de trabalho com qualquer dos professores acima citados devem me comunicar a intenção de se candidatar até o dia

[Logica-l] TABLEAUX/FroCoS/ITP 2017 -- 2nd. call for posters

form of at most one page abstract, ENTCS format containing title and authors name with affiliation. The files should be sent directly to Elaine Pimentel (elaine.pimen...@gmail.com). The deadline for posters submission is June 15, 2017. The notification will be sent to authors June 30th

[Logica-l] SD 2017 Final CfP: Structures & Deduction, Oxford 8-9 Sep.

Chaudhuri -- 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

[Logica-l] TABLEAUX/FroCoS/ITP: call for grants

/FroCoS/ITP * a breakdown of the estimated amount needed Applications should be sent by August 10th 2017 by email to Elaine Pimentel (elaine.pimentel at gmail.com). Students should have their supervisor sent a brief recommendation email (limited to 2000 characters) to the same address and by the same

[Logica-l] Fwd: GCAI in Miami - Call for Posters

will retain copyright. -- 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

[Logica-l] Fwd: [PT] Logic and Philosophy of Time

Professor, Ph.D., dr.scient. Torben Braüner Programming, Logic and Intelligent Systems Research Group Department of People and Technology Roskilde University, Denmark http://www.ruc.dk/~torben <http://akira.ruc.dk/~torben> -- Elaine. -

[Logica-l] Projeto "Meninas na Ciência"

a para (a) Preencher o questionário no link abaixo (b) Divulgar entre os colegas esta pesquisa https://docs.google.com/forms/d/e/1FAIpQLSf0wVpof_7MrAdt78LbwaTKprSituFqgi6- rH0gyUob8YdfoA/viewform?c=0&w=1 Cordialmente Marcia Barbosa -- Elaine. --

Re: [Logica-l] um probleminha com logica intuicionista...

x27;e mesmo nao-derivavel em IL, pois inclui double >> negation elimination, junto com a contraposicao. >> >> voces concordam? ou eu estou "esquecendo" alguma coisa importante? >> > > Eu concordo contigo, Valéria. Tradicionalmente, "contraposição" é o

[Logica-l] Fwd: Call for Abstracts. Second SYSMICS Workshop (Vienna)

ologise if this is not the case or if you do not wish to receive such messages. To add or remove your address from this mailing list, please contact sysm...@logic.at. -- Elaine. ----- Elaine Pimentel - DMAT/UFRN Address: Departamento de

[Logica-l] Dance your phd

Saiu o resultado do concurso da Science: Dance your PHD. Ganhou uma algebrista! http://www.sciencemag.org/news/2017/11/announcing- winner-year-s-dance-your-phd-contest -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática

[Logica-l] Barcelona: Master in Pure and Applied Logic open for pre registration

Repassando. Elaine. > > Dear all, > > The biannual two-year 'Master in Pure and Applied Logic' programme for > 2018-2020, jointly organized by the University of Barcelona and by the > Polytechnical University of Catalunya, is open for (pre) registration. > > The Barcelona Logic Master caters i

[Logica-l] Call for Nominations - VCLA Awards 2018 for Master and Bachelor theses (deadline: 15 March)

-cs.at/award-call-2018/ Kindly address all inquiries to aw...@logic-cs.at VCLA Award Chairs 2018 Robert Ganian (committee co-chair) Magdalena Ortiz (general chair) Revantha Ramanayake (committee co-chair) -- Elaine. - Elaine Pimentel - DMAT/UFRN

[Logica-l] JOB 16 PhD Positions on Logical Methods in Computer Science

...@logic-cs.at -- 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 Phon

[Logica-l] Fwd: PhD Grants

Repassando. -- Elaine Begin forwarded message: > From: Giuseppe Primiero > Date: 19 May 2018 19:33:42 GMT+2 > To: Giuseppe Primiero > Subject: PhD Grants > > Dear friends > > As you might or might not know, I will be joining the Department of > Philosophy at the University of Milan starting

Re: [Logica-l] ICM 2018: Conferência de Lógica Matemática

a-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PB1NdE%2BcU_ > ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj3Q%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PB1NdE%2BcU_ohrXeV4mgF03UJE3_aO8Pje8Cyn%2BQdUj

[Logica-l] Fwd: Roy Dyckhoff, sad news

l or other arrangements yet. > > Best regards, > > -- Simon > > Professor Simon Dobson > Head of School for Computer Science > University of St Andrews > > e: hos...@st-andrews.ac.uk > t: +44 1334 461626 > -- Elaine. --

[Logica-l] Call for Applications: Helmut Veith Stipend for Female Master´s Students in Computer Science

http://www.vcla.at/2018/05/call-for-applications-helmut-veith-stipend-for-female-masters-students-in-computer-science DOWNLOAD THE FLYER http://forsyte.at/helmut-veith-stipend/ -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de

[Logica-l] Fwd: [PT] Women in Science: Helmut Veith Stipend for Female Master´s Students in Computer Science, Deadline November 30, 2018 for the enrollment in 2018/2019

/ -- 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 3215

[Logica-l] Fwd: [PT] Call for Nominations: VCLA International Student Awards 2019 - Logic and Computer Science

promoting young talent and promising researchers in these areas. RECIPIENTS OF THE VCLA INTERNATIONAL STUDENT AWARDS http://www.vcla.at/vcla-awards/ Please feel free to distribute as appropriate. -- Elaine. - Elaine Pimentel - DMAT/UFRN Address

[Logica-l] Mande seu retrato para o poster do EBMM

. Quanto mais fotos e quanto mais diversidade tivermos, mais rico ficará o poster! Participe e divulgue nas suas redes! E, naturalmente, esperamos vocês no Encontro Brasileiro de Mulheres Matemáticas! A organização. -- Elaine. - Elaine Pimentel

[Logica-l] Fwd: [FOM] Call for Nominations: E. W. Beth Dissertation Prize 2019, Deadline: 15 April 2019

/mailman/listinfo/fom -- 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

[Logica-l] VCLA award

Links: -- [1] https://www.ac.tuwien.ac.at/people/rganian/ [2] http://www.kr.tuwien.ac.at/staff/ortiz/ [3] https://www.logic.at/staffpages/revantha -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática Universidade

[Logica-l] LFMTP 2019

ersity, UK) * Daniel Hirschkoff (ENS Lyon) * Ralph Matthes (IRIT-Université Paul Sabatier) * Dale Miller (Inria-Saclay and LIX Ecole Polytechnique, France), co-chair * Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil) * Florian Rabe (University of Paris South) * Ivan Scagnetto (Univer

[Logica-l] SD19

, Russia. Sonia Marin (co-chair), IT-University of Copenhagen, Denmark. Guillaume Munch-Maccagnoni, Inria Bretagne, France. Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil. Benjamin Ralph, Inria Saclay, France. *** Submission guidelines *** We welcome submission of work that

[Logica-l] PhD scholarships at ANU

OECD quality of life survey (http://www.canberra.com.au/canberra-the-worlds-most-liveable-city/). The ANU actively seeks to promote diversity in the workplace. -- Elaine. - Elaine Pimentel - DMAT/UFRN Address: Departamento de Matemática

Re: [Logica-l] RES: (Com) Lógica

- Marília > Homepage: http://www.marilia.unesp.br/ricardotassinari > > ___ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l > > -- Elaine. - Elaine Pimentel -

[Logica-l] Mini-Curso - UFMG

. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone: 55 31 3409-5970/3409-5994 Fax: 55 31 3409-5692 http

[Logica-l] Artigos sobre Teoria das Categorias

não tem nennuma das referências acima... Obrigada, -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo

[Logica-l] Máquina de Turing

Para quem ainda não viu, é muito bonitinho!!! http://it.youtube.com/watch?v=cYw2ewoO6c4 -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702

[Logica-l] Scholarships available: Carnegie-Mellon|Portugal PhD Program in Computer Science

d=108 -- Elaine. - Elaine Pimentel - DMat/UFMG Address: Departamento de Matematica Universidade Federal de Minas Gerais Av Antonio Carlos, 6627 - C.P. 702 Pampulha - CEP 30.161-970 Belo Horizonte - Minas Gerais - Brazil Phone:

Re: [Logica-l] Re: Demanda da CAPES à SBC: Conferências da área de Lógica

rências" da > nossa área. concordo com o Mauricio e Hermann: não adianta muito incluir LICS e excluir LSFA, porque raramente alguém submete algo ao LICS. Acaba sendo irrealista :-/ Você pode sempre colocar na lista, certo? Abraços, -- Elaine. ------

[Logica-l] CADE-27 -- Anúncio de Tutoriais

e & João & Cláudia. ----- 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 Pho

[Logica-l] CADE-27 -- Chamada para voluntários

-- 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 3215-3820 http://sites.google.com/site/elainepiment

[Logica-l] Saiu hoje no Globo!!

/encontro-brasileiro-de-mulheres-matematicas/ Att, -- 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

[Logica-l] Fwd: PhD Position

- Any views or opinions presented in this email are solely those of the author and do not necessarily represent those of University of Trento. -- -- Elaine. -------

Re: [Logica-l] a pior tentativa de explicar a hipotese do continuo

;>>>>>>> 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 >>>>>>>> http

Re: [Logica-l] Fwd: Logipedia - an online encyclopedia of formal proofs

@dimap.ufrn.br. > > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAFfvUVjTBg1UpZ%2BxE%2B0rGDSV-phoZoAnn5pN21-O091Rbgkh3g%40mail.gmail.com > . > > > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > V

[Logica-l] Fwd: [TYPES/announce] Final call for contributions for the virtual WiL 2020 (4th Women in Logic Worskhop collocated with Petri Nets, IJCAR etc)

m) * Ana Sokolova (Co-chair, University of Salzburg) -- 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

[Logica-l] IJCAR 2020 - Call for Participation

Thiemann, University of Innsbruck, Austria FSCD Invited Speakers - Andrew Pitts, University of Cambridge, UK - Simona Ronchi della Rocca, Università di Torino, Italy - Brigitte Pientka, McGill University, Canada IJCAR Invited Speakers - Clark Barrett, Stanford University, USA - Elaine Pimentel

Re: [Logica-l] sobre o "Lógicos em Quarentena"

são na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0xKYZ5isN4ME_5gXDrLZY9NKW_HQ_R%2BGN3Tbn3%2BZV%2BjA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0xKYZ5isN4ME_5gXDrLZY9NKW_HQ_R%2BGN3Tbn3%2BZV%2BjA%40mail.gmail.com?utm_mediu

Re: [Logica-l] Lógicas Brasileiras - o site

ensagem 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.googl

[Logica-l] Fwd: Undergraduate Summer Internships 2021.

. Please forward to anyone interested. - Brigitte -- 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

[Logica-l] [Off] ChromeQualis

! :) Acesse a extensão aqui: https://bit.ly/2QpS6R5 Atenciosamente, -- 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º

Re: [Logica-l] sobre os efeitos negativos da estética questionável da "paraconsistent newsletter"

%3DmaP27Fe-jMECNXw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Li_qUXyzDVfaDrrW4PWzSvTbACkFe%3DmaP27Fe-jMECNXw%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Elaine. - Elaine Pimentel - DMAT/UFR

Re: [Logica-l] videopédia "Introdução Computacional à Lógica Matemática"

> > -- > > Valeria de Paiva > > http://vcvpaiva.github.io/ > > http://www.cs.bham.ac.uk/~vdp/ > > > > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" >

Re: [Logica-l] Nota de profundo pesar (falecimento do Prof. Paulo Augusto Veloso)

Triste demais... Não tenho palavras. Um abraço apertado para Sheila!! Elaine. On Sat, Nov 14, 2020, 16:30 Itala Maria Loffredo D'Ottaviano < it...@unicamp.br> wrote: > Que tristeza! > O Paulo sempre foi um exemplo para todos nós, como pessoa e como > intelectual. > Amável, atencioso, competente

  1   2   3   >