
<html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /></head><body style='font-size: 10pt'>

<p>Sayın Matematikçiler,</p>

<div id="forwardbody1">

<div style="font-size: 10pt;">

<p>Aşağıda Feza Gürsey Fizik ve Matematik UygAr Merkezi Yüksek Yapılar Seminerleri dizisi kapsamında 21 Mayıs Salı günü saat</p>

<p>20:00'da yapılacak olan konuşmanın detaylarını bulacaksınız.</p>

<p>İyi çalışmalar,</p>

<p>ilhan ikeda</p>

<p>----------------------------</p>

<div id="v1forwardbody1">

<div style="font-size: 10pt;">

<div id="v1v1forwardbody1">

<div style="font-size: 10pt;">

<p><span style="font-family: 'andale mono', monospace;">Dear friends,</span></p>

<div id="v1v1v1forwardbody1">

<div style="font-size: 10pt;">

<div id="v1v1v1v1forwardbody1">

<div style="font-size: 10pt;">

<div id="v1v1v1v1v1forwardbody1">

<div style="font-size: 10pt;">

<div id="v1v1v1v1v1v1forwardbody1">

<div style="font-size: 10pt;">

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;">On <strong>May 21 2024, Tuesday at 20:00 Istanbul local time (10:00 San Diego local time),</strong> Michael Shulman</span></div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;"> from the University of San Diego will be the speaker of Feza Gursey Center for Physics and </span></div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;">Mathematics Higher Structure Research Group Seminars.</span><br /><br /><span style="font-family: 'andale mono', monospace;">The details of Mike's seminar talk are as follows: </span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;"><strong>Speaker:</strong> Michael Shulman (The University of San Diego)</span><br /><span style="font-family: 'andale mono', monospace;"></span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;"><strong>Date:</strong> May 21, 2024, Tuesday</span><br /><span style="font-family: 'andale mono', monospace;"></span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;"><strong>Time:</strong> 20:00 Istanbul local time (10:00 San Diego local time)</span><br /><span style="font-family: 'andale mono', monospace;"></span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;"><span style="font-family: 'andale mono', monospace;"><strong>Title</strong><span style="font-family: georgia, palatino, serif; color: #000000;">: <span style="font-size: 11pt;"><em> <span style="font-family: 'andale mono', monospace; font-size: 10pt;">Higher Observational type theory</span></em></span><br /></span></span></span><span style="font-family: 'andale mono', monospace;"></span><span style="font-family: 'andale mono', monospace;"></span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><strong><span style="font-family: 'andale mono', monospace;">Abstract:</span></strong></div>

<div class="v1v1v1v1v1v1v1v1pre">

<div class="v1v1page" title="Page 6">

<div class="v1v1layoutArea">

<div class="v1v1column">

<div class="v1page" title="Page 6">

<div class="v1layoutArea">

<div class="v1column">

<p><span style="font-size: 10pt; font-family: 'andale mono', monospace; color: #00000a;">Homotopy Type Theory is a new approach to the foundations of mathematics, in which the basic objects of mathematics are not sets but homotopy types. It is natively isomorphism-invariant and well-adapted to computer formalization, and can be interpreted in higher toposes to give a synthetic language for internal constructions and proofs. It can also be explained intuitively to students, giving them access to higher structures while avoiding the complicated machinery of combinatorial homotopy theory; and it can be used as a programming language, to compute certain invariants of higher structures by simply running code derived from their definitions. However, until recently it was not known how to achieve both of these latter two properties simultaneously with a single formal system. In this talk I will introduce Homotopy Type Theory and its applications to higher structures from perspective of Higher Observational Type Theory; this is a new formal system for Homotopy Type Theory that, we hope, is both intuitively natural and computationally adequate. This is joint work in progress with Thorsten Altenkirch and Ambrus Kaposi. </span></p>

<p><span style="font-size: 11.000000pt; font-family: 'TimesNewRomanPSMT'; color: rgb(0.000000%, 0.000000%, 3.921000%);"></span> <span style="font-size: 10pt; font-family: 'andale mono', monospace; color: #00000a;">Zoom uygulaması Bilim Akademisi tarafından sağlanmaktadır./Zoom link is provided by The Science Academy. </span></p>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="font-family: 'andale mono', monospace;"><strong>Zoom link details:</strong> </span><br /><span style="font-family: 'andale mono', monospace;">(As usual <em>the Zoom link will be active 30 minutes before the seminar time</em>.)</span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="background-color: #ffff00;"><strong>Topic:</strong> FG-Higher Structures Seminars<br /><strong>Date and time:</strong> May 21, 2024 19:30 Istanbul/09:30 San Diego local time<br /><br /><strong>Join Zoom Meeting</strong><br /><a href="https://us02web.zoom.us/j/85873239337?pwd=QUk2WmRzV0pGMGIrZkVnamkvOTZudz09" target="_blank" rel="noopener noreferrer">https://us02web.zoom.us/j/<wbr />85873239337?pwd=<wbr />QUk2WmRzV0pGMGIrZkVnamkvOTZudz<wbr />09</a><br /><br /><strong>Meeting ID:</strong> 858 7323 9337<br /><strong>Passcode:</strong> 367022</span></div>

<div class="v1v1v1v1v1v1v1v1pre"> </div>

<div class="v1v1v1v1v1v1v1v1pre"><span style="color: #000000; font-family: arial, sans-serif; background-color: #f1c40f;"></span><br /><span style="font-family: 'andale mono', monospace;">Best Regards,</span><br /><span style="font-family: 'andale mono', monospace;">Ilhan </span><br /><br /><span style="font-family: 'andale mono', monospace;">Organized by Feza Gürsey Center for Physics and Mathematics </span><br /><span style="font-family: 'andale mono', monospace;">Supported by Bilim Akademisi - The Science Academy</span></div>

<p><img src="cid:1716023974664872a697740260304002@bogazici.edu.tr" width="100" height="100" /><img src="cid:1716023974664872a697b40047271584@bogazici.edu.tr" width="271" height="113" /></p>

</div>

</div>

<p><br /></p>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

</div>

<p><br /></p>

</div>

</div>

<p><br /></p>


</body></html>