[Colloquium] *TWO* Seminars Friday 9/24 Gurevich UC Theory Seminar: a reminder

[Katie Casey]

> **NOTE**
> 
> In addition to Gurevich's talk at 3:30 tomorrow Friday Sept 24, there
> will be an *** EARLIER TALK AT 1:30 *** by him.  The content of the
> earlier talk is that practical software engineers at Micorosoft need
> logic more than calculus.  This is *NOT* a talk on educational
> matters.  It is a talk about the *USE OF LOGIC* in the software
> industry.
> 
> 
> TITLE (TALK # 1):	Do teach Logic SPEAKER:      		Yuri Gurevich, Microsoft Research
> TIME:	   		FRIDAY, Sept 24 1:30 Ryerson 277.
> ABSTRACT:
> In software industry engineers do formal logic day in and day out,
> even though they may not realize that. It is ironic and silly that
> software engineers spend a lot of time studying calculus that they do
> not use, and do not s tudy logic that they do use. This logician,
> turned computer scientist, spent last twelve years at Microsoft. I'll
> try to illustrate why logic is so relevant and why it is so hard for
> software engineers to pick it up.
> 
> SPONSORS:  Robert Soare, Math and CS; Sasha Razborov, CS Theory Group.
> 
> TEA:	   There will be a tea in Ryerson 255 2:30-3:30 between talks.
> 	   [Starbucks coffee and homemade cookies.]
> 
> 
> TALK # 2   3:30 (BELOW)
> 
> %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
> 
> On Thu, 23 Sep 2010, Alexander Razborov wrote:
> 
>> NOTICE NON-STANDARD DAY, TIME AND PLACE.
>> AT 1:30PM. SEE http://www.cs.uchicago.edu/events FOR DETAILS
>> 
>> DEPARTMENT OF COMPUTER SCIENCE
>> 
>> UNIVERSITY OF CHICAGO
>> 
>> Date: Friday, September 24, 2010
>> Time: 3:30 p.m.
>> Place: Ryerson 277, 1100 E. 58th Street
>> 
>> ----------------------------------------------
>> 
>> Speaker: Yuri Gurevich
>> 
>> From: Microsoft Research
>> 
>> Web page: http://research.microsoft.com/en-us/um/people/gurevich/
>> 
>> Title:  Linear Time Reasoning
>> 
>> Abstract:
>> 
>> Software industry is a great application area for mathematical logic.
>> Consider for example a scenario where various principals (governments,
>> government agencies, various institutions, individuals) interact and
>> where trust is in short supply. Each principal computes "his" own
>> knowledge, and the whole system maintains certain properties, e.g.
>> patients' privacy is preserved in a health-related scenario. To
>> facilitate such interactions, we designed and implemented the
>> Distributed Knowledge Authorization Language.
>> 
>> Often local computation should be done very efficiently, ideally in
>> linear time (with a reasonable linearity coefficient). But what, if
>> anything, can you do in linear time? Even the sorting of n items
>> requires n x log(n) time. Consider the derivability problem for a fixed
>> logic: decide whether a given set of hypotheses entails a given formula
>> (the query). A typical proof cannot be even written down in linear time.
>> In this connection, we developed a so-called primal infon logic (loosely
>> based on constructive/intuitionistic principles). The problem of
>> interest to us is Multiple Derivability: given a set of hypotheses and a
>> set of queries, determine which of the queries follow from the
>> hypotheses. It turns out that the multiple derivability problem for
>> primal infon logic is solvable in linear time.
>> 
>> We will attempt to make the talk self-contained.
>> 
>> Bio:
>> 
>> Yuri Gurevich is Principal Researcher at Microsoft. He is also Prof.
>> Emeritus at the University of Michigan, ACM Fellow, Guggenheim Fellow, a
>> member of Academia Europaea, and Dr. Honoris Causa of a Belgian and
>> Russian universities.
>> _______________________________________________
>> Theory mailing list
>> Theory at mailman.cs.uchicago.edu
>> https://mailman.cs.uchicago.edu/mailman/listinfo/theory
>> 
>> 
> 
> 
> *************************************************************************
> Robert I. Soare
> Paul Snowden Russell
> Distinguished Service Professor
>    of Mathematics and Computer Science
> Department of Mathematics 	     PHONE: (773) 702-6029, Secty: 702-7100
> The University of Chicago            FAX:   (773) 702-8487 or (773) 702-9787
> 5734 University Avenue		     E-MAIL:	soare at uchicago.edu
> Chicago, IL 60637-1546	USA  	     WEB: www.people.cs.uchicago.edu/~soare/
> **************************************************************************
>