Code-Carrying Authorization Sergio Maffeis2,3 , Mart´ın Abadi1,2 , C´edric Fournet1 , and Andrew D. Gordon1 1 2

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Expected value
• Mathematics
• Creativity
• Abstraction

LOCKHEED D-21 and D-21B PRODUCTION DecD-21s ordered

Source URL: roadrunnersinternationale.com

• Aircraft
• Aviation
• Composite aircraft
• Lockheed D-21
• Parasite aircraft
• Stealth aircraft
• Piasecki H-21

Prof. Bernhard Steffen TU Dortmund BIO Bernhard Steffen graduated in Mathematicsand obtained a PhD in Computer Sciencefrom the Christian-Albrechts Universität Kiel (D), then he was Research Fellow at the

Source URL: ls5-www.cs.tu-dortmund.de

• Computing
• Software engineering
• Computer science
• Formal methods
• Theoretical computer science
• Bernhard Steffen
• Model checking
• Large-scale Complex IT Systems
• European Joint Conferences on Theory and Practice of Software
• Software development
• ACM Transactions on Programming Languages and Systems
• Draft:Tiziana Margaria

A r e Yo u A n I n f o r m e d I n v e s t o r ? Marijuana-Related Investments: Greener Pastures or Just Another Scam? You know the pitch – “Don’t miss out on this once-in-a-lifetime investment opportunity with gre

Source URL: www.avoidthescam.net

• Economy
• Finance
• Money
• Stock market
• Funds
• Investment
• Corruption
• Pump and dump
• Spamming
• Security
• Investment fund
• Crowdfunding

Twelfth USA/Europe Air Traffic Management Research and Development Seminar (ATM2017) Topics and Trends in Incident Reports Using Structural Topic Modeling to Explore Aviation Safety Reporting System Data Kenneth D. Kuh

Source URL: www.atmseminarus.org

• Aviation safety
• Aviation
• Statistical natural language processing
• Transport
• Human behavior
• Aviation Safety Reporting System
• Aviation accidents and incidents
• Topic model
• Latent Dirichlet allocation
• Air traffic control
• Traffic collision avoidance system
• Airport

On the (Im)possibility of Blind Message Authentication Codes Michel Abdalla1 , Chanathip Namprempre2 , and Gregory Neven1,3 1 Departement d’Informatique

Source URL: www.neven.org

• Cryptography
• Public-key cryptography
• Message authentication codes
• Error detection and correction
• Financial cryptography
• Digital signature
• Blind signature

Star-Cap: Cluster Power Management Using Software-Only Models John D. Davis Suzanne Rivoire () Moisés Goldszmidt (Microsoft Research) ICPP Workshop on Power-aware Algorithms,

Source URL: rivoire.cs.sonoma.edu

Design and Verification of Long–Running Transactions in a Timed Framework Ruggero Lanotte a , Andrea Maggiolo–Schettini b , Paolo Milazzo b , Angelo Troina c,d,∗ a Dipartimento

Source URL: pages.di.unipi.it

• Mathematics
• Algebra
• Abstract algebra
• Field theory
• Distribution
• Functional analysis
• Papyrus 1
• Valuation

Automatically Repairing Broken Workflows for Evolving GUI Applications Sai Zhang University of Washington Joint work with: Hao Lü, Michael D. Ernst

Source URL: zhang-sai.github.io

• Economy
• Business
• Graphical user interface
• Software architecture
• Workflow

Association pour un système d’information sur les marchés publics en Suisse Verein für ein Informationssystem über das öffentliche Beschaffungswesen in der Schweiz Associazione per un sistema informativo sulle com

Source URL: www.simap.ch

• Economy
• Procurement
• Government procurement
• Business
• Systems engineering
• Purchasing
• Call for bids
• Simap.ch
• Contract awarding