Logic-ml May 2013

logic-ml@fos.kuis.kyoto-u.ac.jp

7 participants
10 discussions

KEOD special session
by 小野寛晰 31 May '13

31 May '13

皆様以下のメールを代理投稿します。　小野寛晰 ---------------------------------------- Dear Madam/Sir, I would like to announce the KEOD’s Special Session (this year in Vilamoura, Portugal) devoted to formal and non-formal aspects of nonmonotonicity. Strict applying of the definition of nonmonotonic inference shows that many examples for nonmonotonicity of human thinking as well as constructions, traditionally understood as nonmonotonic have nothing common with the negation of well known Tarski’s condition for monotonic operation. A rejection from nonmonotonic interpretation of those examples and constructions opens new perspectives in researches on human thinking. http://www.keod.ic3k.org/non-nonmonotonicity.aspx With kind regards, Piotr Lukowski - Chair of KEOD’s Special Session: “Non-nonmonotonicity” Department of Cognitive Science Institute of Psychology University of Lodz, Poland

1 0

Fwd: GALOP 2013 - 2nd Call for Papers
by Ichiro Hasuo 28 May '13

28 May '13

みなさま，こんにちは！東京大学の蓮尾です． SCメンバーとして，ゲーム意味論についてのワークショップ GaLoP のご案内を再度お送りします．投稿締切は 5/31 ですが，アブストラクトのみの投稿で，論文投稿は optional です．ぜひご検討ください．どうかよろしくお願いいたします．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ---------- Forwarded message ---------- 8th Workshop on Games for Logic and Programming Languages (GaLoP 2013) // Queen Mary, University of London // London, UK // 18-19 July // [http://www.gamesemantics.org] ----------------------------------------------------------------------- Please note the deadline of *** MAY 31 *** for submission of abstracts. ----------------------------------------------------------------------- GaLoP is an annual international workshop on game-semantic models for logics and programming languages and their applications. This is an informal workshop that welcomes work in progress, overviews of more extensive work, programmatic or position papers and tutorials as well as contributed papers and invited talks. GaLoP VIII will be held in London, UK, on 18-19 July 2013. It will be a stand-alone workshop hosted at the Mile End campus of Queen Mary, University of London. Contributions are invited on all pertinent subjects, with particular interest in game-semantic and interaction models for logics and programming languages, and applications to program analysis. Typical but not exclusive areas of interest are: * Game theory and interaction models in semantics; * Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of games; * Categorical aspects; * Programming languages and full abstraction; * Higher-order automata and Petri nets; * Geometry of interaction; * Ludics; * Epistemic game theory; * Logics of dependence and independence; * Computational linguistics. There will be no formal proceedings but the possibility of a special issue in a journal will be considered (the 2005, 2008 and 2011 workshops led to special issues in Annals of Pure and Applied Logic). // Submission Instructions // Please submit an abstract of your proposed talk on the easychair submission page below. You may also submit an accompanying paper for the talk. https://www.easychair.org/conferences/?conf=galop2013 // Important Dates // Submission: May 31 Notification: June 7 Workshop: July 18-19 // Invited speakers // * Ichiro Hasuo, Tokyo * Colin Stirling, Edinburgh * Viktor Winschel, Mannheim * Nobuko Yoshida, Imperial // Program Committee // * Ugo Dal Lago, Bologna * Dan Ghica, Birmingham * Juha Kontinen, Helsinki * Guy McCusker, Bath (co-chair) * Andrzej Murawski, Warwick * Nikos Tzevelekos, QMUL (co-chair) * Glynn Winskel, Cambridge

1 0

Kobe Colloquium on Logic, Statistics and Informatics, May 28 (Daisuke Ikegami)
by Joerg Brendle 23 May '13

