Welcome to ACL2 Workshop 2018!
To return to this page, click on the [Welcome] link near
the start of the schedule on the program
page.
- Bathrooms are nearby: turn right out the door and then
(after a bit) right into the hallway towards the elevator, and
you'll find them.
- Refreshments during the breaks (one in the
morning, two in the afternoon) and lunch will all be in this
room.
- NOTE: The room
will not be locked, not even during
lunch. So we recommend taking your valuables (laptops, etc.) with
you if you leave the room for awhile.
- Show of hands: Who plans to come to the developer's workshop on
Wednesday? (This was announced on the mailing list set up from last
year's developer's workshop, and will be held in the same place, one
floor up in the south wing, GDC 7.808.)
- The program is easy to get to by
following links from
the ACL2 home
page (as we'll demonstrate), and mirrors the paper copy but is
up-to-date and has links.
- 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
- Slides for some of the talks (as people contribute them)
- A link near the end to
possible topics for the business meeting; feel free to suggest
additional topics
- Maps to the conference dinner
and a possible place to go afterwards
- The conference dinner tonight (Nov. 5) is at Aster's
Ethiopian Restaurant, 6:30 pm to 9:00 pm, as
noted on the program page.
There's an open bar (approx. 2 drinks per person) starting at 6:30;
buffet dinner should be ready at 7:00. Maps printed on two
sides are available at the registration table: one side shows how to
get to dinner; the other side shows how to get to one place people
could go after dinner.
- We thank Mertcan Temel for his help with local
arrangements, including name tags. He will be taking some pictures.
- We thank the sponsors as shown at
the bottom of the main workshop
page.
- To speakers:
- Please meet in advance (during breaks) with your session chair (as
noted on the program), to make
transitions smooth.
- Please get your slides
to Matt at your earliest
convenience, but definitely by the end of the workshop.
- A microphone is available.
- Wireless cards (for non-UT folks) are available at the
registration table.