From: Matt Kaufmann <matthew.j.kaufmann@gmail.com>
Date: Fri, 20 Oct 2023 12:05:51 -0500
Subject: post-workshop dinner
To: acl2@utlists.utexas.edu
Reply-To: Matt Kaufmann <matthew.j.kaufmann@gmail.com>
Archived-At: <https://utlists.utexas.edu/sympa/arcsearch_id/acl2/2023-10/CAOQvmWJ%3D7pMaCiq%3D2K9_KFLSn7k-zMqZC%3Dt5nwf5m8ZiiaEirQ%40mail.gmail.com>

To those who will be in Austin on November 14, perhaps attending ACL2
Workshop 2023
(https://www.cs.utexas.edu/users/moore/acl2/workshop-2023/index.html),

Alessandro Coglio and I plan to meet for dinner that evening, and
you're invited.  Please reply to me if you want to join us, preferably
by end of day Nov. 9 but definitely by 10 am on Nov. 14.  (I'll count
the replies when making a reservation.)  Here are details.

  Tuesday, November 14, 7:00 pm
  Back patio (no heaters, but some sort of fireplace)
  El Mercado South
  1302 S 1st St
  Austin, TX 78704
  https://www.elmercadorestaurant.com/south/

According to the following URL, you can get there by bus from the
workshop:

https://maps.app.goo.gl/1Bv4vQnCQKx8j1LW9

Note that this is not an official workshop event (so everyone will pay
for their own food and drinks).

Thanks,
(Alessandro and) Matt