Lógica e Fundamentos da Matemática Grupo de Pesquisa uri icon

  •  
  • Visão geral
  •  
  • Pesquisas
  •  
  • Ligações
  •  
  • Identidade
  •  
  • Ver todos
  •  

application sectors

  • Pesquisa e desenvolvimento científico

descrição

  • Organização de evento internacional anual nível B (segundo o Australian National Research Council), já na sua 19a. edição em 2012, intitulado "WoLLIC - Workshop on Logic, Language, Information and Computation", com publicação de anais pela série "Lecture Notes in Computer Science" (LNCS) da Springer, e números especiais de revistas científicas de primeira linha (Theoretical Computer Science, Annals of Pure and Applied Logic, Information and Computation, Journal of Computer and System Sciences).Líder do grupo foi premiado em 2006 com uma cátedra de Professor Visitante (Edward Larocque Tinker Visiting Professor) no Dept of Philosophy, Stanford University, indicado por Solomon Feferman e Grigori Mints, onde ministrou dois cursos.Líder do grupo integrou, em 2008 e 2011, o "advisory group" do Comitê de Premiação do "Rolf Schock Prize in Logic and Philosophy" da Royal Swedish Academy of Sciences, assim como o Comitê de Premiação do "E.W. Beth Dissertation Prize 2012" da Association for Logic, Language and Information sob os auspícios da Royal Netherlands Academy of Sciences". Líder do grupo é Editor-in-Chief do Logic journal of the IGPL (Oxford U Press), Associate Editor do Journal of Computer and System Sciences (Elsevier), e membro do Editorial Board da subsérie FoLLI da série LNCS (Springer).Membros do Grupo têm livro publicado em editora internacional de grande alcance (World Scientific) na área de Lógica Matemática e Fundamentos da Dedução Lógica.

Data arquivamento

  • 2012