José Nuno Oliveira
[ DI/UM ]

Current position

• Full Professor at the Computer Science Department, School of Engineering,
  Univ. Minho, Braga, Portugal

Professional Liaisons

• Member of IFIP WG 2.1 (Algorithmic Languages and Calculi)
• Member of the editorial board of Formal Aspects of Computing (Springer Verlag, UK)
• Member of the Formal Methods Europe (FME) Association and former convenor of the FME Subgroup on Education.
• Member of the HASLab (High-Assurance Software Laboratory) - INESC TEC & University of Minho
• Member od the Steering Committees of MPC, RAMiCS and PPDP.
• Participant in the APPSEM II Thematic Network - Applied Semantics II
• Former member of the Scientific Committee of the MAP-I Doctoral Program
• Former member of the Scientific Committee of the Gulbenkian Program for Talents in Quantum Technologies
• Collaborator of the Braga District Archives

Academic degrees

• Univ.Minho - Habilitation in Computing Foundations [2010]
• Univ. Manchester, U.K. - Ph.D. in Computer Science [1984]
• Univ. Manchester, U.K. - M.Sc. in Computer Science [1981]
• Univ. Porto, Portugal -- Lic. Eng. Elect. (Digital Systems & Computers) [1978]

• PC member of the 28th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2025), Hamilton, Canada, May 3–8, 2025.
• Awards Co-chair of the 46th Int. Conf. on Software Engineering (ICSE 24), Lisbon, 11-20 April 2024.
• PC member of the 27th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2024), Luxembourg, 6–11 April 2024.
• PC member of the Haskell Symposium 2023. Seattle, USA, 4–9 September 2023.
• PC member of the 35th Symp. on Implementation and Application of Functional Languages (IFL 2023), Braga, Portugal, 29-31 August, 2023.
• PC member of ABZ 2023. Nancy, France, May 30 — Jun 2, 2023.
• PC member of FMTEA 2023, hosted by FM'23, March 6-10, Lübeck, Germany.
• PC member of MPC 2022: 14th International Conference on Mathematics of Program Construction, Tbilisi, Georgia, 26-28 September 2022.
• PC member of FM'21, November 19-26, Beijing, China.
• PC member of αFM 2021, hosted by FM'21, November 19-26, Beijing, CN.
• PC member of FMTEA 2021, hosted by FM'21, November 19-26, Beijing, CN.
• PC member of ABZ 2020. Ulm, Germany, postponed to June 9-11, 2021.
• PC member of Q-SE 2021: 2nd Int. Workshop on Quantum Software Engineering. Virtual, co-located with ICSE 2021, June 1-2, 2021.
• PC member of SBMF 2020: 23rd Brazilian Symposium on Formal Methods. Ouro Preto, Brazil, November 25-27, 2020.
• PC member of RAMICS 2020: 18th International Conference on Relational and Algebraic Methods in Computer Science. Paris, France, April 8-11, 2020 (postponed to 26-29 October).
• PC member of FMiCS 2020: 25th International Conference on Formal Methods for Industrial Critical Systems. Vienna, Austria, September 2-3, 2020.
• General chair of FM'19: 3rd World Congress on Formal Methods, October 7-11, 2019, Porto, Portugal.
• PC member of FM 2018: 22nd International Symposium on Formal Methods. Oxford, UK, July 15-17, 2018.
• PC member of SBMF 2018: 21st Brazilian Symposium on Formal Methods. Salvador-BA, Brazil, November 26-30, 2018.
• PC member of ABZ 2018. Southampton, UK, June 5-8, 2018.
• PC member of SBMF 2017: 20th Brazilian Symposium on Formal Methods. Recife-PE, Brazil, Nov.27-Dec.01, 2017.
• PC member of ICTAC 2017: 14th International Colloquium on Theoretical Aspects of Computing. to take place by 23-27 October 2017, Hanoi, Vietnam.
• PC member of DALI 2017: Workshop DaLi - Dynamic Logic: new trends and applications. Brasilia, Brazil, September 24, 2017.
• PC member of RAMICS 2017: 16th International Conference on Relational and Algebraic Methods in Computer Science. ENS Lyon, France, May 15-19, 2017.
• PC member of SBMF 2016: 19th Brazilian Symposium on Formal Methods. Natal, Brazil, November 21-25, 2016.
• PC member of FM 2016: 21st International Symposium on Formal Methods, Limassol, Cyprus, November 07-11, 2016.
• PC member of ICTAC 2016: 13th International Colloquium on Theoretical Aspects of Computing. 24-31 October 2016, Taipei, Taiwan.
• PC member of LSFA 2016: 11th Workshop on Logical and Semantic Frameworks, with Applications. June 25-26, 2016, Porto, Portugal.
• PC member of ABZ 2016. May 23-27, 2016, Linz, Austria.
• Conference chair of RAMICS 2015: 15th International Conference on Relational and Algebraic Methods in Computer Science, Braga (Bom Jesus), Portugal, Sep 28-Oct 1, 2015.
• PC member of SBMF 2015: 18th Brazilian Symposium on Formal Methods. Belo Horizonte, Brazil, September 21-25, 2015.
• PC member of FM 2015: 20th International Symposium on Formal Methods, 22-26 June 2015, Oslo, Norway.
• PC member of MPC 2015: 12th International Conference on Mathematics of Program Construction, 29 June-1 July 2015, Oxford, UK.
• PC member of SBMF 2014: 17th Brazilian Symposium on Formal Methods. Alagoas, Brazil September 28-October 3, 2014.
• PC member of FM 2014 : 19th International Symposium on Formal Methods, Singapore, May 12-16, 2014.
• PC member of RAMICS 2014: 14th International Conference on Relational and Algebraic Methods in Computer Science, Marienstatt im Westerwald, Germany 27 April - 1 May 2014.
• PC member of SBMF 2013: 16th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil September 29-October 4, 2013.
• PC member of INFORUM 2013: 5th National Symposium in Informatics. September 5-6, 2013 Évora, Portugal.
• PC member of ICFEM 2012: 14th Int. Conf. on Formal Engineering Methods. Kyoto, Japan, November 12-16, 2012.
• PC member of SBMF 2012: 15th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil September 23-28, 2012.
• PC member of RAMICS 2012: 13th International Conference on Relational and Algebraic Methods in Computer Science, Cambridge UK, 17-21 September 2012.
• PC member of INFORUM 2012: 4th National Symposium in Informatics. September 6-7, 2012 Lisboa, Portugal.
• PC member of MPC 2012: 11th International Conference on Mathematics of Program Construction, Madrid, Spain, 25-27 June 2012.
• PC member of ABZ 2012, 18-22 June 2012, Pisa, Italy.
• PC member of SBMF 2011: 14th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil September 26-30, 2011.
• PC member of INFORUM 2011: 3rd National Symposium in Informatics. September 8-9, 2011 Coimbra, Portugal.
• PC member of ICTAC 2011 : 8th International Colloquium on Theoretical Aspects of Computing. 31 August - 2 September 2011, Johannesburg, South Africa.
• PC member of FM 2011 : 17th International Symposium on Formal Methods, Lero, Limerick, Ireland, June 20-24, 2011.
• PC member of SBMF 2010: 13th Brazilian Symposium on Formal Methods. Natal, Rio Grande do Norte, Brazil November 8-12, 2010.
• PC member of INFORUM 2010: 2nd National Symposium in Informatics. September 9-10, 2010 Braga, Portugal.
• PC member of ICTAC 2010: 7th International Colloquium on Theoretical Aspects of Computing. September 1-3, 2010 Natal, Rio Grande do Norte, Brazil.
• PC member of MPC 2010: 10th International Conference on Mathematics of Program Construction, Manoir St-Castin, Québec, Canada, 21-23 June 2010.
• PC member of the ABZ 2010, February 23-25, 2010, Orford, Québec, Canada.
• PC member of Teaching Formal Methods: Widening Access to Formal Methods, 2nd Int. FME Conference on Teaching Formal Methods, Friday November 6th 2009, co-located with FM2009 - 16th International Symposium on Formal Methods, Eindhoven, the Netherlands, November 2 - November 6, 2009.
• PC member of SBMF 2009: 12th Brazilian Symposium on Formal Methods. Gramado, Brasil August, 19-21, 2009.
• PC member of DSL 2009: FIP Working Conference on Domain Specific Languages. July 15-17, 2009, Oxford.
• Member of the Scientific Committee of GTTSE'09: 3rd Summer School on Generative and Transformational Techniques in Software Engineering, 6 - 11 July, 2009, Braga, Portugal
• PC member of FMET 2008: 1st First International Workshop on Formal Methods Education and Training. October 28, 2008, Kitakyushu-City, Japan.
• PC member of SBMF 2008: 11th Brazilian Symposium on Formal Methods. Salvador - Bahia - Brasil August, 26-29, 2008.
• PC member of MPC 2008: 9th International Conference on Mathematics of Program Construction, Cirm, Luminy, France, 15-18 July 2008.
• PC member of FM 2008: 15th International Symposium on Formal Methods, Åbo Akademi University, Turku, Finland, May 26 - 30, 2008.
• PC member of SBMF 2007: 10th Brazilian Symposium on Formal Methods. Ouro Preto, MG, Brazil, 29th - 31st September, 2007.
• OC member of ETAPS 2007: 10th European Joint Conferences on Theory and Practice of Software, March 24 - April 1, 2007, Braga, Portugal.
• PC member of Teaching Formal Methods: Practice and Experience, BCS-FACS Christmas Meeting, Friday 15 December 2006, organised by Oxford Brookes University and BCS-FACS.
• Co-chair of FM-ED 2006: Formal Methods in the Teaching Lab, workshop (Saturday, August 26, 2006) co-located with FM'06 .
• PC member of SBMF 2006: Brazilian Symposium on Formal Methods. Natal - Rio Grande do Norte - Brazil, 17th - 23rd September, 2006.
• PC member of MPC 2006: 8th International Conference on Mathematics of Program Construction, colocated with AMAST '06, Kuressaare, Estonia, 3-5 July 2006.
• PC member of SBMF 2005: Brazilian Symposium on Formal Methods. 28-30 November, 2005, Porto Alegre - Rio Grande do Sul, Brasil.
• PC member of SEFM 2005: 3rd IEEE International Conference on Software Engineering and Formal Methods. Koblenz, Germany, September 7-9, 2005.
• PC member of FM 2005: 13th International Symposium on Formal Methods, University of Newcastle upon Tyne, United Kingdom - July 18-22, 2005
• PC member of GTTSE'05: Summer School on Generative and Transformational Techniques in Software Engineering, 4 - 8 July, 2005, Braga, Portugal
• PC member of CoLogNet/Formal Methods Europe Symposium on Teaching Formal Methods 2004, Ghent University, Belgium, Nov 18-19, 2004.
• PC member of FME 2002: 11th International FME Symposium, Copenhagen, 22-24 July 2002.
• PC member of MPC 2002: 6th International Conference on Mathematics of Program Construction, 8-13 July 2002, Dagstuhl, Germany.
• Co-chair of FME 2001: 10th Int. FME Symposium («Formal Methods for Increasing Software Productivity»), Humboldt-Universitaet zu Berlin, Germany, 12-16 March 2001.
  With Pamela Zave in Berlin FME2001
  (thanks to Nico Plat)
   
