# Event Details - **Event Name**: DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) - **Event Start and End Date**: Tue, 27 Jan, 2026 at 11:30 am – Tue, 27 Jan, 2026 at 01:30 pm - **Event Description**: Please join us for DVClub Toronto's 2026 event on January 27, 2026 at the Sheraton Parkway Toronto North Hotel & Suites.About this EventDVClub is 20 years young (2005 - 2025)!We will be handing out a free 20th Anniversary DVClub shirt for those in attendance!Thank you to all who have participated and contributed over the years and continue to do so to this day!Please join us on Tuesday, January 27, 2026, at the Sheraton Parkway Toronto North Hotel & Suites for a catered lunch and networking. Moshe Varde from Rice University will be our guest speaker.11:30am — Doors Open / Networking12:00pm — Lunch / Presentation by Moshe Varde1:30pm — NetworkingPresentation"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 invite some of your colleagues! - **Event URL**: https://allevents.in/richmond-hill/dvclub-toronto-january-27-2026-presenter-moshe-varde-rice-university/100001979453996188 - **Event Categories**: art, it, literary-art, performances, theatre, entertainment - **Interested Audience**: - total_interested_count: 0 ## Ticket Details - **Ticket Price Range**: min: 0, max: 0, currency: USD ## Event venue details - **city**: Richmond Hill - **state**: ON - **country**: Canada - **location**: Sheraton Parkway Toronto North Hotel & Suites - **lat**: 43.8457124 - **long**: -79.38163350000002 - **full address**: Sheraton Parkway Toronto North Hotel & Suites, 600 Highway 7 East, Richmond Hill, Canada ## Event gallery - **Alt text**: DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) - **Image URL**: https://cdn-az.allevents.in/events6/banners/df1a1c77074e6a9a0f85f90f22714c6937bcf543dda6cf12220d01650c84d3f3-rimg-w852-h480-dc480102-gmir.jpg?v=1767464701 ## FAQs - **Q**: When and where is DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) being held? - **A:** DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) takes place on Tue, 27 Jan, 2026 at 11:30 am to Tue, 27 Jan, 2026 at 01:30 pm at Sheraton Parkway Toronto North Hotel & Suites, 600 Highway 7 East, Richmond Hill, Canada. - **Q**: Who is organizing DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University)? - **A:** DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) is organized by DVClub. - **Q**: Who is this event for? Is it right for me? - **A:** DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) is ideal for art lovers, collectors, creatives, and anyone inspired by visual arts, installations, and exhibitions. Whether you're a first-time attendee or a longtime enthusiast in Richmond Hill, this event is thoughtfully curated to deliver a standout experience worth every moment. If DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University) sounds like your kind of event, don't wait - spots fill up fast. ## Structured Data (JSON-LD) ```json [ { "@context": "https://schema.org", "@type": "Event", "name": "DVClub Toronto - January 27, 2026 - Presenter Moshe Varde (Rice University)", "image": "https://cdn-az.allevents.in/events6/banners/df1a1c77074e6a9a0f85f90f22714c6937bcf543dda6cf12220d01650c84d3f3-rimg-w852-h480-dc480102-gmir.jpg?v=1767464701", "startDate": "2026-01-27", "endDate": "2026-01-27", "url": "https://allevents.in/richmond-hill/dvclub-toronto-january-27-2026-presenter-moshe-varde-rice-university/100001979453996188", "location": { "@type": "Place", "name": "Sheraton Parkway Toronto North Hotel & Suites", "address": { "@type": "PostalAddress", "streetAddress": "600 Highway 7 East", "postalCode": "L4B 1B2", "addressLocality": "Richmond Hill", "addressRegion": "ON", "addressCountry": "CA" }, "geo": { "@type": "GeoCoordinates", "latitude": "43.8457124", "longitude": "-79.38163350000002" } }, "eventAttendanceMode": "https://schema.org/OfflineEventAttendanceMode", "description": "Please join us for DVClub Toronto's 2026 event on January 27, 2026 at the Sheraton Parkway Toronto North Hotel & Suites.", "offers": [ { "@type": "AggregateOffer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-06", "availabilityEnds": "2026-01-27", "validFrom": "2026-04-06", "lowPrice": "0.00", "highPrice": "0.00", "price": "0.00", "url": "https://allevents.in/richmond-hill/dvclub-toronto-january-27-2026-presenter-moshe-varde-rice-university/100001979453996188" }, { "@type": "Offer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-06", "availabilityEnds": "", "validFrom": "2026-04-06", "url": "https://allevents.in/richmond-hill/dvclub-toronto-january-27-2026-presenter-moshe-varde-rice-university/100001979453996188", "price": 0, "name": "DVClub Ticket - Regular" }, { "@type": "Offer", "availability": "https://schema.org/InStock", "priceCurrency": "USD", "availabilityStarts": "2026-04-06", "availabilityEnds": "", "validFrom": "2026-04-06", "url": "https://allevents.in/richmond-hill/dvclub-toronto-january-27-2026-presenter-moshe-varde-rice-university/100001979453996188", "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 " } ] } ] ```