José Félix Costa

Bio | Situação no CFCUL | Produção Científica | CV

FOTO 150x150px

Bio || Bio

José Félix Costa has the BSc and MSc in Physics, the MSc in Applied Mathematics, the PhD in Mathematics, and the Aggregation (Habilitation) in Computer Science. He is Associate Professor for Theoretical Computer Science at the Section of Logic and Computation of the Department of Mathematics of IST. He was visiting Associate Professor at the Technion (Israel Institute of Technology) and at the School of Physical Sciences, University of Swansea. He was also collaborator of the Santa Fe Institute (Santa Fe, Novo México). He was awarded with a Descartes award (in co-authorship) and a IBM honourable mention (1992), and received other distinctions.

José Félix Costa has been lecturing in a broad range of disciplines: History of Science, Mathematical Physics, Computability and Complexity, and Algebraic Methods in Computer Science. He advised five PhD students, fifteen MSc students, and fifteen Diploma Thesis. He has published about one hundred papers in international journals and conference proceedings.

Áreas de Interesse || Current Research

  1. Learning theory (recursion theoretical)
  2. Computability
  3. Formal epistemology
  4. Complexity
  5. Philosophy of science

Situação no CFCUL || Position at the CFCUL

Membro Integrado Doutorado

 

Grupos de Investigação || Research Groups

Epistemologia e Metodologia

 

Linhas Temáticas || Thematic Lines

Unity of Science and Interdisciplinarity

 

Participação em Projectos || Participation in Projects

Coordinator of the Project COMBINA (Computational Structure of Biological Metaphors), financed by JNICT (PBIC/C/TIT/2527/95), started on the 1st of December 1995 and extended to the 30th of November 2001. Joint project of the Department of Informatics, Faculty of Sciences, and the Faculties of Psychology and Medicine, University of Lisbon.

 

Contactos || Contacts

fgc@math.tecnico.ulisboa.pt

 

ORCID

0000-0002-0345-9904

Produção Científica (Selecção) || Scientific Production (Selection)

Publicações || Publications

Member of the editorial board of the International Journal of Unconventional Computing.

 

Editor (Journal Issues)
  1. Cristian S. Calude, José Félix Costa, and Hélia Guerra (Guest Editors). Special Issue «Towards a computational interpretation of physical theories», Applied Mathematics and Computation, Volume 219, Issue 1, Elsevier, September 15, 2012.
  2. José Félix Costa and Nachum Dershowitz (Guest Editors). Special Issue on Unconventional Computation, Natural Computing, Volume 10, Issue 4, Springer, December, 2011.
  3. Cristian S. Calude and José Félix Costa (Guest Editors). Special Issue on Physics and Computation, International Journal of Unconventional Computing, Volume 7, Issue 5, Old City Publishing Science Journals, September/October 2011.
  4. Cristian S. Calude and José Félix Costa (Guest Editors). Special Issue on Unconventional Computing, Natural Computing, Volume 9, Issue 4, Springer, December, 2009.
  5. Cristian S. Calude and José Félix Costa (Guest Editors). Special Issue on Physics and Computation, Applied Mathematics and Computation, Volume 215, Issue 4, Elsevier, October 15, 2009.
  6. Cristian S. Calude and José Félix Costa (Guest Editors). Special Issue on Physics and Computation, Natural Computing, Volume 8, Issue 3, Springer, September, 2009.
  7. Francisco António Dória and José Félix Costa (Guest Editors). Special Issue on Hypercomputation, Applied Mathematics and Computation, Volume 178, Issue 1, Elsevier, July 1, 2006.
 
Editor (Proceedings)
  1. Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, and Grzegorz Rozenberg, editors of Lecture Notes in Computer Science, Volume 5715, Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7--11, Springer, 2009.
  2. Cristian S. Calude, José Félix Costa, Rudolf Freund, Marion Oswald, and Grzegorz Rozenberg, editors of Lecture Notes in Computer Science, Volume 5204, Unconventional Computation, 7th International Conference, UC 2008, Vienna, Austria, August 25--28, Springer, 2008.
 
