Luís Moniz Pereira
Presidente fundador da Associação Portuguesa para a Inteligência Artificial.
Doutor Honoris Causa pela Universidade de Dresden.
Fellow eleito da Associação Europeia de IA.
Professor Catedrático da UNL (aposentou-se aos 60 para investigar).
Manuel Curado
Professor da Universidade do Minho, Auditor de Defesa Nacional, Doutorado cum laude pela Universidade de Salamanca. Titular do Curso de Alta Direcção para a Administração Pública. Autor dos livros Deus na Universidade (Porto, Fronteira do Caos, 2011), Pessoas Transparentes: Questões Actuais de Bioética (Coimbra, Almedina, 2010), Porquê Deus Se Temos a Ciência? (Porto, Fronteira do Caos, 2009), Cartas Italianas (Lisboa, Sílabo, 2008), Direito Biomédico (Lisboa, Quid Juris, 2008), Luz Misteriosa: A Consciência no Mundo Físico (Famalicão, Quasi, 2007), entre outros. É presidente da Sociedade Portuguesa de Ciências Cognitivas e director da revista Jornal de Ciências Cognitivas. Lecciona Filosofia da Mente e Ética Biomédica.
José Félix Costa
Professor Associado com Agregação no Departamento de Matemática do Instituto Superior Técnico. Os seus interesses de investigação são: computabilidade e complexidade em sistemas computacionais digitais e analógicos. Também se interessa por História e Filosofia da Ciência. Publicou mais de 100 artigos em revistas internacionais e actas de conferências.
António Machiavelo
Licenciado em Matemática Pura pela Faculdade de Ciências do Porto e doutorado em Matemática pela Universidade de Cornell (EUA), tendo-se especializado na área da Teoria Algébrica dos Números, é docente do departamento de Matemática da Faculdade de Ciências do Porto e membro do Centro de Matemática da Universidade do Porto. Trabalha em Teoria dos Números, Criptografia e Autómatos Finitos, tendo também fortes interesses em História e Filosofia da Matemática.
Olga Pombo
OLGA POMBO é doutorada e agregada pela Universidade de Lisboa. É desde 1998 professora da Faculdade de Ciências de Lisboa onde foi assistente entre 1984 e 1998. Coordenadora dos projectos FCT "Enciclopédia e Hipertexto" (1999--2002), "Cultura Científica. Migrações Conceptuais e Contaminações Sociais" (2002-2005) e "A Imagem na Ciência e na Arte" (2007-2011), membro de diversos projectos nacionais e internacionais, é Coordenadora do Centro de Filosofia das Ciências da Universidade de Lisboa desde 2002 e da SAHFC da Faculdade de Ciências de Lisboa desde 2007.
Livros publicados
• Leibniz and the Problem of a Universal Language, Münster: Nodus Publikationen, l987.
• A Interdisciplinaridade. Reflexão e Experiência, com T. Levy e H. Guimarães, Lisboa: ed. Texto, 1993 e 1994 (2ª ed.).
• Leibniz e o Problema de uma Língua Universal, Lisboa: JNICT, 1997.
• Quatro Textos Excêntricos. Hannah Arendt, Eric Weil, Bertrand Russell e Ortega Y Gasset, Lisboa: Relógio d'Água, 2000.
• A Escola, a Recta e o Círculo, Lisboa: Relógio d'Água, 2002.
• Interdisciplinaridade: Ambições e Limites, Lisboa: Relógio d'Água, 2004.
• Unidade da Ciência. Programas, Figuras e Metáforas, Lisboa: Duarte Reis, 2006. 2ªedição, Lisboa: CFCUL / Gradiva, 2011
• Interdisciplinaridade. Antologia, co-editado com H. Guimarães e T. Levy, Porto: Campo das Letras, 2006.
• Enciclopédia e Hipertexto, co-editado com A. Guerreiro e A. F. Alexandre, Lisboa: Duarte Reis, 2006.
• Abduction and the Process of Scientic Discovery, co-editado com A. Gerner, Lisboa: CFCUL, 2007.
• Lógica e Filosofia da Ciência, co-editado com A. Nepomuceno, Lisboa: CFCUL / CRUP, 2009.
• Unity of Science: New Approaches - Otto Neurath and the Unity of Science, co-editado com J. Symons e J.M. Torres, Dordrecht/Heidelberg/London/New York: Springer.
• Palavra e Esplendor do Mundo. Estudos sobre Leibniz, Lisboa: Fim de Século, 2010.
• Neuroaesthetics, co-editado com M. Pina e S. di Marco, Lisboa: Fim de Século, 2010.
• Studies in Diagrammatology and Diagram Praxis, co-editado com A. Gerner, London: College Publications, 2010.
• As Imagens com que a Ciência se Faz, co-editado com S.di Marco, Lisboa: Fim de Século, 2010.
• Lógica Universal e Unidade da Ciência. Lisboa: CFCUL, 2011.
• Special Sciences and the Unity of Science, co-editado com S. Rahman; J. Symons e J.M Torres, Dordrecht / Heidelberg / London / New York: Springer, 2012.
• Em torno de Darwin, co-editado com M. Pina, Lisboa: Fim de Século, 2012.
• Os Círculos do Saber, Lisboa: CFCUL / Gradiva, 2012
Dexter Kozen
Dexter Kozen is the Joseph Newton Pew, Jr. Professor in Engineering at Cornell University. He received his undergraduate degree from Dartmouth College in mathematics in 1974 and his Ph.D. from Cornell in computer science in 1977. After working as a member of the research staff at the IBM Thomas J. Watson Research Center for several years, he returned to Ithaca to join the Cornell faculty in computer science in 1985. He is a recipient of the John G. Kemeny Prize in Computing and an IBM Outstanding Innovation Award, and is a former Guggenheim fellow and a fellow of the Association of Computing Machinery and American Association for the Advancement of Science.
Kozen's research interests span a variety of topics on the boundary of computer science and mathematics: design and analysis of algorithms, computation complexity theory, complexity of decision problems in logic and algebra, and logics and semantics of programming languages. He is the author of over 150 research articles and four books.