Accelerator Programming Using Directives 5th International Workshop, WACCPD 2018, Dallas, TX, USA, November 11-17, 2018, Proceedings

Programming and Performance Visualization Tools International Workshops, ESPT 2017 and VPA 2017, Denver, CO, USA, November 12 and 17, 2017, and ESPT 2018 and VPA 2018, Dallas, TX, USA, November 16 and 11, 2018, Revised Selected Papers

OpenSHMEM and Related Technologies. OpenSHMEM in the Era of Extreme Heterogeneity 5th Workshop, OpenSHMEM 2018, Baltimore, MD, USA, August 21–23, 2018, Revised Selected Papers

Languages and Compilers for Parallel Computing 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11–13, 2017, Revised Selected Papers

Automated Technology for Verification and Analysis 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings

Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings

Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings

OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings

Accelerator Programming Using Directives 4th International Workshop, WACCPD 2017, Held in Conjunction with the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2017, Denver, CO, USA, November 13, 2017, Proceedings

Post-Quantum Cryptography 9th International Conference, PQCrypto 2018, Fort Lauderdale, FL, USA, April 9-11, 2018, Proceedings

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings

High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation 8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings

Formal Aspects of Component Software 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings

Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings

Automated Deduction – CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings

Model-Driven Engineering Languages and Systems 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Practical Aspects of Declarative Languages 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings

Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings

Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings

NASA Formal Methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings

Runtime Verification Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers

Computer Aided Verification 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Implementation and Application of Functional Languages 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

Model Checking and Artificial Intelligence 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Logic, Language, Information and Computation 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Computer Aided Verification 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

Model Checking Software 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings

Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Practical Aspects of Declarative Languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings

Business Process Management 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

Software Language Engineering Second International Conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers

Models in Software Engineering Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

Computer Performance Evaluation and Benchmarking SPEC Benchmark Workshop 2009, Austin, TX, USA, January 25, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings

Rule Interchange and Applications International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings

Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Component-Based Software Engineering 12th International Symposium, CBSE 2009 East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings

Agent-Oriented Software Engineering VIII 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings

Declarative Agent Languages and Technologies V 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

Job Scheduling Strategies for Parallel Processing 13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007. Revised Papers

Coordination, Organizations, Institutions, and Norms in Agent Systems III COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 14, 2007 COIN@MALLOW 2007, Durham, UK, September 3-4, 2007 Revised Selected Papers

Programming Multi-Agent Systems 5th International Workshop, ProMAS 2007 Honolulu, HI, USA, May 15, 2007 Revised and Invited Papers

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

Reliable Systems on Unreliable Networked Platforms 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

Component-Based Software Engineering 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings

Principles and Practice of Constraint Programming – CP 2007 13th International Conference, CP 2007, Providence, RI, USA, September 23-27, 2007. Proceedings

Formal Methods and Software Engineering 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings

Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papers

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings

Practical Aspects of Declarative Languages 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006. Proceedings

Developments in Language Theory 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006. Proceedings

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings

Computer Aided Verification 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Automotive Software – Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

The Semantic Web - ISWC 2006 5th International Semantic Web Conference, ISWC 2006, Athens, GA, USA, November 5-9, 2006. Proceedings

Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

Agent Communication International Workshop on Agent Communication, AC 2004, New York, NY, USA, July 19, 2004, Revised Selected and Invited Papers

Programming Multi-Agent Systems Second International Workshop ProMAS 2004, New York, NY, USA, July 20, 2004, Selected Revised and Invited Papers

Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings

Agent-Oriented Software Engineering V 5th International Workshop, AOSE 2004, New York, NY, USA, July 19, 2004. Revised Selected Papers

Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers

Model Checking Software 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

Declarative Agent Languages and Technologies II Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

CONCUR 2005 – Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005. Proceedings