Welcome to ACL2 Workshop 2015, celebrating the 25th anniversary of ACL2!
To return to this page, click on the [Welcome] link near
the start of the schedule on the program
page.
- To get to the bathrooms, turn left into the hallway, then
left at the dead-end, then right into a corridor, and you'll see them
on the left.
- Lunch will be held in the building, near the workshop
room.
Refreshments during the breaks will be provided in the
workshop room.
- NOTE: The room
will not be locked, even during
lunch. So we recommend taking your valuables (laptops, etc.) with
you during lunch.
- The program is easy to get to by
following links from
the ACL2 home
page (as we'll demonstrate). The program page includes:
- Links near the top to
the full proceedings and a list of participants (alphabetized by
last name, with affiliations)
- Links at each invited and contributed talk to the
corresponding proceedings paper
- A link near the end to
possible topics for the business meeting; feel free to suggest
additional topics
- Slides at some of the talks (increasingly)
- Maps to the banquet
- The banquet tonight (Thursday 10/1) is at Trudy's Texas
Star, 6:30 pm to 9:30 pm (maps are on
the program page as mentioned above). There's an open bar
(approx. 2 drinks per person).
- Some rump session slots remain available. See Matt
Kaufmann if you'd like to talk, or simply speak up when there is extra
time at the end of a rump session.
- We thank Cuong Chau for his huge help with local
arrangements, including getting the proceedings printed.
- We thank the sponsors as shown at
the bottom of the main workshop
page.
- Speakers should meet in advance (during breaks) with their
session chairs to make transitions smooth.
- Maps to the banquet, a list of participants, and wireless passes
(for non-UT folks only) should be available at the registration
table.