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,515 results · clear filters Sort: newest oldest name
- Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. (ACL2)Computer and information sciencese120t10
- Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. (UITP)Computer and information sciencese120tca
- Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. (LINEARITY)Computer and information sciencese120tms
- Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. (DCM)Computer and information sciencese120tqk
- International Conference on Logic Programming (ICLP)Computer and information sciencese12krzy
- Vienna Summer of Logic (VSL)Computer and information sciencese12p9ps
- Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014Computer and information sciencese10tfr9
- Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. ProceedingsComputer and information sciencese10tg97
- 4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014Computer and information sciencese10tgjm
- Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness, PRUV 2014, co-located with 7th International Joint Conference on Automated Reasoning (IJCAR 2014), Vienna, Austria, July 23-24, 2014.Computer and information sciencese10tgpc
- Data Management Technologies and Applications - Third International Conference, DATA 2014, Vienna, Austria, August 29-31, 2014, Revised Selected PapersComputer and information sciencese10yrrr
- Proceedings of the ECSA 2014 Workshops & Tool Demos Track, European Conference on Software Architecture, 2014, Vienna, AustriaComputer and information sciencese110kj5
- Proceedings of the 8th International Workshop on Interconnection Network Architecture - On-Chip, Multi-Chip, INA-OCMC 2014, Vienna, Austria, January 22, 2014Computer and information sciencese115c23
- DCNET 2014 - Proceedings of the 5th International Conference on Data Communication Networking, Vienna, Austria, 28-30 August, 2014Computer and information sciencese1188ve
- ICE-B 2014 - Proceedings of the 11th International Conference on e-Business, Vienna, Austria, 28-30 August, 2014Computer and information sciencese11895t
- OPTICS 2014 - Proceedings of the 5th International Conference on Optical Communication Systems, Vienna, Austria, 28-30 August, 2014Computer and information sciencese1189e8
- ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, Volume 1, Vienna, Austria, 1 - 3 September, 2014Computer and information sciencese118q0p
- Informatics in Control, Automation and Robotics - 11th International Conference, ICINCO 2014 Vienna, Austria, September 2-4, 2014 Revised Selected PapersComputer and information sciencese118q1m
- ICSOFT-EA 2014 - Proceedings of the 9th International Conference on Software Engineering and Applications, Vienna, Austria, 29-31 August, 2014Computer and information sciencese11ajxw
- ICSOFT-PT 2014 - Proceedings of the 9th International Conference on Software Paradigm Trends, Vienna, Austria, 29-31 August, 2014Computer and information sciencese11ajyt
- Software Technologies - 9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014, Revised Selected PapersComputer and information sciencese11ajzr
- 16th International Conference on Transparent Optical Networks, ICTON 2014, Graz, Austria, July 6-10, 2014Computer and information sciencese11ax9t
- Advances in Digital Forensics X - 10th IFIP WG 11.9 International Conference, Vienna, Austria, January 8-10, 2014, Revised Selected PapersComputer and information sciencese11bfnd
- Systems Thinking - New Directions in Theory, Practice and Application: Proceedings of the Seventeenth IFSR Conversation: International Federation for Systems Research, St. Magdalena / Linz, Austria, April 27 - May 2, 2014.Computer and information sciencese11bxcj
- First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RTA 2014, Vienna, Austria, July 13, 2014Computer and information sciencese11qj8c
As JSON: https://labs.confref.org/api/search?country=AT&page=32