34 results · clear filters Sort: newest oldest name

1. International Conference on Computer Aided Verification (CAV 2026)
   2026-07-26/29 · Lisbon, Portugal
   Computer and information sciences
   e10ty43
2. Enterprise Design, Operations, and Computing: 29th International Conference, EDOC 2025, Lisbon, Portugal, September 9-12, 2025, Revised Selected Papers
   2025 · Lisbon, Portugal
   Computer and information sciences
   e110vhz
3. 46th International Conference on Software Engineering (ICSE 2024)
   2024-04-14/20 · Lisbon, Portugal
   MathematicsComputer and information sciences
   e10jxc4
4. Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, ICSE Companion 2024, Lisbon, Portugal, April 14-20, 2024
   2024 · Lisbon, Portugal
   Computer and information sciences
   e11a57p
5. Proceedings of the 46th International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS2024, Lisbon, Portugal, April 14-20, 2024
   2024 · Lisbon, Portugal
   Computer and information sciences
   e11aamp
6. Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
   2024 · Aveiro, Portugal
   Computer and information sciences
   e11s1wg
7. Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops - ReacTS 2024 and CIFMA 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
   2024 · Aveiro, Portugal
   Computer and information sciences
   e11s1xe
8. ACM SIGPLAN Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH 2023)
   2023-10-22/27 · Cascais, Portugal
   MathematicsComputer and information sciences
   e12c012
9. Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023
   2023 · Cascais, Portugal
   Computer and information sciences
   e11vyz9
10. Proceedings of the 2023 ACM SIGPLAN International Symposium on SPLASH-E, SPLASH-E 2023, Cascais, Portugal, 25 October 2023
    2023 · Cascais, Portugal
    Computer and information sciences
    e11vz07
11. 31st International Symposium on Software Reliability Engineering (ISSRE 2020)
    2020-10-12/15 · Coimbra, Portugal
    Mathematics
    e124k6n
12. 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019)
    2019-07-10/12 · Lisbon, Portugal
    Mathematics
    e1269cf
13. 21st International Symposium on Practical Aspects of Declarative Languages (PADL 2019)
    2019-01-14/15 · Lisbon, Portugal
    Mathematics
    e125kc7
14. International Conference on Agile Software Development (XP 2018, XPU)
    2018-05-21/25 · Porto, Portugal
    MathematicsComputer and information sciences
    e12ab6h
15. Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2018, Funchal, Madeira, Portugal, March 23-24, 2018. (ENASE 2018, ENASE)
    2018-03-23/24 · Funchal, Portugal
    Computer and information sciences
    e10egzk
16. Agile Processes in Software Engineering and Extreme Programming - 19th International Conference, XP 2018, Porto, Portugal, May 21-25, 2018, Proceedings
    2018 · Porto, Portugal
    Computer and information sciences
    e120e1c
17. Proceedings of the 19th International Conference on Agile Software Development, XP 2019, Companion, Porto, Portugal, May 21-25, 2018
    2018 · Porto, Portugal
    Computer and information sciences
    e120e2a
18. ENASE 2017 - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering, Porto, Portugal, April 28-29, 2017. (ENASE 2017, ENASE)
    2017-04-28/29 · Porto, Portugal
    Computer and information sciences
    e10eh0h
19. International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2011, GTTSE)
    2011-07-03/09 · Braga, Portugal
    Computer and information sciences
    e103r6m
20. International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009, GTTSE)
    2009-07-06/11 · Braga, Portugal
    Computer and information sciences
    e103r5p
21. International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2008, ENASE)
    2008-05-04/07 · Funchal, Portugal
    Computer and information sciences
    e102qbd
22. International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2007, GTTSE)
    2007-07-02/07 · Braga, Portugal
    Computer and information sciences
    e103r4r
23. International Conference on Fundamental Approaches to Software Engineering (FASE 2007, FASE)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e1036sz
24. International Conference on Foundations of Software Science and Computation Structure (FOSSACS 2007, FoSSaCS)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e103epx
25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007, TACAS)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e108905

As JSON: https://labs.confref.org/api/search?discipline=Q80993&country=PT