LQ.Quarentena History
Hide minor edits - Show changes to output
Changed lines 16-18 from:
to:
Added line 21:
|| Edson Bezerra || Proof systems for some many-valued modal logics || 26/04/2022 14:00h || [[https://www.youtube.com/watch?v=pGtSRJcDsUQ|YouTube]] ||
Changed lines 3-6 from:
! Seminário "Lógicos em Quarentena"
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do[[https://www.sbc.org.br/403-comissoes-especiais/grupos-de-interesse/166-interesse-1/2267-interesse-em-logica|Grupo de Interesse em Lógica]] da [[http://sbc.org.br|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 [[https://logic.uconn.edu/supergroup/|The Logic Supergroup]].
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do
to:
! Seminário "Lógicos [saindo da | em] Quarentena"
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do [[https://www.sbc.org.br/403-comissoes-especiais/grupos-de-interesse/166-interesse-1/2267-interesse-em-logica|Grupo de Interesse em Lógica]] da [[http://sbc.org.br|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 [[https://logic.uconn.edu/supergroup/|The Logic Supergroup]].
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do [[https://www.sbc.org.br/403-comissoes-especiais/grupos-de-interesse/166-interesse-1/2267-interesse-em-logica|Grupo de Interesse em Lógica]] da [[http://sbc.org.br|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 [[https://logic.uconn.edu/supergroup/|The Logic Supergroup]].
Changed lines 12-14 from:
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:
to:
Added line 21:
|| [[http://jyb-logic.org|Jean-Yves Beziau]] (DF/UFRJ) || The 5th Logical Notion - Solutions to the Enigma || 18/11/2021 16:00h || [[https://www.youtube.com/watch?v=kl6hNdr_O9o|YouTube]] ||
Deleted line 15:
Added line 22:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || Equality of mathematical structures || 04/11/2021 16:00h || [[https://www.youtube.com/watch?v=es4ltK7_TMk|YouTube]] ||
Changed line 16 from:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || TBA || 04/11/2021 16:00h || https://meet.google.com/irx-auep-ype ||
to:
|| [[https://www.cs.bham.ac.uk/~mhe/|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:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || TBA || 04/11/2021 16:00h || TBA ||
to:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || TBA || 04/11/2021 16:00h || https://meet.google.com/irx-auep-ype ||
Deleted line 15:
Added line 23:
|| [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]] (INRIA) || Open Access in Programming Languages research || 21/10/2021 11:00h || [[https://www.youtube.com/watch?v=l1CukusUAbI|YouTube]] ||
Changed line 16 from:
|| [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]] (INRIA) || Open Access in Programming Languages research || 21/10/2021 11:00h || TBA ||
to:
|| [[http://gallium.inria.fr/~scherer/|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:
|| [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]] (INRIA) || TBA || 21/10/2021 11:00h || TBA ||
to:
|| [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]] (INRIA) || Open Access in Programming Languages research || 21/10/2021 11:00h || TBA ||
Deleted line 15:
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 || [[https://www.youtube.com/watch?v=XoYebEAcjvw|YouTube]] ||
Deleted line 15:
Added line 25:
|| [[https://www.cs.umd.edu/people/aaguinal|Angeline Aguinaldo]] (University of Maryland) || Diary of a software engineer using categories || 09/09/2021 16:00h || [[https://www.youtube.com/watch?v=DxZ4lSrPXso|YouTube]] ||
Changed line 16 from:
|| [[https://www.cs.umd.edu/people/aaguinal|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:
|| [[https://www.cs.umd.edu/people/aaguinal|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:
Added line 26:
|| [[https://www.dpmms.cam.ac.uk/person/jvp27|José Siqueira]] (University of Cambridge) || Formas categóricas da teoria dos conjuntos internos || 26/08/2021 16:00h || [[https://www.youtube.com/watch?v=X2SKMBnQv4k|YouTube]] ||
Changed lines 16-17 from:
|| [[https:
to:
|| [[https://www.dpmms.cam.ac.uk/person/jvp27|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:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || [[https://arxiv.org/abs/2105.09416|Coproduct and amalgamation of deductive systems by means of ordered algebras]] || 12/08/2021 16:00h || [[https://www.youtube.com/watch?v=0jhEow-qhto|YouTube]] ||
to:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (DM/UFBA) || [[https://arxiv.org/abs/2105.09416|Coproduct and amalgamation of deductive systems by means of ordered algebras]] || 12/08/2021 16:00h || [[https://www.youtube.com/watch?v=0jhEow-qhto|YouTube]] ||
Deleted line 16:
Added line 28:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || [[https://arxiv.org/abs/2105.09416|Coproduct and amalgamation of deductive systems by means of ordered algebras]] || 12/08/2021 16:00h || [[https://www.youtube.com/watch?v=0jhEow-qhto|YouTube]] ||
Changed line 17 from:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|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:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || [[https://arxiv.org/abs/2105.09416|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:
Added line 29:
|| [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || Completeness as (topological) Reconstruction (of logical properties) || 05/08/2021 16:00h || [[https://www.youtube.com/watch?v=5weZfHK4D3g|YouTube]] ||
Changed line 17 from:
|| [[http://avillavecesn.net/|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:
|| [[http://avillavecesn.net/|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:
|| [[http://avillavecesn.net/|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:
|| [[http://avillavecesn.net/|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:
|| [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || Completeness as (topological) Reconstruction (of logical properties) || 05/08/2021 16:00h || T[[http://meet.google.com/tmx-wpxx-nim]]||
to:
|| [[http://avillavecesn.net/|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:
|| [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || TBA || 05/08/2021 16:00h || TBA ||
to:
|| [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || Completeness as (topological) Reconstruction (of logical properties) || 05/08/2021 16:00h || T[[http://meet.google.com/tmx-wpxx-nim]]||
Changed line 17 from:
to:
|| [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || TBA || 05/08/2021 16:00h || TBA ||
Changed line 17 from:
|| [[http://avillavecesn.net/|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:
|| [[https://www.cs.umd.edu/people/aaguinal|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:
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:
|| [[http://jyb-logic.org|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:
|| [[http://jyb-logic.org|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:
|| [[http://jyb-logic.org|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:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || TBA || 07/11/2021 16:00h || TBA ||
to:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || TBA || 04/11/2021 16:00h || TBA ||
Added line 22:
|| [[https://www.cs.bham.ac.uk/~mhe/|Martin Escardo]] (University of Birminghan) || TBA || 07/11/2021 16:00h || TBA ||
Added line 85:
* [[http://vcvpaiva.github.io/|Valeria de Paiva]] (Topos Institute)
Added line 21:
|| [[http://gallium.inria.fr/~scherer/|Gabriel Scherer]] (INRIA) || TBA || 21/10/2021 11:00h || TBA ||
Added lines 20-21:
|| [[https://www.cs.umd.edu/people/aaguinal|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:
Added line 24:
|| [[https://sites.google.com/site/ttulenheimo|Tero Tulenheimo]] (CNRS-STL & Université de Lille) || Objects and Modalities || 08/07/2021 14:00h || [[https://www.youtube.com/watch?v=7Flq8nPqRqE|YouTube]] ||
Changed line 19 from:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || TBA || 12/08/2021 16:00h || TBA ||
to:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|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:
|| [[https://sites.google.com/site/ttulenheimo|Tero Tulenheimo]] (Université de Lille & Tampere University) || TBA || 08/07/2021 14:00h || TBA ||
to:
|| [[https://sites.google.com/site/ttulenheimo|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:
Added line 25:
|| [[http://mbarany.com|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 || [[https://www.youtube.com/watch?v=DA9FibjpSqQ|YouTube]] ||
Changed line 17 from:
|| [[http://mbarany.com|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:
|| [[http://mbarany.com|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 || [[https://www.youtube.com/watch?v=DA9FibjpSqQ|YouTube]] ||
Changed line 17 from:
|| [[http://mbarany.com|Michael Barany]] (University of Edinburgh) || TBA || 24/06/2021 16:00h || TBA ||
to:
|| [[http://mbarany.com|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:
Added line 26:
|| [[https://www.di.univr.it/?ent=persona&id=42247&lang=en|Davide Trotta]] (Università di Pisa) || The Gödel fibration || 10/06/2021 16:00h || [[https://www.youtube.com/watch?v=KTMBp6eyG3I|YouTube]] ||
Changed line 21 from:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || TBA || 12/08/2021 || TBA ||
to:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || TBA || 12/08/2021 16:00h || TBA ||
Added line 21:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/ciro|Ciro Russo]] (UFBA) || TBA || 12/08/2021 || TBA ||
Changed line 17 from:
|| [[https://www.di.univr.it/?ent=persona&id=42247&lang=en|Davide Trotta]] (Università degli studi di Verona) || TBA || 10/06/2021 16:00h || TBA ||
to:
|| [[https://www.di.univr.it/?ent=persona&id=42247&lang=en|Davide Trotta]] (Università di Pisa) || The Gödel fibration || 10/06/2021 16:00h || [[https://meet.google.com/iit-jawp-kyf]] ||
Added line 21:
|| [[https://www.dpmms.cam.ac.uk/person/jvp27|José Siqueira]] (University of Cambridge) || TBA || 26/08/2021 16:00h || TBA ||
Deleted line 16:
Added line 25:
|| [[https://home.sandiego.edu/~shulman/|Michael Shulman]] (University of San Diego) || Affine logic for constructive mathematics || 27/05/2021 16:00h || [[https://www.youtube.com/watch?v=1QbRSSyKktE|YouTube]] ||
Changed lines 16-17 from:
|| [[https://livyreal.github.io|Livy Real]] (B2W) || TBA || TBA || TBA ||
|| [[https://home.sandiego.edu/~shulman/|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 || :)
|| [[https://home.sandiego.edu/~shulman/|Michael Shulman]] (University of San Diego) || Linear logic for constructive mathematics || 27/05/2021 16:00h || [[https://meet.google.com/xrc-ujtf-dxk]] ||
|| [[https://home.sandiego.edu/~shulman/|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:
|| [[http://avillavecesn.net/|Andrés Villaveces]] (Universidad Nacional de Colombia) || TBA || 29/07/2021 16:00h || TBA ||
Added line 20:
|| [[https://sites.google.com/site/ttulenheimo|Tero Tulenheimo]] (Université de Lille & Tampere University) || TBA || 08/07/2021 14:00h || TBA ||
Deleted line 15:
Added line 24:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS), [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) e [[https://www.chapman.edu/our-faculty/domenico-napoletani|Domenico Napoletani]] (Chapman University) || Agnostic Science and Mathematics || 29/04/2021 16:00h || [[https://www.youtube.com/watch?v=TIPgmPhhrKQ|YouTube]] ||
Changed line 17 from:
|| [[https://livyreal.github.io|Livy Real]] (B2W) || TBA || 13/05/2021 16:00h || TBA ||
to:
|| [[https://livyreal.github.io|Livy Real]] (B2W) || TBA || TBA || TBA ||
Changed line 16 from:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || Agnostic Science and Mathematics || 29/04/2021 16:00h || [[https://meet.google.com/ukv-ypzu-kcg]] ||
to:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS), [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) e [[https://www.chapman.edu/our-faculty/domenico-napoletani|Domenico Napoletani]] (Chapman University) || Agnostic Science and Mathematics || 29/04/2021 16:00h || [[https://meet.google.com/ukv-ypzu-kcg]] ||
Changed line 16 from:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || Agnostic Science and Mathematics || 29/04/2021 16:00h || TBA ||
to:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || Agnostic Science and Mathematics || 29/04/2021 16:00h || [[https://meet.google.com/ukv-ypzu-kcg]] ||
Changed line 16 from:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || TBA || 29/04/2021 16:00h || TBA ||
to:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || Agnostic Science and Mathematics || 29/04/2021 16:00h || TBA ||
Deleted line 15:
Added line 25:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || Formalising Ordinal Partition Relations Using Isabelle/HOL || 08/04/2021 14:00h || [[https://www.youtube.com/watch?v=I382FpmhODw|YouTube]] ||
Added line 21:
|| [[http://mbarany.com|Michael Barany]] (University of Edinburgh) || TBA || 24/06/2021 16:00h || TBA ||
Changed line 16 from:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || TBA || 08/04/2021 14:00h || TBA ||
to:
|| [[https://www.logiqueconsult.eu|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:
|| [[https://home.sandiego.edu/~shulman/|Michael Shulman]] (University of San Diego) || TBA || 27/05/2021 16:00h || TBA ||
Deleted line 15:
Added line 24:
|| [[http://www.ltstepien.up.krakow.pl|Ł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:
Added line 25:
|| [[https://sites.google.com/site/bbentzena/|Bruno Bentzen]] (Czech Academy of Sciences) || What went wrong with Frege's theory of types? || 11/03/2021 16:00h || [[https://www.youtube.com/watch?v=oVoGj1hqXr8|YouTube]] ||
Changed line 16 from:
|| [[https://sites.google.com/site/bbentzena/|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]] ||
to:
|| [[https://sites.google.com/site/bbentzena/|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]] ||
Changed line 16 from:
|| [[https://sites.google.com/site/bbentzena/|Bruno Bentzen]] (Czech Academy of Sciences) || What went wrong with Frege's theory of types? || 11/03/2020 16:00h || TBA ||
to:
|| [[https://sites.google.com/site/bbentzena/|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:
|| [[https://www.di.univr.it/?ent=persona&id=42247&lang=en|Davide Trotta]] (Università degli studi di Verona) || TBA || 10/06/2021 16:00h || TBA ||
Deleted line 15:
Added line 25:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (University of North Texas) || Training Neural Networks to Do Logic, with Logic || 22/02/2021 16:00h || [[https://www.youtube.com/watch?v=UVCx4zly7FI|YouTube]] ||
Changed line 17 from:
|| [[https://sites.google.com/site/bbentzena/|Bruno Bentzen]] (Carnegie Mellon University) || What went wrong with Frege's theory of types? || 11/03/2020 16:00h || TBA ||
to:
|| [[https://sites.google.com/site/bbentzena/|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 [[http://sbc.org.br|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 [[https://logic.uconn.edu/supergroup/|The Logic Supergroup]].
to:
Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do [[https://www.sbc.org.br/403-comissoes-especiais/grupos-de-interesse/166-interesse-1/2267-interesse-em-logica|Grupo de Interesse em Lógica]] da [[http://sbc.org.br|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 [[https://logic.uconn.edu/supergroup/|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 [[http://sbc.org.br|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 [[http://sbc.org.br|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 [[https://logic.uconn.edu/supergroup/|The Logic Supergroup]].
Changed line 20 from:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || TBA || 29/04/2021 || TBA ||
to:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || TBA || 29/04/2021 16:00h || TBA ||
Added line 20:
|| [[https://www.chapman.edu/our-faculty/marco-panza|Marco Panza]] (Chapman University & IHPST & CNRS) e [[https://www.chapman.edu/our-faculty/daniele-struppa|Daniele Struppa]] (Chapman University) || TBA || 29/04/2021 || TBA ||
Changed lines 63-67 from:
(:comment !! Como participar
Se você tem interesse em apresentar um
As apresentações serão públicas pelos ''links'' da agenda. :)
Se você tem interesse em apresentar um
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. :)
(: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:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || Training Neural Networks to Do Logic, with Logic || 22/02/2021 16:00h || [[https://meet.google.com/bvc-tcdf-ohv]] ||
to:
|| [[https://www.cse.unt.edu/~tarau/|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:
As palestras têm duração entre 20 e 50min
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:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || TBA || 22/02/2021 16:00h || TBA ||
to:
|| [[https://www.cse.unt.edu/~tarau/|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:
Added line 27:
|| [[http://www.advancedreasoningforum.org/members/richard-l-epstein| Richard L. Epstein]] (ARF) || Temporal Propositional Logic || 11/02/2021 16:00h || --- ||
Changed line 19 from:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || TBA || 25/02/2021 16:00h || TBA ||
to:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || TBA || 22/02/2021 16:00h || TBA ||
Added line 23:
|| [[https://livyreal.github.io|Livy Real]] (B2W) || TBA || 13/05/2021 16:00h || TBA ||
Changed line 18 from:
|| [[http://www.advancedreasoningforum.org/members/richard-l-epstein| Richard L. Epstein]] (ARF) || TBA || 11/02/2021 16:00h || TBA ||
to:
|| [[http://www.advancedreasoningforum.org/members/richard-l-epstein| Richard L. Epstein]] (ARF) || Temporal Propositional Logic || 11/02/2021 16:00h || [[https://meet.google.com/and-jnda-pzc]] ||
Changed line 22 from:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || 08/04/2021 14:00h || TBA || TBA ||
to:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || TBA || 08/04/2021 14:00h || TBA ||
Changed line 22 from:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || 08/04/2021 || 14:00h TBA || TBA ||
to:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || 08/04/2021 14:00h || TBA || TBA ||
Changed line 22 from:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || TBA || TBA || TBA ||
to:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || 08/04/2021 || 14:00h TBA || TBA ||
Added line 22:
|| [[https://www.logiqueconsult.eu|Mirna Džamonja]] (Logique Consult & IHPST) || TBA || 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:
!!!! 2021
|| '''Apresentador''' || '''Título''' || '''Data''' (GMT-3) || '''Link para acesso''' ||
Added line 24:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] (SRI) || Realisability semantics of abstract focussing || 03/12/2020 16:00h || [[https://www.youtube.com/watch?v=7DseQEb4xRI|YouTube]] ||
Changed lines 17-18 from:
to:
Added line 23:
|| [[https://sites.google.com/site/bbentzena/|Bruno Bentzen]] (Carnegie Mellon University) || What went wrong with Frege's theory of types? || 11/03/2020 16:00h || TBA ||
Changed line 16 from:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] (SRI) || TBA || 03/12/2020 16:00h || TBA ||
to:
|| [[http://www.csl.sri.com/users/sgl/|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:
|| [[http://jyb-logic.org|Jean-Yves Beziau]] (DF/UFRJ) || [[http://jyb-logic.org/ALICE|The Mystery of the Fifth Logical Notion]] || 26/11/2020 16:00h || --- ||
to:
|| [[http://jyb-logic.org|Jean-Yves Beziau]] (DF/UFRJ) || [[http://jyb-logic.org/ALICE|The Mystery of the Fifth Logical Notion]] || 26/11/2020 16:00h || [[https://www.youtube.com/watch?v=Cro4AJcOue0|YouTube]] ||
Deleted line 15:
Added line 29:
|| [[http://jyb-logic.org|Jean-Yves Beziau]] (DF/UFRJ) || [[http://jyb-logic.org/ALICE|The Mystery of the Fifth Logical Notion]] || 26/11/2020 16:00h || --- ||
Deleted line 15:
Added line 30:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|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://www.youtube.com/watch?v=jNaGiFSdTts|YouTube]] ||
Changed line 16 from:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|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:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|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:
Added line 31:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/samuel|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://www.youtube.com/watch?v=Ilr4V2qZdFg|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:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|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:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|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:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|Edward Hermann Haeusler]] (DI/PUC-Rio) || TBA || 19/11/2020 16:00h || TBA ||
to:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|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:
Added line 32:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || The L-Framework: Structural Proof Theory in Rewriting Logic || 05/11/2020 16:00h || [[https://www.youtube.com/watch?v=KWNXA69CiMI|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
!!! 2020
Deleted lines 16-19:
!! 2020
Changed lines 25-26 from:
!! 2021
to:
!!! 2021
Changed line 32 from:
to:
!! Seminários passados
Changed line 26 from:
|| [[http://www.ltstepien.up.krakow.pl|Łukasz T. Stępień]] (UPKENK) || On Inconsistency of Classical Logic || 25/03/2021 || [[https://meet.google.com/pwi-vcga-vbs]] ||
to:
|| [[http://www.ltstepien.up.krakow.pl|Ł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:
|| [[http://www.ltstepien.up.krakow.pl|Łukasz T. Stępień]] (UPKENK) || On Inconsistency of Classical Logic || 25/03/2021 || TBA ||
to:
|| [[http://www.ltstepien.up.krakow.pl|Łukasz T. Stępień]] (UPKENK) || On Inconsistency of Classical Logic || 25/03/2021 || [[https://meet.google.com/pwi-vcga-vbs]] ||
Changed line 26 from:
|| [[http://www.ltstepien.up.krakow.pl|Łukasz T. Stępień]] (UPKENK) || TBA || 25/03/2021 || TBA ||
to:
|| [[http://www.ltstepien.up.krakow.pl|Łukasz T. Stępień]] (UPKENK) || On Inconsistency of Classical Logic || 25/03/2021 || TBA ||
Deleted line 13:
Added line 31:
|| [[https://mat.unb.br/dnantes/Welcome.html|Daniele Nantes]] (DM/UnB) || Nominal Equational Problems || 28/10/2020 16:00h || [[https://www.youtube.com/watch?v=2DSMUumUeok|YouTube]] ||
Changed line 15 from:
|| [[https://sites.google.com/site/carlosolarte/|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:
|| [[https://sites.google.com/site/carlosolarte/|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:
Added line 32:
|| [[https://sites.google.com/view/marcossilvaphilosophy/home|Marcos Silva]] (DF/UFPE) || Revision of Logic, Reflexive Equilibrium and Normative Bidirectionality || 22/10/2020 16:00h || [[https://www.youtube.com/watch?v=HYDfo1dk3Xc|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:
|| [[https://sites.google.com/view/marcossilvaphilosophy/home|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:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || The L-Framework*: Structural Proof Theory in Rewriting Logic || 05/11/2020 16:00h || TBA ||
to:
|| [[https://sites.google.com/site/carlosolarte/|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:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || TBA || 05/11/2020 16:00h || TBA ||
to:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || The L-Framework*: Structural Proof Theory in Rewriting Logic || 05/11/2020 16:00h || TBA ||
Deleted line 13:
Added line 33:
|| [[https://www.ime.usp.br/hugomar|Hugo Luiz Mariano]] (IME/USP) || An algebraic framework to a theory of sets based on the surreal numbers || 15/10/2020 16:00h || [[https://www.youtube.com/watch?v=JFhVXpReIMM|YouTube]] ||
Added line 29:
|| [[http://www.ltstepien.up.krakow.pl|Łukasz T. Stępień]] (UPKENK) || TBA || 25/03/2021 || TBA ||
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:
Added line 33:
|| Gisele Secco (DF/UFSM) || Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias || 08/10/2020 11:00h || [[https://www.youtube.com/watch?v=Tb_CaP_tjrI|YouTube]] ||
Changed line 15 from:
|| [[https://www.ime.usp.br/hugomar|Hugo Luiz Mariano]] (IME/USP) || TBA || 15/10/2020 16:00h || TBA ||
to:
|| [[https://www.ime.usp.br/hugomar|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:
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 || [[https://www.youtube.com/watch?v=gMk7Apz1yUs|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:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/samuel|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:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/samuel|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/202016:00h || [[https://meet.google.com/rie-ijro-onf]] ||
|| Gisele Secco (DF/UFSM) || Diagramas e programas: o Teorema da Quatro Cores e suas circunstâncias || 08/10/2020
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]] ||
|| 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:
Added line 35:
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] (VU Amsterdam) || Who's afraid of adversariality? Conflict and cooperation in argumentation || 29/09/2020 11:00h || [[https://www.youtube.com/watch?v=6qz_2ZcqwhU|YouTube]] ||
Deleted line 13:
Added line 36:
|| Javier Legris (UBA & CONICET) || Identity and Quantification in Peirce’s Beta Graphs || 24/09/2020 16:00h || [[https://www.youtube.com/watch?v=AddZp7477mc|YouTube]] ||
Changed line 32 from:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || TBA 25/02/2021 16:00h || TBA ||
to:
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || TBA || 25/02/2021 16:00h || TBA ||
Added lines 27-32:
!! 2021
|| '''Apresentador''' || '''Título''' || '''Data''' (GMT-3) || '''Link para acesso''' ||
|| [[http://www.advancedreasoningforum.org/members/richard-l-epstein| Richard L. Epstein]] (ARF) || TBA || 11/02/2021 16:00h || TBA ||
|| [[https://www.cse.unt.edu/~tarau/|Paul Tarau]] (UNT) || TBA 25/02/2021 16:00h || TBA ||
Changed line 15 from:
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] (VU Amsterdam) || TBA || 29/09/2020 11:00h || TBA ||
to:
|| [[https://www.cdutilhnovaes.com|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 ||
||[[https://www.cdutilhnovaes.com|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]] ||
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] (VU Amsterdam) || TBA || 29/09/2020 11:00h || TBA ||
|| [[https://www.cdutilhnovaes.com|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 ||
|| [[https:/www.cdutilhnovaes.com|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 ||
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] (VU Amsterdam) || TBA || 29/09/2020 11:00h || [[https://meet.google.com/wjz-kbzj-azm]] ||
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] (VU Amsterdam) || TBA || 29/09/2020 11:00h || [[https://meet.google.com/wjz-kbzj-azm]] ||
Deleted line 13:
Added line 31:
|| [[https://sites.google.com/view/damianszmuc/|Damian Szmuc]] (IIF-SADAF/CONICET) || The fragment of Classical Logic that respects the Variable-Sharing Principle || 17/09/2020 16:00h || [[https://www.youtube.com/watch?v=A54YUw1QJ60|YouTube]] ||
Deleted line 13:
Added line 32:
|| Diogo Henrique Bispo Dias (DF/UENP & DF/USP) || There is no good argument for logical monism || 10/09/2020 16:00h || [[https://www.youtube.com/watch?v=0sZn9BwFjzU|YouTube]] ||
Deleted line 13:
Added line 33:
|| [[https://www.math.unipd.it/~sambin/|Giovanni Sambin]] (UNIPD) || Intuitionistic logic as abstraction, classical logic as idealization || 03/09/2020 16:00h || [[https://www.youtube.com/watch?v=fgSE-ZzWZ7w|YouTube]] ||
Added line 29:
|| [[https://sites.google.com/site/bbentzena/|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:
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] ( VU Amsterdam) || TBA || 29/09/2020 11:00h || TBA ||
to:
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] (VU Amsterdam) || TBA || 29/09/2020 11:00h || TBA ||
Changed line 14 from:
|| [[https://www.math.unipd.it/~sambin/|Giovanni Sambin]] (UNIPD) || Intuitionistic logic as abstraction, classical logic as idealization || 03/09/2020 16:00h || TBA ||
to:
|| [[https://www.math.unipd.it/~sambin/|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:
|| [[https://www.math.unipd.it/~sambin/|Giovanni Sambin]] (UNIPD) || TBA || 03/09/2020 16:00h || TBA ||
to:
|| [[https://www.math.unipd.it/~sambin/|Giovanni Sambin]] (UNIPD) || Intuitionistic logic as abstraction, classical logic as idealization || 03/09/2020 16:00h || TBA ||
Deleted line 13:
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:
Added line 34:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (Carnegie Mellon University) || Formal Mathematics and the Lean Theorem Prover || 20/08/2020 16:00h || [[https://www.youtube.com/watch?v=uPCxm1_R_4I|YouTube]] ||
Changed line 26 from:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || TBA || 05/11/2020 16:00h || TBA||
to:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || TBA || 05/11/2020 16:00h || TBA ||
Changed line 26 from:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || TBA || 05/11/2020 || TBA||
to:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || TBA || 05/11/2020 16:00h || TBA||
Added line 26:
|| [[https://sites.google.com/site/carlosolarte/|Carlos Olarte]] (ECT/UFRN) || TBA || 05/11/2020 || TBA||
Deleted line 13:
Added line 34:
|| [[http://www.brendanfong.com|Brendan Fong]] (MIT) || Backprop as Functor: A compositional perspective on supervised learning || 13/08/2020 16:00h || [[https://www.youtube.com/watch?v=JFbsPDJAuhw|YouTube]] ||
Changed line 15 from:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (CMU) || TBA || 20/08/2020 16:00h || [[http://meet.google.com/ijx-mwhr-fjg]] ||
to:
|| [[http://www.andrew.cmu.edu/user/avigad/|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:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (CMU) || TBA || 20/08/2020 16:00h || TBA ||
to:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (CMU) || TBA || 20/08/2020 16:00h || [[http://meet.google.com/ijx-mwhr-fjg]] ||
Deleted line 13:
Added line 35:
|| Carlos Areces (UNC & CONICET) || Henkin Completeness in Modal Logic || 06/08/2020 16:00h || [[https://www.youtube.com/watch?v=AdigCY-qETI|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:
|| [[https://sites.google.com/site/ufbalogic/home/home-1/members/samuel|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:
|| [[https://mat.unb.br/dnantes/Welcome.html|Daniele Nantes]] (DM/UnB) || Nominal Equational Problems || 28/10/2020 16:00h || [[https://meet.google.com/row-kniu-dgm?hs=122]] ||
to:
|| [[https://mat.unb.br/dnantes/Welcome.html|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:
Added line 36:
|| [[https://ufsmpublica.ufsm.br/docente/10838|Frank Thomas Sautter]] (DF/UFSM) || Keynes e Peirce sobre informação e lógica || 30/07/2020 16:00h || [[https://www.youtube.com/watch?v=IPoegH8WnYk|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:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] (DI/PUC-Rio) || TBA || 19/11/2020 16:00h || TBA ||
to:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHermann|Edward Hermann Haeusler]] (DI/PUC-Rio) || TBA || 19/11/2020 16:00h || TBA ||
Added line 29:
|| [[http://www.tecmf.inf.puc-rio.br/EdwardHaeusler|Edward Hermann Haeusler]] (DI/PUC-Rio) || TBA || 19/11/2020 16:00h || TBA ||
Added line 23:
|| [[https://www.cdutilhnovaes.com|Catarina Dutilh Novaes]] ( VU Amsterdam) || TBA || 29/09/2020 11:00h || TBA ||
Changed line 28 from:
|| [[http://jyb-logic.org/ALICE |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:
|| [[http://jyb-logic.org|Jean-Yves Beziau]] (DF/UFRJ) || [[http://jyb-logic.org/ALICE|The Mystery of the Fifth Logical Notion]] || 26/11/2020 16:00h || [[http://meet.google.com/jnp-yieh-nnf]] ||
Deleted line 13:
Added line 34:
|| [[https://www-2.dc.uba.ar/staff/adiazcaro/|Alejandro Díaz-Caro]] (ICC - CONICET/UBA - & UNQ) || Extensional proofs in a propositional logic modulo isomorphisms || 23/07/2020 16:00h || [[https://www.youtube.com/watch?v=NJ4kjqT04Js|YouTube]] ||
Changed line 30 from:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] || TBA || 03/12/2020 16:00h || TBA ||
to:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] (SRI) || TBA || 03/12/2020 16:00h || TBA ||
Changed line 30 from:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] TBA || 03/12/2020 16:00h || TBA ||
to:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] || TBA || 03/12/2020 16:00h || TBA ||
Added line 30:
|| [[http://www.csl.sri.com/users/sgl/|Stéphane Graham-Lengrand]] TBA || 03/12/2020 16:00h || TBA ||
Changed line 29 from:
|| [[https://www.jyb-logic.org|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:
|| [[http://jyb-logic.org/ALICE |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:
|| [[https://www.jyb-logic.org|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:
|| [[https://vcvpaiva.github.io|Valeria de Paiva]] || Between a rock and a hard place: Structural and Distributional Meaning Representations || 16/04/2020 16:00h || [[https://www.youtube.com/watch?v=O4zSTV-swF0|YouTube]] ||
to:
|| [[http://vcvpaiva.github.io|Valeria de Paiva]] (Topos Institute) || Between a rock and a hard place: Structural and Distributional Meaning Representations || 16/04/2020 16:00h || [[https://www.youtube.com/watch?v=O4zSTV-swF0|YouTube]] ||
Deleted line 13:
Added line 33:
|| [[http://www.ic.uff.br/~mario|Mario Benevides]] (IC/UFF) || What makes a Logic Dynamic? || 16/07/2020 16:00h || [[https://www.youtube.com/watch?v=Z6RbZ4dGBxw|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:
|| [[https://mat.unb.br/dnantes/Welcome.html|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:
Added line 33:
|| [[http://johannafranklin.net|Johanna Franklin]] (Hofstra University) || Randomness and computability theory || 09/07/2020 16:00h || [[https://www.youtube.com/watch?v=FIwzWukmlcE|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:
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 || :)
Added line 28:
|| Marcos Silva (DF/UFPE) || TBA || 22/10/2020 16:00h || TBA ||
Changed line 27 from:
|| [[https://www.ime.usp.br/hugomar|Hugo Luiz Marino]] (IME/USP) || TBA || 15/10/2020 16:00h || TBA ||
to:
|| [[https://www.ime.usp.br/hugomar|Hugo Luiz Mariano]] (IME/USP) || TBA || 15/10/2020 16:00h || TBA ||
Added line 27:
|| [[https://www.ime.usp.br/hugomar|Hugo Luiz Marino]] (IME/USP) || TBA || 15/10/2020 16:00h || TBA ||
Changed line 26 from:
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 || :)
Added line 26:
|| Gisele Secco (DF/UFSM) || TBA || 01/10/2020 16:00h || TBA ||
Deleted line 13:
Added line 30:
|| [[http://www.lsv.fr/~dowek/|Gilles Dowek]] (LSV, CNRS & ENS Paris-Saclay) || Logipedia: towards a Wikipedia of formal proofs || 02/07/2020 16:00h || [[https://www.youtube.com/watch?v=UjcpfKtq7wY|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:
|| [[https://sites.google.com/view/damianszmuc/|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:
|| [[https://sites.google.com/view/damianszmuc/|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:
|| [[https://sites.google.com/view/damianszmuc/|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:
Added line 28:
|| Aldo Dinucci (DF/UFS) || A Condicional Estoica || 25/06/2020 16:00h || [[https://www.youtube.com/watch?v=bjtS_4sMuB0|TouTube]] ||
Changed line 22 from:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (Carnegie Mellon University) || TBA || 20/08/2020 16:00h || TBA ||
to:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (CMU) || TBA || 20/08/2020 16:00h || TBA ||
Added line 23:
|| [[https://www.math.unipd.it/~sambin/|Giovanni Sambin]] (UNIPD) || TBA || 03/09/2020 16:00h || TBA ||
Added line 23:
|| Javier Legris (UBA & CONICET) || TBA || 24/09/2020 16:00h || TBA ||
Changed line 22 from:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] || TBA || 20/08/2020 16:00h || TBA ||
to:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] (Carnegie Mellon University) || TBA || 20/08/2020 16:00h || TBA ||
Added line 22:
|| [[http://www.andrew.cmu.edu/user/avigad/|Jeremy Avigad]] || TBA || 20/08/2020 16:00h || TBA ||
Added line 20:
|| Carlos Areces (UNC & CONICET) || TBA || 06/08/2020 16:00h || TBA ||
Deleted line 13:
Added line 25:
|| [[https://www.ime.usp.br/~mfinger/|Marcelo Finger]] (IME/USP) || Logic and Numbers || 17/06/2020 16:00h || [[https://www.youtube.com/watch?v=ejk6b2ZHddE|YouTube]] ||
Changed line 19 from:
|| [[https://www-2.dc.uba.ar/staff/adiazcaro/|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:
|| [[https://www-2.dc.uba.ar/staff/adiazcaro/|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:
|| [[https://www-2.dc.uba.ar/staff/adiazcaro/|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:
|| [[http://www.lsv.fr/~dowek/|Gilles Dowek]] (LSV, CNRS & ENS Paris-Saclay) || TBA || 02/07/2020 16:00h || TBA ||
to:
|| [[http://www.lsv.fr/~dowek/|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:
|| [[http://www.brendanfong.com|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:
|| [[https://ufsmpublica.ufsm.br/docente/10838|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:
|| [[http://www.lsv.fr/~dowek/|Gilles Dowek]] (LSV, CNRS & ENS Paris-Saclay) || TBA || 02/07/2020 16:00h || TBA ||
Deleted line 13:
Added line 22:
|| [[https://www.eecs.qmul.ac.uk/~pbo/|Paulo Oliva]] (QMUL) || The Power of Continuations || 11/06/2020 16:00h || [[https://www.youtube.com/watch?v=6rNkcnPZVOU|YouTube]] ||
Added line 17:
|| [[http://johannafranklin.net|Johanna Franklin]] (Hofstra University) || Randomness and computability theory || 09/07/2020 16:00h || [[http://meet.google.com/jnd-aopk-efq]] ||
Changed line 17 from:
|| [[http://www.ic.uff.br/~mario|Mario Benevides]] (IC/UFF) || What makes a Logic Dynamic || 16/07/2020 16:00h || [[http://meet.google.com/tbn-fbee-dov]] ||
to:
|| [[http://www.ic.uff.br/~mario|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:
|| [[http://www.ic.uff.br/~mario|Mario Benevides]] (IC/UFF) || What makes a Logic Dynamic || 25/06/2020 16:00h || [[http://meet.google.com/tbn-fbee-dov]] ||
to:
|| [[http://www.ic.uff.br/~mario|Mario Benevides]] (IC/UFF) || What makes a Logic Dynamic || 16/07/2020 16:00h || [[http://meet.google.com/tbn-fbee-dov]] ||
Added line 17:
|| [[http://www.ic.uff.br/~mario|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:
Added line 20:
|| [[https://pt.wikipedia.org/wiki/Desidério_Murcho|Desidério Murcho]] (DEFIL/UFOP) || Uma Abordagem Epistêmica do Conceito de Consequência Lógica || 04/06/2020 16:00h || [[https://www.youtube.com/watch?v=UT2qZ_0eUBg|YouTube]] ||
Deleted line 13:
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 || [[https://www.youtube.com/watch?v=UXB2Pf_Yg6g|YouTube]] ||
Deleted line 13:
Added line 22:
|| [[https://www.cin.ufpe.br/~ruy/|Ruy de Queiroz]] (CIn/UFPE) || Computational Paths and the Calculation of Fundamental Groups || 20/05/2020 16:00h || [[https://www.youtube.com/watch?v=mncfXSv_9K0|YouTube]] ||
Added line 18:
|| [[https://www.ime.usp.br/~mfinger/|Marcelo Finger]] (IME/USP) || Logic and Numbers || 17/06/2020 16:00h || [[http://meet.google.com/het-yrdu-qsd]] ||
Changed line 7 from:
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:
|| [[https://www.eecs.qmul.ac.uk/~pbo/|Paulo Oliva]] || The Power of Continuations || 11/06/2020 16:00h || [[http://meet.google.com/jjj-ntym-nnt]] ||
to:
|| [[https://www.eecs.qmul.ac.uk/~pbo/|Paulo Oliva]] (QMUL) || The Power of Continuations || 11/06/2020 16:00h || [[http://meet.google.com/jjj-ntym-nnt]] ||
Added line 15:
|| [[https://www.eecs.qmul.ac.uk/~pbo/|Paulo Oliva]] || The Power of Continuations || 11/06/2020 16:00h || [[http://meet.google.com/jjj-ntym-nnt]] ||
Added line 14:
|| [[https://pt.wikipedia.org/wiki/Desidério_Murcho|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:
Added line 18:
|| Rodrigo Freire (DF/UnB) || Uma abordagem axiomática para forcing e extensões genéricas || 14/05/2020 16:00h || [[https://www.youtube.com/watch?v=iPJ_i6-rZPU|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
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]] ||
|| 28/05/2020 16:00h || [[http://meet.google.com/fhm-qjgf-gef]] ||
Deleted line 11:
Added line 19:
|| Wagner Sanz (FF/UFG) || Lógica como teoria de problemas || 07/05/2020 16:00h || [[https://www.youtube.com/watch?v=_GZPJ3pBC4o|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:
Added line 19:
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|Haniel Barbosa]] (DCC/UFMG) || Extending enumerative function synthesis via SMT-driven classification || 30/04/2020 16:00h || [[https://www.youtube.com/watch?v=rIo36JkbX2M|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 ||
||[[https://www.cin.ufpe.br/~ruy/|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]] ||
|| [[https://www.cin.ufpe.br/~ruy/|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]] ||
|| [[https://www.cin.ufpe.br/~ruy/|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:
Added line 20:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DMAT/UFRN) || Ecumenical modalities || 23/04/2020 16:00h || [[https://www.youtube.com/watch?v=cePHY_JxcRU|YouTube]] ||
Changed line 16 from:
|| [[https://www.cin.ufpe.br/~ruy/|Ruy de Queiroz]] (CIN/UFPE) || Computational Paths and the Calculation of Fundamental Groups || 20/05/2020 16:00h || TBA ||
to:
|| [[https://www.cin.ufpe.br/~ruy/|Ruy de Queiroz]] (CIn/UFPE) || Computational Paths and the Calculation of Fundamental Groups || 20/05/2020 16:00h || TBA ||
Added line 16:
|| [[https://www.cin.ufpe.br/~ruy/|Ruy de Queiroz]] (CIN/UFPE) || Computational Paths and the Calculation of Fundamental Groups || 20/05/2020 16:00h || TBA ||
Changed lines 25-27 from:
to:
Se você tem interesse em apresentar um seminário, por favor preencha o formulário disponível [[https://forms.gle/bCmQHTA1p4kYaRga9|aqui]].
As apresentações serão públicas pelos ''links'' da agenda.
As apresentações serão públicas pelos ''links'' da agenda.
Deleted line 11:
Added line 20:
|| [[https://vcvpaiva.github.io|Valeria de Paiva]] || Between a rock and a hard place: Structural and Distributional Meaning Representations || 16/04/2020 16:00h || [[https://www.youtube.com/watch?v=O4zSTV-swF0|YouTube]] ||
Added lines 9-10:
!!! Seminários agendados
Deleted line 11:
Added lines 17-21:
!!! Seminários passados
|| '''Apresentador''' || '''Título''' || '''Data''' || '''Link para acesso''' ||
|| [[https://www.dimap.ufrn.br/~jmarcos/|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://www.youtube.com/watch?v=9e9-qlClI-k|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:
|| [[https://vcvpaiva.github.io|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:
|| [[https://vcvpaiva.github.io|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:
|| [[https://www.dimap.ufrn.br/~jmarcos/|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:
|| [[https://www.dimap.ufrn.br/~jmarcos/|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://www.youtube.com/watch?v=9e9-qlClI-k|YouTube]] ||
Changed line 27 from:
* [[http://uff.br|Universidade Federal Fluminense]]
to:
* [[http://ic.uff.br|Instituto de Computação]] / [[http://uff.br|Universidade Federal Fluminense]]
Added line 14:
|| Wagner Sanz (FF/UFG) || TBA || 07/05/2020 16:00h || TBA ||
Changed lines 24-26 from:
!! Agradecimentos
*[[http://uff.br|Universidade Federal Fluminense]], pelo suporte de transmissão
*
to:
!! Suporte para transmissões
* [[http://uff.br|Universidade Federal Fluminense]]
* [[http://uff.br|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 [[https://forms.gle/bCmQHTA1p4kYaRga9|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 [[https://forms.gle/bCmQHTA1p4kYaRga9|aqui]].
!! Coordenação
* [[http://www.ic.uff.br/~bruno|Bruno Lopes]] (IC/UFF)
* Petrucio Viana (IM/UFF)
!! Agradecimentos
* [[http://uff.br|Universidade Federal Fluminense]], pelo suporte de transmissão
!! Coordenação
* [[http://www.ic.uff.br/~bruno|Bruno Lopes]] (IC/UFF)
* Petrucio Viana (IM/UFF)
!! Agradecimentos
* [[http://uff.br|Universidade Federal Fluminense]], pelo suporte de transmissão
Changed lines 12-13 from:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DMAT/UFRN) || Ecumenical modalities || 23/04/2020
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|Haniel Barbosa]] (DCC/UFMG) || Extending enumerative function synthesis via SMT-driven classification || 30/04/2020 || [[http://meet.google.com/etq-jnsp-onu]] ||
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|Haniel Barbosa]] (DCC/UFMG) || Extending enumerative function synthesis via SMT-driven classification || 30/04/2020 || [[http://meet.google.com/etq-jnsp-onu]] ||
to:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DMAT/UFRN) || Ecumenical modalities || 23/04/2020 16:00h || [[http://meet.google.com/qdg-hvwg-hfw]] ||
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|Haniel Barbosa]] (DCC/UFMG) || Extending enumerative function synthesis via SMT-driven classification || 30/04/2020 16:00h || [[http://meet.google.com/etq-jnsp-onu]] ||
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|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:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DMAT/UFRN) || Ecumenical modalities || TBA || TBA ||
to:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DMAT/UFRN) || Ecumenical modalities || 23/04/2020 || [[http://meet.google.com/qdg-hvwg-hfw]] ||
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|Haniel Barbosa]] (DCC/UFMG) || Extending enumerative function synthesis via SMT-driven classification || 30/04/2020 || [[http://meet.google.com/etq-jnsp-onu]] ||
|| [[https://homepages.dcc.ufmg.br/~hbarbosa/|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 [[http://sbc.org.br|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 [[http://sbc.org.br|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:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DIMAp/UFRN) || Ecumenical modalities || TBA || TBA ||
to:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DMAT/UFRN) || Ecumenical modalities || TBA || TBA ||
Changed line 1 from:
Attach:sblQuarentena.png
to:
%thumb% Attach:sblQuarentena.png
Changed line 1 from:
Attach:sblQuarentena.jpg
to:
Attach:sblQuarentena.png
Changed line 12 from:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DIMAp/UFRN) || Ecumenical modalities || TBA ||
to:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DIMAp/UFRN) || Ecumenical modalities || TBA || TBA ||
Added line 12:
|| [[https://sites.google.com/site/elainepimentel/|Elaine Pimentel]] (DIMAp/UFRN) || Ecumenical modalities || TBA ||
Added line 11:
|| [[https://vcvpaiva.github.io|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 [[https://forms.gle/bCmQHTA1p4kYaRga9|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''' ||
|| [[https://www.dimap.ufrn.br/~jmarcos/|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 ||
|| [[https://www.dimap.ufrn.br/~jmarcos/|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 ||
|| 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
'''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 [[http://sbc.org.br|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 [[http://sbc.org.br|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 [[http://sbc.org.br|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:
Attach:sbl.jpg
! 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.
! 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.