14 Jan 2021
January 14, 2021 World-Logic-Day Lecture: From Aristotle to the iPhone Rice University, Houston TX, U.S.A. https://events.rice.edu/#!view/event/event_id/155303 12:00pm - 1:00pm Zoom Speaker: Moshe Vardi Abstract: Logic started as a branch of philosophy, going back to Greeks, who loved debates, in the classical period. Computers are relatively young, dating back to World War II, in the middle of the 20th century. This talk tells the story of how logic begat computing, tracing the surprising path from Aristotle to the iPhone. This is a story full of both intellectual drama, as well as real-life drama, with most of the characters dying young, miserable, or both. The talk is part of a series of World Logic Day events and is aimed at a general audience. World Logic Day 2021 on January 14th is co-sponsored by the Conseil International de Philosophie et des Sciences Humaines (CIPSH) and the United Nations Educational, Scientific and Cultural Organization (UNESCO). Visit the World Logic Day website for a complete list of events. Bio: Moshe Y. Vardi is University Professor and the Karen Ostrum George Distinguished Service Professor in Computational Engineering at Rice University. He is the recipient of several awards, including the ACM SIGACT Goedel Prize, the ACM Kanellakis Award, the ACM SIGMOD Codd Award, the Blaise Pascal Medal, the IEEE Computer Society Goode Award, and the EATCS Distinguished Achievements Award. He is the author and co-author of over 650 papers, as well as two books. He is a fellow of several societies, and a member of several academies, including the US National Academy of Engineering and National Academy of Science. He holds seven honorary doctorates. He is a Senior Editor of the Communications of the ACM, the premier publication in computing. REGISTER NOW! https://www.eventbrite.com/e/world-logic-day-moshe-vardi-lecture-from-aristotle-to-the-iphone-registration-133161328117 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam