LQ.Quarentena History
Show minor edits - Show changes to markup
Changed lines 16-18 from:
| Edson Bezerra | Proof systems for some many-valued modal logics | 26/04/2022 14:00h | https://meet.google.com/czb-xhvv-wig |
to:
Added line 21:
| Edson Bezerra | Proof systems for some many-valued modal logics | 26/04/2022 14:00h | YouTube |
Changed lines 3-6 from:
Seminário "Lógicos em Quarentena"
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões. Somos parte do The Logic Supergroup.
to:
Seminário "Lógicos [saindo da | em] Quarentena"
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos [saindo da | em] Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões. Somos parte do The Logic Supergroup.
Changed lines 12-14 from:
2021
to:
2022
Added line 16:
| Edson Bezerra | Proof systems for some many-valued modal logics | 26/04/2022 14:00h | https://meet.google.com/czb-xhvv-wig |
Changed lines 16-18 from:
| Jean-Yves Beziau (DF/UFRJ) | The 5th Logical Notion - Solutions to the Enigma | 18/11/2021 16:00h | http://meet.google.com/wki-omha-cbw |
to:
Added line 21:
| Jean-Yves Beziau (DF/UFRJ) | The 5th Logical Notion - Solutions to the Enigma | 18/11/2021 16:00h | YouTube |
Deleted line 15:
| Martin Escardo (University of Birminghan) | Equality of mathematical structures | 04/11/2021 16:00h | https://meet.google.com/irx-auep-ype |
Added line 22:
| Martin Escardo (University of Birminghan) | Equality of mathematical structures | 04/11/2021 16:00h | YouTube |
Changed line 16 from:
| Martin Escardo (University of Birminghan) | TBA | 04/11/2021 16:00h | https://meet.google.com/irx-auep-ype |
to:
| Martin Escardo (University of Birminghan) | Equality of mathematical structures | 04/11/2021 16:00h | https://meet.google.com/irx-auep-ype |
Changed line 16 from:
| Martin Escardo (University of Birminghan) | TBA | 04/11/2021 16:00h | TBA |
to:
| Martin Escardo (University of Birminghan) | TBA | 04/11/2021 16:00h | https://meet.google.com/irx-auep-ype |
Deleted line 15:
| Gabriel Scherer (INRIA) | Open Access in Programming Languages research | 21/10/2021 11:00h | https://meet.google.com/urw-ycgi-qqu |
Added line 23:
| Gabriel Scherer (INRIA) | Open Access in Programming Languages research | 21/10/2021 11:00h | YouTube |
Changed line 16 from:
| Gabriel Scherer (INRIA) | Open Access in Programming Languages research | 21/10/2021 11:00h | TBA |
to:
| Gabriel Scherer (INRIA) | Open Access in Programming Languages research | 21/10/2021 11:00h | https://meet.google.com/urw-ycgi-qqu |
Changed line 16 from:
| Gabriel Scherer (INRIA) | TBA | 21/10/2021 11:00h | TBA |
to:
| Gabriel Scherer (INRIA) | Open Access in Programming Languages research | 21/10/2021 11:00h | TBA |
Deleted line 15:
| Luis Felipe Bartolo Alegre (Sociedade Peruana de Epistemologia e Lógica) | Can we test inconsistent empirical theories? | 23/09/2021 16:00h | http://meet.google.com/njo-jkah-hjz |
Added line 24:
| Luis Felipe Bartolo Alegre (Sociedade Peruana de Epistemologia e Lógica) | Can we test inconsistent empirical theories? | 23/09/2021 16:00h | YouTube |
Deleted line 15:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | http://meet.google.com/khf-vgbg-wgc |
Added line 25:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | YouTube |
Changed line 16 from:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | http://meet.google.com/khf-vgbg-wgc |
to:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | http://meet.google.com/khf-vgbg-wgc |
Deleted line 15:
| José Siqueira (University of Cambridge) | Formas categóricas da teoria dos conjuntos internos | 26/08/2021 16:00h | http://meet.google.com/zcv-fszm-ddd |
Added line 26:
| José Siqueira (University of Cambridge) | Formas categóricas da teoria dos conjuntos internos | 26/08/2021 16:00h | YouTube |
Changed lines 16-17 from:
(:comment || [[https://livyreal.github.io|Livy Real]] (B2W) || TBA || TBA || TBA || :)
| José Siqueira (University of Cambridge) | TBA | 26/08/2021 16:00h | TBA |
to:
| José Siqueira (University of Cambridge) | Formas categóricas da teoria dos conjuntos internos | 26/08/2021 16:00h | http://meet.google.com/zcv-fszm-ddd |
Changed line 28 from:
| Ciro Russo (UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | YouTube |
to:
| Ciro Russo (DM/UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | YouTube |
Deleted line 16:
| Ciro Russo (UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | http://meet.google.com/eke-zrxv-jai |
Added line 28:
| Ciro Russo (UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | YouTube |
Changed line 17 from:
| Ciro Russo (UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | http://meet.google.com/eke-zrxv-jai |
to:
| Ciro Russo (UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | http://meet.google.com/eke-zrxv-jai |
Deleted line 16:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | http://meet.google.com/ycr-pwuj-xok |
Added line 29:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | YouTube |
Changed line 17 from:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | http://meet.google.com/ycr-pwuj-xok |
to:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | http://meet.google.com/ycr-pwuj-xok |
Changed line 17 from:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | http://meet.google.com/tmx-wpxx-nim |
to:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | http://meet.google.com/ycr-pwuj-xok |
Changed line 17 from:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | Thttp://meet.google.com/tmx-wpxx-nim |
to:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | http://meet.google.com/tmx-wpxx-nim |
Changed line 17 from:
| Andrés Villaveces (Universidad Nacional de Colombia) | TBA | 05/08/2021 16:00h | TBA |
to:
| Andrés Villaveces (Universidad Nacional de Colombia) | Completeness as (topological) Reconstruction (of logical properties) | 05/08/2021 16:00h | Thttp://meet.google.com/tmx-wpxx-nim |
Changed line 17 from:
(:comment || [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || TBA || 29/07/2021 16:00h || TBA || :)
to:
| Andrés Villaveces (Universidad Nacional de Colombia) | TBA | 05/08/2021 16:00h | TBA |
Changed line 17 from:
| Andrés Villaveces (Universidad Nacional de Colombia) | TBA | 29/07/2021 16:00h | TBA |
to:
(:comment || [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || TBA || 29/07/2021 16:00h || TBA || :)
Added line 20:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | http://meet.google.com/khf-vgbg-wgc |
Deleted line 21:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | http://meet.google.com/khf-vgbg-wgc |
Added line 20:
| Luis Felipe Bartolo Alegre (Sociedade Peruana de Epistemologia e Lógica) | Can we test inconsistent empirical theories? | 23/09/2021 16:00h | http://meet.google.com/njo-jkah-hjz |
Changed line 23 from:
| Jean-Yves Beziau (DF/UFRJ) | The 5th Logical Notion - Solutions to the Enigma | 18/11/2020 16:00h | http://meet.google.com/wki-omha-cbw |
to:
| Jean-Yves Beziau (DF/UFRJ) | The 5th Logical Notion - Solutions to the Enigma | 18/11/2021 16:00h | http://meet.google.com/wki-omha-cbw |
Added line 23:
| Jean-Yves Beziau (DF/UFRJ) | The 5th Logical Notion - Solutions to the Enigma | 18/11/2020 16:00h | http://meet.google.com/wki-omha-cbw |
Changed line 22 from:
| Martin Escardo (University of Birminghan) | TBA | 07/11/2021 16:00h | TBA |
to:
| Martin Escardo (University of Birminghan) | TBA | 04/11/2021 16:00h | TBA |
Added line 22:
| Martin Escardo (University of Birminghan) | TBA | 07/11/2021 16:00h | TBA |
Added lines 20-21:
| Angeline Aguinaldo (University of Maryland) | Diary of a software engineer using categories | 09/09/2021 16:00h | http://meet.google.com/khf-vgbg-wgc |
Deleted line 16:
| Tero Tulenheimo (CNRS-STL & Université de Lille) | Objects and Modalities | 08/07/2021 14:00h | http://meet.google.com/yjz-ayex-wen |
Added line 24:
| Tero Tulenheimo (CNRS-STL & Université de Lille) | Objects and Modalities | 08/07/2021 14:00h | YouTube |
Changed line 19 from:
| Ciro Russo (UFBA) | TBA | 12/08/2021 16:00h | TBA |
to:
| Ciro Russo (UFBA) | Coproduct and amalgamation of deductive systems by means of ordered algebras | 12/08/2021 16:00h | http://meet.google.com/eke-zrxv-jai |
Changed line 17 from:
| Tero Tulenheimo (Université de Lille & Tampere University) | TBA | 08/07/2021 14:00h | TBA |
to:
| Tero Tulenheimo (CNRS-STL & Université de Lille) | Objects and Modalities | 08/07/2021 14:00h | http://meet.google.com/yjz-ayex-wen |
Deleted line 16:
| Michael Barany (University of Edinburgh) | "Attempts to link scientific activities to political and societal issues": Boycotts, politics, and the creation of the International Mathematical Union. | 24/06/2021 16:00h | YouTube |
Added line 25:
| Michael Barany (University of Edinburgh) | "Attempts to link scientific activities to political and societal issues": Boycotts, politics, and the creation of the International Mathematical Union. | 24/06/2021 16:00h | YouTube |
Changed line 17 from:
| Michael Barany (University of Edinburgh) | "Attempts to link scientific activities to political and societal issues": Boycotts, politics, and the creation of the International Mathematical Union. | 24/06/2021 16:00h | http://meet.google.com/umi-upuz-gph |
to:
| Michael Barany (University of Edinburgh) | "Attempts to link scientific activities to political and societal issues": Boycotts, politics, and the creation of the International Mathematical Union. | 24/06/2021 16:00h | YouTube |
Changed line 17 from:
| Michael Barany (University of Edinburgh) | TBA | 24/06/2021 16:00h | TBA |
to:
| Michael Barany (University of Edinburgh) | "Attempts to link scientific activities to political and societal issues": Boycotts, politics, and the creation of the International Mathematical Union. | 24/06/2021 16:00h | http://meet.google.com/umi-upuz-gph |
Deleted line 16:
| Davide Trotta (Università di Pisa) | The Gödel fibration | 10/06/2021 16:00h | https://meet.google.com/iit-jawp-kyf |
Added line 26:
| Davide Trotta (Università di Pisa) | The Gödel fibration | 10/06/2021 16:00h | YouTube |
Changed line 21 from:
| Ciro Russo (UFBA) | TBA | 12/08/2021 | TBA |
to:
| Ciro Russo (UFBA) | TBA | 12/08/2021 16:00h | TBA |
Changed line 17 from:
| Davide Trotta (Università degli studi di Verona) | TBA | 10/06/2021 16:00h | TBA |
to:
| Davide Trotta (Università di Pisa) | The Gödel fibration | 10/06/2021 16:00h | https://meet.google.com/iit-jawp-kyf |
Added line 21:
| José Siqueira (University of Cambridge) | TBA | 26/08/2021 16:00h | TBA |
Deleted line 16:
| Michael Shulman (University of San Diego) | Linear logic for constructive mathematics | 27/05/2021 16:00h | https://meet.google.com/xrc-ujtf-dxk |
Added line 25:
| Michael Shulman (University of San Diego) | Affine logic for constructive mathematics | 27/05/2021 16:00h | YouTube |
Changed lines 16-17 from:
| Livy Real (B2W) | TBA | TBA | TBA |
| Michael Shulman (University of San Diego) | TBA | 27/05/2021 16:00h | TBA |
to:
(:comment || [[https://livyreal.github.io|Livy Real]] (B2W) || TBA || TBA || TBA || :)
| Michael Shulman (University of San Diego) | Linear logic for constructive mathematics | 27/05/2021 16:00h | https://meet.google.com/xrc-ujtf-dxk |
Added line 21:
| Andrés Villaveces (Universidad Nacional de Colombia) | TBA | 29/07/2021 16:00h | TBA |
Added line 20:
| Tero Tulenheimo (Université de Lille & Tampere University) | TBA | 08/07/2021 14:00h | TBA |
Deleted line 15:
| Marco Panza (Chapman University & IHPST & CNRS), Daniele Struppa (Chapman University) e Domenico Napoletani (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | https://meet.google.com/ukv-ypzu-kcg |
Added line 24:
| Marco Panza (Chapman University & IHPST & CNRS), Daniele Struppa (Chapman University) e Domenico Napoletani (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | YouTube |
Changed line 17 from:
| Livy Real (B2W) | TBA | 13/05/2021 16:00h | TBA |
to:
| Livy Real (B2W) | TBA | TBA | TBA |
Changed line 16 from:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | https://meet.google.com/ukv-ypzu-kcg |
to:
| Marco Panza (Chapman University & IHPST & CNRS), Daniele Struppa (Chapman University) e Domenico Napoletani (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | https://meet.google.com/ukv-ypzu-kcg |
Changed line 16 from:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | TBA |
to:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | https://meet.google.com/ukv-ypzu-kcg |
Changed line 16 from:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | TBA | 29/04/2021 16:00h | TBA |
to:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | Agnostic Science and Mathematics | 29/04/2021 16:00h | TBA |
Deleted line 15:
| Mirna Džamonja (Logique Consult & IHPST) | Formalising Ordinal Partition Relations Using Isabelle/HOL | 08/04/2021 14:00h | https://meet.google.com/xab-ixmv-msn |
Added line 25:
| Mirna Džamonja (Logique Consult & IHPST) | Formalising Ordinal Partition Relations Using Isabelle/HOL | 08/04/2021 14:00h | YouTube |
Added line 21:
| Michael Barany (University of Edinburgh) | TBA | 24/06/2021 16:00h | TBA |
Changed line 16 from:
| Mirna Džamonja (Logique Consult & IHPST) | TBA | 08/04/2021 14:00h | TBA |
to:
| Mirna Džamonja (Logique Consult & IHPST) | Formalising Ordinal Partition Relations Using Isabelle/HOL | 08/04/2021 14:00h | https://meet.google.com/xab-ixmv-msn |
Added line 19:
| Michael Shulman (University of San Diego) | TBA | 27/05/2021 16:00h | TBA |
Deleted line 15:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 16:00h | https://meet.google.com/pwi-vcga-vbs |
Added line 24:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 16:00h | --- |
Changed lines 7-8 from:
As palestras têm duração entre 20 e 40min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:00h).
to:
As palestras têm duração entre 20 e 40min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:00h). Os seminários não necessariamente refletem a opinião da SBL e/ou endossamos a corretude de seus resultados.
Added line 64:
Deleted line 15:
| Bruno Bentzen (Czech Academy of Sciences) | What went wrong with Frege's theory of types? | 11/03/2021 16:00h | https://meet.google.com/fev-attm-vfy |
Added line 25:
| Bruno Bentzen (Czech Academy of Sciences) | What went wrong with Frege's theory of types? | 11/03/2021 16:00h | YouTube |
Changed line 16 from:
| Bruno Bentzen (Czech Academy of Sciences) | What went wrong with Frege's theory of types? | 11/03/2020 16:00h | TBA |
to:
| Bruno Bentzen (Czech Academy of Sciences) | What went wrong with Frege's theory of types? | 11/03/2020 16:00h | https://meet.google.com/fev-attm-vfy |
Added line 21:
| Davide Trotta (Università degli studi di Verona) | TBA | 10/06/2021 16:00h | TBA |
Deleted line 15:
| Paul Tarau (University of North Texas) | Training Neural Networks to Do Logic, with Logic | 22/02/2021 16:00h | https://meet.google.com/bvc-tcdf-ohv |
Added line 25:
| Paul Tarau (University of North Texas) | Training Neural Networks to Do Logic, with Logic | 22/02/2021 16:00h | YouTube |
Changed line 17 from:
| Bruno Bentzen (Carnegie Mellon University) | What went wrong with Frege's theory of types? | 11/03/2020 16:00h | TBA |
to:
| Bruno Bentzen (Czech Academy of Sciences) | What went wrong with Frege's theory of types? | 11/03/2020 16:00h | TBA |
Changed line 5 from:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões. Somos parte do The Logic Supergroup.
to:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões. Somos parte do The Logic Supergroup.
Changed line 5 from:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões.
to:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões. Somos parte do The Logic Supergroup.
Changed line 20 from:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | TBA | 29/04/2021 | TBA |
to:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | TBA | 29/04/2021 16:00h | TBA |
Added line 20:
| Marco Panza (Chapman University & IHPST & CNRS) e Daniele Struppa (Chapman University) | TBA | 29/04/2021 | TBA |
Changed lines 63-67 from:
(:comment !! Como participar
Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível aqui.
As apresentações serão públicas pelos links da agenda. :)
to:
(:comment !! Como participar :)
(:comment Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível [[https://forms.gle/bCmQHTA1p4kYaRga9|aqui]]. :)
(:comment As apresentações serão públicas pelos ''links'' da agenda. :)
Changed lines 63-64 from:
Como participar
to:
(:comment !! Como participar
Changed line 67 from:
As apresentações serão públicas pelos links da agenda.
to:
As apresentações serão públicas pelos links da agenda. :)
Changed line 16 from:
| Paul Tarau (UNT) | Training Neural Networks to Do Logic, with Logic | 22/02/2021 16:00h | https://meet.google.com/bvc-tcdf-ohv |
to:
| Paul Tarau (University of North Texas) | Training Neural Networks to Do Logic, with Logic | 22/02/2021 16:00h | https://meet.google.com/bvc-tcdf-ohv |
Changed line 7 from:
As palestras têm duração entre 20 e 40min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:30h).
to:
As palestras têm duração entre 20 e 40min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:00h).
Changed lines 7-9 from:
Encerramos o ano com 36 apresentações e retornaremos em fevereiro. Muito obrigado a todos os palestrantes pelo altíssimo nível das apresentações. Muito obrigado a todos os que participaram! Retornaremos em fevereiro.
As palestras têm duração entre 20 e 50min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:30h).
to:
As palestras têm duração entre 20 e 40min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:30h).
Changed line 18 from:
| Paul Tarau (UNT) | TBA | 22/02/2021 16:00h | TBA |
to:
| Paul Tarau (UNT) | Training Neural Networks to Do Logic, with Logic | 22/02/2021 16:00h | https://meet.google.com/bvc-tcdf-ohv |
Deleted line 17:
| Richard L. Epstein (ARF) | Temporal Propositional Logic | 11/02/2021 16:00h | https://meet.google.com/and-jnda-pzc |
Added line 27:
| Richard L. Epstein (ARF) | Temporal Propositional Logic | 11/02/2021 16:00h | --- |
Changed line 19 from:
| Paul Tarau (UNT) | TBA | 25/02/2021 16:00h | TBA |
to:
| Paul Tarau (UNT) | TBA | 22/02/2021 16:00h | TBA |
Changed line 18 from:
| Richard L. Epstein (ARF) | TBA | 11/02/2021 16:00h | TBA |
to:
| Richard L. Epstein (ARF) | Temporal Propositional Logic | 11/02/2021 16:00h | https://meet.google.com/and-jnda-pzc |
Changed line 22 from:
| Mirna Džamonja (Logique Consult & IHPST) | 08/04/2021 14:00h | TBA | TBA |
to:
| Mirna Džamonja (Logique Consult & IHPST) | TBA | 08/04/2021 14:00h | TBA |
Changed line 22 from:
| Mirna Džamonja (Logique Consult & IHPST) | 08/04/2021 | 14:00h TBA | TBA |
to:
| Mirna Džamonja (Logique Consult & IHPST) | 08/04/2021 14:00h | TBA | TBA |
Changed line 22 from:
| Mirna Džamonja (Logique Consult & IHPST) | TBA | TBA | TBA |
to:
| Mirna Džamonja (Logique Consult & IHPST) | 08/04/2021 | 14:00h TBA | TBA |
Added lines 6-7:
Encerramos o ano com 36 apresentações e retornaremos em fevereiro. Muito obrigado a todos os palestrantes pelo altíssimo nível das apresentações. Muito obrigado a todos os que participaram! Retornaremos em fevereiro.
Changed lines 13-14 from:
2020
to:
2021
Deleted lines 15-19:
| Stéphane Graham-Lengrand (SRI) | Realisability semantics of abstract focussing | 03/12/2020 16:00h | https://meet.google.com/due-epzd-boz |
2021
| Apresentador | Título | Data (GMT-3) | Link para acesso |
Added line 24:
| Stéphane Graham-Lengrand (SRI) | Realisability semantics of abstract focussing | 03/12/2020 16:00h | YouTube |
Changed lines 17-18 from:
| Bruno Bentzen (Carnegie Mellon University) | What went wrong with Frege's theory of types? | 10/12/2020 16:00h | https://meet.google.com/uuy-oxjc-csi |
to:
Added line 23:
| Bruno Bentzen (Carnegie Mellon University) | What went wrong with Frege's theory of types? | 11/03/2020 16:00h | TBA |
Changed line 16 from:
| Stéphane Graham-Lengrand (SRI) | TBA | 03/12/2020 16:00h | TBA |
to:
| Stéphane Graham-Lengrand (SRI) | Realisability semantics of abstract focussing | 03/12/2020 16:00h | https://meet.google.com/due-epzd-boz |
Changed line 29 from:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | --- |
to:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | YouTube |
Deleted line 15:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | http://meet.google.com/jnp-yieh-nnf |
Added line 29:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | --- |
Deleted line 15:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para grafos não-Hamiltonianos | 19/11/2020 16:00h | https://meet.google.com/byr-tymm-iwe |
Added line 30:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para grafos não-Hamiltonianos | 19/11/2020 16:00h | YouTube |
Changed line 16 from:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para gráficos não-Hamiltonianos | 19/11/2020 16:00h | https://meet.google.com/byr-tymm-iwe |
to:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para grafos não-Hamiltonianos | 19/11/2020 16:00h | https://meet.google.com/byr-tymm-iwe |
Deleted line 15:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not to be blamed of anything | 12/11/2020 16:00h | https://meet.google.com/uwn-tyjb-rbr |
Added line 31:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not to be blamed of anything | 12/11/2020 16:00h | YouTube |
Changed line 7 from:
As palestras tem duração entre 20 e 50min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:30h).
to:
As palestras têm duração entre 20 e 50min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:30h).
Changed line 17 from:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para gráficos não-Hamiltonianos | 19/11/2020 16:00h | TBA |
to:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para gráficos não-Hamiltonianos | 19/11/2020 16:00h | https://meet.google.com/byr-tymm-iwe |
Changed line 17 from:
| Edward Hermann Haeusler (DI/PUC-Rio) | TBA | 19/11/2020 16:00h | TBA |
to:
| Edward Hermann Haeusler (DI/PUC-Rio) | Redundância em provas grandes em Dedução Natural ou como obter certificados polinomiais para gráficos não-Hamiltonianos | 19/11/2020 16:00h | TBA |
Deleted line 15:
| Carlos Olarte (ECT/UFRN) | The L-Framework: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | https://meet.google.com/pkq-fxvz-iou |
Added line 32:
| Carlos Olarte (ECT/UFRN) | The L-Framework: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | YouTube |
Changed line 11 from:
Seminários agendados
to:
Seminários agendados
Changed lines 13-14 from:
2020
to:
2020
Changed lines 23-24 from:
2021
to:
2021
Changed line 30 from:
Seminários passados
to:
Seminários passados
Added lines 11-14:
Seminários agendados
2020
Deleted lines 16-19:
Seminários agendados
2020
Changed lines 25-26 from:
2021
to:
2021
Changed line 32 from:
Seminários passados
to:
Seminários passados
Changed line 26 from:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 | https://meet.google.com/pwi-vcga-vbs |
to:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 16:00h | https://meet.google.com/pwi-vcga-vbs |
Changed line 26 from:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 | TBA |
to:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 | https://meet.google.com/pwi-vcga-vbs |
Changed line 26 from:
| Łukasz T. Stępień (UPKENK) | TBA | 25/03/2021 | TBA |
to:
| Łukasz T. Stępień (UPKENK) | On Inconsistency of Classical Logic | 25/03/2021 | TBA |
Deleted line 13:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | https://meet.google.com/row-kniu-dgm |
Added line 31:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | YouTube |
Changed line 15 from:
| Carlos Olarte (ECT/UFRN) | The L-Framework*: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | https://meet.google.com/pkq-fxvz-iou |
to:
| Carlos Olarte (ECT/UFRN) | The L-Framework: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | https://meet.google.com/pkq-fxvz-iou |
Deleted line 13:
| Marcos Silva (DF/UFPE) | Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality | 22/10/2020 16:00h | https://meet.google.com/jtw-gsuu-umt |
Added line 32:
| Marcos Silva (DF/UFPE) | Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality | 22/10/2020 16:00h | YouTube |
Changed line 14 from:
| Marcos Silva (DF/UFPE) | Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality | 22/10/2020 16:00h | https://meet.google.com/jtw-gsuu-umt |
to:
| Marcos Silva (DF/UFPE) | Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality | 22/10/2020 16:00h | https://meet.google.com/jtw-gsuu-umt |
Changed line 16 from:
| Carlos Olarte (ECT/UFRN) | The L-Framework*: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | TBA |
to:
| Carlos Olarte (ECT/UFRN) | The L-Framework*: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | https://meet.google.com/pkq-fxvz-iou |
Changed line 16 from:
| Carlos Olarte (ECT/UFRN) | TBA | 05/11/2020 16:00h | TBA |
to:
| Carlos Olarte (ECT/UFRN) | The L-Framework*: Structural Proof Theory in Rewriting Logic | 05/11/2020 16:00h | TBA |
Deleted line 13:
| Hugo Luiz Mariano (IME/USP) | An algebraic framework to a theory of sets based on the surreal numbers | 15/10/2020 16:00h | https://meet.google.com/sqh-iepr-ges |
Added line 33:
| Hugo Luiz Mariano (IME/USP) | An algebraic framework to a theory of sets based on the surreal numbers | 15/10/2020 16:00h | YouTube |
Changed line 15 from:
| Marcos Silva (DF/UFPE) | TBA | 22/10/2020 16:00h | TBA |
to:
| Marcos Silva (DF/UFPE) | Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality | 22/10/2020 16:00h | https://meet.google.com/jtw-gsuu-umt |
Deleted line 13:
| Gisele Secco (DF/UFSM) | Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias | 08/10/2020 11:00h | https://meet.google.com/rie-ijro-onf |
Added line 33:
| Gisele Secco (DF/UFSM) | Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias | 08/10/2020 11:00h | YouTube |
Changed line 15 from:
| Hugo Luiz Mariano (IME/USP) | TBA | 15/10/2020 16:00h | TBA |
to:
| Hugo Luiz Mariano (IME/USP) | An algebraic framework to a theory of sets based on the surreal numbers | 15/10/2020 16:00h | https://meet.google.com/sqh-iepr-ges |
Deleted line 13:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 06/10/2020 16:00h | https://meet.google.com/amw-wuus-kap |
Added line 34:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 06/10/2020 16:00h | YouTube |
Changed line 14 from:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | TBA | TBA |
to:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 06/10/2020 16:00h | https://meet.google.com/amw-wuus-kap |
Changed line 14 from:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 01/10/2020 16:00h | https://meet.google.com/amw-wuus-kap |
to:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | TBA | TBA |
Changed line 20 from:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything | 12/11/2020 16:00h | https://meet.google.com/uwn-tyjb-rbr |
to:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not to be blamed of anything | 12/11/2020 16:00h | https://meet.google.com/uwn-tyjb-rbr |
Changed lines 14-15 from:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 01/10/2020 14:00h | https://meet.google.com/amw-wuus-kap |
| Gisele Secco (DF/UFSM) | Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias | 08/10/2020 16:00h | https://meet.google.com/rie-ijro-onf |
to:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 01/10/2020 16:00h | https://meet.google.com/amw-wuus-kap |
| Gisele Secco (DF/UFSM) | Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias | 08/10/2020 11:00h | https://meet.google.com/rie-ijro-onf |
Changed line 15 from:
| Gisele Secco (DF/UFSM) | TBA | 08/10/2020 16:00h | TBA |
to:
| Gisele Secco (DF/UFSM) | Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias | 08/10/2020 16:00h | https://meet.google.com/rie-ijro-onf |
Deleted line 13:
| Catarina Dutilh Novaes (VU Amsterdam) | Who's afraid of adversariality? Conflict and cooperation in argumentation | 29/09/2020 11:00h | https://meet.google.com/gnq-cbcs-kri |
Added line 35:
| Catarina Dutilh Novaes (VU Amsterdam) | Who's afraid of adversariality? Conflict and cooperation in argumentation | 29/09/2020 11:00h | YouTube |
Deleted line 13:
| Javier Legris (UBA & CONICET) | Identity and Quantification in Peirce’s Beta Graphs | 24/09/2020 16:00h | https://meet.google.com/wjz-kbzj-azm |
Added line 36:
| Javier Legris (UBA & CONICET) | Identity and Quantification in Peirce’s Beta Graphs | 24/09/2020 16:00h | YouTube |
Changed line 32 from:
| Paul Tarau (UNT) | TBA 25/02/2021 16:00h | TBA |
to:
| Paul Tarau (UNT) | TBA | 25/02/2021 16:00h | TBA |
Added lines 27-32:
2021
| Apresentador | Título | Data (GMT-3) | Link para acesso |
| Richard L. Epstein (ARF) | TBA | 11/02/2021 16:00h | TBA |
| Paul Tarau (UNT) | TBA 25/02/2021 16:00h | TBA |
Changed line 15 from:
| Catarina Dutilh Novaes (VU Amsterdam) | TBA | 29/09/2020 11:00h | TBA |
to:
| Catarina Dutilh Novaes (VU Amsterdam) | Who's afraid of adversariality? Conflict and cooperation in argumentation | 29/09/2020 11:00h | https://meet.google.com/gnq-cbcs-kri |
Changed lines 14-15 from:
| Javier Legris (UBA & CONICET) | Identity and Quantification in Peirce’s Beta Graphs | 24/09/2020 16:00h | TBA |
| Catarina Dutilh Novaes (VU Amsterdam) | TBA | 29/09/2020 11:00h | https://meet.google.com/wjz-kbzj-azm |
to:
| Javier Legris (UBA & CONICET) | Identity and Quantification in Peirce’s Beta Graphs | 24/09/2020 16:00h | https://meet.google.com/wjz-kbzj-azm |
| Catarina Dutilh Novaes (VU Amsterdam) | TBA | 29/09/2020 11:00h | TBA |
Changed lines 14-15 from:
| Javier Legris (UBA & CONICET) | TBA | 24/09/2020 16:00h | TBA |
| Catarina Dutilh Novaes (VU Amsterdam) | TBA | 29/09/2020 11:00h | TBA |
to:
| Javier Legris (UBA & CONICET) | Identity and Quantification in Peirce’s Beta Graphs | 24/09/2020 16:00h | TBA |
| Catarina Dutilh Novaes (VU Amsterdam) | TBA | 29/09/2020 11:00h | https://meet.google.com/wjz-kbzj-azm |
Deleted line 13:
| Damian Szmuc (IIF-SADAF/CONICET) | The fragment of Classical Logic that respects the Variable-Sharing Principle | 17/09/2020 16:00h | https://meet.google.com/qjd-qfiq-vof |
Added line 31:
| Damian Szmuc (IIF-SADAF/CONICET) | The fragment of Classical Logic that respects the Variable-Sharing Principle | 17/09/2020 16:00h | YouTube |
Deleted line 13:
| Diogo Henrique Bispo Dias (DF/UENP & DF/USP) | There is no good argument for logical monism | 10/09/2020 16:00h | http://meet.google.com/utd-uqvh-txh |
Added line 32:
| Diogo Henrique Bispo Dias (DF/UENP & DF/USP) | There is no good argument for logical monism | 10/09/2020 16:00h | YouTube |
Deleted line 13:
| Giovanni Sambin (UNIPD) | Intuitionistic logic as abstraction, classical logic as idealization | 03/09/2020 16:00h | https://meet.google.com/abk-oaru-xkb |
Added line 33:
| Giovanni Sambin (UNIPD) | Intuitionistic logic as abstraction, classical logic as idealization | 03/09/2020 16:00h | YouTube |
Added line 29:
| Bruno Bentzen (Carnegie Mellon University) | What went wrong with Frege's theory of types? | 10/12/2020 16:00h | https://meet.google.com/uuy-oxjc-csi |
Changed line 18 from:
| Catarina Dutilh Novaes ( VU Amsterdam) | TBA | 29/09/2020 11:00h | TBA |
to:
| Catarina Dutilh Novaes (VU Amsterdam) | TBA | 29/09/2020 11:00h | TBA |
Changed line 14 from:
| Giovanni Sambin (UNIPD) | Intuitionistic logic as abstraction, classical logic as idealization | 03/09/2020 16:00h | TBA |
to:
| Giovanni Sambin (UNIPD) | Intuitionistic logic as abstraction, classical logic as idealization | 03/09/2020 16:00h | https://meet.google.com/abk-oaru-xkb |
Changed line 14 from:
| Giovanni Sambin (UNIPD) | TBA | 03/09/2020 16:00h | TBA |
to:
| Giovanni Sambin (UNIPD) | Intuitionistic logic as abstraction, classical logic as idealization | 03/09/2020 16:00h | TBA |
Deleted line 13:
| Rehana Patel (African Institute for Mathematical Sciences) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | https://meet.google.com/ndj-ryap-dch |
Added line 33:
| Rehana Patel (African Institute for Mathematical Sciences) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | --- |
Deleted line 13:
| Jeremy Avigad (Carnegie Mellon University) | Formal Mathematics and the Lean Theorem Prover | 20/08/2020 16:00h | http://meet.google.com/ijx-mwhr-fjg |
Added line 34:
| Jeremy Avigad (Carnegie Mellon University) | Formal Mathematics and the Lean Theorem Prover | 20/08/2020 16:00h | YouTube |
Changed line 26 from:
| Carlos Olarte (ECT/UFRN) | TBA | 05/11/2020 16:00h | TBA |
to:
| Carlos Olarte (ECT/UFRN) | TBA | 05/11/2020 16:00h | TBA |
Changed line 26 from:
| Carlos Olarte (ECT/UFRN) | TBA | 05/11/2020 | TBA |
to:
| Carlos Olarte (ECT/UFRN) | TBA | 05/11/2020 16:00h | TBA |
Deleted line 13:
| Brendan Fong (MIT) | Backprop as Functor: A compositional perspective on supervised learning | 13/08/2020 16:00h | https://meet.google.com/qhk-kstn-ahy |
Added line 34:
| Brendan Fong (MIT) | Backprop as Functor: A compositional perspective on supervised learning | 13/08/2020 16:00h | YouTube |
Changed line 15 from:
| Jeremy Avigad (CMU) | TBA | 20/08/2020 16:00h | http://meet.google.com/ijx-mwhr-fjg |
to:
| Jeremy Avigad (Carnegie Mellon University) | Formal Mathematics and the Lean Theorem Prover | 20/08/2020 16:00h | http://meet.google.com/ijx-mwhr-fjg |
Changed line 15 from:
| Jeremy Avigad (CMU) | TBA | 20/08/2020 16:00h | TBA |
to:
| Jeremy Avigad (CMU) | TBA | 20/08/2020 16:00h | http://meet.google.com/ijx-mwhr-fjg |
Deleted line 13:
| Carlos Areces (UNC & CONICET) | Henkin Completeness in Modal Logic | 06/08/2020 16:00h | http://meet.google.com/eoq-uibs-atw |
Added line 35:
| Carlos Areces (UNC & CONICET) | Henkin Completeness in Modal Logic | 06/08/2020 16:00h | YouTube |
Changed line 28 from:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything | 12/11/2020 16:00h | https://meet.google.com/uwn-tyjb-rbr |
to:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything | 12/11/2020 16:00h | https://meet.google.com/uwn-tyjb-rbr |
Changed line 27 from:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | https://meet.google.com/row-kniu-dgm?hs=122 |
to:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | https://meet.google.com/row-kniu-dgm |
Changed line 28 from:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything | 12/11/2020 16:00h | TBA |
to:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything | 12/11/2020 16:00h | https://meet.google.com/uwn-tyjb-rbr |
Changed line 28 from:
| Samuel Gomes da Silva (DM/UFBA) | TBA | 12/11/2020 16:00h | TBA |
to:
| Samuel Gomes da Silva (DM/UFBA) | On striking, counterintuitive partitions - or: The Axiom of Choice is not be blamed of anything | 12/11/2020 16:00h | TBA |
Deleted line 13:
| Frank Thomas Sautter (DF/UFSM) | Keynes e Peirce sobre informação e lógica | 30/07/2020 16:00h | https://meet.google.com/aim-qbvk-ufm |
Added line 36:
| Frank Thomas Sautter (DF/UFSM) | Keynes e Peirce sobre informação e lógica | 30/07/2020 16:00h | YouTube |
Added line 29:
| Samuel Gomes da Silva (DM/UFBA) | TBA | 12/11/2020 16:00h | TBA |
Changed line 15 from:
| Carlos Areces (UNC & CONICET) | TBA | 06/08/2020 16:00h | TBA |
to:
| Carlos Areces (UNC & CONICET) | Henkin Completeness in Modal Logic | 06/08/2020 16:00h | http://meet.google.com/eoq-uibs-atw |
Changed line 29 from:
| Edward Hermann Haeusler (DI/PUC-Rio) | TBA | 19/11/2020 16:00h | TBA |
to:
| Edward Hermann Haeusler (DI/PUC-Rio) | TBA | 19/11/2020 16:00h | TBA |
Added line 29:
| Edward Hermann Haeusler (DI/PUC-Rio) | TBA | 19/11/2020 16:00h | TBA |
Added line 23:
| Catarina Dutilh Novaes ( VU Amsterdam) | TBA | 29/09/2020 11:00h | TBA |
Changed line 28 from:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | http://meet.google.com/jnp-yieh-nnf |
to:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | http://meet.google.com/jnp-yieh-nnf |
Deleted line 13:
| Alejandro Díaz-Caro (ICC - CONICET/UBA - & UNQ) | Extensional proofs in a propositional logic modulo isomorphisms | 23/07/2020 16:00h | https://meet.google.com/keg-nezd-dnz |
Added line 34:
| Alejandro Díaz-Caro (ICC - CONICET/UBA - & UNQ) | Extensional proofs in a propositional logic modulo isomorphisms | 23/07/2020 16:00h | YouTube |
Changed line 30 from:
| Stéphane Graham-Lengrand | TBA | 03/12/2020 16:00h | TBA |
to:
| Stéphane Graham-Lengrand (SRI) | TBA | 03/12/2020 16:00h | TBA |
Changed line 30 from:
| Stéphane Graham-Lengrand TBA | 03/12/2020 16:00h | TBA |
to:
| Stéphane Graham-Lengrand | TBA | 03/12/2020 16:00h | TBA |
Changed line 29 from:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | http://meet.google.com/jnp-yieh-nnf |
to:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | http://meet.google.com/jnp-yieh-nnf |
Added line 29:
| Jean-Yves Beziau (DF/UFRJ) | The Mystery of the Fifth Logical Notion | 26/11/2020 16:00h | http://meet.google.com/jnp-yieh-nnf |
Changed line 46 from:
| Valeria de Paiva | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | YouTube |
to:
| Valeria de Paiva (Topos Institute) | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | YouTube |
Deleted line 13:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic? | 16/07/2020 16:00h | http://meet.google.com/tbn-fbee-dov |
Added line 33:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic? | 16/07/2020 16:00h | YouTube |
Changed line 29 from:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | https://meet.google.com/row-kniu-dgm?hs=122 |
to:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | https://meet.google.com/row-kniu-dgm?hs=122 |
Added line 29:
| Daniele Nantes (DM/UnB) | Nominal Equational Problems | 28/10/2020 16:00h | https://meet.google.com/row-kniu-dgm?hs=122 |
Deleted line 13:
| Johanna Franklin (Hofstra University) | Randomness and computability theory | 09/07/2020 16:00h | http://meet.google.com/jnd-aopk-efq |
Added line 33:
| Johanna Franklin (Hofstra University) | Randomness and computability theory | 09/07/2020 16:00h | YouTube |
Changed line 21 from:
| Rehana Patel (African Institute for Mathematical Sciences) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | TBA |
to:
| Rehana Patel (African Institute for Mathematical Sciences) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | https://meet.google.com/ndj-ryap-dch |
Changed line 26 from:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino –e estudo- de Lógica para Computação | 01/10/2020 14:00h | https://meet.google.com/amw-wuus-kap |
to:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino -e estudo- de Lógica para Computação | 01/10/2020 14:00h | https://meet.google.com/amw-wuus-kap |
Changed line 26 from:
(:comment || César Alberto Bravo Pariente (UESC) || Ferramentas online para ensino –e estudo- de Lógica para Computação || 01/10/2020 14:00h || TBA || :)
to:
| César Alberto Bravo Pariente (UESC) | Ferramentas online para ensino –e estudo- de Lógica para Computação | 01/10/2020 14:00h | https://meet.google.com/amw-wuus-kap |
Changed line 26 from:
(:comment || César Alberto Bravo Pariente (UESC) || Ferramentas online para ensino –e estudo- de Lógica para Computação || 01/10/2020 || TBA || :)
to:
(:comment || César Alberto Bravo Pariente (UESC) || Ferramentas online para ensino –e estudo- de Lógica para Computação || 01/10/2020 14:00h || TBA || :)
Added line 26:
(:comment || César Alberto Bravo Pariente (UESC) || Ferramentas online para ensino –e estudo- de Lógica para Computação || 01/10/2020 || TBA || :)
Changed line 26 from:
(:comment || Gisele Secco (DF/UFSM) || TBA || 01/10/2020 16:00h || TBA || :)
to:
| Gisele Secco (DF/UFSM) | TBA | 08/10/2020 16:00h | TBA |
Changed line 26 from:
| Gisele Secco (DF/UFSM) | TBA | 01/10/2020 16:00h | TBA |
to:
(:comment || Gisele Secco (DF/UFSM) || TBA || 01/10/2020 16:00h || TBA || :)
Deleted line 13:
| Gilles Dowek (LSV, CNRS & ENS Paris-Saclay) | Logipedia: towards a Wikipedia of formal proofs | 02/07/2020 16:00h | https://meet.google.com/bcn-yfqx-ruz |
Added line 30:
| Gilles Dowek (LSV, CNRS & ENS Paris-Saclay) | Logipedia: towards a Wikipedia of formal proofs | 02/07/2020 16:00h | YouTube |
Changed line 24 from:
| Diogo Henrique Bispo Dias (DF/USP) | There is no good argument for logical monism | 10/09/2020 16:00h | http://meet.google.com/utd-uqvh-txh |
to:
| Diogo Henrique Bispo Dias (DF/UENP & DF/USP) | There is no good argument for logical monism | 10/09/2020 16:00h | http://meet.google.com/utd-uqvh-txh |
Added line 24:
| Diogo Henrique Bispo Dias (DF/USP) | There is no good argument for logical monism | 10/09/2020 16:00h | http://meet.google.com/utd-uqvh-txh |
Changed line 22 from:
| Rehana Patel (Wesleyan University) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | TBA |
to:
| Rehana Patel (African Institute for Mathematical Sciences) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | TBA |
Changed line 22 from:
| Rehana Patel (Wesleyan University) | TBA | 27/08/2020 16:00h | TBA |
to:
| Rehana Patel (Wesleyan University) | Combining Logic and Probability in the Presence of Symmetry | 25/08/2020 16:00h | TBA |
Changed line 24 from:
| Damian Szmuc (IIF-SADAF/CONICET) | The fragment of Classical Logic that respects the Variable-Sharing Principle | 10/09/2020 16:00h | https://meet.google.com/qjd-qfiq-vof |
to:
| Damian Szmuc (IIF-SADAF/CONICET) | The fragment of Classical Logic that respects the Variable-Sharing Principle | 17/09/2020 16:00h | https://meet.google.com/qjd-qfiq-vof |
Added line 24:
| Damian Szmuc (IIF-SADAF/CONICET) | The fragment of Classical Logic that respects the Variable-Sharing Principle | 10/09/2020 16:00h | https://meet.google.com/qjd-qfiq-vof |
Changed line 13 from:
| Apresentador | Título | Data | Link para acesso |
to:
| Apresentador | Título | Data (GMT-3) | Link para acesso |
Added line 22:
| Rehana Patel (Wesleyan University) | TBA | 27/08/2020 16:00h | TBA |
Deleted line 13:
| Aldo Dinucci (DF/UFS) | A Condicional Estoica | 25/06/2020 16:00h | https://meet.google.com/jyd-hkct-igb |
Added line 28:
| Aldo Dinucci (DF/UFS) | A Condicional Estoica | 25/06/2020 16:00h | TouTube |
Changed line 22 from:
| Jeremy Avigad (Carnegie Mellon University) | TBA | 20/08/2020 16:00h | TBA |
to:
| Jeremy Avigad (CMU) | TBA | 20/08/2020 16:00h | TBA |
Changed line 22 from:
| Jeremy Avigad | TBA | 20/08/2020 16:00h | TBA |
to:
| Jeremy Avigad (Carnegie Mellon University) | TBA | 20/08/2020 16:00h | TBA |
Deleted line 13:
| Marcelo Finger (IME/USP) | Logic and Numbers | 17/06/2020 16:00h | http://meet.google.com/het-yrdu-qsd |
Added line 25:
| Marcelo Finger (IME/USP) | Logic and Numbers | 17/06/2020 16:00h | YouTube |
Changed line 19 from:
| Alejandro Díaz-Caro (CC - CONICET/UBA - & UNQ) | Extensional proofs in a propositional logic modulo isomorphisms | 23/07/2020 16:00h | https://meet.google.com/keg-nezd-dnz |
to:
| Alejandro Díaz-Caro (ICC - CONICET/UBA - & UNQ) | Extensional proofs in a propositional logic modulo isomorphisms | 23/07/2020 16:00h | https://meet.google.com/keg-nezd-dnz |
Added line 19:
| Alejandro Díaz-Caro (CC - CONICET/UBA - & UNQ) | Extensional proofs in a propositional logic modulo isomorphisms | 23/07/2020 16:00h | https://meet.google.com/keg-nezd-dnz |
Changed line 16 from:
| Gilles Dowek (LSV, CNRS & ENS Paris-Saclay) | TBA | 02/07/2020 16:00h | TBA |
to:
| Gilles Dowek (LSV, CNRS & ENS Paris-Saclay) | Logipedia: towards a Wikipedia of formal proofs | 02/07/2020 16:00h | https://meet.google.com/bcn-yfqx-ruz |
Added line 20:
| Brendan Fong (MIT) | Backprop as Functor: A compositional perspective on supervised learning | 13/08/2020 16:00h | https://meet.google.com/qhk-kstn-ahy |
Added line 19:
| Frank Thomas Sautter (DF/UFSM) | Keynes e Peirce sobre informação e lógica | 30/07/2020 16:00h | https://meet.google.com/aim-qbvk-ufm |
Added line 16:
| Gilles Dowek (LSV, CNRS & ENS Paris-Saclay) | TBA | 02/07/2020 16:00h | TBA |
Deleted line 13:
| Paulo Oliva (QMUL) | The Power of Continuations | 11/06/2020 16:00h | http://meet.google.com/jjj-ntym-nnt |
Added line 22:
| Paulo Oliva (QMUL) | The Power of Continuations | 11/06/2020 16:00h | YouTube |
Added line 17:
| Johanna Franklin (Hofstra University) | Randomness and computability theory | 09/07/2020 16:00h | http://meet.google.com/jnd-aopk-efq |
Changed line 17 from:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic | 16/07/2020 16:00h | http://meet.google.com/tbn-fbee-dov |
to:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic? | 16/07/2020 16:00h | http://meet.google.com/tbn-fbee-dov |
Changed line 17 from:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic | 25/06/2020 16:00h | http://meet.google.com/tbn-fbee-dov |
to:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic | 16/07/2020 16:00h | http://meet.google.com/tbn-fbee-dov |
Added line 17:
| Mario Benevides (IC/UFF) | What makes a Logic Dynamic | 25/06/2020 16:00h | http://meet.google.com/tbn-fbee-dov |
Changed line 16 from:
| Aldo Dinucci (DF/UFS) | A Condicional Estoica | 25/06/2020 16:00h | https://meet.google.com/jyd-hkct-igb |
to:
| Aldo Dinucci (DF/UFS) | A Condicional Estoica | 25/06/2020 16:00h | https://meet.google.com/jyd-hkct-igb |
Added line 16:
| Aldo Dinucci (DF/UFS) | A Condicional Estoica | 25/06/2020 16:00h | https://meet.google.com/jyd-hkct-igb |
Deleted line 13:
| Desidério Murcho (DEFIL/UFOP) | Uma Abordagem Epistêmica do Conceito de Consequência Lógica | 04/06/2020 16:00h | http://meet.google.com/weo-hhwa-onh |
Added line 20:
| Desidério Murcho (DEFIL/UFOP) | Uma Abordagem Epistêmica do Conceito de Consequência Lógica | 04/06/2020 16:00h | YouTube |
Deleted line 13:
| Abílio Rodrigues Filho (DF/UFMG) | Sobre algumas críticas recentes às lógicas da evidência e verdade | 28/05/2020 16:00h | http://meet.google.com/fhm-qjgf-gef |
Added line 21:
| Abílio Rodrigues Filho (DF/UFMG) | Sobre algumas críticas recentes às lógicas da evidência e verdade | 28/05/2020 16:00h | YouTube |
Deleted line 13:
| Ruy de Queiroz (CIn/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | http://meet.google.com/dvg-ytix-fmp |
Added line 22:
| Ruy de Queiroz (CIn/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | YouTube |
Added line 18:
| Marcelo Finger (IME/USP) | Logic and Numbers | 17/06/2020 16:00h | http://meet.google.com/het-yrdu-qsd |
Changed line 7 from:
Os seminários tem duração de 20 a 50min acrescido de tempo para perguntas e interações com os palestrantes.
to:
As palestras tem duração entre 20 e 50min, acrescido de tempo para perguntas e interações com os palestrantes (totalizando, em média, 1:30h).
Added lines 6-7:
Os seminários tem duração de 20 a 50min acrescido de tempo para perguntas e interações com os palestrantes.
Changed line 15 from:
| Paulo Oliva | The Power of Continuations | 11/06/2020 16:00h | http://meet.google.com/jjj-ntym-nnt |
to:
| Paulo Oliva (QMUL) | The Power of Continuations | 11/06/2020 16:00h | http://meet.google.com/jjj-ntym-nnt |
Added line 15:
| Paulo Oliva | The Power of Continuations | 11/06/2020 16:00h | http://meet.google.com/jjj-ntym-nnt |
Added line 14:
| Desidério Murcho (DEFIL/UFOP) | Uma Abordagem Epistêmica do Conceito de Consequência Lógica | 04/06/2020 16:00h | http://meet.google.com/weo-hhwa-onh |
Deleted line 11:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | 14/05/2020 16:00h | http://meet.google.com/hvw-hiky-vfz |
Added line 18:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | 14/05/2020 16:00h | YouTube |
Changed lines 14-15 from:
| Abílio Rodrigues Filho (DF/UFMG) | Sobre algumas críticas recentes às lógicas da evidência e verdade |
|| 28/05/2020 16:00h || http://meet.google.com/fhm-qjgf-gef ||
to:
| Abílio Rodrigues Filho (DF/UFMG) | Sobre algumas críticas recentes às lógicas da evidência e verdade | 28/05/2020 16:00h | http://meet.google.com/fhm-qjgf-gef |
Changed lines 14-15 from:
| Abílio Rodrigues Filho (DF/UFMG) | Paraconsistency, evidence, and truth | 28/05/2020 16:00h | http://meet.google.com/fhm-qjgf-gef |
to:
| Abílio Rodrigues Filho (DF/UFMG) | Sobre algumas críticas recentes às lógicas da evidência e verdade |
|| 28/05/2020 16:00h || http://meet.google.com/fhm-qjgf-gef ||
Deleted line 11:
| Wagner Sanz (FF/UFG) | Lógica como teoria de problemas | 07/05/2020 16:00h | http://meet.google.com/eiq-mozd-faf |
Added line 19:
| Wagner Sanz (FF/UFG) | Lógica como teoria de problemas | 07/05/2020 16:00h | YouTube |
Changed line 15 from:
| Abílio Rodrigues Filho | Paraconsistency, evidence, and truth | 28/05/2020 16:00h | http://meet.google.com/fhm-qjgf-gef |
to:
| Abílio Rodrigues Filho (DF/UFMG) | Paraconsistency, evidence, and truth | 28/05/2020 16:00h | http://meet.google.com/fhm-qjgf-gef |
Added line 15:
| Abílio Rodrigues Filho | Paraconsistency, evidence, and truth | 28/05/2020 16:00h | http://meet.google.com/fhm-qjgf-gef |
Deleted line 11:
| Haniel Barbosa (DCC/UFMG) | Extending enumerative function synthesis via SMT-driven classification | 30/04/2020 16:00h | http://meet.google.com/etq-jnsp-onu |
Added line 19:
| Haniel Barbosa (DCC/UFMG) | Extending enumerative function synthesis via SMT-driven classification | 30/04/2020 16:00h | YouTube |
Changed lines 14-15 from:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | 14/05/2020 16:00h | TBA |
| Ruy de Queiroz (CIn/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | TBA |
to:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | 14/05/2020 16:00h | http://meet.google.com/hvw-hiky-vfz |
| Ruy de Queiroz (CIn/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | http://meet.google.com/dvg-ytix-fmp |
Changed line 13 from:
| Wagner Sanz (FF/UFG) | Lógica como teoria de problemas | 07/05/2020 16:00h | TBA |
to:
| Wagner Sanz (FF/UFG) | Lógica como teoria de problemas | 07/05/2020 16:00h | http://meet.google.com/eiq-mozd-faf |
Changed line 13 from:
| Wagner Sanz (FF/UFG) | TBA | 07/05/2020 16:00h | TBA |
to:
| Wagner Sanz (FF/UFG) | Lógica como teoria de problemas | 07/05/2020 16:00h | TBA |
Deleted line 11:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | 23/04/2020 16:00h | http://meet.google.com/qdg-hvwg-hfw |
Added line 20:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | 23/04/2020 16:00h | YouTube |
Changed line 16 from:
| Ruy de Queiroz (CIN/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | TBA |
to:
| Ruy de Queiroz (CIn/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | TBA |
Added line 16:
| Ruy de Queiroz (CIN/UFPE) | Computational Paths and the Calculation of Fundamental Groups | 20/05/2020 16:00h | TBA |
Changed lines 25-27 from:
As apresentações serão públicas pelos links da agenda. Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível aqui.
to:
Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível aqui.
As apresentações serão públicas pelos links da agenda.
Deleted line 11:
| Valeria de Paiva | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | https://meet.google.com/shj-fysv-gjy |
Added line 20:
| Valeria de Paiva | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | YouTube |
Added lines 9-10:
Seminários agendados
Deleted line 11:
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | YouTube |
Added lines 17-21:
Seminários passados
| Apresentador | Título | Data | Link para acesso |
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | YouTube |
Changed line 15 from:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | TBA | TBA |
to:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | 14/05/2020 16:00h | TBA |
Added line 15:
| Rodrigo Freire (DF/UnB) | Uma abordagem axiomática para forcing e extensões genéricas | TBA | TBA |
Changed line 11 from:
| Valeria de Paiva (Samsung Research) | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | https://meet.google.com/shj-fysv-gjy |
to:
| Valeria de Paiva | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | https://meet.google.com/shj-fysv-gjy |
Changed line 10 from:
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | https://meet.google.com/ief-scbn-joz |
to:
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | YouTube |
Changed line 27 from:
- Universidade Federal Fluminense
to:
- Instituto de Computação / Universidade Federal Fluminense
Changed lines 24-26 from:
Agradecimentos
- Universidade Federal Fluminense, pelo suporte de transmissão
to:
Suporte para transmissões
- Universidade Federal Fluminense
Changed lines 17-26 from:
As apresentações serão públicas pelos links da agenda. Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível aqui.
to:
As apresentações serão públicas pelos links da agenda. Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível aqui.
Coordenação
- Bruno Lopes (IC/UFF)
- Petrucio Viana (IM/UFF)
Agradecimentos
- Universidade Federal Fluminense, pelo suporte de transmissão
Changed lines 12-13 from:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | 23/04/2020 | http://meet.google.com/qdg-hvwg-hfw |
| Haniel Barbosa (DCC/UFMG) | Extending enumerative function synthesis via SMT-driven classification | 30/04/2020 | http://meet.google.com/etq-jnsp-onu |
to:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | 23/04/2020 16:00h | http://meet.google.com/qdg-hvwg-hfw |
| Haniel Barbosa (DCC/UFMG) | Extending enumerative function synthesis via SMT-driven classification | 30/04/2020 16:00h | http://meet.google.com/etq-jnsp-onu |
Changed lines 12-13 from:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | TBA | TBA |
to:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | 23/04/2020 | http://meet.google.com/qdg-hvwg-hfw |
| Haniel Barbosa (DCC/UFMG) | Extending enumerative function synthesis via SMT-driven classification | 30/04/2020 | http://meet.google.com/etq-jnsp-onu |
Changed line 5 from:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim.
to:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto para apresentações informais por membros da comunidade com espaço para discussões.
Changed line 12 from:
| Elaine Pimentel (DIMAp/UFRN) | Ecumenical modalities | TBA | TBA |
to:
| Elaine Pimentel (DMAT/UFRN) | Ecumenical modalities | TBA | TBA |
Changed line 1 from:
to:
Changed line 12 from:
| Elaine Pimentel (DIMAp/UFRN) | Ecumenical modalities | TBA |
to:
| Elaine Pimentel (DIMAp/UFRN) | Ecumenical modalities | TBA | TBA |
Added line 12:
| Elaine Pimentel (DIMAp/UFRN) | Ecumenical modalities | TBA |
Added line 11:
| Valeria de Paiva (Samsung Research) | Between a rock and a hard place: Structural and Distributional Meaning Representations | 16/04/2020 16:00h | https://meet.google.com/shj-fysv-gjy |
Added lines 11-14:
Como participar
As apresentações serão públicas pelos links da agenda. Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível aqui.
Changed lines 9-10 from:
| Apresentador | Título | Data | Link para acesso |
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | https://meet.google.com/ief-scbn-joz |
to:
| Apresentador | Título | Data | Link para acesso |
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | https://meet.google.com/ief-scbn-joz |
Changed lines 9-10 from:
Apresentador || Título || Data || Link para acesso João Marcos (DIMAp/UFRN) || On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions || 09/04/2020 16:00h || https://meet.google.com/ief-scbn-joz
to:
| Apresentador | Título | Data | Link para acesso |
| João Marcos (DIMAp/UFRN) | On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions | 09/04/2020 16:00h | https://meet.google.com/ief-scbn-joz |
Added lines 7-10:
Agenda
Apresentador || Título || Data || Link para acesso João Marcos (DIMAp/UFRN) || On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions || 09/04/2020 16:00h || https://meet.google.com/ief-scbn-joz
Changed line 5 from:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim.
to:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, o seminário Lógicos em Quarentena propõe um ambiente remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim.
Changed line 5 from:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim.
to:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim.
Added lines 1-6:
Seminário "Lógicos em Quarentena"
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de convidar a todos a participarem do Seminário "Lógicos em Quarentena". Trata-se de um seminário remoto com apresentações informais por membros da comunidade e espaço para perguntas no fim.