[Colloquium] Fwd: Computer Science Distinguished Lecturer Series 2004-05

[Margery Ishmael]

>
> Begin forwarded message:
>
>> From: Imelda Baker <ifbaker at cs.uic.edu>
>> Date: October 15, 2004 10:20:46 AM CDT
>> To: faculty at cs.uic.edu, adjunct at cs.uic.edu, coe-faculty at uic.edu, 
>> ipbatra at uic.edu, geraney at uic.edu, prasad at uic.edu, jbona at uic.edu, 
>> macqueen at cs.uchicago.edu, kao at cs.northwestern.edu, reingold at iit.edu, 
>> epp at cs.depaul.edu, wlhonig at cs.luc.edu
>> Cc: nelson at cs.uic.edu, wolfson at cs.uic.edu, ajayk at cs.uic.edu
>> Subject: Computer Science Distinguished Lecturer Series 2004-05
>>
>>  Dear All,
>>
>>  Please see below a seminar announcement on October 21, 2004 at 11:00 
>> a.m. in Room 1000 SEO (Science and Engineering Offices at 851 South 
>> Morgan Street). 
>>
>>  Presenter:  Leslie Lamport, Microsoft Research
>>  Host:  Professor Ajay Kshemkalyani
>>
>>  All are welcome to attend.
>>
>>  Thanks,
>>  Imelda
>>
>>
>> The University of Illinois at Chicago
>> Department of Computer Science
>>
>> 2004-2005 Distinguished Lecturer Seminar Series
>>
>> Thinking for Programmers
>>
>> Leslie Lamport
>>  Microsoft Research
>>
>> Thursday, October 21, 2004
>>  11:00 a.m., Room 1000 SEO
>>
>>
>> Abstract:
>>
>>  There is a very effective software development tool that is not used 
>> nearly enough -- the brain. The many impediments to its proper use 
>> devised by computer scientists can be overcome.
>>
>>  Bio Sketch:
>>
>>  Leslie Lamport began writing concurrent algorithms in the early 
>> '70s.  He was so bad at it that he spent the next 20 years trying to 
>> figure out how to tell if his algorithms were correct. Because no-one 
>> else knew how either, he was able to publish a lot of bad ideas 
>> before finally figuring it out. In the meanwhile, he realized that 
>> graduate school in math failed to teach him, or anyone else, anything 
>> useful about how to prove something. This realization led to his 
>> annoying habit of telling mathematicians how they should write 
>> proofs. In an unsuccessful effort to cajole them, he wrote LaTeX, a 
>> widely misused document formatting system.
>>
>>  Additional information can be found on Leslie's publications page, 
>> http://research.microsoft.com/users/lamport/pubs/pubs.html
>> -------------------------------------------------------------------
>>
>>
>>
>>
>>
>>   
>>
>>
>>
>>
>>
>>
>>
>>
>>
>>         Ib:10/05/04
>>
>>
>>
>>

-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: text/enriched
Size: 3372 bytes
Desc: not available
Url : http://mailman.cs.uchicago.edu/pipermail/colloquium/attachments/20041015/abb7a8f8/attachment.bin