Bringing the Web up to Speed with WebAssembly Andreas Haas Andreas Rossberg Derek L. Schuff∗ Ben L. Titzer ∗ Google GmbH, Germany / Google Inc, USA {ahaas,rossberg,dschuff,titzer}@google.com

Source URL: www.cs.tufts.edu

• Software engineering
• Computer programming
• Computing
• Cross-platform software
• High-level programming languages
• Web programming
• Functional programming
• Subroutines
• JavaScript
• Const
• Stack machine
• Stack trace

Prof. Dr. Martin Fränzle Department of Computing Science University of OldenburgOldenburg Germany Email:

Source URL: www.avacs.org

Security BSides Munich Conference Sponsoring Kit SpringMünchen, Germany www.bsidesmunich.org

Source URL: www.bsidesmunich.org

• Computing
• Software
• Universal Windows Platform apps
• Internet
• Hacker conventions
• Security BSides
• Unconferences
• Twitter
• Sponsor
• Tor
• Target Corporation
• TED

Microsoft Word2015_Digital Germany_For March 26th German Energy Transition Dialogue Event.docx

Source URL: www.energiewende2018.com

• Energy
• Universe
• Energy economics
• Energy policy
• Nature
• Renewable energy
• Energy transition
• The Third Industrial Revolution
• Jeremy Rifkin
• Energy development
• Sustainable energy
• Energy industry

13th International Satisfiability Modulo Theories Competition (SMT-COMP 2018): Rules and Procedures Matthias Heizmann University of Freiburg Germany

Source URL: smtcomp.sourceforge.net

• Theoretical computer science
• NP-complete problems
• Logic in computer science
• Constraint programming
• Electronic design automation
• Formal methods
• Satisfiability modulo theories
• Solver
• Benchmark
• Unsatisfiable core
• Lis

SMITH - A Parallel Hardware Architecture for fast Gaussian Elimination over GF(2) A. Bogdanov, M.C. Mertens, C. Paar, J. Pelzl, A. Rupp Horst G¨ortz Institute for IT Security, Ruhr University Bochum, Germany {bogdanov,m

Source URL: www.hyperelliptic.org

• Algebra
• Linear algebra
• Mathematics
• Numerical linear algebra
• Matrices
• Matrix theory
• Multiplication
• Gaussian elimination
• Matrix multiplication
• Pivot element
• Invertible matrix
• Matrix

Projektmanagement bei FIS KORDOBA Ein Projekt ist ein einmaliges Vorhaben einer Aufgabenausführung mit einem festen Anfangs- und Endtermin. Immer häufiger setzen Wirtschaftsunternehmen, Organisationen und die öffentli

Source URL: www.fis-germany.de

Decoupled State Space Search – Dissertation Abstract Daniel Gnad Saarland University Saarbr¨ucken, Germany

Source URL: icaps16.icaps-conference.org

• A* search algorithm
• Combinatorial optimization
• Game artificial intelligence
• Mathematics
• Information science
• Information retrieval
• C*-algebras

CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

Source URL: www.lsi.upc.edu

• Theoretical computer science
• Logic in computer science
• Formal methods
• Mathematical logic
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Boolean satisfiability problem
• Satisfiability modulo theories
• Horn clause
• Satisfiability

14th International Symposium and accompanying Exhibition on Sophisticated Car Safety Systems Mannheim, Germany

Source URL: www.ict.fraunhofer.de

• Automotive industry
• Transport
• Economy
• Parachuting
• Product testing
• Safety engineering
• Joyson Safety Systems
• Mazda
• Robert Bosch GmbH
• ZF Friedrichshafen
• Airbag
• Fraunhofer Society