[logic-ml] J-B Joinet教授”Types and behavioral indiscernibility” 講演会 慶應大三田 11月7日 Nov. 7th Keio Univ.

[Mitsu Okada]

ーーーーーーーーーーーーーーーーーーーーーーーーーーーー

直前の告知となり申し訳けありませんが、11が月７日木曜日が講演会日の案内をさせていただければありがたいです。ご検討の程、お願い申し上げます。。 


　　　　　　　　　　　　　　　　　　　　　　　　　　岡田光弘　慶應義塾大学文学部哲学専攻　

*******************************************************************************************

Jean-Baptiste Joinet教授（Dept Philosophy, Univ Lyon) , 11月7日（木）Nov.7th 
(Thurs)　慶應大　Keio U.

******************************************************************************************

三田ロジックセミナー  Mita Logic Seminar

11月7日  November 7th

慶應義塾大学三田キャンパス Mita Campus, Keio University

講演者SPEAKER: Jean-Baptiste Joinet (Université de Lyon, IRPhiL, Idex Lyon)

タイトルTITLE: Types and behavioral indiscernibility

***************************************************************************

参加自由、事前登録無し。お気軽にお立ち寄りください。No registration needed

***************************************************************************

アブストラクトは以下をご覧ください。Abstract attached below.

日時Date:

11月7日(木) November 7th (Thu.), 16:30-18:00

場所Venue:

慶應義塾大三田キャンパス大学院校舎1階312番教室(下のキャンパスマップ３番)

Classroom 312, 1F of Graduate School Building, Mita Campus, Keio University

(#3 of the Campus Map below)

構内図Campus Map: 
https://www.keio.ac.jp/en/assets/download/maps/mita/map_mita.pdf

お問い合わせ先:慶應義塾大学文学部岡田光弘研究室

東京都港区三田2-15-45

三田ロジックセミナー

Email: logic at abelard.flet.keio.ac.jp <mailto:logic at abelard.flet.keio.ac.jp>

----------------------------------------------------------

アブストラクトABSTRACT:

Types and behavioral indiscernibility

In computing theory, the type of a program is an information partially 
specifying the task it  performs. Within the framework of (what is 
usually called) the Proofs-as-Programs and Propositions-as-Types 
paradigm, a type (a.k.a. a proposition) is defined as a set of programs 
having some common behavior w.r.t. a specific undecidable property (the 
termination of execution when entering in interaction with contexts). 
The talk will be devoted to investigate the underlying classifying 
methodology used to define the notion of type (typing by closure by 
bi-orthogonality) which, in that particular case, is used to classify 
computational behaviors.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20191106/39ecf30e/attachment.html>