[Logica-l] LFMTP 2025 - Second Call for Papers

Marina Lenisa (University of Udine) * Chris Martens (Northeastern University, USA) * Daniele Nantes-Sobrinho, Co-Chair (Imperial College London) * Giselle Reis (CMU, Qatar) * Daniel Ventura (INF, Federal University Goiás, Brazil) -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matem

[Logica-l] LFMTP 2025 first call for papers - Birmingham, UK

Federal University Goiás, Brazil) * Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) * Marina Lenisa (University of Udine) * Chris Martens (Northeastern University, USA) * Daniele Nantes-Sobrinho, Co-Chair (Imperial College London) * Giselle Reis (CMU, Qatar) * Daniel Ventura (INF,

[Logica-l] WiL 2023 - Call for Participation

Sujata Ghosh (ISI Chennai) - Sandra Kiefer (University of Oxford) – co-chair - Cláudia Nalon (University of Brasília) - Daniele Nantes-Sobrinho (Imperial College London) – co-chair - Valeria de Paiva (Topos Institute) - Catuscia Palamidessi (INRIA) - Teph

[Logica-l] 1st Call for Contributions - Women in Logic Workshop (WiL 2023)

Sandra Kiefer (University of Oxford) – co-chair - Cláudia Nalon (University of Brasília) - Daniele Nantes-Sobrinho (Imperial College London) – co-chair - Valeria de Paiva (Topos Institute) - Catuscia Palamidessi (INRIA) - Tephilla Prince (IIT Dharwad)

[Logica-l] WiL 2022 - Call for Participation

rsity of Amsterdam) * Sandra Alves (Co-chair, University of Porto) * Lourdes Del Carmen González Huesca (Universidad Nacional Autónoma de México) * Amy Felty (University of Ottawa) * Sandra Kiefer (Co-chair, Max Planck Institute for Software Systems) * Daniele Nantes (Co-chair, University of Bra

[Logica-l] LSFA 2022 - First Call for Papers

adeira, Universidade de Aveiro, Portugal Sérgio Marcelino, University of Lisbon, Portugal Mariano Moscato, National Institute of Aerospace, USA Daniele Nantes, Universidade de Brasília, Brazil (co-chair) Vivek Nigam, Huawei Munich Research Center, Germany Carlos Olarte, Université Sorbonne Paris

[Logica-l] Palestras: Prof. Manfred Schmidt-Schauss e Prof. Christopher Lynch

da programação em: https://sites.google.com/view/xivsummerunb/theory-of-computation?authuser=0 Abraço, Daniele. <https://sites.google.com/view/xivsummerunb/theory-of-computation?authuser=0>-- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação

[Logica-l] [convite] Palestra sobre Generalized Algebraic Datatypes de OCaml para Coq

-UnB+EFFA-UFG). O Pedro é host do podcast Type Theory for All <https://www.typetheoryforall.com/>. *Informações Importantes:* Data: 15/10 Horário: 10:00 Mais informações e link zoom: https://sites.google.com/view/gtc-unb/calendar-2021 -- Daniele Nantes Grupo de Teoria da Comp

[Logica-l] [Convite] Colóquio de Matemática da Região Centro-Oeste - Sessão Matemática Aplicada

, Daniele. -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo

[Logica-l] Re: XIII Summer Workshop in Mathematics - Theoretical Computer Science Session - Universidade de Brasília

w4tTdai9mTg&feature=youtu.be I hope to see you there! Best, Daniele. On Tue, Feb 9, 2021 at 9:21 PM Daniele Nantes wrote: > Dear colleagues, > > Tomorrow's program and Zoom link of the Theoretical Computer Science > Session of the Summer Workshop in Mathematics a

[Logica-l] Re: XIII Summer Workshop in Mathematics - Theoretical Computer Science Session - Universidade de Brasília

braic Geometry and Cremona transformations.* Carolina Araújo (IMPA) 15:50 - 16:50 *Equational Unification Modulo a Non-disjoint Union of Theories* Serdar Erbatur (UT Dallas) I hope to see you there! Daniele. On Mon, Feb 8, 2021 at 6:24 PM Daniele N

[Logica-l] Re: XIII Summer Workshop in Mathematics - Theoretical Computer Science Session - Universidade de Brasília

there! Best, Daniele On Fri, Feb 5, 2021 at 7:24 PM Daniele Nantes wrote: > Dear colleagues, > > I would like to invite you to participate in the *XVIII Seminário > Informal (, mas Formal!) do GTC-UnB > <https://sites.google.com/view/gtc-unb/summer-workshop-2021> --

[Logica-l] XIII Summer Workshop in Mathematics - Theoretical Computer Science Session - Universidade de Brasília

0 - 15:50 break break break 15:50-16:50 Leonardo Melo (MAT-UnB) Serdar Erbatur (UT Dallas) Renata Wasserman (IME-USP) The registration is free and can be done in: https://www.mat.unb.br/verao2021/inscricoes_en.html I hope to see you there! Warm regards, Daniele. -- Daniele Nantes Grupo de

