Logic-ml

9 participants
1781 discussions

講演会のお知らせ (10/19)
by Yoshihiko Kakutani 07 Oct '11

07 Oct '11

みなさま以下の要領で講演会を開催いたします。事前の申込みなどは不要ですので、興味のある方は是非ご参集ください。日時: 2011年10月19日 15:00--16:00 場所: 東京大学本郷キャンパス理学部7号館 214号室 (http://www.u-tokyo.ac.jp/campusmap/cam01_06_06_j.html) 講演者: Zoltan Esik (University of Aizu and University of Szeged, Hungary) 題目: Aziomatizing fixed points with applications 概要: The semantics of recursion is usually described by fixed points of functions, functors, or other constructors. Several fundamental results in verious areas of computer science only depend on a few equational properties of the fixed-ponit operation. One would naturally like to have a complete description of *all* valid equations in the form of a system of axioms. In the talk, we review several such complete descriptions and mention some applications. ご不明な点などがございましたら、下記までご連絡ください。 -- 東京大学大学院情報理工学系研究科コンピュータ科学専攻角谷良彦 <kakutani(a)is.s.u-tokyo.ac.jp>

1 0

[CFP] IJCAR 2012
by Takahito Aoto 07 Oct '11

07 Oct '11

IJCAR 2012 の論文募集をご案内致します．ぜひ投稿をご検討いただけましたら幸いです．重複して受け取られた場合はご容赦ください． --- 青戸等人東北大学電気通信研究所 ----------------------------------------------------------------------- Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning Manchester, UK, June 26-July 1, 2012 http://ijcar.cs.manchester.ac.uk/ Important Dates (all in 2012): Abstract submission January 23 Final version due April 16 Paper submission January 30 Conference dates June 26-29 Notification March 26 Satellite events June 30-July 1 IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 2012, the 6th International Joint Conference on Automated Reasoning, is a merger of leading events in automated reasoning: CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). Previous editions of IJCAR took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008) and Edinburgh (2010), cf. http://www.ijcar.org/. IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan Turing Centenary Conference in Manchester. Scope: IJCAR 2012 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics, type theory, and set theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, efficient datastructures and indexing, integration of computer algebra systems and automated theorem provers, and combination of logics or decision procedures. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, natural language processing, linguistics, robotics, and planning. Submission: Submission is electronic through https://www.easychair.org/?conf=ijcar2012. Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers and 7 pages for system descriptions. All papers will be evaluated according to originality, significance, technical quality, and readability. Submitted papers must be original and not submitted for publication elsewhere. For more details concerning submission see the conference web site. The proceedings of IJCAR 2012 will be published by Springer-Verlag in the LNAI/LNCS series. Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be available in early 2012. Further Information: For further and up-to-date information about IJCAR 2012 visit http://ijcar.cs.manchester.ac.uk/. Program Chairs: Bernhard Gramlich (TU Wien) Dale Miller (INRIA Saclay -- Ile-de-France) Ulrike Sattler (Univ. of Manchester) -----------------------------------------------------------------------

1 0

Kobe Colloquium on Logic, Statistics and Informatics Oct. 17
by Joerg Brendle 07 Oct '11

07 Oct '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でセミナー（３つの発表）を開催します．日時：2011年10月17日（月）14:00-18:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ========================================================================= 講演者：Slawomir Solecki (University of Illinois, USA) 題目：An abstract approach to finite Ramsey theory 時間：14:00-15:00 アブストラクト： I will present an abstract approach to fnite Ramsey theory. In the abstract context, I will isolate a pigeon-hole principle and prove that it implies a general Ramsey-type result. It turns out that the classical Ramsey theorem, the Hales-Jewett lemma (with Shelah's bounds), the Graham-Rothschild theorem, the versions of these results for partial functions are all iterative consequences of this general result. Moreover, using this approach, I will prove a new, self-dual Ramsey theorem, which naturally generalizes both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. ========================================================================= 講演者：S. M. Srivastava (Indian Statistical Institute, India) 題目：A result on Extensions of Translation Probabilities using Borel Selections 時間：15:30-16:30 アブストラクト： For a measurable space (Y, B), let P(Y, B) denote the set of all proba- bility measures on (Y, B). We equip P(Y, B) with the weak σ-algebra, i.e., the smallest σ-algebra on P(Y, B) making each µ → µ(B), B ∈ B, measurable. A transition probability is a measurable function P : (X, A) → P(Y, B), (X, A) a measurable space. In this talk, we shall present a proof of the following surprising the- orem. Theorem. Let Y be a Polish space and B a countably generated sub σ-algebra of the Borel σ-algebra BY of Y . The following conditions are equivalent: (a) For every measurable space (X, A), every transition probability P : (X, A) → P(Y, B) can be extended to a transition probability Q : (X, A) → P(Y, BY ). (b) The statement (a) only for X Polish and A = BX , the Borel σ-algebra of X. This is one of the series of results proved on transition probabilities needed to develop a stochastic analogue of modal logic jointly with E. E. Doberkat, Dortmund, Germany. ========================================================================= 講演者：Tamas Matrai 題目：On typical properties of Hilbert space operators 時間：17:00-18:00 アブストラクト： What are the typical properties of Hilbert space operators in the sense of Baire category? Or, at least, is Baire category a useful tool for studying operators? The answer to these questions, obviously, may depend on the underlying topology. So in collaboration with Tanja Eisner, we investigated the typical behavior of Hilbert space operators in the norm topology and in four important separable topologies (a property Φ of operators is typical if the operators satisfying Φ form a co-meager set). We obtained that in the separable topologies, from the point of view of Baire category, the theory of Hilbert space operators reduces to the theories of very particular classes of operators, e.g. unitary operators, positive self-adjoint operators or even one single operator. In the norm topology, the theory of Hilbert space operators does not trivialize; however, this topology is so ﬁne that every property we studied, e.g. various mapping and spectral properties, holds for a non- meager set of operators. In a sense, our results outline some limitations of Baire category methods in operator theory. ========================================================================= 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

