DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Source URL: www.react.uni-saarland.de

• Automated theorem proving
• Concolic testing
• Software testing
• Equations
• Z3
• Solver
• Equation solving
• Mathematics
• Abstraction
• Software engineering

Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014

Source URL: smt2014.it.uu.se

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

DataCite Open Citations Martin Fenner DataCite Technical Director https://orcid.org2405 DATACITE

Source URL: workshop-oc.github.io

• Academic publishing
• Publishing
• Identifiers
• Information science
• Knowledge
• Technical communication
• Electronic documents
• Index
• DataCite
• Initiative for Open Citations
• Crossref
• Digital object identifier

4th International Seminar and Workshop Emerging Technology and Innovation for Cultural Heritage INVITED LECTURESNovember 2016 “Dimitrie Gusti” National Museum of Village

Source URL: www.collage.com.ro

• Culture
• Cultural studies
• Humanities
• Conservation and restoration
• Cultural heritage
• Museology
• Cultural anthropology
• Traditions
• Cultural Property
• Intangible cultural heritage
• Pattern language
• Conservation-restoration of cultural heritage

Verifying Concurrency in an Adaptive Ocean Circulation Model Alper Altuntas 1

Source URL: correctness-workshop.github.io

• Computational fluid dynamics
• Modeling and simulation
• ADCIRC
• Computational science
• Physical oceanography
• Data parallelism
• Numerical modeling
• Conceptual model
• Application software
• Applied mathematics

Reasoning about Resource-bounded Agents Natasha Alechina joint work with Brian Logan, Hoang Nga Nguyen, Franco Raimondi, Nils Bulling Agent Verification Workshop

Source URL: cgi.csc.liv.ac.uk

• Artificial intelligence
• Multi-agent systems
• Modeling and simulation
• Systems science
• Agent-based model
• Artificial life
• Complex systems theory
• Model checking
• Temporal logic
• Intelligent agent
• Sociology

Microsoft Word - Press release-opera conducting workshop cycle GB - DEF.docx

Source URL: www.enoa-community.com

• Entertainment
• Gulbenkian
• Opera
• Performing arts
• Music

November 3 – 4, 2016 Organisation of the 4th edition of the International Seminar and Workshop Emerging Technology and Innovation for Cultural Heritage (ETICH) with the theme Diagnosis and Monitoring Hierarchically Com

Source URL: www.collage.com.ro

• Culture
• Textual scholarship
• Human behavior
• Writing
• Museology
• Nuclear magnetic resonance
• Parchment
• Magritek
• Seal
• Microscopy
• Conservation-restoration of cultural heritage
• Book

National Center for Atmospheric Research Quality Assurance and Error Identification for the Community Earth System Model Allison Baker

Source URL: correctness-workshop.github.io

• Climate modeling
• Physical oceanography
• Community Earth System Model
• Application software
• Software quality
• MX

A  Family  of  Provably  Correct  Algorithms   for  Exact  Triangle  Coun;ng       Ma=hew  Lee,  Tze  Meng  Low   Correctness  2017    

Source URL: correctness-workshop.github.io