[Logica-l] XVIII Seminário Informal (, mas Formal!) do GTC-UnB

Institute, Berkeley, CA e DI-Puc-Rio) Serdar Erbatur (UT Dallas) Renata Wasserman (IME-USP) 17:30 - 18:20 Andres González (MAT-UnB) Leonardo Melo (MAT-UnB) Espero vê-los lá! Um abraço, Daniele. -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade

[Logica-l] GTC-UnB/EFFA Seminars -- Prof. Temur Kutsia (Johannes Kepler Univ)

mp;sa=D&sntz=1&usg=AFQjCNHcm8VEbzU0hStbSl9ScJMZiWBnxg> Johannes Kepler University Linz Horário: 10:30 (UTC-3) Link: https://meet.google.com/byd-pyst-jxt Mais informações em: https://sites.google.com/view/gtc-unb/calendar Att., Daniele -- Daniele Nantes Grupo de Teoria da Computaçã

[Logica-l] GTC-UnB/EFFA-UFG Seminars - Profa. Giselle Reis (CMU-Qatar)

. --- Unification of Multisets with Multiple Labelled Multiset Variables Profa. Giselle Reis Carnegie Mellon University (CMU-Qatar) Dia:03/12 Horário: 10:30 Link: https://meet.google.com/zoz-zbzt-zdg -- Daniele Nantes Grupo de Teoria da

[Logica-l] EFFA-UFG + GTC-UnB - Seminars -- Profa. Elaine Pimentel (DMAT/UFRN)

10:00 (UTC-3) Link: https://meet.google.com/wie-cvrt-ksk -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos

[Logica-l] EFFA-UFG + GTC-UnB Seminars - convida

ing with a simpler propositional one. Joint work with Favio Miranda and Selene Linares. Horário: 11:00 (UTC-3) Link: https://meet.google.com/zsg-txbd-eea Att., Daniele. -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/

[Logica-l] Seminar GTC-UnB + EFFA - Andrew Marshall (U. Mary Washington)

s. We review a new tool for automating some of the above methods. Finally, we outline some future work and open questions. -------- -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- Você e

[Logica-l] [convite] Seminário de Teoria da Computação (GTC-UnB + EFFA/UFG)

TZvOUdFUT09 <https://www.google.com/url?q=https://us02web.zoom.us/j/86258333778?pwd%3DRHA2WkdKQmpZZUZaMmVaTTZvOUdFUT09&sa=D&source=calendar&usd=2&usg=AOvVaw3L1Yno_XeY15TkOPJPRfcG> Meeting ID: 862 5833 3778 Passcode: 790028 -- Daniele Nantes Grupo de Teoria da Computação

[Logica-l] UNIF 2019 ( Deadline Extension)

disseminating it among your interested students and colleagues, and of course much more grateful if you consider submitting a paper. Best regards Serdar Erbatur and Daniele Nantes UNIF 2019 Co-chairs === (Deadline

[Logica-l] Third CFP - International Workshop on Unification ( UNIF 2019)

if you consider submitting a paper. Best regards Serdar Erbatur and Daniele Nantes UNIF 2019 Co-chairs -- Third Call for Papers: UNIF 2019 --- Website: http

[Logica-l] UNIF2019 Call for Papers

much more grateful if you consider submitting a paper. Best regards Serdar Erbatur and Daniele Nantes UNIF 2019 Co-chairs -- Second Call for Papers: UNIF 2019 Website: http://www.mat.unb.br/unif2019 The 33rd International Workshop

[Logica-l] Fwd: [Todos] Edital para professor substituto no MAT,

Caros, Segue a chamada para professores substitutos do Departamento de Matemática da Universidade de Brasília. Abraços, Daniele. -- Forwarded message - From: Date: Wed, 5 Sep 2018, 15:07 Subject: [Todos] Edital para professor substituto no MAT, To: Prezados srs (as) Está ab

Re: [Logica-l] Material didático sobre TC

OMa35momp-9gPHaZfiSAtkX4jUvQQVvnrteny%2B4tA%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- Você está recebendo esta mensagem

[Logica-l] Full professor position Department of Mathematics- University of Brasília

-Topologia-eou-Probabilidade Best regards, Daniele. -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes <http://www.mat.unb.br/%7Ednantes> -- Você está recebendo esta mensagem porque se inscreveu no

[Logica-l] Mestrado e Doutorado em Matemática pela UnB

res informações no email posg...@mat.unb.br ou pelo telefone (061) 3107-6482. Abraço, -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes <http://www.mat.unb.br/%7Ednantes> -- Você está recebendo esta mens

[Logica-l] George Boole- legacy of a mathematics revolutionary (Prof. Evgeny Khukhro)

famous problems, like the continuum hypothesis, were solved by the methods of mathematical logic. Various decidability and complexity theories were developed giving theoretical foundations to computer science. Conto com a presença de todos, Abraços, -- Daniele Nantes Grupo de Teoria da Computação