No Ano de 2018
Elaborou, desenvolveu e coordenou o IV SEQUANTEI (Seminário de Quantificação Aplicada em Engenharia e na Indústria) com o tema “OS ODS COMO FATOR DE DISRUPÇÃO NA INDÚSTRIA 4.0”, realizado em 10/12/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição) em parceria com o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) do Paraná.
Propôs, organizou e presidiu a reunião de Planejamento do Conselho Multidisciplinar de Cognição Disruptiva (CMCD) em parceria com o Centro de Engenharia Lógica e Cognição (Cenenlocog), a qual foi realizada nas dependências da COPEL, em 19/11/2018.
Propôs, organizou e presidiu a reunião de Avaliação da Proposta de Curso Disruptivo de Graduação em Engenharia de Sistemas no Modelo 3+2 com Mestrado Integrado, realizada em 12/11/2018, na Universidade Tecnológica Federal do Paraná (UTFPR), na sede Centro, do Câmpus Curitiba, no Departamento de Eletrônica.
Propôs, organizou e presidiu a reunião de Planejamento 2019 do GPDTCEI (Grupo de Pesquisa em Desenvolvimento Tecnológico e Científico em Engenharia e na Indústria) em parceria com o Cenelocog (Centro de Engenharia Lógica e Cognição) e o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) a qual foi realizada 25/10/2018, no Câmpus da Indústria do Sistema Federação das Indústrias do Estado do Paraná (Sistema Fiep).
Propôs, organizou e presidiu a reunião de Planejamento 2019 do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) a qual foi realizada em parceria com o Cenenlocog (Centro de Engenharia Lógica e Cognição) e o CMCD (Conselho Multidisciplinar de Cognição Disruptiva) na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR), em 24/10/2018.
Propôs, organozou e presidiu a reunião de Planejamento do Centro de Engenharia Lógica e Cognição (Cenenlocog) em parceria com o Conselho Multidisciplinar de Cognição Disruptiva (CMCD), realizada em 05/10/2018, na Escola Politécnica da Pontifícia Universidade Católica do Paraná (PUCPR).
Elaborou, desenvolveu e coordenou o III SLAIDEL (III Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema “Engenharia Matemática: Engenharia Disruptiva” realizado em 12/09/2018, no Cenenlocog (Centro de Engenharia Lógica e Cognição).
Elaborou, desenvolveu e coordenou a conferência “Indústria 4.0 é condicionada pelos CPS (CYBER-PHYSICAL SYSTENS)”, realizada em 17/05/2018, com promoção do Cenenlocog (Centro de Engenharia Lógica e Cognição).
Elaborou, desenvolveu e coordenou o COENTELOG (Colóquio Entelechia Logicae) 2018 realizado em 26/03/2018, com o tema “Consciência Cibernética em Engenharia Lógica”, desenvolvida no Cenenlocog.
No Ano de 2017
Propôs, elaborou e coordenou a Ação de Extensão intitulada II COLENLOG (Colóquio de Engenharia Lógica), com o tema Engenharia Matemática para além das Matemáticas, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/10/2017 a 26/10/2017, em um total de 20 (vinte) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada II SLAIDEL (Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica), com o tema A Necessidade Matemática nas Engenharias, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 18/09/2017 a 22/09/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada III SEQUANTEI (Seminário de Quantificação em Engenharia e na Indústria) 2017, com o tema Indústria 4.0 e Inovação em Engenharia, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 27/08/2017 a 31/08/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada Seminário sobre Simbiose entre Indústria 4.0 e ODS, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 18/07/2017 a 21/07/2017, em um total de 30 (trinta) horas.
Propôs, elaborou e coordenou a Ação de Extensão intitulada I FOCONVALRAD - Fórum sobre Consistência e Validade de Raciocínios Dedutivos, com o tema Consistência e Validade Dedutiva, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 03/04/2017 a 20/04/2017, em um total de 40 (quarenta) horas.
Propôs, organizou e coordenou a Ação de Extensão intitulada VI Colóquio Entelechia Logicae (COENTELOG), com o tema Lógica da Cognição Computacional e Consciência Cibernética, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 01/02/2017 a 03/02/2017.
Propôs, organizou e coordenou a Ação de Extensão intitulada II Seminário de Engenharia Lógica nos Caminhos da Quarta revolução Industrial (SECANQUARI), com o tema Lógica Condicional entre Nanociências e Nanotecnologias, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 07/02/2017 a 10/02/2017.
Propôs, organizou e coordenou a Ação de Extensão intitulada IV Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (SIDELOFIC), com o tema Cognição Computacional e Filosofia Analítica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/02/2017 a 17/02/2017.
Propôs, organizou e coordenou a Ação de Extensão intitulada III Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), com o tema Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 20/02/2017 a 22/02/2017.
No Ano de 2016
Propôs, organizou e coordenou a Ação de Extensão intitulada II Seminário de Engenharia Lógica nos Caminhos da Quarta revolução Industrial (SECANQUARI), com o tema Lógica Condicional entre Nanociências e Nanotecnologias, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 07/02/2017 a 10/02/2017.
Propôs, organizou e coordenou a Ação de Extensão intitulada IV Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência (SIDELOFIC), com o tema Cognição Computacional e Filosofia Analítica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/02/2017 a 17/02/2017.
Propôs, organizou e coordenou a Ação de Extensão intitulada III Seminário de Tecnologias e Ciências para Engenharia e Indústria (SETECIEI), com o tema Simbiose entre Ciências e Tecnologias na Quarta Revolução Industrial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 20/02/2017 a 22/02/2017.
No Ano de 2016
Propôs, organizou e coordenou a Ação de Extensão intitulada Colóquio Engenharia Lógica, com o tema Análise Inferencial e Computabilidade em Engenharia Lógica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 17/10/2016 a 20/10/2016, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica intitulada II Seminário de Quantificação Aplicada em Engenharia e na Indústria (SEQUANTEI) 2016, com o tema Tríplice Hélice do Conhecimento-Inovação, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 22/08/2016 a 25/08/2016, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica intitulada Seminário de Lógica Algébrica Inferencial Dedutiva em Engenharia Lógica (SLAIDEL), desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 15/08/2016 a 19/08/2016, em um total de 20 (vinte) horas.
Propôs, organizou e coordenou a Ação de Extensão Universitária e Tecnológica em Sinergias e Simbiose entre a Triíplice Hélice da Inovação e os ODS na Academia, desenvolvida no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 04/04/2016 a 30/06/2016, em um total de 250 (duzentas e cinquenta) horas.
Propôs, organizou e coordenou o Curso de Extensão Universitária e Tecnológica em Cálculo Lógigico Dedutivo Sentencial, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 06/04/2016 a 21/06/2016, em um total de 80 (oitenta) horas.
Proponente, organizador e coordenador do II SETECIEI (Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA) com o tema CIÊNCIAS E TECNOLOGIAS NA QUARTA REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 07/03/2016 a 23/03/2016, em um total de 42 (quarenta e duas) horas.
Proponente, organizador e coordenador do III SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) com o tema Máquinas Lógicas Virtuais em Engenharia Lógica, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 22/02/2016 a 24/02/2016, em um total de 26 (vinte e seis) horas.
Proponente, organizador e coordenador da oficina de ENGENHARIA LÓGICA NOS CAMINHOS DA QUARTA REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 25/01/2016 a 19/02/2016, em um total de 26 (vinte e seis) horas.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em ALGEBRIZAÇÃO E AXIOMATIZAÇÃO DE SISTEMAS LÓGICOS, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 20/01/2016 a 29/02/2016, em um total de 50 (cinquenta) horas.
Proponente, organizador e coordenador do V COENTELOG (COLÓQUIO ENTELECHIA LOGICAE) com o tema METADADOS, NANOCIÊNCIA E REVOLUÇÃO INDUSTRIAL, desenvolvido no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR) no período de 26/01/2016 a 11/02/2016, em um total de 24 (vinte e quatro) horas.
No Ano de 2015
Proponente, organizador e coordenador da palestra (conferência) intitulada Necessária Simbiose entre Tecnologia da Indústria e Ciência da Academia, em 19/10/2015, com duração de duas horas, apresentada no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), como parte da Programação da Semana Nacional de Ciência e Tecnologia (SNCT) 2015, cujo tema da edição de 2015 foi LUZ, CIÊNCIA e VIDA.
Proponente, organizador, ministrante e coordenador do Curso de Extensão Universitária e Tecnológica em ANÁLISE INFERENCIAL DEDUTIVA EM LÓGICA MATEMÁTICA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/09/2015 a 24/10/2015, em um total de 30 (trinta) horas-aula. Os trabalhos de implementação e efetivação do evento foram realizados em conformidade com o Projeto número 134/2015/DIREC/CT/UTFPR o qual foi desenvolvido no período de 01/09/2015 até 30/10/2015, em um total de 80 (oitenta) horas-aula. O Curso em referência integrou a Programação da Semana Nacional de Ciência e Tecnologia (SNCT) 2015, cujo tema da edição de 2015 foi LUZ, CIÊNCIA e VIDA.
Proponente, organizador e coordenador do Seminário de QUANTIFICAÇÃO APLICADA EM ENGENHARIA E NA INDÚSTRIA - RELAÇÃO CORPORATIVA ENTRE TECNOLOGIA E CIÊNCIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/08/2015 a 28/08/2015, em um total de 30 (trinta) horas-aula. O correspondente Projeto (Projeto número 133/2015/DIREC/CT/UTFPR) foi desenvolvido no período de 11/08/2015 até 04/09/2015, em um total de 50 (cinquenta) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA EM MODELOS INFERENCIAIS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 11/05/2015 a 29/06/2015, em um total de 30 (trinta) horas-aula. Os trabalhos de implementação e efetivação do evento foram realizados de 02/05/2015 a 06/07/2015 em um total de 80 (oitenta) horas-aula.
Proponente, organizador e coordenador do Seminário de TECNOLOGIAS E CIÊNCIAS PARA ENGENHARIA E INDÚSTRIA - SIMBIOSE E EXIGÊNCIAS RELACIONAIS ENTRE ACADEMIA E INDÚSTRIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 13/04/2015 a 17/04/2015, em um total de 21 (vinte e uma) horas-aula.
Proponente, organizador e coordenador do II SIDELOFIC (Seminário de Inovação e Desenvolvimento em Lógica e Filosofia da Ciência) - Possibilidades Tecnológicas e Segurança Científica, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 06/04/2015 a 10/04/2015, em um total de 15 (quinze) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em ANÁLISE LÓGICA SENTENCIAL E PREDICATIVA APLICADA NA DEMONSTRAÇÃO DEDUTIVA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 23/03/2015 a 28/03/2015, em um total de 30 (trinta) horas-aula.
Proponente, organizador e coordenador do IV COENTELOG (COLÓQUIO ENTELECHIA LOGICAE) - ENGENHARIA LÓGICA APLICADA NA INDÚSTRIA, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 16/03/2015 a 20/03/2015, em um total de 12 (doze) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA DIFERENCIAL E INTEGRAL DE MODELOS HIPERBÓLICOS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 11/02/2015 a 20/02/2015, em um total de 20 (vinte) horas-aula.
No Ano de 2014
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA MATEMÁTICA APLICADA NA AVALIAÇÃO DE RACIOCÍNIOS DEDUTIVOS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 05/11/2014 a 11/12/2014, em um total de 30 (trinta) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária e Tecnológica em LÓGICA FORMAL APLICADA NA ANÁLISE DEDUTIVA DE INFERÊNCIAS, proposto para realização no Câmpus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 01/10/2014 a 30/10/2014, em um total de 30 (trinta) horas-aula.
Proponente, organizador e coordenador do III COENTELOG (Colóquio Entelechia Logicae): Lógicas Mentais Recursivas, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 16/05/2014, em um total de 2 (duas) horas.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Cálculo Proposicional Em Lógica Matemática Inferencial Dedutiva, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 14/05/2014 a 30/07/2014, em um total de 20 (vinte) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão Universitária em Cálculo Sentencial Dedutivo Em Lógica Matemática Inferencial, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 12/05/2014 a 28/07/2014, em um total de 20 (vinte) horas-aula.
Proponente, organizador e coordenador da Ação de Extensão intitulada CÁLCULO LÓGICO INFERENCIAL, apresentada no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), em 08/05/2014, em um total de 2 (duas) horas.
Proponente, organizador e coordenador do Colóquio Entelechia Logicae: Inovação em Engenharia Lógica, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 17/03/2014 a 27/03/2014, em um total de 14 (quatorze) horas-aula.
Proponente, organizador e coordenador do I SIDELOFIC - Seminário intitulado INOVAÇÃO E DESENVOLVIMENTO EM LÓGICA E FILOSOSOFIA DA CIÊNCIA: ENGENHARIAS EM INOVAÇÃO CIENTÍFICA E TECNOLÓGICA, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), por meio do GPLFC (Grupo de Pesquisa em Lógica e Filosofia da Ciência) / UTFPR/CNPq, no período de 10/03/2014 a 14/03/2014, em um total de 10 (dez) horas-aula.
Proponente, organizador e coordenador do Curso de Extensão universitária em Análise Lógica de Modelos Diferenciais E Integrais nas Engenharias, realizado no Campus Curitiba da Universidade Tecnológica Federal do Paraná (UTFPR), no período de 24/02/2014 a 28/02/2014, em um total de 10 (dez) horas-aula.
Curso de Extensão Universitária: Lógica Matemática Inferencial Proposicional de Primeira Ordem. De 13/02/2014 a 28/02/2014.
Palestra: PDI Uma questão Nacional. Em 28/01/2014.
No Ano de 2013
Curso de Extensão Universitária em Álgebra da Lógica Aplicada na Avaliação de Raciocínios Dedutivos. 2013.
Curso de Extensão Universitária em Análise de Argumentos Dedutivos em Lógica Matemática. 2013.
Curso de Extensão Universitária em Axiomatização da Lógica Matemática de Primeira Ordem. 2013.
Palestra intitulada Benefícios Fiscais Subjugados pelo Academismo. 2013.
Curso de Extensão Universitária em Cálculo Lógico e Análise Lógica de Funções Enunciativas. 2013.
Palestra intitulada Contínua e Constante Escravidão Humana. 2013.
Palestra intitulada Engenharia Matemática Rumo à Inovação. 2013.
Palestra intitulada Ética Maquiavélica Frente à Consciência Política Despótica. 2013.
Palestra intitulada Filosofia Extemporânea Promove Antagonismo Sobre Fundamentos Estritos. 2013.
Colóquio intitulado Lógica da Inovação nas Relações de Aproximação entre Indústria e Ciência. 2013.
Curso de Extensão Universitária em Lógica Matemática Dedutiva Aplicada. 2013.
Curso de Extensão Universitária em Lógica Matemática Inferencial Dedutiva. 2013.
Curso de Extensão Universitária em Lógica Matemática Proposicional e Predicativa. 2013.
Palestra intitulada Morte Como Razão Suficiente. 2013.
Palestra intitulada Na “Montanha do Rei” é Registrada Transição entre os Medievais e o Renascimento. 2013.
Palestra Intitulada Nanomáquinas Promovem Nova Revolução Industrial. 2013.
Palestra intitulada PARADIGMAS DA NECESSIDADE “Assaltam” Possibilidades. 2013.
Palestra intitulada Paradoxos Supõem Antinomias Maquiavélicas. 2013.
Palestra intitulada Potência Lógica e Eficiência das Nanomáquinas. 2013.
Palestra intitulada Razão Suficiente de Maquiavel. 2013.
Antes de 2013
Curso de Atualização: Maple Aplicado no Ensino do Cálculo nas Engenharias. 2012.
Curso de Atualização: Salas no Ambiente MOODLE para Apoio aos Cursos Presenciais. 2012.
Curso de Extensão Universitária: A LÓGICA DA NECESSIDADE. 2012.
Curso de Extensão Universitária: Cálculo Inferencial Dedutivo em Lógica Matemática Proposicional. 2012.
Curso de Extensão Universitária: Cálculo Inferencial Proposicional em Lógica Matemática. 2012.
Curso de Extensão Universitária: ENGENHARIA INFERENCIAL. 2012.
Curso de Extensão Universitária: INTELIGÊNCIA LÓGICA NAS CIÊNCIAS EXATAS. 2012.
Curso de Extensão Universitária: Lógica Matemática Sentencial Inferencial. 2012.
Curso de Atualização: A Nova Ortografia. 2011.
Curso de Atualização: Direito à Educação. 2011.
Curso de Extensão Universitária: Cálculo Sentencial Dedutivo em Lógica Matemática. 2011.
Curso de Extensão Universitária: Estruturas Algébricas em Sistemas
Lógicos Bivalentes e Dicotômicos. 2011.
Curso de Extensão Universitária: Filosofia da Ciência Dedutiva no
Contexto Histórico e Epistemológico. 2011.
Curso de Extensão Universitária: Lógica Matemática Aplicada à Teoria da
Argumentação Dedutiva. 2011.
Curso de Extensão Universitária: Lógica matemática Predicativa e
Quantificacional de Primeira Ordem. 2011.
Curso de Extensão Universitária: Lógica Matemática Proposicional de
Primeira Ordem. 2011.
Segundo Seminário de Cálculo das Funções
Predicativas em Lógica Matemática. 2011.
Segundo Seminário de Cálculo Diferencial e Integral em Engenharia. 2011.
Segundo Seminário de Lógica Matemática Sentencial. 2011.
Seminário de Atualização: Atuação da Agência de Inovação da UTFPR. 2011.
Seminário de Atualização: Utilização do MAPLE V no Ensino e Aprendizagem
do Cálculo Diferencial e Integral. 2011.
Curso de Extensão Universitária: Álgebra Proposicional e Implicações
Lógicas. 2010.
Curso de Extensão Universitária: Análise Lógica de Predicados em Lógica
Matemática. 2010.
Curso de Extensão Universitária: Cálculo das Funções Predicativas em
Lógica Matemática. 2010.
Curso de Extensão Universitária: Cálculo das Funções Predicativas
Quantificadas em Lógica Matemática. 2010.
Curso de Extensão Universitária: Funções Computáveis e Funções Recursivas.
2010.
Curso de Extensão Universitária: Funções Recursivas Parciais. 2010.
Curso de Extensão Universitária: Lógica Sentencial e Predicativa
Aplicada ao Cálculo Diferencial e Integral. 2010.
Curso de Extensão Universitária: Sistemas Algébricos em Lógica
Matemática. 2010.
Curso de Extensão Universitária: Teoria da Demonstração em Lógica
Matemática Proposicional. 2010.
Palestra: Extensão e Outras Atividades da DIREC. 2010.
Primeiro Seminário de Cálculo das Funções Predicativas em Lógica
Matemática. 2010.
Primeiro Seminário de Cálculo Diferencial e Integral em Engenharia.
2010.
Primeiro Seminário de Lógica Matemática Sentencial. 2010.
Curso de Extensão Universitária: Álgebra Proposicional e Implicações
Lógicas. 2009.
Curso de Extensão Universitária: Cálculo Sentencial e Predicativo em
Lógica Matemática. 2009.
Curso de Extensão Universitária: Teoria da Argumentação e Análise
Inferencial em Lógica Matemática de Primeira Ordem. 2008.
Curso de Extensão Universitária: Teoria da Demonstração em Lógica
Matemática de Primeira Ordem. 2008.
Curso de Extensão Universitária: Modelagem Inferencial Proposicional em
Lógica Matemática. 2007.
Curso de Extensão Universitária: Correntes Filosóficas da Matemática. 1998.
V Ciclo de Palestras sobre a Lógica do Conhecimento Científico.
1998.
V Ciclo de Palestras sobre a Matemática. 1998.
Curso de Especialização em Lógica do Conhecimento Científico. 1997.
Curso de Especialização em Métodos Matemáticos e Computacionais
Aplicados. 1997.
Curso de Extensão Universitária: Representações em 3D Através de
Aplicativos Computacionais. 1997.
IV Ciclo de Palestras sobre a Lógica do Conhecimento Científico.
1997.
IV Ciclo de Palestras sobre a Matemática. 1997.
Curso de Especialização em Lógica do Conhecimento Científico. 1996.
Curso de Extensão Universitária: Cálculo Diferencial e Integral Através
de Aplicativos Computacionais. 1996.
Curso de Extensão Universitária: Representação de Superfícies e Volumes
em 3D Através do MAPLE V. 1996.
Curso de Extensão Universitária: Representações Gráficas em 2D Através
do MAPLE V. 1996.
III Ciclo de Palestras sobre a Lógica do Conhecimento Científico.
1996.
III Ciclo de Palestras sobre a Matemática. 1996.
Curso de Extensão Universitária em Lógica Matemática: O Cálculo dos
Predicados Aplicado à Análise Matemática. 1995.
Curso de Extensão Universitária em Lógica Matemática: Análise
Inferencial e Teoria da Argumentação no Cálculo Proposicional. 1995.
Curso de Extensão Universitária em Lógica Matemática: um Sistema
Bivalente de Argumentação para a Análise de Raciocínios Analíticos. 1995.
Curso de Especialização em Lógica do Conhecimento Científico. 1995.
Semana de Matemática da PUC-PR. 1995.
II Ciclo de Palestras sobre a Lógica do Conhecimento Científico.
1995.
II Ciclo de Palestras sobre a Matemática. 1995.
Curso de Extensão Universitária em Lógica Matemática: Uma Introdução ao
Cálculo Proposicional. 1994.
I Ciclo de Palestras sobre a Lógica do Conhecimento Científico.
1994.
I Ciclo de Palestras sobre a Matemática. 1994.