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
- Workshop on Knowledge Representation for Health-Care Data, Processes and Guidelines (KR4HC)Computer and information sciencese12mp7f
- Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (KR)Computer and information sciencese11gcjb
- e124vex (KR 2014)Computer and information sciencese124vex
- International Joint Conference on Automated Reasoning (FROCOS, IJCAR)Computer and information sciencese103gcg
- e1248h9 (IJCAR 2014)Computer and information sciencese1248h9
- 30th International Conference on Logic Programming (ICLP 2014)Computer and information sciencese12c87e
- International Conference on Automated Deduction (CADE) (CADE)Computer and information sciencese12hzyx
- Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)Computer and information sciencese12nzvv
- Computer Aided Verification (CAV 2014, CAV)Computer and information sciencese1019kc
- Workshop on Socio-Technical Aspects in Security and Trust (STAST 2014, STAST)Computer and information sciencese11wahq
- Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. (WWV)Computer and information sciencese120tae
- Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. (ITRS)Computer and information sciencese120tnq
- Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE)Computer and information sciencese108npc
- Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014. (DL 2014, DLOG)Computer and information sciencese10jn6r
- VPT 2014. Second International Workshop on Verification and Program Transformation, July 17-18, 2014, Vienna, Austria, The workshop is an event of the Vienna Summer of Logic 2014 and it is co-located with the 26th International Conference on Computer Aided Verification CAV 2014 (VPT)Computer and information sciencese10tybn
- Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP '14, Vienna, Austria, July 17, 2014 (LFMTP)Computer and information sciencese11gtvb
- Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, SMT 2014, affiliated with the 26th International Conference on Computer Aided Verification (CAV 2014), the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), and the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 17-18, 2014. (SMT)Computer and information sciencese11va1t
- Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. (HCVS)Computer and information sciencese120td8
- IFIP Annual Conference on Data and Applications Security and Privacy (DBSec)Computer and information sciencese1025hj
- International Conference on Rewriting Techniques and Applications (RTA, TLCA)Computer and information sciencese107dwa
- International Conference on Theory and Applications of Satisfiability Testing (SAT 2014, SAT)Computer and information sciencese107kd3
- 23rd EACSL Annual Conference on Computer Science Logic (CSL 2014, CSL)Computer and information sciencesPhilosophy, ethics and religione10y1d6
- e124z4d (LICS 2014)Philosophy, ethics and religione124z4d
- International Conference on Interactive Theorem Proving (ITP)Computer and information sciencese105ewd
- Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), Vienna, Austria, July 13, 2014. (ORE)Computer and information sciencese11mt8a
As JSON: https://labs.confref.org/api/search?kind=event&country=AT&page=30