Election Violence Research Workshop February 15-16, 2018 REC B 9.22 Common Room Political Science University of Amsterdam Workshop Summary

Source URL: ursuladaxecker.weebly.com

• Human behavior
• Dispute resolution
• Violence
• Behavior
• Gender studies
• Violence against women
• Sexual violence
• Social conflict
• European Centre for Electoral Support
• Religious violence
• Communal violence
• Peace and conflict studies

Proceedings of the 1999 Haskell Workshop Erik Meijer (editor) UU-CS

Source URL: www.haskell.org

• Software engineering
• Computer programming
• Declarative programming
• Type theory
• Functional programming
• Data types
• Type systems
• Functional languages
• Haskell
• Type class
• Monad
• Generic programming

Open Citations in Action: Case Study ScienceOpen Workshop on Open Citations, Bologna, ItalySeptember 2017´8 @Science_Open @SDawsonBerlin

Source URL: workshop-oc.github.io

• Publishing
• Open access
• Information science
• Scholarly communication
• Academic publishing
• Knowledge
• Citation indices
• ScienceOpen
• Citation metrics
• Crossref
• Initiative for Open Citations
• Directory of Open Access Journals

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

Source URL: smt2014.it.uu.se

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• High-level programming languages
• Abstract interpretation
• Computer science
• Symbolic execution
• D
• Pure
• Concolic testing

BPOE-9 workshop The ninth workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware INSTITUTE OF COMPUTING TECHNOLOGY

Source URL: prof.ict.ac.cn

• Computing
• Concurrent computing
• Distributed computing
• Computer networking
• International Conference on Architectural Support for Programming Languages and Operating Systems
• Benchmark
• Artificial intelligence
• Data center

Call For Papers The International Workshop on Advances in Sensors and Interfaces is a premier Sensor and Interface design workshop aimed at bridging the gap between electronic design and integrated circuit technologies,

Source URL: iwasi2017.poliba.it

• Wireless networking
• Wireless sensor network
• Sensor
• cole Polytechnique Fdrale de Lausanne
• Technology
• Education in Switzerland
• Higher education

An MCSAT treatment of Bit-Vectors (preliminary report) St´ephane Graham-Lengrand1,2 and Dejan Jovanovi´c1 1 2

Source URL: smt-workshop.cs.uiowa.edu

• Theoretical computer science
• Boolean algebra
• Computational complexity theory
• Mathematical logic
• Formal methods
• Binary decision diagram
• Diagrams
• Model checking
• Conflict-driven clause learning
• Boolean satisfiability problem
• FO

Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on

Source URL: user.it.uu.se

Informatics workshop at university.

Source URL: www.univ-lille.fr

LibPoly: A Library for Reasoning about Polynomials∗ Dejan Jovanovi´c and Bruno Dutertre SRI International Abstract LibPoly is a C library for computing with polynomials. It provides data structures to represent multiv

Source URL: smt-workshop.cs.uiowa.edu

• Algebra
• Mathematics
• Polynomials
• Abstract algebra
• Polynomial
• Irreducible polynomial
• Factorization of polynomials
• Resultant
• Algebraic geometry
• Factorization
• Polynomial greatest common divisor
• Permutation polynomial