Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 11 atualizações em 2 temas

Parabéns, Renata. Maravilha! Mauricio Ayala Rincon From: logica-l@dimap.ufrn.br Sent: Wednesday, November 6, 2024 22:59 To: Destinatários de resumo por e-mail Subject: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 11 atualizações em 2

[Logica-l] UNIF 2024 - Call for Participation

UNIF 2024: CALL FOR PARTICIPATION The 38th International Workshop on Unification Nancy, France, July 2, 2024 A satellite workshop of CADE/IJCAR, affiliated with IJCAR Website: https://lat.inf.tu-dresden.de/unif2024 * The International Workshop on Unification (UNIF) is a yearl

[Logica-l] Re: Newton da Costa [1929-2024]

Caros, Em nome do Grupo de Teoria da Computação da UnB, vão os nossos mais sentidos pêsames pela partida do Professor Newton da Costa. Ainda que não tratamos os temas do Professor, admiramos o seu talento e dedicação permanente na construção de um legado científico admirável, hoje em manos dos se

[Logica-l] Track in Logic and Computation - XVL Summer Workshop in Mathematics UnB 7-9/Fev/2024

Caros, Estão todos convidados às palestras do nosso seminário anual, como parte do XVI SWMath UnB (https://mat.unb.br/verao2024/verao.html). A partir de hoje 14:00, teremos palestras da pesquisa dos nossos alunos e convidados num programa científico organizado por Elaine Pimentel, e Thaynara de

[Logica-l] LSFA 2023 2nd CFP

Caros, segundo chamado para LSFA 2023 - Afiliado a FSCD e CADE 2023. Mauricio. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscriçã

[Logica-l] LSFA 2023 / First CFPs

Caros, De interesse. Primeira chamada de LSFA 2023. Mauricio. -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e

[Logica-l] LPAR-24 (Logic for Programming, Artificial Intelligence and Reasoning) Deadlines: 6/03a, 13/04p

Dear colleagues, another meeting of interest in computational logic, LPAR 2023, in the LA region. Mauricio. From: David Fuenmayor Sent: Friday, February 17, 2023 21:00 To: cl-isabelle-us...@lists.cam.ac.uk; cicm-memb...@lists.informatik.uni-erlangen.de

[Logica-l] 2nd Call for Papers, Conference on Intelligent Computer Mathematics (CICM 2023) deadline: 27/03a, 03/04p

solver: Certificates for SAT and QBF *** CICM 2023 Programme committee *** - Jesús Aransay (Universidad de La Rioja, Spain) - Mauricio Ayala-Rincon (Universidade de Brasilía, Brazil) - Haniel Barbosa (Universidade Federal de Minas Gerais, Brazil) - Jasmin Blanchette (Vrije Universiteit Amsterdam, The

[Logica-l] Publicação Post-Proceedings LSFA 2021 - Vol. 357 EPTCS

Caros, somente para anunciar a publicação dos post-proceedings de LSFA 2021: https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?LSFA2021 Eduardo Bonelli, Mauricio Ayala-Rincon --//-- "Proceedings 16th Logical and Semantic Frameworks with Applications" volume 357 EPTCS Preface Maur

[Logica-l] Convite 19o Seminário Informal (+Formal!) GTC UnB

Caros, próxima semana, 18-21 Janeiro, como parte do XIV Summer Workshop in Mathematics, Thematic Session on Theory of Computation, estão todos convidados a participar de palestras em nosso 19o Seminário Informal (+Formal) do Grupo de Teoria da Computação da UnB. O Plenary Speaker da área de

[Logica-l] Fwd: [Fscd.conference] FSCD 2021: Final Call for (Online) Participation (closing on Sun, July 11)

Caros ainda tempo para registro for-free. Em particular, LSFA. Mauricio. --//-- CALL FOR PARTICIPATION Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 – July 24, 2021, Buenos Aires, Argentina https://fscd2021.dc.uba.ar/ In-cooperation with

[Logica-l] FSCD 2021, LSFA 2021, Call for (Online) Participation

Caros, inscrições já abertas (for free) para FSCD e LSFA 2021. Mauricio. -- Forwarded message - From: *Alejandro Díaz-Caro* > Date: Mon, 14 Jun 2021 at 09:46 Subject: Fwd: FSCD 2021: Call for (Online) Participation                        CA

[Logica-l] Cursos ECI 2021: lnscrição 14/6

Prezados, a pedido de Alejandro Díaz-Caro, envio convite abaixo para a *Escuela de Ciencias Informáticas***. São cursos de 15h, e  neste ano ECI será remota e gratuita. Destaco os mini-cursos abaixo. M2: "Introduction to homotopy type theory"

[Logica-l] LSFA 2021 - extended deadline - affiliated to FSCD 2021

[Extended deadline] ——//——     16th Logical and Semantic Frameworks with Applications - LSFA 2021     23-24 July 2021    https://mat.unb.br/lsfa2021   Affiliated to FSCD 2021, Buenos Aires, Argentina (O

[Logica-l] Last CFPs LSFA 2021 - Affiliated to FSCD 2021

ience/, in press. * Special Issue LSFA 2019+2020, /Mathematical Structures in Computer Science/, in progress." Mauricio Ayala-Rincon, Eduardo Bonelli LSFA 2021 PC chairs -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cance

[Logica-l] UNIF 2021: second call for papers

UNIF 2021 - 35th International Workshop on Unification 18th of July 2021, Buenos Aires, Argentina https://www.uoh.cl/unif-2021/ SECOND CALL FOR PAPERS UNIF 2021 is associated with FSCD 2021 and will be a purely virtual event. TOPIC: Unification is concerned with the problem of identifying giv

[Logica-l] Second CFPs LSFA 2021, affiliated to FCSD 2021

——//——     16th Logical and Semantic Frameworks with Applications - LSFA 2021     23-24 July 2021    https://mat.unb.br/lsfa2021   Affiliated to FSCD 2021, Buenos Aires, Argentina (Online)

[Logica-l] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021

2nd Call for Papers formal papers - informal papers - doctoral programme 14th Conference on Intelligent Computer Mathematics - CICM 2021 - July 26-31, 2020 Timisoara, Romania http://www.cicm-conference.org/2021 -- UPDATE: Invite

[Logica-l] First Call for Papers Logical and Semantic Frameworks with Applications LSFA 2021

——//——     16th Logical and Semantic Frameworks with Applications - LSFA 2021                   23-24 July 2021                 https://mat.unb.br/lsfa2021            Affiliated to FSCD 2021, Buenos Aires, Argentin

[Logica-l] Special Issue on Confluence - Mathematical Structures in Computer Science - Extended deadline

Special Issue on Confluence in Mathematical Structures in Computer Science https://www.cambridge.org/core/news/confluence This Special Issue on Confluence aims to publish recent advances presented at, but not restricted to leading conferences a

[Logica-l] Second call - Special Issue on Confluence - Mathematical Structures in Computer Science

Special Issue on Confluence in Mathematical Structures in Computer Science https://www.cambridge.org/core/news/confluence This Special Issue on Confluence aims to publish recent advances presented at, but not restricted to leading conferences and workshops such as IWC (collocated with FSCD in

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

Meu sentido pésame para Shelia e filhas. Espero a união familiar brinde a fortaleza necessária para superar essa grande perda. Deste nuestro lado, sobrará nosso reconhecimento ao excelente exemplo de vida de Paulo. Paulo Veloso deixou para nossa comunidade um grande legado, que eu tive o priv

[Logica-l] Call for Workshops FSCD 2021

2020 Notification of success of proposals: 20 December, 2020 Best regards, Carlos Lopez Pombo, Mauricio Ayala-Rincon FSCD 2021 Workshop Chairs -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse g

[Logica-l] Special Issue on Confluence - Mathematical Structures in Computer Science

Special Issue on Confluence in Mathematical Structures in Computer Science This Special Issue on Confluence aims to publish recent advances presented at, but not restricted to leading conferences and workshops such as IWC (collocated with FSCD in recent editions: FLoC 2018, FSCD 2019, Paris No

[Logica-l] Re: Prova de NP=PSPACE no Bulletin of Section of Logic

Caro Hermann, parabéns pela coragem e perseverância com esse trabalho. Você honra a nossa comunidade! Um forte abraço, Mauricio On 12/08/20 07:10, logica-l@dimap.ufrn.br wrote: rá em breve a nossa prova, do prof. Lew Gordeev e minha, de que NP=PSPACE. O artigo está na seção de EARLY VIEW a

[Logica-l] International Workshp on Confluence program - 30 June 2020 (5am-1pm)

Dear colleagues, below the program of the  IWC 2020, affiliated to FSCD-IJCAR 2020. Do not miss the opportunity!  This year IWC, and all events affiliated to FSCD-IJCAR have registration free. For additional details: http://iwc2020.cic.unb.br Please, if you want to attend, take into account t

[Logica-l] International Workshop on Confluence [IWC 2020] - Deadline extension

Dear Colleagues, please consider submission to IWC 2020. It will run virtually. Bests, Mauricio. --//////////////////////////-- Last Call For Papers 9th International Workshop on Confluence

[Logica-l] International Workshop on Confluence [IWC 2020] - 2nd CFP

Dear colleagues, please, consider submitting to IWC 2020. Now, a virtual meeting. Mauricio Ayala-Rincon --//////////////////////////-- Second Call For Papers 9th International Workshop on Confluence

[Logica-l] International Workshop on Confluence IWC 2020 - 1st CFPs

Dear Colleagues, Please, consider submitting your work to IWC 2020. Apologies if you receive duplicates of this CFPs. Mauricio Ayala-Rincon --//////////////////////////--   First Call For Papers 9th

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 7 atualizações em 2 temas

Parabéns Walter e Bruno.  Excelente! Mauricio. -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discus

[Logica-l] Main CFP CPP 2020 - Certified Programs and Proofs

chair) - Catalin Hritcu (Inria Paris, France -- co-chair) - Nada Amin (Harvard University - USA) - Jesús María Aransay Azofra (Universidad de La Rioja - Spain) - Mauricio Ayala-Rincon (Universidade de Brasilia - Brazil) - Liron Cohen (Cornell University - USA) - Dominique Devriese (Vrije Universiteit Br

[Logica-l] [off-topic] Fwd: SBPC lança abaixo-assinado em defesa do CNPq

Caro Marcos e colegas, em primeiro lugar agradeço a Marcos por disseminar o abaixo-assinado em defesa do CNPq. É essencial assinarmos massivamente. Não se pode permitir o desmonte do CNPq: http://www.jornaldaciencia.org.br/sbpc-lanca-abaixo-assinado-em-defesa-do-cnpq/ Acho que estamos sen

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 6 atualizações em 5 temas

tação Aplicada: http://www.ppgca.ct.utfpr.edu.br == Voltar ao início <#digest_top> E-mail de compilação para logica-l@dimap.ufrn.br - 4 atualizações em 3 temas <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/e13c

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

Caros João e Vivek, e desencorajador como sempre a classificação de conferências da comunidade de CC, e muito mais quando baseadas num indicador tão impreciso como google schoolar.  Mas não podemos perder o foco em que o mais relevante são os períodicos... Outrossim, sobre a planilha qualis de c

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas

<http://fscd-conference.org/>(2016 ... 2019)" O assunto é que essa conferência continua sendo é a central en teoria de reescrita, teoria de tipos y cálculo lambda. Ambas RTA eTLCA tinham qualis B1 em 2012. Mauricio. On 17/07/19 10:24, Mauricio Ayala-Rincon wrote: João Marcos e

Re: [Logica-l] E-mail de compilação para logica-l@dimap.ufrn.br - 8 atualizações em 4 temas

João Marcos e colegas, minha sugestão é que sejam incluídas nessa lista das 20+, tanto WoLLIC quanto LSFA, como procedimento normal de cada comissão  (SBMF, SBCC, etc para comissões como MF e CD). Por outra parte, conferências como CADE, IJCAR, ITP, NASA Formal Methods, CPP, etc seguramente

[Logica-l] Extended Deadline - International Workshop on Confluence IWC 2019 - April 22(a), April 29(p)

Dear colleagues, My apologies for multiple emails. Mauricio. --//////////////////////////-- Final Call For Papers - EXTENDED DEADLINE (April 22 abs., April 29 p.)     8th International Workshop on Confluence  

[Logica-l] CFPs International Workshop on Confluence IWC 2019

Dear colleagues, My apologies for eventual duplication of this message. Please consider submitting your extended abstract to IWC 2019 collocated with FSCD. --//////////////////////////-- Call For Papers     8t

[Logica-l] CPP 2020 - First call for papers

Members - Jasmin Christian Blanchette (VU Amsterdam, Netherlands -- co-chair) - Catalin Hritcu (Inria Paris, France -- co-chair) - Nada Amin (Harvard University - USA) - Jesús María Aransay Azofra (Universidad de La Rioja - Spain) - Mauricio Ayala-Rincon (Universidade de Brasilia

[Logica-l] First CFPs International Workshop on Confluence

Dear colleagues, My apologies for multiple emails. Please consider submitting your extended abstract to IWC 2019 collocated with FSCD. Mauricio Ayala-Rincon --//////////////////////////--                     First Call For Papers

[Logica-l] FSCD 2019 Last Call for Papers

(Apologies for multiple copies of this announcement. Please circulate.) --- *Updated information: titles and abstracts of invited talks are now available* ---                                CALL FOR PAPERS                      Fourth International Conference on         F

[Logica-l] Publicação post-proceedings LSFA 2017

Caros, não sei se já passou por logica-l, mas (re)envio conteúdo da publicação dos post-proceedings de LSFA 2017. Parabéns a Renata Wasserman e Sandra Alves pelo excelente trabalho de edição e também aos autores.  O conteúdo, colado abaixo, está disponível on-line, ENTCS vol 338: https://www.sci

[Logica-l] UNIF 2018 - Last CFPs

adows (US Naval Research Laboratory) Paliath Narendran (U at Albany - State U of New York) Christophe Ringeissen (Inria Nancy) Manfred Schmidt-Schauss (Johann Wolfgang Goethe U Frankfurt) ** Organizers ** Mauricio Ayala-Rincon (Universidade de Brasilia) ay...@unb.br Philippe Balbiani (CNRS - Tou

[Logica-l] UNIF 2018 - Third Call for Papers

York) Christophe Ringeissen (Inria Nancy) Manfred Schmidt-Schauss (Johann Wolfgang Goethe U Frankfurt) ** Organizers ** Mauricio Ayala-Rincon (Universidade de Brasilia) ay...@unb.br Philippe Balbiani (CNRS - Toulouse University) philippe.balbi...@irit.fr -- Você está recebendo esta mensagem porq

[Logica-l] UNIF 2018 - Second Call for Papers

York) Christophe Ringeissen (Inria Nancy) Manfred Schmidt-Schauss (Johann Wolfgang Goethe U Frankfurt) ** Organizers ** Mauricio Ayala-Rincon (Universidade de Brasilia) ay...@unb.br Philippe Balbiani (CNRS - Toulouse University) philippe.balbi...@irit.fr -- Você está recebendo esta mensagem porq

[Logica-l] UNIF 2018 affiliated to FSCD 2018 part of FLoC - FIRST CFPs

York) Christophe Ringeissen (Inria Nancy) Manfred Schmidt-Schauss (Johann Wolfgang Goethe U Frankfurt) ** Organizers ** Mauricio Ayala-Rincon (Universidade de Brasilia) ay...@unb.br Philippe Balbiani (CNRS - Toulouse University) philippe.balbi...@irit.fr -- Você está recebendo esta mensagem porq

[Logica-l] NFM2018 - last CFP

amera Ready Deadline: February 6, 2018 Symposium: April 17-19, 2018 Program Committee Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Dirk Beyer, LMU Munich, Germany Nikolaj Bjorner, Microsoft, USA Jasmin

[Logica-l] Call for papers NFM2018

-- Erika Abraham, RWTH Aachen University, Germany Mauricio Ayala-Rincon, Universidade de Brasilia, Brazil Julia Badger, NASA, USA Dirk Beyer, LMU Munich, Germany Nikolaj Bjorner, Microsoft, USA Jasmin Christian Blanchette, Vrije Universiteit Amsterdam, The Netherlands Sylvie Boldo, Inria,

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

Caros, Certamente a perça de Mike Gordon chega muito cedo. Com certeça será lembrado em Brasília JM. Ele teve uma função importante em provadores dos 70 como LCF e foi o motor do provador HOL. Em princípio, a antecessora de Interactive Theorem Proving, ITP, TPHOL iniciou como um encontro de usuá

[Logica-l] Special issue LSFA 2014 published

Dear colleagues, only to announce the publication of the Special Issue on Logical and Semantica Frameworks with Applications (LSFA 2014) in Vol 685 in Theoretical Computer Science:

[Logica-l] LSFA 2014 - Second CFPs

Cambridge, England) Rene Thiemann (University of Innsbruck, Austria) PROGRAMME COMMITTEE Elvira Albert (U. Complutense de Madrid, Spain) Sandra Alves (U. de Porto, Portugal) Sandra de Amo (UFU, Brazil) Carlos Areces (U. Nacional de Cordoba, Argentina) Mauricio Ayala-Rincon (UnB, Brazil -- co-chair

[Logica-l] LSFA 2014 - First CFPs - Deadline 25 May

a Alves (U. de Porto, Portugal) Sandra de Amo (UFU, Brazil) Carlos Areces (U. Nacional de Cordoba, Argentina) Mauricio Ayala-Rincon (UnB, Brazil -- co-chair) Mario Benevides (UFRJ, Brazil) Stefan Berghofer (TU Munich, Germany) Walter Carnielli (UNICAMP, Brazil) Carlos Castro (UT Federico Santa Ma

[Logica-l] LSFA 2014 - First CFPs - deadline 25th May 2014

COMMITTEE Elvira Albert (U. Complutense de Madrid, Spain) Sandra Alves (U. de Porto, Portugal) Sandra de Amo (UFU, Brazil) Carlos Areces (U. Nacional de Cordoba, Argentina) Mauricio Ayala-Rincon (UnB, Brazil -- co-chair) Mario Benevides (UFRJ, Brazil) Stefan Berghofer (TU Munich, Germany) Walter Carnielli

[Logica-l] CF participation LSFA 2013 - IME/USP

Caros, abaixo o programa do LSFA 2013 a ser realizado no IME/USP os dias 2-3 de setembro. Mauricio. --//-- LSFA 2013 http://lsfa.ime.usp.br/lsfa2013 Monday, 2nd September 2013 9.00-10.30 Tutorial 1 First Steps in Hybrid Logics Carlos Areces 11.00-12.30 Tutorial 2 A Tour of Analytic Tableaux a

[Logica-l] CF participation DCM 2013 (satellite of CONCUR)

Caros, vai o programa do 9th DCM, a ser realizado nesta segunda, dia 26 de Agosto em BA. Mauricio. 9th IW on Developments in Computational Models - DCM 2013 Buenos Aires, 26 de Agosto, 2013 http://www.dcm-workshop.org.uk/2013 09:00-10:00 Invited Talk: Turing's Normal Numbers: Toward

[Logica-l] Remider DCM 2013 deadline: 1st June, 2013

- Notification: 1 July 2013 - Pre-proceedings version due: 1 August 2013 - Workshop: 26 August 2013 INVITED SPEAKER: Veronica Becher (Universidad de Buenos Aires, Argentina) PROGRAMME COMMITTEE: Pablo Arrighi (France) Mauricio Ayala Rincon (Brazil) co-chair Pablo Barcelo (Chile) Mario Benevides (Brazil

[Logica-l] Reminder LSFA 2013 deadline: 26th May, 2013

utense de Madrid, Spain) Mauricio Ayala-Rincon (UnB, Brazil) Eduardo Bonelli (U. Nacional de Quilmes, Argentina) Ana Bove (Chalmers University of Technology, Sweden) Carlos Castro (U. Tecnica Federico Santa Maria, Chile) Adriana Compagnoni (Stevens Institute of Technology, USA) Amy Felty (U. Ottawa, Ca

[Logica-l] Call for papers DCM 2013

-proceedings version due: 1 August 2013 - Workshop: 26 August 2013 INVITED SPEAKER: Veronica Becher (Universidad de Buenos Aires, Argentina) PROGRAMME COMMITTEE: Pablo Arrighi (France) Mauricio Ayala Rincon (Brazil) co-chair Pablo Barcelo (Chile) Mario Benevides (Brazil) Eduardo Bonelli (Argentina

Re: [Logica-l] Digest Logica-l, volume 77, assunto 24

Caros, sobre a "morte prematura" de LSFA e indexação de conferências via SHINE, observo que as publicações de ENTCS e EPTCS, series nas quais pos-proceedings do LSFA foram publicadas, são qualificadas como B2 e B5, respectivamente. Dessa forma, acho prematuro falar de morte prematura. -- Maur

Re: [Logica-l] Logica-l Digest, Vol 77, Issue 2

Para ilustrar a distorsão, enumero algumas publicações da área teórica. A verdade é não existe modelo matemático nem sistema dedutivo, que permita computar/decidir o que é feito para generar o qualis da computação. Journal of Automated Reasoning, QUALIS B1, JCR 0.714(2011). Mathematics of Com

[Logica-l] Qualis em Lógica Computacional

Prezados, como já apontado por diversos colegas nesta lista, a área de lógica computacional (e fundamentos da computação) está em desvantagem perante o CA de Computação da CAPES. Dessa forma, além do levantamento da lista de conferencias é necessário, que estas sejam indicadas em diversos CAs