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 zoom audio.

Speakers should email their slides to Matt Kaufmann (kaufmann@cs.utexas.edu) to be posted publicly via a link 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

Local organizers, please discuss the following briefly:

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