# Event Details - **Event Name**: DVClub Boston - January 28, 2026 - Presenter Moshe Vardi (Rice University) - **Event Start and End Date**: Wed, 28 Jan, 2026 at 11:30 am – Wed, 28 Jan, 2026 at 01:30 pm - **Event Description**: Please join us on January 28, 2026 at the Boxboro Regency for a catered lunch and networking.About this EventHappy New Year DVClub Boston Community!We'd like to share an important update: the Westford Regency has permanently closed, and we will kick off the 2026 Boston event on Wednesday, January 28, 2026 at the Boxboro Regency in Boxboro! Moshe Vardi from Rice University, will be our guest speaker. Please join us for Moshe's presentation, lunch, networking, and free 20th anniversary t-shirts to continue the celebration of DVClub's 20th anniversary (2005-2025)!11:30am — Doors Open / Networking12:00pm — Lunch / Presentation by Moshe Vardi1:00pm — NetworkingPresentation - Moshe Vardi"Program Verification: a 75+-Year History"The year 2019 saw the 70th anniversary to Alan Turing's 1949 paper, "Checking a Large Routine" and the 50th anniversary of Tony Hoare's paper, "An Axiomatic Basis for Computer Programming". In the latter paper, Hoare stated: "When the correctness of a program, its compiler, and the hardware of the computer have all been established with mathematical certainty, it will be possible to place great reliance on the results of the program, and predict their properties with a confidence limited only by the reliability of the electronics."In this talk, I will review the history of this vision, describing the obstacles, the controversies, and progress milestones. I will conclude with the description of both impressive progress and dramatic failures exhibited over the past few years.The talk is accessible to general CS audience.Moshe Y. Vardi is a University Professor and the George Distinguished Service Professor in Computational Engineering at Rice University. His research focuses on the interface of mathematical logic and computation -- including database theory, hardware/software design and verification, multi-agent systems, and constraint satisfaction. He is the recipient of numerous awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Knuth Prize, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award. He is the author and co-author of over 800 papers, as well as two books. He is a Guggenheim Fellow as well as fellow of several societies, and a member of several academies, including the US National Academy of Engineering, National Academy of Science, the American Academy of Arts and Science, and the Royal Society of London. He holds ten honorary titles.He is a Senior Editor of the Communications of the ACM, the premier publication in computing.RSVP and please share with your colleagues! - **Event URL**: https://allevents.in/boxborough/dvclub-boston-january-28-2026-presenter-moshe-vardi-rice-university/100001979866595283 - **Event Categories**: art, it, literary-art, performances, theatre, entertainment - **Interested Audience**: - total_interested_count: 0 ## Ticket Details - **Ticket URL**: https://consumer.pxf.io/c/1339408/3151484/39691?partnerpropertyid=1191892&MediaPartnerPropertyId=1191892&svlink=14105511&level=1&u=https%3A%2F%2Fwww.eventbrite.com%2Fe%2Fdvclub-boston-january-28-2026-presenter-moshe-vardi-rice-university-tickets-1979866595283 - **Ticket Price Range**: min: 0, max: 0, currency: USD ## Event venue details - **city**: Boxborough - **state**: MA - **country**: United States - **location**: Boxboro Regency - **lat**: 42.4817089 - **long**: -71.5457704 - **full address**: Boxboro Regency, 242 Adams Place, Boxborough, United States ## Event Organizer details - **affiliate_id**: 10 - **organizer**: DVClub (https://allevents.in/org/dvclub/17590835) ## Event gallery - **Alt text**: banner - **Image URL**: https://cdn-az.allevents.in/events1/banners/eb8c2acf2f653ab1efaa0597e65fda15a06a0a7574e78aba752e5f980e437dcd-rimg-w800-h400-dc480102-gmir.jpg?v=1767869773 - **Alt text**: thumbnail - **Image URL**: https://cdn-az.allevents.in/events1/banners/660b0438fd6257ba407757a85633febba67a02d201b50d05b8bd4b2d09e9486f-rimg-w400-h400-dc5e0204-gmir.jpg?v=1767869772 ## FAQs - **Q**: When is the event happening? - **A:** Wed, 28 Jan, 2026 at 11:30 am - **Q**: Where is the event happening? - **A:** Boxboro Regency, 242 Adams Place, Boxborough, United States - **Q**: What is the ticket price? - **A:** starting from 0 up to 0 USD - **Q**: Who is organizing the event? - **A:** DVClub - **Q**: What type of event is this? - **A:** art, it, literary-art, performances, theatre, entertainment - **Q**: Where can I find ticket details about DVClub Boston - January 28, 2026 - Presenter Moshe Vardi (Rice University) ? - **A:** You can find ticket details about this event on AllEvents. ## Structured Data (JSON-LD) ```json [ { "@context": "https://schema.org", "@type": "Event", "name": "DVClub Boston - January 28, 2026 - Presenter Moshe Vardi (Rice University)", "image": "https://cdn-az.allevents.in/events1/banners/eb8c2acf2f653ab1efaa0597e65fda15a06a0a7574e78aba752e5f980e437dcd-rimg-w800-h400-dc480102-gmir.jpg?v=1767869773", "startDate": "2026-01-28", "endDate": "2026-01-28", "url": "https://allevents.in/boxborough/dvclub-boston-january-28-2026-presenter-moshe-vardi-rice-university/100001979866595283", "location": { "@type": "Place", "name": "Boxboro Regency", "address": { "@type": "PostalAddress", "streetAddress": "242 Adams Place", "postalCode": "01719", "addressLocality": "Boxborough", "addressRegion": "MA", "addressCountry": "US" }, "geo": { "@type": "GeoCoordinates", "latitude": "42.4817089", "longitude": "-71.5457704" } }, "eventAttendanceMode": "https://schema.org/OfflineEventAttendanceMode", "description": "Please join us on January 28, 2026 at the Boxboro Regency for a catered lunch and networking.", "offers": [ { "@type": "AggregateOffer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-05", "availabilityEnds": "2026-01-28", "validFrom": "2026-04-05", "lowPrice": "0.00", "highPrice": "0.00", "price": "0.00", "url": "https://allevents.in/boxborough/dvclub-boston-january-28-2026-presenter-moshe-vardi-rice-university/100001979866595283" }, { "@type": "Offer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-05", "availabilityEnds": "", "validFrom": "2026-04-05", "url": "https://allevents.in/boxborough/dvclub-boston-january-28-2026-presenter-moshe-vardi-rice-university/100001979866595283", "price": 0, "name": "DVClub Ticket - Regular" }, { "@type": "Offer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-05", "availabilityEnds": "", "validFrom": "2026-04-05", "url": "https://allevents.in/boxborough/dvclub-boston-january-28-2026-presenter-moshe-vardi-rice-university/100001979866595283", "price": 0, "name": "DVClub Ticket - Vegetarian" } ], "organizer": [ { "@type": "Organization", "name": "DVClub", "url": "https://allevents.in/org/dvclub/17590835", "description": " DVClub events are free to attend, thanks to the financial support of our Sponsors. The large majority of attendees are professional verification engineers wanting to stay up to date on the latest verification and design technology and methodologies, while networking with their peers.  DVClub is also regularly frequented by design engineers, engineering managers, entrepreneurs, students and faculty, and Sponsor personnel.  Attendance at events in cities like Portland, Fort Collins, and RTP typically have 35-50 attendees, Boston double that, while Austin and San Jose enjoy audiences of 130-185 people on a regular basis.\r\nVisit our website: www.d\r\n \r\n \r\n \r\n " } ] } ] ```