Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu

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

• Software engineering
• Computer programming
• Theoretical computer science
• Automated theorem proving
• Lisp
• ACL2
• Formal methods
• Logic in computer science
• Robert S. Boyer

This space is reserved for the EPiC Series header, do not use it Beyond DRAT: Challenges in Certifying UNSAT∗ Bertram Felgenhauer University of Innsbruck

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

• Drat
• Conjunctive normal form
• Constraint programming
• Theoretical computer science
• NP-complete problems
• Logic in computer science

The Certicom Challenges ECC2-X Daniel V. Bailey, Brian Baldwin, Lejla Batina, Daniel J. Bernstein, Peter Birkner, Joppe W. Bos, Gauthier van Damme, Giacomo de Meulenaer, Junfeng Fan, Tim Güneysu, Frank Gurkaynak, Thors

Source URL: www.hyperelliptic.org

• Cryptography
• Elliptic curve cryptography
• Abstract algebra
• Finite fields
• Elliptic-curve cryptography
• Public-key cryptography
• Discrete logarithm records
• ECC patents

Maryland Engineering Challenges 2018 Hovercraft Challenge Middle School Level – Grades 6 to 8 Supported By: American Institute of Chemical Engineers, Maryland Section

Source URL: www.thebmi.org

Scaling Up: Challenges of Large-scale REDD+ Ms. Donna Lee (Independent Consultant) DAY2 Session 2

Source URL: www.ffpri.affrc.go.jp

Knieling/Schärffer Risiko Management Introduction In northern Europe, climate change is expected to cause grave challenges for cities and

Source URL: www.jccs-a.at

IMPUNITY WATCH ANNUAL REVIEW VOLUMEARTICLES Lost in Transmission: Rule of Law Challenges in the Philippines

Source URL: impunitywatch.com

Reviewing achievements and challenges in implementing the CONFINTEA VI commitmentsOctober 2017, Suwon City, South Korea The global community of adult education practitioners, policy advocates, civil society, acade

Source URL: aspbae.org

SPRING 2017: Vol. 6, No. 1 Future City Competition The Science Center’s annual Future City Competition, held in January, challenges middle school students to build a tabletop

Source URL: www.carnegiesciencecenter.org

Regional Academy on the United Nations ADDRESSING PEACE AND SECURITY CHALLENGES THROUGH ACADEMIC RESEARCH: FINDINGS OF THEREGIONAL ACADEMY ON THE UNITED NATIONS (RAUN) Executive Summaries

Source URL: www.ra-un.org