<div dir="ltr"><div><div>皆様<br><br>インスブリア大学のMarco Benini 先生の講演のお知らせです。<br>ふるってご参加ください。<br><br>問い合わせ先：<br>根元　多佳子<br>北陸先端科学技術大学院大学　情報科学研究科<br></div>e-mail: <a href="mailto:t-nemoto@jaist.ac.jp" target="_blank">t-nemoto@jaist.ac.jp</a><br>
</div>
<br>------------------------------<div>--------------------<br><div>
* <span>JAIST</span> <span>Logic</span> <span>Seminar</span> Series *<br>
<br>
* This <span>seminar</span> is held as a part <span>of</span> the EU FP7 Marie Curie Actions<br>
IRSES project CORCON.<br><br></div><div>Date: Thursday 22, May, 2014 15:30-17:00<br></div><div>Place: JAIST Collaboration Room 6 (I57-g)<br>(Access:<a href="http://www.jaist.ac.jp/english/location/access.html" target="_blank">http://www.jaist.ac.jp/english/location/access.html</a>)<br>

</div><div>Speaker: Dr. Marco Benini<br><br></div><div>Title: Point-free foundations of Mathematics<br>
<br>Abstract: Is it possible to work with logical theories without<br>
assuming the existence of a universe where to interpret terms?<br>
This talk will positively answer to the above question in the case of<br>
first-order, intuitionistic-based theories by providing a class of<br>
models, defined inside Category Theory, such that they allow to<br>
interpret theories in a sound and complete way.<br>
Furthermore, the models explain the computational meaning of the<br>
corresponding theories via a semantic version of the Curry-Howard<br>
isomorphism. And their peculiar aspect is that they provide no<br>
universe where to interpret terms.</div></div></div>