AI Chat AI Image Generator AI Video Text to Speech

Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications

05/23/2022

∙

by Rob Sumners, et al.

∙

∙

This volume contains a selection of papers presented at the 17th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022). The workshops are the premier technical forum for presenting research and experiences related to ACL2.

Rob Sumners
4 publications
Cuong Chau
1 publication

research

∙ 09/26/2020

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications

This volume contains a selection of papers presented at the 16th Interna...

0 Grant Passmore, et al. ∙

research

∙ 08/16/2019

Proceedings Seventh International Workshop on Verification and Program Transformation

This volume contains a final and revised selection of papers presented a...

0 Alexei Lisitsa, et al. ∙

research

∙ 07/05/2021

Mid infrared spectroscopy and milk quality traits: a data analysis competition at the "International Workshop on Spectroscopy and Chemometrics 2021"

A chemometric data analysis challenge has been arranged during the first...

0 Maria Frizzarin, et al. ∙

research

∙ 09/18/2015

Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Thirteenth International Wor...

0 Matt Kaufmann, et al. ∙

research

∙ 12/11/2018

Proceedings of the 17th Dutch-Belgian Information Retrieval Workshop

This volume contains the papers presented at DIR 2018: 17th Dutch-Belgia...

0 Alex Brandsen, et al. ∙

research

∙ 10/11/2022

Perspectives on Negative Research Results in Pervasive Computing

Not all research leads to fruitful results; trying new ways or methods m...

0 Ella Peltonen, et al. ∙

research

∙ 02/04/2021

Factorizations of Complete Multipartite Hypergraphs

In a mathematics workshop with mn mathematicians from n different areas,...

0 Amin Bahmanian, et al. ∙