23 May '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年5月28日（火）13:20-14:50 講演者：Daisuke Ikegami (University of California, Berkeley) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Inner models from logics アブストラクト： The goal of this research is to construct a model of set theory which is "close to" HOD but easier to analyze. The motivation comes from Woodin's HOD Conjecture, which states that HOD is very "close to" V under the presence of a very strong large cardinal (extendible cardinal). HOD Conjecture is closely related to the problem of constructing a canonical extender model with a supercompact cardinal and it has striking applications to the theory of large cardinals without the Axiom of Choice. To solve HOD Conjecture, one would expect a fine analysis of HOD. The difficulty of the analysis of HOD lies in the fact that HOD is very "non-absolute", e.g., one could force V = HOD with a proper class partial order. Given that HOD is obtained using full second order logic in the same way as Gödel's constructible universe L via first order logic, in this talk, we use Boolean valued higher order logics to construct inner models of set theory which are more "absolute" than HOD and investigate the properties of the models. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

Talk by Irek Ulidowski (U. Leicester), Tue 21 May
by Ichiro Hasuo 20 May '13

20 May '13

みなさま，東京大学の蓮尾です．来週火曜日の研究室セミナーでは， Leicester 大学の Irek Ulidowski さんをお迎えしてプロセス計算と event structure に関するご研究をお話いただきます．ぜひご参加ください．蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Tue 21 May 2013, 15:30-17:30 Irek Ulidowski (University of Leicester) Modelling of bonding with processes ad events 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html （一番下） Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom) We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures.

1 1

Seminar (Bakhadyr Khoussainov), Mon May 20, Tamachi
by Akitoshi Kawamura 18 May '13

18 May '13

皆様東大の河村ですお世話になっております直前の御連絡ですみませんが 20日（月）の講演会の御案内ですどうぞお越し下さい -- 河村彰星東京大学大学院情報理工学系研究科コンピュータ科学専攻助教（今井研究室） 03-5841-4097 http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/index_j.html ELC Seminar http://www.al.ics.saitama-u.ac.jp/elc/event/list.cgi?regid=20130520-0000-20… Monday 1 pm, May 20, 2013 Seminar room, ELC Centre, 5th floor of Tokyo Institute of Technology Tamachi office (東京工業大学キャンパスイノベーションセンター) http://www.al.ics.saitama-u.ac.jp/elc/en/?celc Algorithmically random infinite structures Bakhadyr Khoussainov (University of Auckland) The last two decades have witnessed significant advances in the investigation of algorithmic randomness of infinite strings. Monographs by Downey and Hirschfeldt, and by Nies account for the recent research activities in the area. In spite of much work, research on randomness of infinite strings has excluded the investigation of algorithmic randomness for infinite algebraic structures such graphs, trees, groups or more generally universal algebras. In this talk, we provide a framework for reasoning about algorithmic randomness for various classes of infinite structures.

1 0

Nagoya Set Theory Seminar
by 吉信康夫 16 May '13

16 May '13

皆様：以下の要領で名古屋集合論セミナーを開催します。奮って御参加下さい。日時：5月24日(金) 15:30- 場所：名古屋大学全学教育棟3階 SIS5 教室 (http://www.nagoya-u.ac.jp/2012website/global-info/images/access-map/map2.pdf の地図でB4(1)の建物です。建物内配置図は http://www.ilas.nagoya-u.ac.jp/student/lectureroom/ でご覧になれます。 SIS5 教室は3階の中央より少し北, C36の北隣にあります。) 講演者：池上大祐 (学振海外特別研究員, カリフォルニア大学バークレー校) 題： Inner models from logics アブストラクト： The goal of this research is to construct a model of set theory which is "close to" HOD but easier to analyze. The motivation comes from Woodin's HOD Conjecture, which states that HOD is very "close to" V under the presence of a very strong large cardinal (extendible cardinal). HOD Conjecture is closely related to the problem of constructing a canonical extender model with a supercompact cardinal and it has striking applications to the theory of large cardinals without the Axiom of Choice. To solve HOD Conjecture, one would expect a fine analysis of HOD. The difficulty of the analysis of HOD lies in the fact that HOD is very "non-absolute", e.g., one could force V = HOD with a proper class partial order. Given that HOD is obtained using full second order logic in the same way as Gödel's constructible universe L via first order logic, in this talk, we use Boolean valued higher order logics to construct inner models of set theory which are more "absolute" than HOD and investigate the properties of the models.

1 0

NUE seminar (33)
by Yoshihito Toyama 16 May '13

16 May '13

第 33 回 NUEセミナーのお知らせ東北大学・電気通信研究所・外山研究室ではNUEセミナーを開催しています。テーマはプログラム理論や定理自動証明を中心に、情報科学の理論的なさまざまな話題をとりあげています。興味をおもちの方はどなたでもフラリと気楽におたちより下さい。 ********************************************* 日時：　５月２３日（木）１４：００ -- １５：３０場所：東北大学・電気通信研究所・２号館・４階中会議室 (W401) ********************************************* 講演話題提供者： Irek Ulidowski (University of Leicester) 題目： Modelling of bonding with processes ad events 概要： We introduce two forms of modelling of systems that consist of objects that are combined together by the means of bonds. In reaction systems for bonding we define how bonds are created and dissolved via reduction-style semantics. The usefulness of reaction systems is illustrated with examples taken from software engineering and biochemistry. We also introduce reversible event structures and define the notion of configuration. We then discuss how to give semantics of reaction systems for bonding in terms of reversible event structures. ============================================== NUEセミナーに関する問い合わせは以下にどうぞ。外山芳人〒980-8577 仙台市青葉区片平 2-1-1 東北大学電気通信研究所 TEL 022 217 5449 FAX 022 217 5452 MAIL toyama(a)nue.riec.tohoku.ac.jp

1 0

教員公募 (東北大学)
by Yoshihito Toyama 15 May '13

15 May '13

LOGIC MLの皆様メーリングリストをお借りして、の教員公募教授１名の案内を送付いたします。(重複して受信された場合はご容赦ください) 応募締切は 7月26日（金）必着です。外山芳人@東北大学 ----------------------------------------------------------------------- 教員公募情報東北大学大学院情報科学研究科情報基礎科学専攻では、教授職の教員を下記により公募いたします。募集人員：教授１名所　　属：情報基礎科学専攻ソフトウェア基礎科学分野専門分野：　本分野では、ソフトウェアが実現すべき機能の複雑化と高機能化に対する要請に応えるために、ソフトウェアの厳密な論理構造の追究と、それに基づく信頼性や生産性を支える新たな学術的基盤の確立を目的としています。具体的には、プログラムや仕様記述などの形式化に基づいた開発手法や検証手法の構築を通して高信頼性・高生産性を有するソフトウェア開発に貢献するための研究と教育を行います。着任時期：平成26年4月頃、またはそれ以降のなるべく早い時期応募資格：博士号取得者。年齢については特に制限はありません。応募期限：平成25年7月26日（金）必着なお、提出書類や書類送付先などの詳細につきましては以下をご覧ください。 http://www.is.tohoku.ac.jp/publicadv/kobo130425.html -----------------------------------------------------------------------

1 0

Fwd: PhD positions in operational semantics at Univ. of Warsaw
by Ichiro Hasuo 14 May '13

14 May '13

みなさま，東京大学の蓮尾です．ワルシャワ大学の Bartek Klin さんからの博士課程学生募集のメッセージを転送します．プロジェクトの内容は bialgebra と operational semantics で，給料はとても良くはありませんが，ワルシャワの物価を考えると十分な額だと思います．ごはんもおいしくて楽しい街です．また，同じプロジェクトでポスドクの募集もそのうちにあるそうです．蓮尾一郎 www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ----------------------------------------------------------------------------------------------------------- Two PhD student positions will soon be available to work under the direction of Bartek Klin in the Institute of Informatics, University of Warsaw. The positions are in the field of semantics of programming languages and process algebras, in connection to the project "Modular operational semantics: a bialgebraic approach", funded by the Polish National Science Center. The applicants should have solid background in Mathematics and Computer Science, and be interested in topics such as semantics of programming languages, process algebra, formal methods, and/or category theory. The positions will be available from October 2013. Interested candidates should apply for a PhD fellowship at the Warsaw Center of Mathematics and Computer Science (http://www.wcmcs.edu.pl/node/38), with the deadline of *** June 7th, 2013 ***. A successful candidate will earn 5000PLN(~1200EUR)/month (3500PLN tax-free from the WCMCS fellowship + 1500PLN pre-tax funded by the research project), subject to yearly evaluation of progress. The positions are associated with teaching duties of up to 60 hours/year. Any queries about the positions should be addressed to Bartek Klin, klin(a)mimuw.edu.pl . -----------------------------------------------------------------------------------------------------------

1 0

DCM 2013 - Call for Papers
by Nao Hirokawa 10 May '13

10 May '13

皆様 CONCUR 2013 に併設されます、計算モデルに関するワークショップ DCM 2013 の論文募集の案内をお送り致します。ご投稿・ご参加を検討して頂ければ幸いです。廣川　直（JAIST） ====================================================================== Call for Papers DCM 2013 Developments in Computational Models http://www.dcm-workshop.org.uk/2013 Buenos Aires, Argentina Monday August 26 2013 A satellite event of CONCUR 2013 ====================================================================== Several new models of computation have emerged in the last years, and many developments of traditional computational models have been proposed with the aim of taking into account the new demands of computer systems users and the new capabilities of computation engines. A new computational model, or a new feature in a traditional one, usually is reflected in a new family of programming languages, and new paradigms of software development. The aim of this workshop is to bring together researchers who are currently developing new computational models or new features for traditional computational models, in order to foster their interaction, to provide a forum for presenting new ideas and work in progress, and to enable newcomers to learn about current activities in this area. DCM 2013 will be a one-day satellite event of CONCUR 2013. Topics of interest include all abstract models of computation and their applications to the development of programming languages and systems: - quantum computation, including implementations and formal methods in quantum protocols; - probabilistic computation and verification in modelling situations; - chemical, biological and bio-inspired computation, including spatial models, self-assembly, growth models; - general concurrent models including the treatment of mobility; - infinitary models of computation; - trust, and security; information-theoretic ideas in computing. SUBMISSION ---------- Submit your paper in PDF format via the conference EasyChair submission page: http://www.easychair.org/conferences/?conf=dcm2013 Submissions should be an abstract of at most 5 pages, written in English. Simultaneous submission to journals, conferences or other workshops is not permitted. Please use the EPTCS macro package and follow the instructions of EPTCS: http://eptcs.org/ http://style.eptcs.org/ A submission may contain an appendix, but reading the appendix should not be necessary to assess its merits. PUBLICATION ----------- Accepted contributions will appear in EPTCS (Electronic Proceedings in Theoretical Computer Science). After the workshop, full versions of selected papers will be invited for a special issue in an internationally leading journal. IMPORTANT DATES --------------- - Submission Deadline for Abstracts: 1 June 2013 - Notification: 1 July 2013 - Pre-proceedings version due: 1 August 2013 - Workshop: 26 August 2013 INVITED SPEAKER: Veronica Becher (Universidad de Buenos Aires, Argentina) PROGRAMME COMMITTEE: Pablo Arrighi (France) Mauricio Ayala Rincon (Brazil) co-chair Pablo Barcelo (Chile) Mario Benevides (Brazil) Eduardo Bonelli (Argentina) co-chair Paola Bonizzoni (Italy) Nachum Dershowitz (Israel) Ruben Gamboa (USA) Rajeev Gore (Australia) Holger Hermanns (Germany) Nao Hirokawa (Japan) Jean Krivine (France) Luis Lamb (Brazil) Ian Mackie (France) co-chair Cesar Munoz (USA) Carlos Olarte (Colombia) Femke van Raamsdonk (Netherlands) Camilo Rocha (Colombia) Nora Szasz (Uruguay) Rene Thiemann (Austria)

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2013