AI Chat AI Image Generator AI Video Text to Speech

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

09/26/2020

∙

by Grant Passmore, et al.

∙

∙

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

Grant Passmore
5 publications
Ruben Gamboa
6 publications

research

∙ 05/23/2022

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

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

0 Rob Sumners, et al. ∙

research

∙ 10/09/2018

Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications

This volume contains the proceedings of the Fifteenth International Work...

0 Shilpi Goel, 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

∙ 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

∙ 04/08/2017

Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis

Hybrid systems are complex dynamical systems that combine discrete and c...

0 Erika Ábrahám, et al. ∙

research

∙ 08/27/2023

Reconnecting An International Travel Network: The Personal Infrastructuring Work of International Travelers in A Multi-facet Crisis

In times of crisis, international travel becomes tenuous and anxiety pro...

0 Yao Lyu, et al. ∙

research

∙ 07/24/2019

Agile Transformation: A Summary and Research Agenda from the First International Workshop

Organisations are upscaling their use of agile. Agile ways of working ar...

0 Leonor Barroca, et al. ∙