Papers In books
  1. Edwin Begs , Pedro Cortez , José Félix Costa, John V. Tucker; "Classifying the computational power of stochastic physical oracles". International Journal of Unconventional Computing. [disponível aqui]
  2. Tânia Ambaram, Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker. An Analogue-digital Model of Computation: Turing Machines with Physical Oracles, Advances in Unconventional Computing, Springer, Advances in Unconventional Computing. Chapter IV: 73--115. Book series: Emergence, Complexity and Computation, Vol. 22, Springer, 2017. DOI 10.1007/978-3-319-33924-5_4, http://link.springer.com/chapter/10.1007%2F978-3-319-33924-5_4 [pdf]
  3. A hierarchy for BPP//log* based on counting calls to an oracle, by Edwin Beggs, Pedro Cortez, José Félix Costa, and John V. Tucker, in Andrew Adamatzky (editor): Emergent Computation (Festschrift for Selim Akl), Springer, 2016, 15pp, to appear. [pdf]
  4. Edwin Beggs, José Félix Costa, and John V. Tucker. Unifying science through computation: Reflections on computability and physics, in Olga Pombo, Juan Manuel Torres, John Symons, and S. Rahman (editors): Special Sciences and the Unity of Science, Book series: Logic, Epistemology, and the Unity of Science, Vol. 24, Springer, 2012, 53--80.
  5. Edwin Beggs, José Félix Costa, and John V. Tucker. Computational Models of Measurement and Hempel's Axiomatization, in Arturo Carsetti (editor): Causality, Meaningful Complexity and Embodied Cognition, Book Series: Theory and Decision Library A, Vol. 46, Springer, 2010, 155--184. DOI 10.1007/978-90-481-3529-5_9. http://link.springer.com/chapter/10.1007%2F978-90-481-3529-5_9. [pdf]
  6. José Félix Costa, Bruno Loff, and Jerzy Mycka. Differential Equations, Infinite Limits and Real Recursive Functions, in M. Demiralp, W. B. Mikhael, A. A. Caballero, et al. (editors): Computational Methods and Applied Computing, Book Series: Mathematics and Computers in Science and Engineering, World Scientific and Engineering Academy and Society, 2008, 294--299.
  7. João Pedro Neto, José Félix Costa, Paulo Carreira, and Miguel Rosa. A compiler and simulator for partial recursive functions over neural networks, in Ahmad Lotfi and Jonathan M. Garibaldi (editors), Applications and Science in Soft Computing, Springer-Verlag, 2004, 39--46.
  8. Carlos Paredes, José Luiz Fiadeiro, and José Félix Costa. Architectural specifications: modeling and structuring behavior through rules, in H. Kilov and W. Harvey (editors), Object-Oriented Behavioral Specifications, Kluwer Academic Publishers, 1996, 221--240.
 