准教授公募：名古屋大学大学院情報科学研究科（量子情報数理）
by Masanao Ozawa 04 Oct '11

04 Oct '11

皆様、名古屋大学大学院情報科学研究科の教員公募情報をお知らせします． http://www.is.nagoya-u.ac.jp/admin/common/news/45/keisankisuuri.pdf 関係諸方面へ周知のため，参加されているメーリングリストやお心当たりの方に転送していただければ幸いです．　　　　　　　　　　　　　　　　　　　　記　１．公募対象：准教授１名　　　　　　　　（名古屋大学大学院情報科学研究科・計算機数理科学専攻情報数理モデル　　　　　　　　論講座）　２．専門分野：量子情報数理（量子情報・量子計算の数学的解明において先端的な研究　　　　　　　　に積極的に取り組む，あるいは，積極的に新分野開拓に取り組む優秀な方）　３．担当科目：大学院情報科学研究科・情報文化学部における情報数理関連科目，　　　　　　　　および全学共通教育科目（線形代数学，微分積分学など）　４．応募資格：博士の学位を有すること　５．着任予定時期：2012年4月1日　　６．提出書類: 　（１）履歴書　（２）研究業績リスト　A：査読付学術論文(査読付国際会議報告集論文を含む)，　　　 B：著書，C：学会発表，D：その他，などを区別して記述すること，掲載・発表　　　　予定のものはその旨を示す文書のコピー等を添付すること　（３）5編程度の主要な論文の別刷あるいはそのコピー，プレプリント　（４）これまでの研究内容と今後の研究計画（A4用紙2枚程度，主要な論文におけ　　　　る研究成果を引用して記載すること）　（５）教育に関する実績と抱負（A4用紙1枚程度）　（６）その他，受賞歴，学会活動，競争的研究資金獲得状況など選考にあたって参考　　　　となる資料　（７）応募者の業績について照会可能な方２名の氏名と連絡先　７．応募期限: 2011年11月15日（火）必着　８．書類提出先および問い合わせ先: 　　　　　　　　〒464-8601　名古屋市千種区不老町 A4-2 (780) 　　　　　　　　名古屋大学大学院情報科学研究科　　　　　　　　計算機数理科学専攻長　小澤　正直　　　　　　　　e-mail: dept-chair“at”cm.is.nagoya-u.ac.jp 　　　封筒に「計算機数理科学専攻教員応募書類在中」と朱書し，国内郵便の場合は簡易　　　書留で郵送して下さい。　９．提出書類は本選考のみに使用し，他の目的には使用しません。また，返却しません。１０．選考の過程で講演をお願いすることがあります。１１．詳細はhttp://www.is.nagoya-u.ac.jp/ をご覧ください。１２．本学では採用に際して男女共同参画に配慮しております。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以上本メールのお問い合わせ先：名古屋大学大学院情報科学研究科計算機数理科学専攻情報数理モデル論講座小澤正直 -- Masanao Ozawa Graduate School of Information Science Nagoya University Chikusa-ku, Nagoya 464-8601, JAPAN Email: ozawa(a)is.nagoya-u.ac.jp Phone & Fax: +81-52-789-3075

1 0

Re: [logic-ml] Workshop on linear logic (financial support still available!)
by Kazushige TERUI 04 Oct '11

04 Oct '11

みなさま度々失礼いたします。先日来ご案内させていただいております線型論理ワークショップについてですが、予算にまだ余裕があります。旅費補助をご希望の方は、大学院生・研究者の別に関わりなく、ぜひご応募ください。 ※講演の締切は１０月１７日（月）とさせていただきます。照井一成＠京都大学 Financial support for PhD students/researchers is still available. Please do not hesitate to contact me if you are thinking of participating in the workshop on linear logic. ----------------------------------------- (English version below) 10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者・学生の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討いただければと思います。 * 旅費援助を希望の方は10月3日（月）まで　講演希望の方は10月17日（月）までに下記のフォームを　お送りください。日時：2011年11月7日（月）−11日（金）（ただし11日はディスカッション・学生セッションの予定）場所：京都大学理学部3号館110号室内容：Girard氏による4回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊陰計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能です。ご相談ください。 ※必ずしもご希望に添えない場合があることをご了承ください。名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記のフォームを terui(a)kurims.kyoto-u.ac.jp までお送りください。 ------------------------------------- １．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない講演希望の場合、時間（30分・45分）４．旅費補助を希望する・しない　　旅費希望の場合、滞在日程 -------------------------------------- Workshop on Linear Logic On occasion of Dr. Jean-Yves Girard's visit to Kyoto (as well as other researchers from Europe), we plan to organize an informal workshop on linear logic (including 4 lectures by J.-Y. Girard) in the coming November. Your participation and talk contribution would be welcome. Dates: 7th - 11th November, 2011 (11th is reserved for free discussion and student session) Location: Department of Mathematics, Kyoto University Topics: Geometroy of interaction, traced monoidal categories, implicit computational complexity and any other topics related to linear logic and associated fields. Participants from Europe: Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris), and others. * Some limited amount of travel support is available. If you want to participate in the workshop, please send the form below to terui(a)kurims.kyoto-u.ac.jp by: 3rd October (if you wish financial support) 17th October (if you contribute a talk). ----- Registration form 1. Name, Affiliation, Position 2. Period of your participation: ?th - ?th November 3. Do you want to give a talk? If so, how long (30min or 45min)? 4. Do you wish financial support for your travel? If so, tell us your arrival and departure dates. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/ ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

准教授公募：名古屋大学大学院情報科学研究科（量子情報数理）
by Masanao Ozawa 03 Oct '11

03 Oct '11

1 0

MSFP 2012: Call for Papers
by Ichiro Hasuo 01 Oct '11

01 Oct '11

