STATE OF IDAHO OFFICE OF THE SECRETARY OF STATE LAWERENCE DENNEY FOR IMMEDIATE RELEASE - July 27th, 2017 Contact: Sec of State Lawerence Denney,

Source URL: sos.idaho.gov

• Government
• Politics
• Voting
• Idaho elections
• Voter suppression
• Lawerence Denney
• Presidential Advisory Commission on Election Integrity
• Kris Kobach
• Secretary of State of Idaho
• Voter registration

An Address Confidentiality Program Helping Victims Become Survivors What is Safe at Home? A free state-sponsored program that allows survivors of

Source URL: safeathome.iowa.gov

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

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Source URL: csl.sri.com

• Algorithm
• Mathematical logic
• Theoretical computer science
• IP
• Model checking
• Mathematics
• Machine learning

COMPLETE COUNT COMMISSION Chicago, JRTC, 100 West Randolph, RoomSpringfield, Illinois State Library, 300 South Second Street, Room 207 Tuesday, October 23, :00 a.m. AGENDA

Source URL: illinoiscensus2020.com

Proof-Producing Synthesis of CakeML with I/O and Local State from Monadic HOL Functions Son Ho1 , Oskar Abrahamsson2 , Ramana Kumar3 , Magnus O. Myreen2 , Yong Kiam Tan4 , and Michael Norrish5 1

Source URL: cakeml.org

• Software engineering
• Computer programming
• Computing
• Functional programming
• Subroutines
• Programming idioms
• Theoretical computer science
• Functional languages
• Monad
• Standard ML
• Eval
• Algorithm

Election Tuesday, Polling Hours: 6:30 a.m. to 7:30 p.m.

Source URL: www.sos.state.oh.us

• Elections
• Voting
• Politics
• Group decision-making
• Ballot
• Electronic voting
• Write-in candidate
• Election
• Election technology

CHAOS: Composable Highly Accurate OS-based Power Models John D. Davis†, Suzanne Rivoire‡, Moises Goldszmidt†, Ehsan K. Ardestani§ † Microsoft Research, Silicon Valley ‡ Dept. of Computer Science, Sonoma State

Source URL: rivoire.cs.sonoma.edu

• Opteron
• Central processing unit
• Parallel computing
• Run-time estimation of system and sub-system level power consumption

Proof Certificates for SMT-based Model Checkers for Infinite-state Systems Alain Mebsout Cesare Tinelli

Source URL: mebsout.github.io

• Mathematical logic
• Mathematics
• Theoretical computer science
• Temporal logic
• Logic in computer science
• Model theory
• Formal methods
• Linear temporal logic
• Satisfiability modulo theories
• First-order logic
• Propositional calculus
• IP