Papers in journals
  1. Edwin Beggs, José Félix Costa, Diogo Poças and John V. Tucker. Computations with oracles that measure vanishing quantities, in Mathematical Structures in Computer Science, Cambridge University Press, in print. DOI: http://dx.doi.org/10.1017/S0960129516000219 [site] [pdf]
  2. A hierarchy for BPP//log* based on counting calls to an oracle, by Edwin Beggs, Pedro Cortez, José Félix Costa, and John V. Tucker, in Andrew Adamatzky (editor): Emergent Computation (Festschrift for Selim Akl), Springer, 2016, 15pp, to appear. [pdf]
  3. José Félix Costa. How far from P is NP, La Nuova Critica (Computability, Conceptual Complexity and General Semantics), 61-62: 83-113, 2015.
  4. José Félix Costa. Uncertainty in time, Parallel Processing Letters. 25(1), March 2015.
  5. Edwin Beggs, José Félix Costa, and John V. Tucker. Three forms of physical measurement and their computability, The Review of Symbolic Logic, 7(4): 618--646, December 2014.
  6. Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker. An Analogue-digital Church-Turing Thesis, International Journal of Foundations of Computer Science 25(4): 373–389, June 2014.
  7. Edwin Beggs, José Félix Costa, and John V. Tucker. A natural computation model of positive relativisation, International Journal of Unconventional Computing, 10(1-2): 111--141, Old City Publishing, Inc., 2014.
  8. José Félix Costa. Incomputability at the Foundations of Physics (A Study in the Philosophy of Science), Journal of Logic and Computation, 23(6): 1225-1248, 2013.
  9. Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker. Oracles that measure thresholds: The Turing machine and the broken balance, Journal of Logic and Computation, 23(6): 1155--1181, 2013.
  10. José Félix Costa and Raimundo Leong. The ARNN model relativizes P == NP and P =/= NP, Theoretical Computer Science, 499(1): 2--22, Elsevier, 2013.
  11. José Félix Costa. Turing machines as clocks, rulers and randomizers, Boletim da Sociedade Portuguesa de Matemática, 67: 121--153, 2012.
  12. Hélia Guerra and José Félix Costa. Processes with infinite liveness requirements, The Journal of Logic and Algebraic Programming, 82(3-4): 137--161, Elsevier, 2013.
  13. Edwin Beggs, José Félix Costa, and John V. Tucker. The impact of limits of computation on a physical experiment, Mathematical Structures in Computer Science 22(05): 853--879, Cambridge University Press, 2012.
  14. Edwin Beggs, José Félix Costa, and John Tucker. Axiomatising physical experiments as oracles to algorithms, Philosophical Transactions of the Royal Society, Series A (Mathematical, Physical and Engineering Sciences), 370(1971): 3359-3384, July 28, 2012.
  15. Edwin Beggs, José Félix Costa, and John V. Tucker. Limits to measurements in experiments governed by algorithms, Mathematical Structures in Computer Science 20(06):1019--1050, Cambridge University Press, 2010.
  16. Edwin Beggs, José Félix Costa, and John V. Tucker. Physical oracles: the Turing machine and the Wheatstone bridge, in Diederik Aerts, Sonja Smets, and Jean Paul Van Bendegeme (editors): The Contributions of Logic to the Foundations of Physics, Studia Logica 95(1-2):279--300, 2010.
  17. José Félix Costa, Bruno Loff, and Jerzy Mycka. A foundation for real recursive function theory, in Samuel R. Buss, S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi, Computation and Logic in the Real World: CiE 2007, Annals of Pure and Applied Logic 160(3):255--288, 2009.
  18. Edwin Beggs, José Félix Costa, Bruno Loff, and John V. Tucker. Computational complexity with experiments as oracles. II. Upper bounds, Proceedings of the Royal Society, Series A (Mathematical, Physical and Engineering Sciences) 465(2105):1453--1465, 2009.
  19. Hélia Guerra and José Félix Costa. Processes with local and global liveness requirements, The Journal of Logic and Algebraic Programming 78(3):117--137, 2009.
  20. Bruno Loff and José Félix Costa. Five views of hypercomputation, in Mike Stannett (editor): Future Trends in Hypercomputation, International Journal of Unconventional Computing 5(3--4):193--207, Old City Publishing, Inc., 2009.
  21. Edwin Beggs, José Félix Costa, Bruno Loff, and John Tucker. Computational complexity with experiments as oracles, Proceedings of the Royal Society, Series A (Mathematical, Physical and Engineering Sciences) 464(2098):2777--2801, October 8, 2008.
  22. Bruno Loff, José Félix Costa, and Jerzy Mycka. Computability on reals, infinite limits and differential equations, Applied Mathematics and Computations 191(2):353--371, Elsevier, 2007.
  23. Jerzy Mycka, José Félix Costa, and Francisco Coelho. The Euclid abstract machine, International Journal of Unconventional Computing 4(3):223--248, Old City Publishing, 2007.
  24. Jerzy Mycka and José Félix Costa. A new conceptual framework for analog computation, Theoretical Computer Science 374(1-3):277--290, Elsevier, 2007.
  25. Jerzy Mycka and José Félix Costa. The P =/= NP conjecture in the context of real and complex analysis, Journal of Complexity 22(2):287--303, Elsevier, 2006.
  26. Jerzy Mycka and José Félix Costa. Undecidability over continuous-time, Logic Journal of the IGPL 14(5): 649--658, Oxford University Press, 2006.
  27. Jerzy Mycka and José Félix Costa. Real recursive functions and their hierarchy, Journal of Complexity 20(6):835--857, 2004.
  28. Daniel Graça and José Félix Costa. Analog computers and recursive functions over the reals, Journal of Complexity 19(5):644--664, 2003.
  29. João Pedro Neto, Hava T. Siegelman, and José Félix Costa. Symbolic processing in neural networks, Journal of the Brazilian Computer Society 8(3):58--70, 2003.
  30. Manuel Lameiras Campagnolo, Cristopher Moore, and José Félix Costa. An analog characterization of the Grzegorczyk hierarchy, Journal of Complexity 18(3):977--1000, 2002.
  31. Manuel Campagnolo, Cris Moore, and José Félix Costa. Iteration, inequalities, and differentiability in analog computers, Journal of Complexity 16(4):642--660, 2000.
  32. Paulo Blauth Menezes, Amílcar Sernadas, and José Félix Costa. Nonsequential automata semantics for a concurrent, object-based language, Electronic Notes in Theoretical Computer Science 14(1), 1998.
  33. José Luiz Fiadeiro and José Félix Costa. Mirror, mirror in my hand... a duality between specifications and models of process behaveour, Mathematical Structures in Computer Science 6:353--373, Cambridge University Press, 1996.
  34. Paulo Blauth Menezes and José Félix Costa. Synchronization in Petri nets, Fundamenta Informaticæ 26:11--22, Annales Societatis Mathematicæ Polonæ, IOS Press, 1996.
  35. Amílcar Sernadas, Cristina Sernadas, and José Félix Costa. Object specification logic, Journal of Logic and Computation 5(5):603--630, Oxford University Press, 1995.
  36. José Félix Costa and Amílcar Sernadas. Progress assumption in concurrent systems, Formal Aspects of Computing 7[1]:18--36, Springer-Verlag, 1995.
  37. Paulo Blauth Menezes and José Félix Costa. Compositional reification of concurrent systems, Journal of the Brazilian Computer Society 2: 50--67, Special Issue on Parallel Computation, 1995.
  38. José Félix Costa, Amílcar Sernadas, and Cristina Sernadas. Object inheritance beyond subtyping, Acta Informatica, 31(1):5--26, Springer-Verlag, 1994.
  39. José Luiz Fiadeiro and José Félix Costa. Espelho, espelho meu…, in Proceedings of the 3rd Meeting of Portuguese Algebrists, 71--86, Universidade de Coimbra, 1993.
  40. José Félix Costa and Amílcar Sernadas. A categorial framework of process interconnection, The INESC Journal of Research and Development 4(1): 81--93, 1993.
  41. Amílcar Sernadas, Hans-Dieter Ehrich, and José Félix Costa. From processes to objects, The INESC Journal of Research and Development 1(1):7--27, 1990.
  42. José Félix Costa. S-P vs. D na região do Arquipélago dos Açores. Açoreana, Revista de Estudos Açoreanos,Boletim da Sociedade Afonso Chaves 4[4]:280--331, 1987.
 
