24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

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

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

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

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Logical truth
• Logic in computer science
• Syntax
• Automated theorem proving
• Resolution
• Frege system
• Boolean satisfiability problem
• First-order logic

Hedera: A Governing Council & Public Hashgraph Network The trust layer of the internet Leemon Baird, Mance Harmon, and Paul Madsen w h i t e pa p e r   V.1 . 4    L a s t u p d at e d 1 7 O C T   SU B J

Source URL: www.hedera.com

• Cryptocurrencies
• Blockchains
• Concurrent computing
• Computing
• Hashgraph
• Distributed ledger
• Ethereum
• Hedera
• NEO
• Smart contract
• Draft:Hedera Hashgraph

Theorem Proving using Lazy Proof Expli ation Corma Flanagan1 , Rajeev Joshi1 , Xinming Ou2 , and James B. Saxe1 1 Systems Resear h Center, HP Labs, Palo Alto, CA 2

Source URL: rjoshi.org

• Theoretical computer science
• Logic
• Formal methods
• Mathematical logic
• Model theory
• Interpretation
• Logic in computer science
• Propositional calculus
• Boolean satisfiability problem
• Automated theorem proving
• Propositional variable
• IP

w a d s a c k t r e u h a n d g e s e l l s c h a f t SteuertippsEigenheim: In den meisten Kantonen ist es für die Steuerpflichtigen wählbar, ob die effektiven Unterhaltskosten oder ein Pauschalabzug (meist 1

Source URL: www.treuhand-zug.com

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

Source URL: staff.bath.ac.uk

• Theoretical computer science
• Logic
• Logic in computer science
• Mathematics
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Uninterpreted function
• Satisfiability
• Solver

Office of the Secretary of State Funds Statutory Authorities The Honorable John H. Merrill 1

Source URL: sos.alabama.gov

Mayfield, M.H. and G.L. NesomA new species of Scrophularia (Scrophulariaceae) from northeastern Mexico. Phytoneuron: 1–6. Published 14 MarchISSN 2153 733X A NEW SPECIES OF SCROPHULARIA (SCROPHULA

Source URL: www.phytoneuron.net

PAGE 5 SPRING 2017 CALENDAR OF EVENTS FRIDAY, JANUARY 20th, 12:00-1:30pm J E W I S H S T U D I E S FA C U LT Y/ S T U D E N T R E S E A R C H S E M I N A R STARTUP NATION: THE HISTORICAL CONTEXT, THE CULTURAL GEOGRAPHIC

Source URL: jsp.msu.edu

Scenario realizability with constraint optimization Rouwaida Abdallah1 , Arnaud Gotlieb2 , Lo¨ıc H´elou¨et3 ,Claude Jard4 1 ENS Cachan (antenne de Bretagne), 2 SIMULA, Norway, 3 INRIA Rennes,

Source URL: people.rennes.inria.fr