• PC member of JIS 2000: V Jornadas de Ingeniería de Software, Valladolid, España, 8-10 Nov. 2000.
• Co-chair of MPC 2000: 5th Int. Conf. on Mathematics of Program Construction, Ponte de Lima, Portugal, July 3-7 2000.
• PC member of FM'99: World Congress on Formal Methods, Toulouse, France, 20-24 Sept. 1999.
• PC member of ESOP'99: European Symposium On Programming, Amsterdam, 20-28 March 1999.
• PC member of MPC'98: Fourth International Conference on Mathematics of Program Construction, Marstrand, Sweden, June 15-17, 1998.
• Co-editor of AFP'98: 3rd International Summer School on Advanced Functional Programming, Sept. 1998, Braga, Portugal.
• Co-organizer of WGP'98: Workshop on Generic Programming, Marstrand, Sweden, June 18, 1998.
• PC member of FQAS'98: Third International Conference on Flexible Query Answering Systems, Roskilde, Denmark, 13-15 May, 1998:
• PC member of FME'97: Formal Methods - Their Industrial Application and Strengthened Foundations, Graz, Austria, 15-19 September, 1997, and speaker (jointly with Cliff Jones) in the Industrial Training and University Education in Formal Methods tutorial.
• PC member of FQAS'96: International Conference on Flexible Query Answering Systems, Roskilde, Denmark, May 22-24, 1996.