Vienna

Results: 12175



#Item
1Economy / Finance / Money / Raiffeisen Bank International / Banking as a Service / Venture capital / Corporate venture capital

Vienna, 17 MayThe next step: Elevator Ventures   

Add to Reading List

Source URL: www.elevator-lab.com

Language: English - Date: 2018-05-25 05:38:14
2Measure theory / FO / Finite model theory / Ergodic theory / Mathematics / Logic / Mathematical logic / Lie algebras / Hopf decomposition / Pattern language

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2018-06-26 03:55:02
3Economy / Finance / Financial regulation / Money / Regulatory technology / Know your customer / Raiffeisen Bank International / Raiffeisenbank / Vincent Kompany / Raiffeisen Bank / Financial technology / Raiffeisen

Vienna, 13 JuneRaiffeisen Bank International and kompany sign contract for next-generation business KYC solution  

Add to Reading List

Source URL: www.elevator-lab.com

Language: English - Date: 2018-06-14 08:35:43
4Cryptography / Computer security / Security engineering / Cyberwarfare / Physical unclonable function / Direct Anonymous Attestation / Hardware security / Trust

TRUST 2016 Program Guide 29 – 30 August 2016 Vienna, Austria Organized by…

Add to Reading List

Source URL: trust2016.sba-research.org

Language: English - Date: 2016-08-19 09:37:29
5Software engineering / Computing / Computer programming / Cross-platform software / High-level programming languages / Abstract interpretation / Computer science / Symbolic execution / D / Pure / Concolic testing

Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-20 11:22:00
6Software / Automated theorem proving / Theoretical computer science / Formal methods / TPTP / Proof assistant / Frama-C / Theorem prover / E theorem prover / Theorem / Isabelle

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-08 03:28:45
7Mathematical logic / Theoretical computer science / Automated theorem proving / Mathematics / Proof theory / Logic in computer science / Formal methods / Automated reasoning / Proof assistant / Proof complexity / Reasoning system / Isabelle

System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology

Add to Reading List

Source URL: www.logic.at

Language: English - Date: 2018-07-19 05:32:19
8Economy / Finance / Money / Raiffeisen Bank International / Banking as a Service / Venture capital / Corporate venture capital

Vienna, 17 MayThe next step: Elevator Ventures   

Add to Reading List

Source URL: www.elevator-ventures.com

Language: English - Date: 2018-05-17 04:03:55
9Symbol

Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 15:01:43
    10Economy / Financial regulation / Tax evasion / Crime / Law / Terrorism / Money laundering / Organisation for Economic Co-operation and Development / Beneficial ownership / Financial Action Task Force on Money Laundering / Terrorism financing / Remittance

    Dialogue with the Private Sector Chairman’s Summary of Outcomes from the FATF Private Sector Consultative Forum, Vienna, 20-22 March 2017 Vienna, 22 March 2017 – The Financial Action Task Force (FATF) held its annual

    Add to Reading List

    Source URL: www.dt.tesoro.it

    Language: English - Date: 2017-04-06 16:39:39
    UPDATE