Papers in Lecture Notes in Computer Science
  1. Edwin Beggs, Pedro Cortez, José Félix Costa, and John V. Tucker. Classifying the computational power of stochastic physical oracles, in Arnold Beckmann, Laurent Bienvenu, and Natasha Jonoska (Editors), Collection of Abstracts, Twelfth Conference on Computability in Europe CiE 2016: Pursuit of the Universal, Paris, France, June 27 - July 1, 2016, pp. 20-21. https://lipn.univ-paris13.fr/CIE2016/ [pdf]
  2. Edwin Beggs, José Félix Costa, Diogo Poças, and John V. Tucker, On the power of threshold measurements as oracles, in Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, and Antonio E. Porreca (Editors), Unconventional Computation and Natural Computation 2013, Lecture Notes in Computer Science 7956:6--18, Springer-Verlag, 2013.
  3. José Félix Costa, Computable scientists, uncomputable world, in Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, and Jon Timmis (Editors), Unconventional Computation 2010, Tokyo, June 21--25, Lecture Notes in Computer Science 6079:6--10, Springer-Verlag, 2010.
  4. Edwin Beggs, José Félix Costa, Bruno Loff, and John Tucker. Oracles and advice as measurements, in Cristian S. Calude et al. (editors), Proceedings of the 6th Intl. Unconventional Computation 2008, UC 2008, Vienna, August 25--28, Lecture Notes in Computer Science 5204:33--50, Springer, 2008.
  5. Edwin Beggs, José Félix Costa, Bruno Loff, and John Tucker. On the complexity of measurement in classic physics, in M. Agrawal, D. Du, Z. Duan, and A. Li (editors), Theory and Applications of Models of Computation, TAMC 2008, Xi'an, China, April 25--29, 2008, Lecture Notes in Computer Science 4978:20--30, Springer, 2008.
  6. Daniel Pacheco and José Félix Costa. The abstract immune system algorithm, in S. G. Akl, C. S. Calude, M. J. Dinneen, G. Rozenberg, H. T. Wareham (editors), Proceedings of the 6th Intl. Unconventional Computation 2007, UC 2007, Lecture Notes in Computer Science 4618:137--149, Springer, 2007.
  7. José Félix Costa, Bruno Loff, and Jerzy Mycka. The new promise of analog computation, in S. Barry Cooper, Benedikt Löwe, and Andrea Sorbi (editors), Proceedings of the Third Conference on Computability in Europe, CiE 2007, Computation and Logic in the Real World, Siena, Italy, June 18--23, 2007, Lecture Notes in Computer Science 4497:189--195, Springer, 2007.
  8. Jerzy Mycka, Francisco Coelho, and José Félix Costa. Euclid abstract machine: the trisection of the angle and the halting problem, in G. Rozenberg (editors), Proceedings of the 5th Intl. Unconventional Computation 2006, UC 2006, Lecture Notes in Computer Science 4135:195--206, Springer, 2006.
  9. Jerzy Mycka and José Félix Costa. The computational power of continuous dynamic systems, Machines, Computations, and Universality, MCU 2004, Lecture Notes in Computer Science 3354:163--174., Springer, 2005.
  10. José Félix Costa and Hugo Lourenço, Canonical institutions of behavior, in Maura Cerioli and Gianna Reggio (editores), Recent Trends in Algebraic Development Techniques, Lecture Notes in Computer Science 2267:71--84, Springer-Verlag, 2001.
  11. Pedro Rodrigues, José Félix Costa, and Hava T. Siegelmann. Verifying Properties of Neural Nets, in José Mira and Alberto Prieto (editors), Connectionist Models of Neurons, Learning Processes, and Artificial Intelligence, Lecture Notes in Computer Science 2084: 158--165, Springer-Verlag, 2001.
  12. João Pedro Neto, Hava T. Siegelmann, José Félix Costa, and Carmen Suárez Araujo. Turing universality of neural nets (revisited), EUROCAST'97, Sixth International Conference on Computer Aided System Technology, Lecture Notes in Computer Science, 1333:361--366, Springer-Verlag, 1997.
  13. José Pedro Neto, José Félix Costa, and Helder Coelho. Lower bounds of computational power of a synaptic calculus, in José Mira, Roberto Moreno-Díaz, and Joan Cabestany (editors), Biological and Artificial Computation: From Neuroscience to Technology, Proceedings of the International Work-Conference on Artificial and Natural Neural Networks, IWANN'97, Lecture Notes in Computer Science 1240:340--348, Springer-Verlag, 1997.
  14. Paulo Blauth Menezes, José Félix Costa, and Amílcar Sernadas. Refinement mapping for general (discrete event) systems theory, in F. Pichler, R. Moreno Diaz, and R. Albrecht (editors), Computer Aided Systems Technology, EUROCAST'95, Lecture Notes in Computer Science, 1030: 103--116, Springer-Verlag, 1995.
  15. José Luiz Fiadeiro and José Félix Costa. Institutions for behaviour specification, in E. Astesiano, G. Reggio, and A. Tarlecki (editors), Recent Trends in Data Type Specification, Lecture Notes in Computer Science 906:273--289, Springer-Verlag, 1995.
  16. Amílcar Sernadas, José Félix Costa, and Cristina Sernadas. An institution of object behaviour, in H. Ehrig and F. Orejas (editors), Recent Trends in Data Type Specification, Lecture Notes in Computer Science 785:337--350, Springer-Verlag, 1994.
  17. José Félix Costa, Amílcar Sernadas, and Cristina Sernadas. Data encapsulation and modularity: three views of inheritance, in A. Borzyszkowski and S. Sokolowski (editors), Mathematical Foundations of Computer Science '93, Lecture Notes in Computer Science, 711: 382--391, Springer-Verlag, 1993.
  18. José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, and Tom Maibaum. Process semantics of temporal logic specifications, in M. Bidoit and C. Chopy (editors), Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types -- Selected Papers, Lecture Notes in Computer Science 655:236--253, Springer-Verlag, 1993.
  19. José Félix Costa, Amílcar Sernadas, Cristina Sernadas, and H.-D. Ehrich. Object interaction, in I. Havel and V. Koubek (editors), Mathematical Foundations of Computer Science '92, Lecture Notes in Computer Science 629:200--208, Springer, 1992.
 
