Welcome to the 19th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2025)!

Please keep to the schedule, which you can find by following links from the ACL2 home page (consider a bookmark). Session chairs should enforce the schedule.

People in the room should mute their microphone and speakers (here's a picture showing how).

Speakers: Please email your slides to Matt Kaufmann (kaufmann@cs.utexas.edu), to be posted publicly via links from the workshop program page.

For benefit of the remote listeners, session chairs should repeat questions (or have questions spoken into a microphone).

Snacks are provided.

Lunch is not provided, but local folks might provide suggestions. Here are some.

• O's Campus Cafe (downstairs in the building that connects to the north side of GDC)
• Taco Joint (~5 min walk north-ish of GDC)
• Coco's Cafe in West Campus

Eric Smith and I (Matt Kaufmann) want to thank the Program Committee and the other members of the Organizing Committee:

• Program Chairs: Ruben Gamboa and Pete Manolios
• Arrangements Chairs: Carl Kwan and Maxine Xin
• Registration Chair: David Rager

We thank the sponsors!

Local organizers may discuss the following briefly:

• Who to contact for rides tonight to the banquet
• Other local stuff, e.g., bathrooms, emergency info, ....