みなさま，こんにちは！東京大学の蓮尾と申します．来年3月，ETAPS 附設ワークショップ MSFP 2011 のご案内です．関数型プログラミングにおける，モナドに代表されるような数学的構造がトピックです．どうか投稿をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ========================================== Fourth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 March, Tallinn, Estonia A satellite workshop of ETAPS 2012 http://cs.ioc.ee/msfp/msfp2012/ The fourth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? Type theory without universes? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. Important Dates: ================ Submission of papers: 16 December 2011 Notification: 20 January 2012 Final versions due: 3 Feburary 2012 Workshop: 25 March 2012 Invited Speakers: ================= To be arranged. Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). After the workshop, there might be an opportunity to publish selected papers in a journal special issue. All submissions must be in PDF format and use the EPTCS style files. Submissions can be made through the EasyChair website, at http://www.easychair.org/conferences/?conf=msfp2012 ETAPS: ====== European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is the fifteenth event in the series. http://www.etaps.org/2012 Host City: ========== Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, is the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is only 4km from the city centre. Programme Committee: ==================== * James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia * Paul Blain Levy (co-chair), University of Birmingham, UK * Thorsten Altenkirch, University of Nottingham, UK * Robert Atkey, University of Strathclyde, Glasgow, UK * Nils Anders Danielsson, Chalmers University and University of Gothenburg, Sweden * Martin Escardo, University of Birmingham, UK * Ichiro Hasuo, University of Tokyo, Japan * Ralf Hinze, University of Oxford, UK * Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK * Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA * Ulrich Schoepp, LMU Munich, Germany * Alex Simpson, University of Edinburgh, UK * Matthieu Sozeau, INRIA, Paris, France * Sam Staton, University of Cambridge, UK Further Information: ==================== For more information about the workshop, go to: http://cs.ioc.ee/msfp/msfp2012/ With any other questions please do not hesitate to contact the co-chairs at msfp2012(a)easychair.org. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on linear logic
by Kazushige TERUI 27 Sep '11

27 Sep '11

(English version below) 10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者・学生の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討いただければと思います。 * 旅費援助を希望の方は10月3日（月）まで　講演希望の方は10月17日（月）までに下記のフォームを　お送りください。日時：2011年11月7日（月）−11日（金）（ただし11日はディスカッション・学生セッションの予定）場所：京都大学理学部3号館110号室内容：Girard氏による4回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊陰計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能です。ご相談ください。 ※必ずしもご希望に添えない場合があることをご了承ください。名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記のフォームを terui(a)kurims.kyoto-u.ac.jp までお送りください。 ------------------------------------- １．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない講演希望の場合、時間（30分・45分）４．旅費補助を希望する・しない　　旅費希望の場合、滞在日程 -------------------------------------- Workshop on Linear Logic On occasion of Dr. Jean-Yves Girard's visit to Kyoto (as well as other researchers from Europe), we plan to organize an informal workshop on linear logic (including 4 lectures by J.-Y. Girard) in the coming November. Your participation and talk contribution would be welcome. Dates: 7th - 11th November, 2011 (11th is reserved for free discussion and student session) Location: Department of Mathematics, Kyoto University Topics: Geometroy of interaction, traced monoidal categories, implicit computational complexity and any other topics related to linear logic and associated fields. Participants from Europe: Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris), and others. * Some limited amount of travel support is available. If you want to participate in the workshop, please send the form below to terui(a)kurims.kyoto-u.ac.jp by: 3rd October (if you wish financial support) 17th October (if you contribute a talk). ----- Registration form 1. Name, Affiliation, Position 2. Period of your participation: ?th - ?th November 3. Do you want to give a talk? If so, how long (30min or 45min)? 4. Do you wish financial support for your travel? If so, tell us your arrival and departure dates. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

Sendai Logic Seminar (Sep. 26)
by Naohi Eguchi 22 Sep '11

22 Sep '11

Logic-ml の皆様，東北大学の江口と申します．下記の要領で東北大学ロジックセミナー(田中一之研究室)を開催いたします．興味のある方は参加をご検討ください．日時：9月26日(月)，16時から．場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者：Florian Pelupessy (Ghent University, Belgium) タイトル：Phase transitions for unprovability アブストラクト： The talk will be an introduction to phase transitions for unprovability: theorems with a parameter function change from provable to unprovable with a change in that parameter. Additionally we will present a transition for a Ramsey-like statement and for a theorem by Maclagan on monomial ideals. 東北大学ロジックセミナーの詳細につきましては下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ 江口直日 -- Naohi Eguchi Mathematical Institute, Tohoku University 6-3, Aramaki Aza-Aoba, Aoba-ku, Sendai 980-8578, Japan E-mail: eguchi(a)math.tohoku.ac.jp

1 0

直前のお知らせ：Jouannaud氏Talk; Sept 22nd (木曜夕方)Mita Logic Seminar, on completion methods
by Mitsu Okada 22 Sep '11

22 Sep '11

