Juliana Bueno

  • Endereço para acessar este CV: http://lattes.cnpq.br/5824391030945544
  • Última atualização do currículo em 02/08/2018


Graduada e licenciada em Matemática pela Universidade Estadual Paulista Júlio de Mesquita Filho (2000), com mestrado em Filosofia pela Universidade Estadual de Campinas (2004) e doutorado em Filosofia pela Universidade Estadual de Campinas (2009). Tem experiência nas áreas de Matemática e Filosofia, com ênfase em Lógica, atuando principalmente nos seguintes temas: algebrização, lógicas paraconsistentes, fundamentos de probabilidades, lógicas multimodais, semânticas de traduções possíveis e teoria das categorias. É membro do corpo de pesquisadores do Projeto Temático "Logical Consequence, Reasoning and Computation - LogCons" (Centro de Lógica,, Epistemologia e Historia da Ciencia -CLE- UNICAMP). e Pesquisador Associada do CLE-UNICAMP. Atualmente é Professora Adjunta concursada na área de Estatística e Cálculo Diferencial e Integral junto à Universidade Estadual de Campinas- UNICAMP (Faculdade de Tecnologia), Campus Limeira. (Texto informado pelo autor)


Identificação


Nome
Juliana Bueno
Nome em citações bibliográficas
Juliana Bueno-Soler;Bueno-Soler, Juliana

Endereço


Endereço Profissional
Universidade Estadual de Campinas, Faculdade de Tecnologia.
Rua Paschoal Marmo
Jardim Piratininga
13484332 - Limeira, SP - Brasil
Telefone: (19) 21133306
URL da Homepage: http://www.cle.unicamp.br/principal/institucional/alunos/index.php?home=juliana.bueno


Formação acadêmica/titulação


2005 - 2009
Doutorado em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Multimodalidades anódicas e catódicas: a negação controlada em lógicas multimodais e seu poder expressivo, Ano de obtenção: 2009.
Orientador: Itala Maria Loffredo D'Ottaviano.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: lógicas paraconsistentes; semânticas de traduções possíveis; Lógica Modal; Lógica Multimodal; Lógica Positiva.
Grande área: Ciências Humanas
2002 - 2004
Mestrado em Filosofia.
Universidade Estadual de Campinas, UNICAMP, Brasil.
Título: Semântica Algébrica de Traduções Possíveis,Ano de Obtenção: 2004.
Orientador: Marcelo E. Coniglio.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: algebrização; lógicas paraconsistentes; semânticas de traduções possíveis; Teoria das categorias.
Grande área: Ciências Humanas
Grande Área: Ciências Exatas e da Terra / Área: Matemática.
Setores de atividade: Educação Média de Formação Técnica Ou Profissional; Educação Média de Formação Geral; Educação Superior.
1997 - 2000
Graduação em Licenciatura em Matemática.
Universidade Estadual Paulista Júlio de Mesquita Filho, UNESP, Brasil.
Título: "A aritmética e a Indecidibilidade" (Iniciação Científica em Lógica).
Orientador: Hércules de Araujo Feitosa.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.


Pós-doutorado


2009 - 2011
Pós-Doutorado.
Universidade de São Paulo, USP, Brasil.
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil.
Grande área: Ciências Humanas
Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.
Grande Área: Ciências Humanas / Área: Filosofia / Subárea: Lógica / Especialidade: Combinação de Lógicas.


Formação Complementar


2011 - 2011
Extensão universitária em Novas Tecnologias e Metodologias para a Educação. (Carga horária: 90h).
Universidade Federal do ABC, UFABC, Brasil.
2009 - 2009
Formação em tutoria (Ensino a Distância). (Carga horária: 120h).
Universidade Aberta do Brasil da Universidade Federal de São Carlos, UAB-UFSCAR, Brasil.


Atuação Profissional



Universidad de Salamanca, USAL, Espanha.
Vínculo institucional

2017 - Atual
Vínculo: , Enquadramento Funcional:


Universitá degli Studi di Salerno, UDSS, Itália.
Vínculo institucional

2016 - 2018
Vínculo: , Enquadramento Funcional:


Universidade Estadual de Campinas, UNICAMP, Brasil.
Vínculo institucional

2014 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: professor MS 3, Regime: Dedicação exclusiva.

Vínculo institucional

2004 - 2010
Vínculo: Colaborador, Enquadramento Funcional: Estudante


Universidade Federal do ABC, UFABC, Brasil.
Vínculo institucional

2010 - 2014
Vínculo: , Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Vínculo institucional

2010 - 2014
Vínculo: Servidor Público, Enquadramento Funcional: Professor MS3, Carga horária: 40


Universidade de Brasília, UnB, Brasil.
Vínculo institucional

2009 - 2013
Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora, Carga horária: 2


Universidade de Melbourne, UNIMELB, Austrália.
Vínculo institucional

2014 - 2014
Vínculo: , Enquadramento Funcional: Professor MS3, Carga horária: 40, Regime: Dedicação exclusiva.


Universidade de Sevilla, USE, Espanha.
Vínculo institucional

2011 - 2015
Vínculo: Colaborador, Enquadramento Funcional: Pesquisadora, Carga horária: 2


Universidade Paulista, UNIP, Brasil.
Vínculo institucional

2005 - 2005
Vínculo: Celetista formal, Enquadramento Funcional: Professor Assistente I, Carga horária: 8


Universidade Federal de São Carlos, UFSCAR, Brasil.
Vínculo institucional

2009 - 2009
Vínculo: Bolsa de trabalho, Enquadramento Funcional: Tutoria, Carga horária: 20
Outras informações
Educação à Distância com capacitação na Plataforma Moodle de EaD.


Sociedade Brasileira de Lógica, SBL, Brasil.
Vínculo institucional

2017 - Atual
Vínculo: Vice-Presidente, Enquadramento Funcional: Cargo Eletivo, Carga horária: 2

Vínculo institucional

2014 - 2017
Vínculo: Tesoureira, Enquadramento Funcional: Eleita, Carga horária: 1



Projetos de pesquisa


2017 - Atual
O Método de Anéis de Polinômios para sistemas multimodais anódicos e catódicos
Descrição: Chamada Universal/2016. O presente projeto tem como objetivo desenvolver uma tradução polinomial para a classe dos sistemas multimodais anódicos (sistemas modais positivos) e catódicos (sistemas modais paraconsistentes).
Situação: Em andamento; Natureza: Pesquisa.
2017 - Atual
Traducciones, Lógicas Combinadas, Descripciones, Lógica Intensiva, Teoria de Tipos, Lógica HíbridaTraducciones, Lógicas Combinadas, Descripciones, Lógica Intensiva, Teoria de Tipos, Lógica Híbrida
Descrição: Projeto ligado ao Programa de Doctorado en Lógica y Filosofía de la Ciencia- Grupo Coimbra de Universidades (Universidades de Salamanca, Aveiro, Campinas, Baurú, Roskilde (Dinamarca), Córdoba e Barcelona).
Situação: Em andamento; Natureza: Pesquisa.
2016 - 2018
Mathematical Tools for the Management of Uncertain and Vague Information (MaToMUVI)
Descrição: Projeto Marie Curie da Comunidade Européia.
Situação: Concluído; Natureza: Pesquisa.
2011 - 2015
Conciencia, Lógica y Computación
Descrição: Trata-se de um projeto de pequisa sobre vfundamentos da cognoscibilidade em Lógica e Computação envolvendo diversas universidades da Espanha, da qual participam alguns pesquisadores ligados ao Centro de Lógica. Epistemologia e História da Ciência da Unicamp. O projeto foi aprovado como Proyecto de Excelencia, Consejería de Innovación, Ciencia y Empresa, Junta de Andalucía, Espanha..
Situação: Em andamento; Natureza: Pesquisa.
2011 - 2011
Da consequência lógica à probabilidade
Descrição: Projeto financiado pela FAPESP, processo 2011/05870-8, para ser desenvolvido junto à Universidade de Melbourne, Austrália, com supervisão do Prof. Grahm Priest. Neste projeto foi iniciado o estudo dos fundamentos da noção de probabilidade do ponto de vista das lógicas modais anódicas (sem negação) e catódicas (lógicas paraconsistentes com graus de negação, as quais são extensões modais das lógicas da incosistência formal, já bastante estudadas na literatura). Apesar de se tratar de uma proposta com viés teórico, os problemas abordados são de interesse de métodos voltados a aplicações, em particular a problemas relacionados à satisfatibilidade probabilística e à probabilidade condicional..
Situação: Concluído; Natureza: Pesquisa.
2010 - 2016
Logical Consequence, Reasoning and Computation - LogCons
Descrição: Projeto Temático FAPESP (processo 10/51038-0) em vigor entre 2010-2016.
Situação: Concluído; Natureza: Pesquisa.
2009 - 2013
CPAI- Centro de Pesquisa em Arquitetura da Informacão
Descrição: O Centro de Pesquisa em Arquitetura da Informação - CPAI, vinculado à recém criada Faculdade de Ciência da Informação FCI, da Universidade de Brasília, é uma instituição que se dedica à investigação e aplicação dos modelos de uso da informação e de suas diferentes manifestações..
Situação: Em andamento; Natureza: Pesquisa.
2004 - 2010
Logical Consequence and Combinations of Logics - Fundaments and Efficient Applications - ConsRel
Descrição: Projeto Temático FAPESP (processo 04/14107-2) em vigor entre 2004-2010, ora terminado e com todos os relatórios aprovados..
Situação: Concluído; Natureza: Pesquisa.
1992 - Atual
Grupo de Lógica Teórica e Aplicada (GLTA)

Projeto certificado pelo(a) coordenador(a) Walter Alexandre Carnielli em 18/02/2015.
Descrição: Descrição: O Grupo de Lógica Teórica e Aplicada - GLTA tem sido visto como um pólo formador de recursos humanos (diversos doutores e mestres formados pelo grupo ocupam posições em universidades públicas) e gerador de pesquisa original, que tem resultado em diversas publicações em livros e nas melhores revistas de circulação internacional. Além disso, o GLTA tem contribuído na organização de diversos eventos acadêmicos e é reconhecido internacionalmente como um dos grupos mais importantes do hemisfério sul, tendo ainda recebido dezenas de visitantes nos últimos anos. O GLTA mantém intensa atividade de cooperação com pesquisadores brasileiros e estrangeiros, em especial com o Centro de Lógica e Computação do Instituto Superior Técnico da Universidade Técnica de Lisboa.. Situação: Em andamento; Natureza: Pesquisa..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (5) .
Integrantes: Juliana Bueno - Integrante / Walter Alexandre Carnielli - Coordenador / Marcelo E. Coniglio - Integrante / Itala M. L. D'Ottaviano - Integrante / Juan Carlos Agudelo-Agudelo - Integrante / Abilio Rodrigues - Integrante.


Projetos de extensão


2016 - 2016
Ciência e Arte nas Férias 2016 - Estatística: como não se deixar enganar com números
Descrição: O programa "Ciência & Arte nas Férias" traz ao campus durante os meses de férias escolares de verão estudantes de escolas públicas de ensino médio da região de Campinas para um estágio em seus laboratórios envolvendo as áreas de Artes, Ciências Humanas, Ciências Exatas e da Terra, Ciências Biológicas e da Saúde e Tecnologia. Neste estágio os estudantes se envolvem com os desafios atuais da ciência e da arte, com a metodologia do trabalho científico e da criação artística e com o ambiente humano dos laboratórios de pesquisa..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Juliana Bueno - Coordenador.
2015 - 2015
Ciência & Arte nas Férias 2015: Pensamento Critico e o Raciocinio Numerico
Descrição: O programa "Ciência & Arte nas Férias" traz ao campus durante os meses de férias escolares de verão estudantes de escolas públicas de ensino médio da região de Campinas para um estágio em seus laboratórios envolvendo as areas de Artes, Ciências Humanas, Ciências Exatas e da Terra, Ciências Biológicas e da Saúde e Tecnologia. Neste estágio os estudantes se envolvem com os desafios atuais da ciência e da arte, com a metodologia do trabalho científico e da criação artística e com o ambiente humano dos laboratórios de pesquisa..
Situação: Concluído; Natureza: Extensão.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Juliana Bueno - Coordenador.


Revisor de periódico


2013 - Atual
Periódico: Mathematical Reviews


Áreas de atuação


1.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica.
2.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Combinação de Lógicas.
3.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Algébrica.
4.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógica Modais e Multimodais.
5.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Lógicas não-clássicas.
6.
Grande área: Ciências Humanas / Área: Filosofia / Subárea: Lógica/Especialidade: Semântica Formal.


Idiomas


Inglês
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
Italiano
Compreende Bem, Fala Pouco, Lê Bem, Escreve Pouco.


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
Bueno-Soler, Juliana2016Bueno-Soler, Juliana; CARNIELLI, WALTER . Paraconsistent Probabilities: Consistency, Contradictions and Bayes? Theorem. Entropy (Basel. Online), v. 18, p. 325, 2016.

2.
Bueno-Soler, Juliana2013Bueno-Soler, Juliana. Multimodal Incompleteness Under Weak Negations. Logica Universalis (Print), v. 7, p. 21-31, 2013.

3.
Juliana Bueno-Soler;Bueno-Soler, Juliana2010 Juliana Bueno-Soler. Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis (Print), v. 4, p. 137-160, 2010.

4.
Bueno-Soler, J.2010Bueno-Soler, J. ; Bueno-Soler, Juliana . Models for anodic and cathodic multimodalities. Logic Journal of the IGPL (Print), p. 1-20, 2010.

5.
Juliana Bueno-Soler;Bueno-Soler, Juliana2009 Juliana Bueno-Soler. Completeness and incompleteness for anodic modal logics. Journal of Applied Non-Classical Logics, v. 19, p. 291-310, 2009.

6.
Juliana Bueno-Soler;Bueno-Soler, Juliana2005 Juliana Bueno-Soler; Walter A. Carnielli . Possible-translations algebraization for paraconsistent logics. University of Lodz. Department of Logic. Bulletin of the Section of Logic, v. 34, n.2, p. 77-92, 2005.

Capítulos de livros publicados
1.
Bueno-Soler, Juliana; CARNIELLI, WALTER ; Coniglio, Marcelo E. ; Rodrigues Filho, Abilio . Formal (In)consistency, Abduction and Modalities. In: Lorenzo Magnani; Tomaso Bertolotti. (Org.). Springer Handbook of Model-Based Science. 1ed.London New York: Springer International Publishing, 2017, v. 1, p. 315-335.

2.
Juliana Bueno-Soler; Walter A. Carnielli . Experimenting with consistency. In: Markin; Vladimir; Zaitsev; Dmitry.. (Org.). The Logical Legacy of Nikolai Vasiliev and Modern Logic. 1ed.Amsterdam: Springer, 2017, v. 387, p. 199-221.

3.
Juliana Bueno-Soler; Walter A. Carnielli . Paraconsistent probabilities, their significance and their uses. In: C. Caleiro; F. Dionisio; P. Gouveia; P. Mateus; J. Rasga. (Org.). Essays in Honour of Amilcar Sernadas. 1ed.Londres: College Publications, 2017, v. 33, p. 197-230.

4.
Juliana Bueno-Soler; Walter A. Carnielli ; Coniglio, M. E. . Possible-translations algebraizability. In: J.-Y. Béziau ; W.A. Carnielli; D. Gabbay. (Org.). Handbook of Paraconsistency. 1ed.Londres: King s College, 2007, v. 9, p. 321-340.

Resumos expandidos publicados em anais de congressos
1.
Bueno-Soler, Juliana; CARNIELLI, W. . Incompleteness in Multimodal Logics: a Barrier for Quantum Computing?. In: Physics and Computation 2010- 3rd International Workshop, 2010, Luxor. Physics and Computation 2010. Açores: Centre for Applied Mathematics and Information Technology Department of Mathematics University of Az, 2010. v. 1. p. 109-111.

2.
Juliana Bueno-Soler. Possible-translations semantics for cathodic modal logics. In: CLE 30 / XV Brazilian Logic Conference / XIV Latin-American Symposium on Mathematical Logic, 2008, Paraty. CLE 30 / XV EBL / XIV SLALM. Campinas, SP: Centre for Logic, Epistemology and the History of Science, 2008. p. 91-91.

3.
Juliana Bueno-Soler; CONIGLIO, M. E. ; Walter A. Carnielli . Finite algebraizability via possible-translations semantics. In: Workshop on Combination of Logics: Theory and Applications (CombLog'04), 2004, Lisboa. Proceedings of CombLog'04. Lisboa: Departamento de Matemática - Instituto Superior Técnico, 2004. v. 1. p. 79-86.

Resumos publicados em anais de congressos
1.
Bueno-Soler, Juliana. A generalization of Popper?s probability theory. In: 6th World Congress and School on Universal Logic, 2018, Vichy. Handbook of the 6th World Congress and School on Universal Logic. Vichy: Vichy University Campu, 2018. v. 1.

2.
Bueno-Soler, Juliana. On quasi-classical probability measures: a paraconsistent probability theory based on LFI1. In: Trends in Logic XVI: Consistency, Contradiction, Paraconsistency and Reasoning - 40 years of CLE, 2016, Campinas. Book of astracts of 16 conference trends in logic : consistency, contradiction, paraconsistency and reasoning, 40 years of CLE, 2016. v. 1. p. 35-37.

3.
Bueno-Soler, Juliana. Fibring modal-levelled semantics for BDI logics. In: 'First Joint Meeting Brazil-Spain in Mathematics', 2015, Fortaleza. "First Joint Meeting Brazil-Spain in Mathematics", 2015. v. 1. p. 90-90.

4.
Bueno-Soler, Juliana. Paraconsistent probability theory: betting rationally under contradiction. In: 5th World Congress and School on Universal Logic - Unilog 2015, 2015, Istanbul. Handbook of the 5th World Congress and School on Universal Logic, 2015. v. 1. p. 83-84.

5.
Bueno-Soler, Juliana; M. Finger . Probabilistic Modal Logic. In: 16th Brazilian Logic Conference - XVI EBL, 2011, Petrópolis. Abstracts of 16th Brazilian Logic Conference, 2011. v. unico. p. 08-08.

6.
Juliana Bueno-Soler. Description logics from a paraconsistent viewpoint. In: J-Y. Béziau, C. Caleiro, A. Costa-Leite, J. Ramos of World Congress and School on Universal Logic - UniLog 2010, 2010, Monte Estoril. World Congress and School on Universal Logic - Book of Abstracts. Lisboa: Instituto Superior Técnico - Departamento de Matemática, 2010. v. unico. p. 28-29.

7.
Bueno-Soler, Juliana. O conceito de probabilidade não-clássica através dos sistemas catódicos. In: XIV Encontro Nacional de Pós-Graduação em Filosofia - ANPOF, 2010, Águas de Lindóia. Atas do XIV Encontro Nacional de Filosofia. Campinas: Associação Nacional de Pós-Graduação em Filosofia - ANPOF, 2010. v. unico. p. 294-295.

8.
Juliana Bueno-Soler. Possible-translations semantics for cathodic modal logics. In: CLE 30/ XV EBL / XIV SLALM, 2009, Paraty. XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, 2009. v. 15. p. 347-348.

9.
Juliana Bueno-Soler. Incompleteness in Paraconsistent Modalities. In: Science, Truth and Consistency CLE / AIPS Event, 2009, Campinas. Science, Truth and Consistency: abstracts of the CLE / AIPS Event. Campinas: Editora da Unicamp, 2009. v. 1. p. 60-61.

10.
Juliana Bueno-Soler. Models for anodic and cathodic multimodalities. In: Model Based Reasoning in Science and Engineering Abduction (MBR'09), 2009, Campinas. Model Based Reasoning, Abduction, Logic, and Computational Discovery, 2009. p. 13-13.

11.
Juliana Bueno-Soler. Extensões modais das lógicas mbC e Ci. In: V Simpósio Internacional Principia, 2007, Florianópolis. Anais do V Simpósio Internacional Principia. Florianópolis, 2007. v. único. p. 110-110.

12.
Juliana Bueno-Soler. Prova por polinômios: uma nova aordagem para algebrizar lógicas?. In: XII Encontro Nacional de Filosofia - ANPOF, 2006, Salvador. Livro de atas do XII Encontro Nacional de Filosofia. Salvador, BA, 2006. v. único. p. 305-306.

13.
Juliana Bueno-Soler. Algebrização finitária de Pn e In e uma axiomática simplificada. In: XI Encontro Nacional de Filosofia da ANPOF, 2004, Salvador , BA. Livro de Atas do XI Encontro Nacional de Filosofia da ANPOF. Salvador, BA: Editora da UESC, 2004. v. 1. p. 248-248.

14.
Juliana Bueno-Soler; Walter A. Carnielli ; CONIGLIO, M. E. . Semântica Algébrica de Traduções Possíveis: um enfoque categorial. In: XIII Encontro Brasileiro de Lógica, 2003, Campinas. CLE/SBL 25 anos. Campinas: UNICAMP, 2003. v. unico. p. 55-56.

15.
Juliana Bueno-Soler; Walter A. Carnielli . Algebrizar, por quê?. In: ANPOF 2002, 2002, São Paulo. Anais da ANPOF 2002. São Paulo: ANPOF, 2002. v. 01. p. 288-288.

16.
Juliana Bueno-Soler. A Aritmética e a indecidibilidade. In: XII Congresso de Iniciação Científica, 2000, Bauru. Livro de Resumos do XII Congresso de Iniciação Científica. Bauru: UNESP, 2000. v. 1.

17.
Juliana Bueno-Soler. Funções recursivas e números de Gödel. In: XI Congresso de Iniciação Científica- UNESP, 1999, Araraquara. Liivro de Resumos XI Congresso de Iniciação Científica. Araraquara: UNESP, 1999. v. 1.

Apresentações de Trabalho
1.
Bueno-Soler, Juliana. Probabilidades paraconsistentes y generalizaciones del Teorema de Bayes. 2017. (Apresentação de Trabalho/Seminário).

2.
Bueno-Soler, Juliana. Enlargin Popper's conditional probability as a primitive notion: towards general non-standard theories of probability. 2017. (Apresentação de Trabalho/Seminário).

3.
Bueno-Soler, Juliana. Popper's account of probability from paraconsistent grounds. 2017. (Apresentação de Trabalho/Comunicação).

4.
Bueno-Soler, Juliana. Popper?s Conditional Probability, Negation and Consistency. 2017. (Apresentação de Trabalho/Seminário).

5.
Bueno-Soler, Juliana. Popper?s Conditional Probability, Negation and Consistency. 2017. (Apresentação de Trabalho/Comunicação).

6.
Juliana Bueno-Soler. Portraits of a logic and their algebraic soul. 2016. (Apresentação de Trabalho/Comunicação).

7.
Juliana Bueno-Soler. On quasi-classical probability measures: a paraconsistent probability theory based on LFI1. 2016. (Apresentação de Trabalho/Congresso).

8.
Bueno-Soler, Juliana. Probabilidades paraconsistentes: um estudo de caso. 2016. (Apresentação de Trabalho/Seminário).

9.
Bueno-Soler, Juliana; Walter A. Carnielli . Probabilidades paraconsistentes como ferramenta da razão. 2016. (Apresentação de Trabalho/Congresso).

10.
Bueno-Soler, Juliana; CARNIELLI, W. . Uma teoria da probabilidade para lidar com fenômenos envolvendo contradição. 2015. (Apresentação de Trabalho/Seminário).

11.
Bueno-Soler, Juliana; CARNIELLI, W. . Paraconsistent probability theory: betting rationally under contradiction. 2015. (Apresentação de Trabalho/Congresso).

12.
Bueno-Soler, Juliana. Fibring modal-levelled semantics for BDI logics. 2015. (Apresentação de Trabalho/Congresso).

13.
Bueno-Soler, Juliana; AGUDELO-AGUDELO, J. C. . Paraconsistent levelled possible-worlds semantics. 2014. (Apresentação de Trabalho/Congresso).

14.
Bueno-Soler, Juliana. Paraconsistent Modal Logics. 2013. (Apresentação de Trabalho/Seminário).

15.
Bueno-Soler, Juliana. David Lewis's trivialization on conditional probability and paraconsistency. 2013. (Apresentação de Trabalho/Seminário).

16.
Bueno-Soler, Juliana; AGUDELO-AGUDELO, J. C. . On realistic Epistemic Logic. 2013. (Apresentação de Trabalho/Seminário).

17.
Bueno-Soler, Juliana; AGUDELO-AGUDELO, J. C. . On incomplete and limited knowledge: an epistemic logic for realistic agents. 2013. (Apresentação de Trabalho/Seminário).

18.
Bueno-Soler, Juliana. Modal systems with nuances in negation: from completeness to incompleteness. 2013. (Apresentação de Trabalho/Seminário).

19.
Juliana Bueno-Soler. Betting on Paraconsistent Probability. 2012. (Apresentação de Trabalho/Congresso).

20.
Bueno-Soler, Juliana; M. Finger . Probabilistic Modal Logic. 2011. (Apresentação de Trabalho/Congresso).

21.
Bueno-Soler, Juliana. Conditional probability and probability of conditional: David Lewis's trivialization result and paraconsistency. 2011. (Apresentação de Trabalho/Seminário).

22.
Juliana Bueno-Soler. Description logics from a paraconsistent viewpoint. 2010. (Apresentação de Trabalho/Congresso).

23.
Juliana Bueno-Soler. Modal systems with soft negations: from completeness to incompleteness. 2010. (Apresentação de Trabalho/Seminário).

24.
Bueno-Soler, Juliana. Paraconsistent Multimodalities towards Description Logic. 2010. (Apresentação de Trabalho/Seminário).

25.
Bueno-Soler, Juliana. Versões anódicas e catódicas de S5: da completude à incompletude. 2010. (Apresentação de Trabalho/Outra).

26.
Juliana Bueno-Soler. Incompleteness in Paraconsistent Modalities. 2009. (Apresentação de Trabalho/Congresso).

27.
Juliana Bueno-Soler. Models for anodic and cathodic multimodalities. 2009. (Apresentação de Trabalho/Congresso).

28.
Juliana Bueno-Soler. Possible-Translations Semantics for Cathodic Modal Logics. 2008. (Apresentação de Trabalho/Comunicação).

29.
Juliana Bueno-Soler. Extensões modais das lógicas mbC e Ci. 2007. (Apresentação de Trabalho/Comunicação).

30.
Juliana Bueno-Soler. Modalidades Anódicas e Catódicas. 2007. (Apresentação de Trabalho/Seminário).

31.
Juliana Bueno-Soler. Polinômios como provas: a álgebra nas demonstrações lógicas. 2007. (Apresentação de Trabalho/Seminário).

32.
Juliana Bueno-Soler. Perspectives on algebraizing logics. 2006. (Apresentação de Trabalho/Comunicação).

33.
Juliana Bueno-Soler. Provas por polinômios: uma nova abordagem para algebrizar lógicas?. 2006. (Apresentação de Trabalho/Comunicação).

34.
Juliana Bueno-Soler. O método de anéis de polinômios para a lógica: problemas e perspectivas. 2006. (Apresentação de Trabalho/Seminário).

35.
Juliana Bueno-Soler. Análise semântica das lógicas paraconsistentes:a semântica das traduções possíveis. 2006. (Apresentação de Trabalho/Seminário).

36.
Juliana Bueno-Soler. Finite algebraizability and a simple proof-theory for the hyerachy Pn and In. 2005. (Apresentação de Trabalho/Comunicação).

37.
Juliana Bueno-Soler. Algebraizing logics via Possible-Translations Semantics;. 2004. (Apresentação de Trabalho/Seminário).

38.
Juliana Bueno-Soler. Limitations of the Method of Finite Algebraizability and its Extensions via Possible-Translations Semantics;. 2004. (Apresentação de Trabalho/Seminário).

39.
Juliana Bueno-Soler; CONIGLIO, M. E. ; Walter A. Carnielli . Finite algebraizability via Possible Translation Semantics.. 2004. (Apresentação de Trabalho/Comunicação).

40.
Juliana Bueno-Soler. Algebrização a distância. 2003. (Apresentação de Trabalho/Seminário).

41.
Juliana Bueno-Soler; Walter A. Carnielli ; CONIGLIO, M. E. . Semântica Algébrica de Traduções Possíveis: um enfoque categorial.. 2003. (Apresentação de Trabalho/Comunicação).

42.
Juliana Bueno-Soler. Algebrização das lógicas paraconsistentes. 2002. (Apresentação de Trabalho/Seminário).

43.
Juliana Bueno-Soler. Algebrizar, por quê?. 2002. (Apresentação de Trabalho/Comunicação).

Outras produções bibliográficas
1.
CARNIELLI, W. ; PIZZI, C. ; Juliana Bueno-Soler . Modalities and Multimodalities. United Kingdom: Springer, 2008. (Tradução/Livro).

2.
Juliana Bueno-Soler. Resenha crítica de Computabilidade: Funções Computáveis, lógica e os Fundamentos da Matemática. Córdoba: SIRCA, Publicaciones Academicas, 2006 (Resenha bibliográfica).


Produção técnica
Assessoria e consultoria
1.
Juliana Bueno-Soler. Classical Mathematical Logic (Autor R. L. Epstein com contribuições de L. W. Szczerba). 2005.

Trabalhos técnicos

Demais tipos de produção técnica
1.
Juliana Bueno-Soler; CARNIELLI, WALTER ; TESTA, R. . Book of Abstracts of Trends in Logic XVI Consistency, Contradiction, Paraconsistency and Reasoning − 40 years of CLE. 2016. (Editoração/Anais).

2.
Juliana Bueno-Soler; CARNIELLI, W. . Semânticas para multimodalidades. 2012. (Curso de curta duração ministrado/Outra).

3.
Bueno-Soler, Juliana. Da consequência lógica à probabilidade. 2011. (Relatório de pesquisa).

4.
Juliana Bueno-Soler. Ciência e Arte nas Férias. 2007. (Monitoria).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
Bueno-Soler, Juliana; M. Finger; RUFFINO, M.; CARNIELLI, W.. Participação em banca de Sandro Márcio da Silva Preto. Lógica, Probabilidade e Consequência. 2015. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

2.
Walter A. Carnielli; Rodrigues, A.; RUFFINO, M.; Juliana Bueno-Soler. Participação em banca de Ana Flavia de Faria Cholodovski. Lógicas de Inconsistência Formal e Não-Monotonicidade.. 2014. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

3.
Juliana Bueno-Soler; Feitosa, H. A.; Cunha do Nascimento, M.. Participação em banca de Ângela Pereira Rodrigues. Sobre quantificadores: uma formalização do quantiificador quase-sempre. 2012. Dissertação (Mestrado em Filosofia) - Universidade Estadual Paulista Júlio de Mesquita Filho.

4.
Bueno-Soler, Juliana; D'Ottaviano, I. M. L.; Walter A. Carnielli. Participação em banca de Antonio Marmo da Cunha Oliveira. Sistemas, Pressuposições e Implicaturas: uma investigação explanatória, lógica e filosófica . 2011. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

5.
CONIGLIO, M. E.; Feitosa, H. A.; Juliana Bueno-Soler; CARNIELLI, W.. Participação em banca de Tarcísio Genaro Rodrigues. Sobre os Fundamentos da Programacão Lógica Paraconsistente. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

6.
Juliana Bueno-Soler; D'Ottaviano, I. M. L.; Costa-Leite, A.. Participação em banca de Dante Cardoso Pinto de Almeida. Ignoramus et ignorabimus: a persistência do paradoxo da cognoscibilidade. 2010. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas.

Teses de doutorado
1.
Bueno-Soler, Juliana; M. Finger; Mauá, Denis Deratani.; COZMAN, Fabio.; SANTOS, Paulo Eduardo.. Participação em banca de Eduardo Menezes de Moraes. Independência parcial no problema da satisfazibilidade probabilística. 2018. Tese (Doutorado em Ciências da Computação) - Universidade de São Paulo.

2.
Rodrigues, A.; Bueno-Soler, Juliana; RUFFINO, M.; Walter A. Carnielli; PEREIRA, L. C. P. D.. Participação em banca de Pedro Mendes Ferreira Lemos. The Fading Light of Contingency On Tense, Modals, and Assessment-sensitivity. 2016.

3.
CONIGLIO, M. E.; Costa-Leite, A.; Juliana Bueno-Soler; D'Ottaviano, I. M. L.; Golçalves de Souza, E.; CARNIELLI, W.. Participação em banca de Luiz Henrique da Cruz Silvestrini. Uma nova abordagem para a noção de quase-verdade. 2011. Tese (Doutorado em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Doutorado
1.
Bueno-Soler, Juliana; Walter A. Carnielli; RUFFINO, M.. Participação em banca de Pedro Mendes Lemos.. Sobre a Contrafactualidade. 2014. Exame de qualificação (Doutorando em Filosofia) - Universidade Estadual de Campinas.

Qualificações de Mestrado
1.
Bueno-Soler, Juliana; D'Ottaviano, I. M. L.; VENTURI, Giorgio.. Participação em banca de Rogério José de Ribamar da Silva Júnior. Modalidades Paraconsistentes como base para lógicas epistêmico-doxásticas. 2017. Exame de qualificação (Mestrando em Filosofia) - Universidade Estadual de Campinas.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
6th World Congress and School on Universal Logic.A generalization of Popper's probability theory. 2018. (Outra).

2.
First Joint Workshop on Ontologies, Uncertainty, and Inconsistency Handing. Paraconsistent probabilistic methods for uncertais ontologies. 2018. (Congresso).

3.
Fourth Workshop CLE-Buenos Aires Logic Group.Comparing the product of fibring to taylor-suited logics. 2018. (Encontro).

4.
17th Latin American Symposium on Mathematical Logic.Enlargin Popper's conditional probability as a primitive notion: towards general non-standard theories of probability. 2017. (Simpósio).

5.
I Jornadas de Lógica No Clássica: Paraconsistencia.Probabilidades paraconsistentes y generalizaciones del Teorema de Bayes. 2017. (Seminário).

6.
XVIII Brazilian Logic Conference.Popper's account of probability from paraconsistent grounds. 2017. (Encontro).

7.
Trends in Logic XVI Consistency, Contradiction, Paraconsistency and Reasoning − 40 years of CLE. On quasi-classical probability measures: a paraconsistent probability theory based on LFI1. 2016. (Congresso).

8.
XVII Encontro Nacional da ANPOF. Probabilidades paraconsistentes como ferramenta da razão. 2016. (Congresso).

9.
Planejamento das Condições de Ensino. 2015. (Outra).

10.
Second Workshop CLE - Buenos Aires Logic Group.On modal agents with limited capacity and their role in BDI systems. 2015. (Encontro).

11.
Seminário de Lógica e Computação.Amending probability with consistency. 2015. (Seminário).

12.
Tecnologia em Foco VI. 2015. (Oficina).

13.
Tutorial sobre ?Ambiente Virtual de Aprendizagem Moodle?. 2015. (Outra).

14.
Workshop on Non- Classical Logics.Paraconsistent probabilities: degrees of rational belief under contradiction.. 2015. (Encontro).

15.
17th Brazilian Logic Conference - EBL 2014. Paraconsistent levelled possible-world semantics. 2014. (Congresso).

16.
1st Workshop On Digital Humanities and e-Science. e-Reasoning: between Digital Humanities and e-Science '. 2014. (Congresso).

17.
V Tecnologia em Foco 2014. 2014. (Oficina).

18.
4th World Congress and School on Universal Logic. Paraconsistent Description Logics from the formal-consistency viewpoint. 2013. (Congresso).

19.
International Workshop on Philosophy and Mathematics of Uncertainty and Vagueness. Betting on Paraconsistent Probability. 2012. (Congresso).

20.
International Workshop on Philosophy and Mathematics of Uncertainty and Vagueness. Betting on Paraconsistent Probability. 2012. (Congresso).

21.
IV Colóquio de Arquitetura da Informação.Lógicas da descrição paraconsistente e perspectivas. 2012. (Encontro).

22.
16th Logic Brazilian Logic Conference - XVI EBL. Probabilistic Modal Logic. 2011. (Congresso).

23.
Beyond the Possible Remembering Richard Sylvan. 2011. (Congresso).

24.
Chance & the Principal Principle. 2011. (Congresso).

25.
Third International Congress on Tools for Teaching Logic. The King of Reasonshire. 2011. (Congresso).

26.
Workshop Walfram Mathematica. 2010. (Outra).

27.
World Congress and Scholl on Universal Logic - UniLog 2010. Description logics from a paraconsistent viewpoint. 2010. (Congresso).

28.
XIV Encontro Nacional de Pós-Graduação em Filosofia.O conceito de probabilidade não-clássica através dos sistemas catódicos. 2010. (Encontro).

29.
Encontro de "Filosofia da Lógica". 2009. (Encontro).

30.
Model Based Reasoning in Since and Engineering Abduction, Logic, and Computational Discovery. Models for anodic and cathodic multimodalities. 2009. (Congresso).

31.
Science, Truth and Consistency. Incompleteness in Paraconsistent Modalities. 2009. (Congresso).

32.
CLE 30/ XV EBL / XIV SLALM. Possible-translations semantics for cathodic modal logics. 2008. (Congresso).

33.
V Simpósio Internacional Principia.Extensões modais das lógicas mbC e Ci. 2007. (Simpósio).

34.
XIII Jornadas de Epistemologias de las Ciencias Económicas. 2007. (Encontro).

35.
XII Encontro Nacional de Filosofia da ANPOF.Prova por polinômios: uma nova aordagem para algebrizar lógicas?. 2006. (Encontro).

36.
XIV Encontro Brasileiro de Lógica. Perspectives on Algebraizing Logics. 2006. (Congresso).

37.
Mini-Escola de Lógica PUC-Rio. 2005. (Oficina).

38.
Workshop "Semantics and Meaning" SeMe'05.Finite algebraizability and a simple proof-theory for the hierarchies Pn and In. 2005. (Oficina).

39.
Workshop on Combination of Logics: Theory and Applications - CombLog'04.Finite algebraizability via possible-translations semantics. 2004. (Oficina).

40.
XIII Encontro Brasileiro de Lógica CLE/SBL 25 Anos.Semântica Algébrica de Traduções Possíveis: um enfoque categorial. 2003. (Encontro).

41.
X Encontro Nacional de Filosofia da ANPOF.Algebrizar, por quê?. 2002. (Encontro).

42.
X Semana da Licenciatura em Matemática.X Semana da Licenciatura em Matemática. 2000. (Encontro).

43.
XI Semana da Licenciatura em Matemática.XI Semana da Licenciatura em Matemática. 1999. (Encontro).


Organização de eventos, congressos, exposições e feiras
1.
Bueno-Soler, Juliana; Coniglio, M. E. ; CARNIELLI, W. ; BEZERRA, Edson Vinicius ; GOLZIO, Ana Cláudia ; BARRIO, Eduardo . Fourth workshop CLE-Buenos Aires Logic Group. 2018. (Outro).

2.
BUENO, J.; Bueno-Soler, Juliana . 6th World Congress and School on Universal Logic. 2018. (Outro).

3.
CARNIELLI, W. ; BIRABEN, R. E. ; Bueno-Soler, Juliana ; BERTATO, F. ; TESTA, R. ; PULCINI, G. ; VENTURI, G. . Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE. 2016. (Congresso).

4.
Juliana Bueno-Soler. 1st Workshop on Digital Humanities and e-Science. 2014. (Outro).

5.
CONIGLIO, M. E. ; CARNIELLI, W. ; Juliana Bueno-Soler . Workshop on Thinking and Rationality. 2013. (Congresso).

6.
Bueno-Soler, Juliana; Coniglio, M. E. ; CARNIELLI, W. ; BIRABEN, R. E. ; BERTATO, F. . International Workshop on Philosophy and Mathematics of Uncertainty and Vagueness. 2012. (Congresso).

7.
Bueno-Soler, Juliana. Primeira Oficina de Lógica e Argumentação. 2011. (Outro).

8.
Magnani, L. ; CARNIELLI, W. ; Juliana Bueno-Soler . Model - Based Reasoning in Science and Technology (MBR'09). 2009. (Congresso).

9.
Juliana Bueno-Soler. CLE 30/ XV EBL / XIV SLALM. 2008. (Congresso).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Daniel Diniz. Probabilidade condicional e trivialização probabilística: uma análise lógica. Início: 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

2.
Maíra Bittencourt. Probabilidade versus indução: Popper e os fundamentos da Filosofia da Ciência. Início: 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas. (Coorientador).


Orientações e supervisões concluídas
Dissertação de mestrado
1.
Igor de Camargo e Souza Câmara. Condicionais Contrafatuais e Contrapossíveis. 2018. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Juliana Bueno.

2.
Edson Vinicius Bezerra. Uma Análise das Bivalorações do Ponto de Vista da Semântica de Sociedade.. 2017. Dissertação (Mestrado em Filosofia) - Universidade Estadual de Campinas, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Coorientador: Juliana Bueno.

Monografia de conclusão de curso de aperfeiçoamento/especialização
1.
Andrea Emy Akimoto. Diminuicao do Lixo Organico Residencial: o Cultivo da Horta Organica com Auxilio da M

2.
Andre Nascimento da Silva. A quimica contextualizada para educacao de jovens e adultos: seria uma solucao?. 2013. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Juliana Bueno.

3.
Rosangela Cardoso Galan. A velocidade de aprendizagem da criança tecnológica: as contribuições das novas tecnologias para o letramento das crianças e jovens. 2012. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Juliana Bueno.

4.
Fabiana Del Nero. A importância do Ensino de Ciências nas séries iniciais do Ensino Fundamental I e Educação Infantil, como fundamentos para uma educação de qualidade. 2012. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Juliana Bueno.

5.
Maria Rita Alves Magalhães. O uso da tecnologia e da leitura na sala de aula. 2012. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Juliana Bueno.

6.
Roberta da Silva Bonani. As salas do Acessa Escola na Rede Estadual de Ensino de São Paulo: reflexões sobre as condições de uso na cidade de Bragança Paulista. 2012. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Juliana Bueno.

7.
Edineia Sueli de Souza. Tecnologia, Ensino e Prática Pedagógica: quanto uma influencia na outra?. 2012. Monografia. (Aperfeiçoamento/Especialização em Curso de Especialização em Ciência e Tecnologia) - Universidade Federal do ABC. Orientador: Juliana Bueno.

Trabalho de conclusão de curso de graduação
1.
Luis Antonio Coêlho. Em direção a uma criptografia RSA gaussiana. 2017. Trabalho de Conclusão de Curso. (Graduação em Sistemas de Informação) - Universidade Estadual de Campinas. Orientador: Juliana Bueno.



Inovação



Projeto de extensão


Educação e Popularização de C & T



Apresentações de Trabalho
1.
Bueno-Soler, Juliana; AGUDELO-AGUDELO, J. C. . Paraconsistent levelled possible-worlds semantics. 2014. (Apresentação de Trabalho/Congresso).


Cursos de curta duração ministrados
1.
Juliana Bueno-Soler; CARNIELLI, W. . Semânticas para multimodalidades. 2012. (Curso de curta duração ministrado/Outra).



Outras informações relevantes


1.Intercâmbio de 6 meses junto ao Instituto Superior Técnico de Lisboa, Pt, co-orientado pelo Prof. Dr. Carlos Caleiro (Mestrado).

2. Intercâmbio de 6 meses junto à Université du Luxembourg, Lu, supervisionado pelo Prof. Dr. Leon van der Torre (Doutorado).

3. Intercâmbio de 1 mês junto à Université Paul Sebatier, IRIT/LILAC, Toulouse, França, convidada pelo Prof. Dr. Andreas Herzig. (pós-doc).

4. Intercambio de 2 meses junto à Universidade de Melbourne, Austrália, como Professor visitante, com bolsa de pesquisa FAPESP, a convite dos professores Greg Restall e Graham Priest e do pós-doc Zach Webar. 

5. Visita de pesquisa por 2 meses junto à Universidade de Siena, Itália, como Professor visitante, no âmbito do projeto MaToMUVi, a convite do Professor Franco Montagna.

6. Estive 1 mês na Universidade de Barcelona Melbourne, Espanha, como Professor visitante, no âmbito do projeto MaToMUVi, a convite dos professores Francesc Esteva and Lluis Godo. 


7. CAPITULO DE LIVRO NO PRELO

J. Bueno-Soler, W. Carnielli, M. Coniglio, and A. Rodrigues, 
Formal (In)consistency, abduction and modalities, in L. Magnani and T. Bertolotti, (eds.), 2016, Handbook of Model-Based Science, 
Part ed. by A. Aliseda, "The Logic of Hypothetical Reasoning, Abduction, and Models", Springer, Heidelberg/Berlin.



Página gerada pelo Sistema Currículo Lattes em 15/12/2018 às 23:59:08