<div dir="ltr"><div><div class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-gE gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-iv gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-gt" style="color:rgb(0,0,0);font-size:12.8px;padding:20px 0px 0px"><font face="arial, helvetica, sans-serif"><b style="font-size:small">When:    </b><span style="font-size:small">  Monday, October 29th at 11:00 am</span></font></div><div class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-"><div id="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-:256" class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-ii gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-gt" style="direction:ltr;margin:8px 0px 0px;padding:0px"><div id="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-:255" class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-a3s gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-aXjCH" style="overflow:hidden;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;line-height:1.5;outline:none"><div dir="ltr"><div id="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_1375334545691264095divtagdefaultwrapper" dir="ltr"><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><font face="arial, helvetica, sans-serif" color="#000000"><b>Where:     </b>TTIC, 6045 S. Kenwood Avenue, 5th Floor, Room 526</font></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><font face="arial, helvetica, sans-serif" color="#000000"> </font></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><font face="arial, helvetica, sans-serif"><b>Who:        </b>Christian Szegedy, Google</font></p></div></div></div></div></div></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><b>Title:     </b>    Deep Learning for Formal Reasoning</font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><b>Abstract:</b> In the past few years, deep learning has been instrumental for breakthrough results in various machine perception and natural language processing tasks, including computer vision, speech understanding and synthesis as well as in automated translation. Convolutional neural networks were the key components for super-human computer go systems. In this talk, I will present our recent work on proof automation in the HOL-light higher order interactive theorem prover, where we utilized current deep learning techniques. Also I will talk about our first attempts at creating semantically more meaningful text embeddings that seem to be helpful for reading comprehension from large, unstructured knowledge bases. Automating mathematics is a tough, long term research goal and here I will present our two-pronged approach: Strong automated theorem proving lacks training data, because most of mathematics is present only in informal natural language literature. Our plan is to attack both automated formal theorem proving and automated formalization at the same time with the vision of creating an artificial mathematician that is capable of reading and arguing about mathematics at a human level, while being able to communicate in natural language.</font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif">Host: <a href="mailto:mcallester@ttic.edu" target="_blank">David McAllester</a></font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><div><font face="arial, helvetica, sans-serif"><span style="color:rgb(0,0,0);font-kerning:none">For more information on the <span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-m_-7649362550103587767gmail-m_37711595404184628gmail-m_-8366621373355229216gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-m_-7649362550103587767gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-il">colloquium</span></span></span></span></span></span></span> series or to subscribe to the mailing list, please </span><span style="color:rgb(0,0,0)">see </span><a href="http://www.ttic.edu/colloquium.php" target="_blank">http://www.ttic.edu/<span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-m_-7649362550103587767gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-il"><span class="gmail-m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-il">colloquium</span></span></span></span></span></span>.php</a><span style="color:rgb(0,0,0)"> </span>  </font></div></div><div><br></div><div><br></div><br class="gmail-Apple-interchange-newline"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><font face="arial, helvetica, sans-serif">Mary C. Marre</font><div><font face="arial, helvetica, sans-serif">Administrative Assistant</font></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6"><b>Toyota Technological Institute</b></font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">6045 S. Kenwood Avenue</font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">Room 517</font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">Chicago, IL  60637</font></i></div><div><i><font face="arial, helvetica, sans-serif">p:(773) 834-1757</font></i></div><div><i><font face="arial, helvetica, sans-serif">f: (773) 357-6970</font></i></div><div><b><i><a href="mailto:mmarre@ttic.edu" target="_blank"><font face="arial, helvetica, sans-serif">mmarre@ttic.edu</font></a></i></b></div></div></div></div></div></div></div></div></div></div></div></div></div></div><br><br><div class="gmail_quote"><div dir="ltr">On Mon, Oct 22, 2018 at 5:20 PM Mary Marre <<a href="mailto:mmarre@ttic.edu">mmarre@ttic.edu</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div dir="ltr"><div><div class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-gE m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-iv m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-gt" style="color:rgb(0,0,0);font-size:12.8px;padding:20px 0px 0px"><font face="arial, helvetica, sans-serif"><b style="font-size:small">When:    </b><span style="font-size:small">  Monday, October 29th at 11:00 am</span></font></div><div class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-"><div id="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-:256" class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-ii m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-gt" style="direction:ltr;margin:8px 0px 0px;padding:0px"><div id="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-:255" class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-a3s m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-aXjCH" style="overflow:hidden;font-variant-numeric:normal;font-variant-east-asian:normal;font-stretch:normal;line-height:1.5;outline:none"><div dir="ltr"><div id="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_1375334545691264095divtagdefaultwrapper" dir="ltr"><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><font face="arial, helvetica, sans-serif" color="#000000"><b>Where:     </b>TTIC, 6045 S. Kenwood Avenue, 5th Floor, Room 526</font></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><font face="arial, helvetica, sans-serif" color="#000000"> </font></p><p class="MsoNormal" style="margin:0in 0in 0.0001pt;line-height:normal;background-image:initial;background-position:initial;background-size:initial;background-repeat:initial;background-origin:initial;background-clip:initial"><font face="arial, helvetica, sans-serif"><b>Who:        </b>Christian Szegedy, Google</font></p></div></div></div></div></div></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><b>Title:     </b>    Deep Learning for Formal Reasoning</font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif"><b>Abstract:</b> In the past few years, deep learning has been instrumental for breakthrough results in various machine perception and natural language processing tasks, including computer vision, speech understanding and synthesis as well as in automated translation. Convolutional neural networks were the key components for super-human computer go systems. In this talk, I will present our recent work on proof automation in the HOL-light higher order interactive theorem prover, where we utilized current deep learning techniques. Also I will talk about our first attempts at creating semantically more meaningful text embeddings that seem to be helpful for reading comprehension from large, unstructured knowledge bases. Automating mathematics is a tough, long term research goal and here I will present our two-pronged approach: Strong automated theorem proving lacks training data, because most of mathematics is present only in informal natural language literature. Our plan is to attack both automated formal theorem proving and automated formalization at the same time with the vision of creating an artificial mathematician that is capable of reading and arguing about mathematics at a human level, while being able to communicate in natural language.</font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><font face="arial, helvetica, sans-serif">Host: <a href="mailto:mcallester@ttic.edu" target="_blank">David McAllester</a></font></div><div><font face="arial, helvetica, sans-serif"><br></font></div><div><div><font face="arial, helvetica, sans-serif"><span style="color:rgb(0,0,0);font-kerning:none">For more information on the <span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-m_-7649362550103587767gmail-m_37711595404184628gmail-m_-8366621373355229216gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-m_-7649362550103587767gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-il">colloquium</span></span></span></span></span></span></span> series or to subscribe to the mailing list, please </span><span style="color:rgb(0,0,0)">see </span><a href="http://www.ttic.edu/colloquium.php" target="_blank">http://www.ttic.edu/<span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-m_-7649362550103587767gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-m_4240741644540508174gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-m_-5864378453105999086gmail-m_-1690647303496242289m_1430452980776983890gmail-m_1031910664862358996gmail-m_8778633083237298896gmail-m_-8347358208690191418gmail-m_6958947101002467454gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-m_767208242022040581gmail-m_5118066322451693210gmail-m_3292142122556441362m_4179300188985034065m_8112548636363365103gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-m_-2053129909387779305gmail-m_-4421783803009889794gmail-m_1235227957090907765gmail-il"><span class="m_8646800085865843150gmail-m_-8927371263906239220gmail-m_6091911998485664884gmail-m_-1043001510238041114m_-7060059754035056581gmail-m_-689068581339179172gmail-m_5555715394868275597gmail-m_7670787533570340600gmail-m_-5427060028657888612gmail-m_4002980085074383580gmail-m_5674691808897415648gmail-m_-8045269396188967291m_8609159779071745624gmail-m_6134020100149053573gmail-il">colloquium</span></span></span></span></span></span>.php</a><span style="color:rgb(0,0,0)"> </span>  </font></div><br class="m_8646800085865843150gmail-Apple-interchange-newline"></div><div dir="ltr"><br></div><br class="m_8646800085865843150gmail-Apple-interchange-newline"><div><div dir="ltr" class="m_8646800085865843150gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><font face="arial, helvetica, sans-serif">Mary C. Marre</font><div><font face="arial, helvetica, sans-serif">Administrative Assistant</font></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6"><b>Toyota Technological Institute</b></font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">6045 S. Kenwood Avenue</font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">Room 517</font></i></div><div><i><font face="arial, helvetica, sans-serif" color="#3d85c6">Chicago, IL  60637</font></i></div><div><i><font face="arial, helvetica, sans-serif">p:(773) 834-1757</font></i></div><div><i><font face="arial, helvetica, sans-serif">f: (773) 357-6970</font></i></div><div><b><i><a href="mailto:mmarre@ttic.edu" target="_blank"><font face="arial, helvetica, sans-serif">mmarre@ttic.edu</font></a></i></b></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
</blockquote></div></div>