Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
176 results · clear filters Sort: newest oldest name
- Computer Vision - ECCV 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VIComputer and information sciencese1109zn
- Computer Vision - ECCV 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VIIComputer and information sciencese110a0k
- Computer Vision - ECCV 2022 Workshops - Tel Aviv, Israel, October 23-27, 2022, Proceedings, Part VIIIComputer and information sciencese110a1h
- 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, August 2-5, 2022Computer and information sciencese113z4g
- Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st - August 1st, 2022.Computer and information sciencese118zyh
- Bioinformatics Research and Applications - 18th International Symposium, ISBRA 2022, Haifa, Israel, November 14-17, 2022, ProceedingsComputer and information sciencese11dj57
- 13th International Conference on Interactive Theorem Proving, ITP 2022, Haifa, Israel, August 7-10, 2022Computer and information sciencese11f3e0
- Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022.Computer and information sciencese11gcq1
- LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022Computer and information sciencese11gvx6
- Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022.Computer and information sciencese11m6rx
- Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022.Computer and information sciencese11mzdv
- 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022Computer and information sciencese11r27w
- Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022.Computer and information sciencese11rqke
- Proceedings of the 20th Internal Workshop on Satisfiability Modulo Theories co-located with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022) part of the 8th Federated Logic Conference (FLoC 2022), Haifa, Israel, August 11-12, 2022.Computer and information sciencese11va5j
- SYSTOR '22: The 15th ACM International Systems and Storage Conference, Haifa, Israel, June 13 - 15, 2022Computer and information sciencese11wq7z
- Informal Proceedings of the 36th International Workshop on Unification (UNIF 2022), Haifa, Israel, August 12, 2022.Computer and information sciencese11xpk5
- Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.Computer and information sciencese120zrc
- Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022.Computer and information sciencese12102p
- Proceedings Twelfth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2022, Technion, Haifa, Israel, 1st August 2022.Computer and information sciencese12104j
- 14th ACM International Conference on Web Search and Data Mining (WSDM 2021)Computer and information sciencese1208kd
- Cyber Security Cryptography and Machine Learning - 5th International Symposium, CSCML 2021, Be'er Sheva, Israel, July 8-9, 2021, ProceedingsComputer and information sciencese10xt5z
- IEEE International Conference on Computational Photography, ICCP 2021, Haifa, Israel, May 23-25, 2021Computer and information sciencese117drh
- Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, Chicago, IL, USA. October 20, 2021Computer and information sciencese11mqv6
- SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021.Computer and information sciencese11wq61
- Formal Methods in Computer-Aided Design 2020 (FMCAD 2020)Computer and information sciencese10fwe8
As JSON: https://labs.confref.org/api/search?field=1.2&country=IL&page=2