Review articles
  1. Edwin Beggs, José Félix Costa, and John V. Tucker. Physical experiments as oracles, Bulletin of the European Association for Theoretical Computer Science, 97:137--151, February 2009.
  2. José Félix Costa. Hypercomputation in the limits of classical physical reality, Review of Neural Networks and Analog Computation, Beyond the Turing Limit, de Hava T. Siegelmann, Birkhauser, Computing Reviews 41(9): 343--345, 2000.
 
Revisões científicas
  1. FÍSICA, Addison-Wesley, 1999, 936 pp, coordinator of the Portuguese version of PHYSICS by Marcelo Alonso and Edward J. Finn, PHYSICS, Addison-Wesley, 1998.
  2. Física do Cristianismo, Bizâncio 2007, review of the translation of The Physics of Christianity by Frank Tipler, 2007.
  3. Turing — Um romance sobre computação, Bizâncio 2007, review of the translation of Turing – A novel about computation by Christos H. Papadimitriou, 2003.
  4. Mundos Paralelos, Uma viagem através da criação, dimensões superiores e o futuro do cosmos, Bizâncio 2006, review of the translation of Parallel Worlds by Michio Kaku, 2005.
  5. O Universo, A Nossa Casa: A Procura das Leis da Auto-organização e da Complexidade, Bizâncio 2005, edition of the translation of At Home in the Universe by Stuart Kauffman, 1995.
  6. Impossibilidade: Os Limites da Ciência e a Ciência dos Limites, Bizâncio 2005, review of the translation of Impossibility: The Limits of Science and the Science of Limits by John Barrow, 1998.
  7. O Computador Universal: Matemáticos e as Origens do Computador, Bizâncio 2004, review of the translation of The Universal Computer: Mathematicians and the Origin of the Computer by Martin Davis, 2000.
  8. A Física da Imortalidade, Bizâncio 2003, review of the translation of The Physics of Immortality: Modern Cosmology, God and the Resurrection of the Dead by Frank Tipler, 1994.
  9. A Mente Doente: Cérebro, Comportamento, Imunidade e Doença, Bizâncio 2001, review of the translation of Sickness Mind by Paul Martin, 1997.
  10. Em Busca de Susy, Bizâncio 2000, edition and review of the translation of In Search of Susy by John Gribbin, Princeton University Press, 1998.
  11. Mentes Artificiais, Relógio d’Água 2000, review of the translation of Artificial Minds by Stanley P. Franklin, 1995.
  12. Os Símios Caçadores, Alimentação Carnívora e Origens do Comportamento Humano, Bizâncio 2000, review of the translation of The Hunting Apes by Craig Stanford, Princeton University Press, 1999.
  13. Prisões de Luz, Bizâncio 2000, review of the translation of Prisions of Light: Black Holes by Kitty Fergu-son, Cambridge University Press, 1996.
  14. O Pequeno Livro da Ciência, Bizâncio 1999, review of the translation of The Little Book of Science by John Gribbin, Penguin Books, 1999.
  15. O Quinteto de Cambridge, Bizâncio 1999, review of the translation of The Cambridge Quintet by John L. Casti, Perseus Books, 1999.
  16. O Calor Vem Aí, A Batalha Contra a Ameaça do Clima, Bizâncio 1999, review of the translation of The Heat is On by Ross Gelbspan, Addison-Wesley, 1997.
  17. COMPUTADORES, O Presente e o Futuro, Bizâncio 1998, review of the translation of COMPUTERS by Steve Parker, Belitha Press Limited, 1998.
  18. LASERS, O Presente e o Futuro, Bizâncio 1998, review of the translation of LASERS by Steve Parker, Belitha Press Limited, 1998.
  19. Visões, Como a Ciência Irá Revolucionar o Século XXI, Bizâncio 1998, review of the translation of Visions by Michio Kaku, 1997.
  20. A Lição Esquecida de Feynman: O Movimento dos Planetas em Torno do Sol, Gradiva 1997, review, adaptation of the text and notes of the translation of Feynman’s Lost Lecture, The Motion of Planets Around the Sun by David L. Goodstein and Judith R. Goodstein, W. W. Norton & Company, 1996.
  21. Breve História do Tempo Ilustrada, Gradiva 1996, review, adaptation and notes of the translation of The Illustrated Brief History of Time by S. Hawking, Bantam Books, 1996.
  22. Círculos Viciosos e Infinito, Gradiva 1993, review and notes of the translation of Vicious Circles and Infinity by P. Hughes and G. Brecht.
  23. Rodas, Vida e Outras Diversões Matemáticas, Gradiva 1992, review of the translation of Wheels, Life and Other Mathematical Amusements by M. Gardner.
  24. Ah, Descobri!, Gradiva 1990, review of the translation of Aha! Insight by M. Gardner.
  25. A Mão Esquerda da Criação, Gradiva 1989, review, adaptation of the text and notes of the translation of Left Hand of Creation by J. Barrow and J. Silk.
  26. Breve História do Tempo, Gradiva 1988, review, adaptation of the text and notes of the translation of A Brief History of Time by S. Hawking.
  27. Nascimento de uma Nova Física, Gradiva 1988, review, adaptation of the text and notes of the translation of The Birth of a New Physics by I. Cohen.

