Logic List Mailing Archive

"From Aristotle to the iPhone" (WLD 2021 event), Virtual

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