****MITA LOGIC SEMINAR; PROF. J- P JOUANNAUD'S TALK and a discussion session**** ******************************************************************************* (The meeting is open to everyone without any preregistration) Theme "Completion methods, in Logic, algebra and Computer science" The Knuth-style completion procedure bridges Logic, Algebra and Computation. The aim of this meeting is to discuss the completion issue from the logical, algebraic, computer-scientific, historical and philosophical points of view. Date/Time Sept 22 Thursday 16:30pm-18:00pm Place: Meeting Room number 1, Basement of North Building (Hita-Kan), Mita Campus of Keio University; 5 minutes walking distance from JR-Tamachi, Subway-Mita or Subway-Akabanebashi. we recommend to you to use the East Gate where you find a security guard to ask the exact direction to the Meeting Room, if it is not clear for you with the campus map on our university's homepage. Main Speaker: Prof. Jean-Pierre Jouannaud, Professor of l'Ecole polytechnique and of INRIA, (French National Instutute of Computer Science) as well as the Ｓｏｆｔｗａｒｅ Chair of :INRIA- Tsinghua(精華大学) Beijing. Title: A complete tour of completion methods After the talk, we plan to have a discussion session on Knuth-Huet completions and some ther completion issues from the historical, mathematical, computer-scientific and philosophical view points.Af Abstract We shall present a unified view of completion methods in abstract algebras (Knuth and Bendix ; Peterson and Stickel; Huet; Jouannaud and Kirchner; Bachmair Dershowitz and Hsiang; Marché; Jouannaud Liu and Luo) and polynomial rings (Janet, Hironaka, Buchberger, Mora). Indeed, there are two quite different completion methods: Janet's methods, based on maintaining an inter-reduced system as a completion invariant, and all the others, based on reaching an inter-reduced system in the limit. As a result, we derive a new completion algorithm for abstract algebras. We conclude with a set of open problems when using an ill-founded completion order (inspired from Hironaka's local ring computation technique). Profile of the guest speaker: Jean-Pierre Jouannaud graduated from Ecole Polytechnique de Paris and obtained his doctorate from University Paris 6 in 1978. He was then a professor at the universities of Nancy, Paris-Sud, and at Ecole Polytechnique successively, as well as an invited professor at a number of places, including Stanford Research Institute and Stanford University in US, the University of Barcelona in Spain, Keio University in Japan and National Taiwan University in Taiwan. He is now a visiting chair professor at Tsinghua University in Beijing, China, holding a joint appointment with INRIA, the French research institute in ICT. His current research interests are at the interplay between deduction rules, rewrite rules, decision procedures and type theory, in the development of proof assistants (in particular, Coq, a leading open source proof assistant), and in their application to the formal proof of systems. He is the head of FORmal Methods for Embedded Systems, a joint project of LIAMA, the french-chinese consortium hosting their collaborative research in ICT of which he is the current french director. He published over 100 papers, among which 10 have over one hundred citations each. He won several awards during his career, including the "Prix Montpetit" of the french "Academie des Sciences" and the price for international scientific collaboration delivered by the "Academie des Sciences" and the National Research Council of Taiwan. He was on the program committee of a number of major international conferences including LICS (chair in 2011), ICALP, CSL, MFCS, FPLCA, RTA, CADE, etc. He created the International Conference on Rewriting Techniques and Applications, the International Conference on Constraints in Computational Logics which later merged with "Constraints" , the international workshops UNIF and CTRS, and the international conference on Certified Proofs and Programs to be held for the first time in 2011 in Kenting, Taiwan. He has been or is a member of the editorial boards of the Journal of Symbolic Computation, Information and Computation, Constraints, Progress in Theoretical Computer Science, and the International Journal of Softare and Informatics. He has been a member of the scientific council of the European Association for Computer Science Logic and of the European Association for Theoretical Computer Science. He has also been a member of the "Fachbeirat" of the Max Planck Institute for Computer Science, and is now on the scientific visiting committee of Academia Sinica, Taiwan. He chaired the jury of the Goedel prize awarded jointly by the EATCS and ACM-SIGACT in 2010, was a member of the jury of the Goedel prize (2008, 2009, 2010), of the LICS "test of time award" 2010, of the Kleene Price 2010, and of the Ackerman price 2011 ご不明な点がございましたら、logic(a)abelard.flet.keio.ac.jp (論理とオントロジーオープンリサーチセンター事務局まで、ご連絡ください。　岡田光弘、慶応大 ------------------------------- .

1 1

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml