Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
1,697 results · clear filters Sort: newest oldest name
- 9th Symposium on Languages, Applications and Technologies, SLATE 2020, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference), July 13-14, 2020Computer and information sciencese11v0kz
- ISS '20: Interactive Surfaces and Spaces, Virtual Event, Portugal, November 8-11, 2020, Companion Volume.Computer and information sciencese11wrfe
- Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3Computer and information sciencese11x0qk
- 16th IEEE International Conference on Factory Communication Systems, WFCS 2020, Porto, Portugal, April 27-29, 2020Computer and information sciencese11zc2e
- Complex Networks and Their Applications VIII - Volume 1 Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019, Lisbon, Portugal, December 10-12, 2019. (COMPLEXNETWORKS)Computer and information sciencese10x6e1
- Sustainable Energy for Smart Cities - First EAI International Conference, SESC 2019, Braga, Portugal, December 4-6, 2019 (SESC 2019)Computer and information sciencese10hrjy
- International Conference on Intelligent Transport Systems (INTSYS)Computer and information sciencese12m9rs
- International Conference on Videogame Sciences and Arts (VJ)Computer and information sciencese12p7yb
- International Symposium on Wireless Personal Multimedia Communications (WPMC 2019, WPMC)Computer and information sciencesMedia and communicationse1204xx
- International Conference on Graphics and Interaction (ICGI 2019)Computer and information sciencese118ehw
- World Conference on Qualitative Research (WCQR)Computer and information sciencese12pbe8
- 45th Annual Conference of the IEEE Industrial Electronics Society (IECON 2019)Computer and information sciencesElectrical engineering, electronic engineering, information engineeringe11b91w
- International Conference of Tests and Proofs (TAP 2019, TAP@FM 2019)Computer and information sciencese10ed85
- Verification and Evaluation of Computer and Communication Systems - 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings (VECOS, VECoS 2019)Computer and information sciencese10etj3
- Tests and Proofs (TAP)Computer and information sciencese12p0fh
- International Conference on Tests and Proofs (TAP)Computer and information sciencese12p0ge
- Static Analysis - 26th International Symposium, SAS 2019, Porto, Portugal, October 8-11, 2019, Proceedings (SAS 2019, SAS)Computer and information sciencese10ernz
- Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers (LOPSTR 2019)Computer and information sciencese10etnx
- Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings (RV 2019, RV)Computer and information sciencese10ewdc
- 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)Computer and information sciencese11xvvg
- 13th International Conference on Mathematics of Program Construction (MPC 2019, MPC)Computer and information sciencese10embr
- 23rd International Symposium on Formal Methods (FM 2019, FM)MathematicsComputer and information sciencese113jj0
- Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. (PPDP)Computer and information sciencese11p3j8
- 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)Computer and information sciencese11x3w6
- 21st International Symposium on Principles and Practice of Declarative Programming (PPDP 2019)Computer and information sciencese125vyt
As JSON: https://labs.confref.org/api/search?field=1.2&country=PT&page=19