Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
855 results · clear filters Sort: newest oldest name
- World Conference on Qualitative Research (WCQR)Computer and information sciencese12pbe8
- 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
- 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
- Portuguese Conference on Artificial Intelligence (EPIA 2019, EPIA)Computer and information sciencese111p3z
- The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. (SEKE)Computer and information sciencese11s307
- Theory and Applications of Satisfiability Testing - SAT 2019 - 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9-12, 2019, Proceedings (SAT)Computer and information sciencese11r242
- Business Modeling and Software Design - 9th International Symposium, BMSD 2019, Lisbon, Portugal, July 1-3, 2019, Proceedings (BMSD)Computer and information sciencese10t3xb
- 8th Symposium on Languages, Applications and Technologies, SLATE 2019, Coimbra, Portugal, June 27-28, 2019 (SLATE)Computer and information sciencese11v0j1
- 34th International Conference on ICT Systems Security and Privacy Protection (IFIP SEC 2019, SEC 2019)Computer and information sciencese10gas0
- 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)Computer and information sciencese11bf7a
- IFIP World Conference on Information Security Education (WISE)Computer and information sciencese12pdqk
- 2019 5th Experiment International Conference (exp.at'19), Funchal (Madeira Island), Portugal, June 12-14, 2019 (EXPAT, exp.at 2019)Computer and information sciencese10e88a
- International Conference on Computational Science (ICCS 2019, ICCS)Computer and information sciencese10ef91
- 19th Eurographics Symposium on Parallel Graphics and Visualization, EGPGV@EuroVis 2019, Porto, Portugal, June 3-4, 2019 (EGPGV)Computer and information sciencese111198
- Decision Support Systems IX: Main Developments and Future Trends - 5th International Conference on Decision Support System Technology, EmC-ICDSST 2019, Funchal, Madeira, Portugal, May 27-29, 2019, Proceedings (EWGDSS)Computer and information sciencese112x6g
- 9th Enterprise Engineering Working Conference (EEWC 2019, EEWC)Computer and information sciencese10fsk0
- Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS)Computer and information sciencese12jjtg
As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=PT&page=2