[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

[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] 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

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

[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] 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] 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] [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] 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] 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] 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] 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] 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] 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] 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] 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] 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

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] [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] [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] 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] 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] 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] 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 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] 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,