Reuniões Científicas || Scientific Meetings

Chair of Workshops and Conferences
  1. General chair of the conference UC 2009, 8th International Conference on Unconventional Computation, Ponta Delgada, September 7--11, 2009.
  2. Co-chair of the Programme Committee of the conference UC 2008, Seventh International Conference on Unconventional Computation, TU Vienna, Vienna, Austria, August 25--28, 2008.
 
Organization of International Workshops
  1. Co-organizer (together with Valentina Harizanov) the Special Session COMPUTABILITY of the Logic Colloquium 2013, University of Évora, Portugal, July 22--27, 2013.
  2. Co-organizer (together with Cristian Calude, Walid Gomaa, Hélia Guerra, and Karl Svozil) the Third International Workshop on Physics and Computation, Egypt, August 30 -- September 4, 2010.
  3. Co-organizer (together with Cristian S. Calude) of the Workshop on Physics and Computation (Physics and Computation 2008), satellite event of the Conference UC 2008, August 25--28, 2008.
 
Organization of National Workshops
  1. Co-organizer (together with Helder Coelho) of the Workshop on Language and Complexity (sponsored by the Foundations Calouste Gulbenkian and Oriente), Arrábida, July 5--7, 2004.
 
Member of International Program Committee
  1. Conference UCNC 2014, Thirteen International Conference on Unconventional Computation and Natural Computation, University of Western Ontario, London, Ontario, Canada, July 14-18, 2014.
  2. 2013 Symposium for Computing & Philosophy, University of Exeter (U.K.), April 2-5, 2013.
  3. Conference UCNC 2013, Twelfth International Conference on Unconventional Computation and Natural Computation (previously called Unconventional Computation), Università degli Studi di Milano-Bicocca, Milano (Italy), July 1-5, 2013.
  4. Conference UCNC 2012, Eleventh International Conference on Unconventional Computation and Natural Computation (previously called Unconventional Computation), LIFO, University of Orléans, Orléans, France, September 3-7, 2012.
  5. International Workshop on Theoretical Computer Science Dedicated to Professor Cristian S. Calude's 60th Birthday, Auckland, New Zealand, February 21-24, 2012.
  6. Conference UC 2011, Ninth International Conference on Unconventional Computation, FUNDIM Laboratory of the Mathematics Department, University of Turku, Finland, June 6-10, 2011.
  7. ICALP 2010, 37th International Colloquium on Automata, Languages and Programming, Bordeaux, France, July 5-10, 2010.
  8. Conference UC 2007, Sixth International Conference on Unconventional Computation, Queens University, Kingston, Ontario, August 13-17, 2007.
  9. Conference IBERAMIA’98 — Sixth IberoAmerican Conference on Artificial Intelligence, Lisbon, October 5--9, 1998.
  10. Conferences PARLE'92, PARLE'93 and PARLE'94 — Parallel Architectures and Languages, Paris, June15-18 (1992), Munich, June 14-18 (1993) and Athens, June13-17(1994).
 
