Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take

Source URL: homes.sice.indiana.edu

Practical Post-Quantum Cryptography for Trusted Computing Matthias J. Kannwischer, PhD Student Workshop on Trusted Computing and its Applications 25 January 2018

Source URL: kannwischer.eu

• Cryptography
• Post-quantum cryptography
• Trusted Computing
• Public-key cryptography
• Quantum cryptography
• Key size
• Advanced Encryption Standard process

Programming Experience 2019 Workshop April 1 (Mon) or April 2 (Tue), 2019 Co-located with 2019 in Genova, Italy https://2019.programming-conference.org/track/px-2019-papers/ http://programming-experience.or

Source URL: programming-experience.org

• Computing
• Software engineering
• Programming paradigms
• Computer programming
• Domain-specific language
• Psychology of programming
• Exploratory programming
• Programmer
• Programming tool
• Integrated development environment

STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Copenhagen, part of ”Workshop and Masterclass on Homological stabilit

Source URL: irma.math.unistra.fr

• Algebra
• Abstract algebra
• Mathematics
• Homological algebra
• Hochschild homology
• Natural transformation
• Homology
• Universal coefficient theorem
• Symmetric group
• Functor
• Resolution
• Ring

Real Behavior of Floating Point Numbers * Bruno Marre1 , Fran¸cois Bobot1 , and Zakaria Chihani1 CEA LIST, Software Security Lab, Gif-sur-Yvette, France

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

• Mathematics
• Theoretical computer science
• Constraint programming
• Functions and mappings
• Electronic design automation
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Rounding
• Limit of a function
• Function

Solving Constraints over Bit-Vectors with SAT-based Model Checking Extended Abstract Yakir Vizel1 , Alexander Nadel2 , and Sharad Malik1 2

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

• Theoretical computer science
• Logic in computer science
• Formal methods
• Computational complexity theory
• Mathematics
• Electronic design automation
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Z3
• Solver

Challenges for Fast Synthesis Procedures in SMT Andrew Reynolds ARCADE Workshop August 6, 2017

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

• Theoretical computer science
• Logic in computer science
• NP-complete problems
• Constraint programming
• Electronic design automation
• Satisfiability modulo theories
• Universal quantification
• Solver

ZKProof Code of Conduct Boston, May 10th and 11th 2018 All participants, speakers and sponsors of the ZKProof Standard Workshop shall adhere to the following code of conduct to ensure a safe and productive environment fo

Source URL: zkproof.org

• Human behavior
• Behavior
• Harassment
• Ethics
• Bullying
• Abuse
• Sex crimes
• Labour law
• Sexual harassment
• Homophobia
• Privacy
• Stalking

Workshop Marktüberwachung ElCom Marktüberwachung Workshop • Hotel Kreuz, Bern • 5. Mai

Source URL: www.elcom.admin.ch

ScientoMiner ICR - the Gephi plugin for importing scholarly citations data from Crossref services

Source URL: workshop-oc.github.io

• Information science
• Library science
• Altmetrics
• Bibliometrics
• Bibliographic database
• Bibliographic record
• BASE