801 results · clear filters Sort: newest oldest name

1. International Conference on Interactive Theorem Proving (ITP)
   2014-07-13/16 · Vienna, Austria
   Computer and information sciences
   e105ewd
2. 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)
   2014-07-13 · Vienna, Austria
   Computer and information sciences
   e11mt8a
3. Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. (CLANDC)
   2014-07-13 · Vienna, Austria
   Computer and information sciences
   e120tbc
4. Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. (TERMGRAPH)
   2014-07-13 · Vienna, Austria
   Computer and information sciences
   e120tvb
5. 12th International Workshop on Content-Based Multimedia Indexing, CBMI 2014, Klagenfurt, Austria, June 18-20, 2014 (CBMI)
   2014-06-18/20 · Klagenfurt am Wörthersee, Austria
   Computer and information sciences
   e10tz7w
6. 2nd ACM Workshop on Information Hiding and Multimedia Security (IH, IH&MMSec 2014)
   2014-06-11/13 · Salzburg, Austria
   Computer and information sciences
   e11bypw
7. 2014 IEEE Conference on Evolving and Adaptive Intelligent Systems, EAIS 2014, Linz, Austria, June 2-4, 2014 (EAIS 2014, EAIS)
   2014-06-02/04 · Linz, Austria
   Computer and information sciences
   e10fzd7
8. 27th IEEE Conference on Software Engineering Education and Training, CSEE&T 2014, Klagenfurt, Austria, April 23-25, 2014 (CSEE, CSEE&T 2014)
   2014-04-23/25 · Klagenfurt am Wörthersee, Austria
   Computer and information sciences
   e10fq5z
9. Health Informatics Meets eHealth - Outcomes Research: The Benefit of Health-IT, eHealth2014, Vienna, Austria, April 22-23, 2014 (EHEALTH2)
   2014-04-22/23 · Vienna, Austria
   Computer and information sciences
   e1113jk
10. 11th Annual Conference on Wireless On-demand Network Systems and Services, WONS 2014, Obergurgl, Austria, April 2-4, 2014 (WONS)
    2014-04-02/04 · Obergurgl, Austria
    Computer and information sciences
    e11zyz1
11. High Performance Embedded Architectures and Compilers (HIPEAC)
    2014-01-20 · Vienna, Austria
    Computer and information sciences
    e12kbqv
12. International Conference on Software Quality (SWQD 2014, SWQD)
    2014-01-14/16 · Vienna, Austria
    Computer and information sciencesEconomics and business
    e1087xc
13. IFIP International Conference on Digital Forensics (DigitalForensics)
    2014-01-08/10 · Vienna, Austria
    Computer and information sciences
    e12jgpt
14. IFIP WG11.9 Publications - Digital Forensics (IFIP11-9)
    2014-01-08/10 · Vienna, Austria
    Computer and information sciences
    e12m0zm
15. IEEE 27th Computer Security Foundations Symposium, CSF 2014, Vienna, Austria, 19-22 July, 2014 (CSFW)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e10xz6r
16. Modellierung 2014, 19.-21. März 2014, Wien, Österreich (MODELLIERUNG)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11k5xp
17. Proceedings of the 2014 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, RAPIDO '14, 22 January, 2014, Vienna, Austria (RAPIDO)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11pr88
18. SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014 (SECRYPT)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11rzgc
19. Sicherheit 2014: Sicherheit, Schutz und Zuverlässigkeit, Beiträge der 7. Jahrestagung des Fachbereichs Sicherheit der Gesellschaft für Informatik e.V. (GI), 19.-21. März 2014, Wien, Österreich (SICHERHEIT)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11sm1m
20. SIGMAP 2014 - Proceedings of the 11th International Conference on Signal Processing and Multimedia Applications, Vienna, Austria, 28-30 August, 2014 (SIGMAP)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11td3n
21. Eurographics Workshop on Visual Computing for Biology and Medicine, VCBM 2014, Vienna, Austria, 2014. Proceedings (VCBM)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11xz11
22. WINSYS 2014 - Proceedings of the 11th International Conference on Wireless Information Networks and Systems, Vienna, Austria, 28-30 August, 2014 (WINSYS)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e11zjvn
23. Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. (ACL2)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e120t10
24. Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. (UITP)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e120tca
25. Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. (LINEARITY)
    2014-01-01 · Vienna, Austria
    Computer and information sciences
    e120tms

As JSON: https://labs.confref.org/api/search?discipline=Q21198&country=AT&page=12