International invited lectures
  1. Workshop on Physics and Computation, LARSIM and QuPa joint workshop, Institut Henri Poincaré, June 28--29, 2012. Title: “The Computational Power of Experiments in Physics”.
  2. Workshop on The Incomputable, Kavli Royal Society International Centre, Chicheley Hall, June 12--15, 2012. Title: “Classifying the Theories of Physics”.
  3. 9th International Conference on Unconventional Computation, UC 2010, Tokyo, June 21--25, 2010. Title: “Computable Scientists, Uncomputable World”.
  4. Workshop Complexity Resources in Physical Computation, Oxford University Computing Laboratory, Oxford, UK, August 24--26, 2009. Title: “Computable scientists, Uncomputa-ble Nature”.
  5. Conference The Science and Philosophy of Unconventional Computing (SPUC09, organized by Mark Hogarth), Cambridge, UK, March 23--25, 2009. Title: “Physical Oracles”.
  6. International Colloquium on Causality, Meaningful Complexity and Knowledge Construction, University of Rome "Tor Vergata" (organized by Arturo Carsetti), Rome, June 5--7, 2008. Title: “The Laplace Daemon Revisited”.
  7. The 24th British Colloquium for Theoretical Computer Science, Grey College (organized by Hajo Broersma, Tom Friedetzky, and Daniël Paulusma), Durham University, UK, April 7--10, 2008. Title: “Physics and Computation: An Essay on the Unity of Science Through Computability”.
  8. Special Session of the Conference Computability in Europe 2007: Computation and Logic in the Real World, University of Siena, Siena, June 18--23, 2007. Title: “The New Promise of Analog Computation”.
  9. Workshop on Hypercomputation (organized by Mike Stannett), Sheffields, September 11--13, 2006. Title: “Five Views over Hypercomputation”.
  10. International Logic and Computer Science Semester at Tel-Aviv (Tel Aviv University), Models of Computation, March 10--12, 2004. Title: “Analog computation and beyond”.
  11. Foundations of information systems Specification and Design, Dagstuhl Seminar, Schloss Dagstuhl, March 1992. Title: “Algebraic Theory of Transition Systems Implementation”.