1,730 results · clear filters Sort: newest oldest name

1. International Conference on Tests and Proofs (TAP)
   2019-10-09/11 · Porto, Portugal
   Computer and information sciences
   e12p0ge
2. Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings (SAS 2019, SAS)
   2019-10-08/11 · Porto, Portugal
   Computer and information sciences
   e10ernz
3. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers (LOPSTR 2019)
   2019-10-08/10 · Porto, Portugal
   Computer and information sciences
   e10etnx
4. Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (RV 2019, RV)
   2019-10-08/11 · Porto, Portugal
   Computer and information sciences
   e10ewdc
5. Unifying Theories of Programming - 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (UTP)
   2019-10-08 · Porto, Portugal
   Computer and information sciences
   e11xvvg
6. 13th International Conference on Mathematics of Program Construction (MPC 2019, MPC)
   2019-10-07/09 · Porto, Portugal
   Computer and information sciences
   e10embr
7. 23rd International Symposium on Formal Methods (FM 2019, FM)
   2019-10-07/11 · Porto, Portugal
   MathematicsComputer and information sciences
   e113jj0
8. Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. (PPDP)
   2019-10-07/09 · Porto, Portugal
   Computer and information sciences
   e11p3j8
9. Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (TFM)
   2019-10-07 · Porto, Portugal
   Computer and information sciences
   e11x3w6
10. 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)
    2019-10-07/09 · Porto, Portugal
    Computer and information sciences
    e125vyt
11. 20th European Conference on Knowledge Management (ECKM 2019)
    2019-09-05/06 · Lisbon, Portugal
    Computer and information sciences
    e12gc47
12. Portuguese Conference on Artificial Intelligence (EPIA 2019, EPIA)
    2019-09-03/06 · Vila Real, Portugal
    Computer and information sciences
    e111p3z
13. The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. (SEKE)
    2019-07-10/12 · Hotel Tivoli, Portugal
    Computer and information sciences
    e11s307
14. 31st International Conference on Software Engineering and Knowledge Engineering (SEKE 2019)
    2019-07-10/12 · Lisbon, Portugal
    Mathematics
    e1269cf
15. Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (SAT)
    2019-07-09/12 · Lisbon, Portugal
    Computer and information sciences
    e11r242
16. Business Modeling and Software Design - 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, Proceedings (BMSD)
    2019-07-01/03 · Lisbon, Portugal
    Computer and information sciences
    e10t3xb
17. 8th Symposium on Languages, Applications and Technologies, SLATE 2019, Coimbra, Portugal, June 27-28, 2019 (SLATE)
    2019-06-27/28 · Coimbra, Portugal
    Computer and information sciences
    e11v0j1
18. 34th International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2019, SEC 2019)
    2019-06-25/27 · Lisbon, Portugal
    Computer and information sciences
    e10gas0
19. Information Security Education. Education in Proactive Information Security - 12th IFIP WG 11.8 World Conference WISE 12, Lisbon, Portugal, June 25-27, 2019 (World Conference on Information Security Education 2019)
    2019-06-25/27 · Lisbon, Portugal
    Computer and information sciences
    e10hxrd
20. Information Security Education. Education in Proactive Information Security - 12th IFIP WG 11.8 World Conference WISE 12, Lisbon, Portugal, June 25-27, 2019, Proceedings (IFIP11-8)
    2019-06-25/27 · Lisbon, Portugal
    Computer and information sciences
    e11bf7a
21. IFIP World Conference on Information Security Education (WISE)
    2019-06-25/27 · Lisbon, Portugal
    Computer and information sciences
    e12pdqk
22. 7th Linked Data in Architecture and Construction Workshop (LDAC 2019)
    2019-06-19/21 · Lisbon, Portugal
    Computer and information sciencesCivil engineering
    e11grrk
23. 2019 5th Experiment International Conference (exp.at'19), Funchal (Madeira Island), Portugal, June 12-14, 2019 (EXPAT, exp.at 2019)
    2019-06-12/14 · Madeira Island, Portugal
    Computer and information sciences
    e10e88a
24. International Conference on Computational Science (ICCS 2019, ICCS)
    2019-06-12/14 · Faro, Portugal
    Computer and information sciences
    e10ef91
25. 19th Eurographics Symposium on Parallel Graphics and Visualization, EGPGV@EuroVis 2019, Porto, Portugal, June 3-4, 2019 (EGPGV)
    2019-06-03/04 · Porto, Portugal
    Computer and information sciences
    e111198

As JSON: https://labs.confref.org/api/search?field=1&country=PT&page=20