- Logic-ml - fos.kuis.kyoto-u.ac.jp

春の数学会
by KASHIMA Ryo 24 Dec '13

24 Dec '13

日本数学会数学基礎論および歴史分科会会員の皆様、連絡責任評議員の鹿島です。春の学会（2014年3月15日(土)から3月18日(火)学習院大学）の一般講演オンライン申し込み締め切り（12月1日）が迫ってきました。現在のところ申し込み件数が少ない状態ですので、ぜひとも発表をご検討ください。開催情報は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/ ＝＝＝＝＝＝＝＝＝＝【発表をされる方へのお願い】今回から新たに、　アブストラクトの最終的な印刷用PDFファイルの確認を講演申し込み者本人が行うということになりました。具体的には12月24日（火）から12月27日（金）の短い期間に申込者本人が確認作業をする必要があるようです。詳細は以下をご覧下さい： http://mathsoc.jp/meeting/gakushuin14mar/outline.html ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

CFP: Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (Russia)
by BEKKI Daisuke 24 Dec '13

24 Dec '13

------------------------------------------------------------------- The International Interdisciplinary Conference Philosophy, Mathematics, Linguistics: Aspects of Interaction 2014 (PhML-2014) St. Petersburg, Russia, April 21--25, 2014 <http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html> ------------------------------------------------------------------- CONFERENCE DESCRIPTION ====================== The conference PhML-2014 will be held on April 21--25, 2014 at the Euler International Mathematical Institute (EIMI), which is a research unit of the St. Petersburg Department of Steklov Institute of Mathematics of the Russian Academy of Sciences (PDMI RAS). The conference PhML-2014 is endorsed by the American National Committee of the Division of Logic, Methodology and Philosophy of Science (DLMPS) of the International Union of the History and Philosophy of Science (IUHPS), the Japan Association for Philosophy of Science, the Swedish National Committee for Logic, Methodology and Philosophy of Science. The conference PhML-2014 is a sequel in the series of conferences intended to provide a forum for philosophers, mathematicians, linguists, logicians, and computer scientists who share an interest in cross-disciplinary research. Presentations will be given in English. PROGRAM COMMITTEE ================= Toshiyasu Arai, Chiba University Edward Hirsch, PDMI RAS Wilfrid Hodges, Queen Mary University of London Makoto Kanazawa, National Institute of Informatics, Japan Alexander Leitsch, Vienna University of Technology Angus Macintyre, Queen Mary University of London Klaus Mainzer, University of Munich Per Martin-Lo"f, Stockholm University Ivan Mikirtumov, St. Petersburg State University Grigori Mints, University of Stanford -- chair Grigory Olkhovikov, Ural Federal University Vladimir Orevkov, PDMI RAS Rohit Parikh, The City University of New York Barbara Partee, University of Massachusetts, Amherst Dag Prawitz, Stockholm University Oleg Prosorov, PDMI RAS Michael Rathjen, University of Leeds Andrei Rodin, Institute of Philosophy RAS, St. Petersburg State University Vladimir Rybakov, University of Liverpool Vladislav Shaposhnikov, Moscow State University Albert Visser, Utrecht University ORGANIZING COMMITTEE ==================== Vladimir Orevkov, PDMI RAS Oleg Prosorov, PDMI RAS -- chair Andrei Rodin, Institute of Philosophy RAS, St. Petersburg State University Maxim Vsemirnov, PDMI RAS PLENARY SESSIONS ================ At present, the following plenary speakers are confirmed: Dmitry Grigoryev, CNRS, Universite' Lille 1 Klaus Mainzer, University of Munich Yuri Manin, Max-Planck-Institut fu"r Mathematik, Bonn Grigori Mints, University of Stanford Aleksei Parshin, Steklov Institute of Mathematics RAS, Moscow Oleg Prosorov, PDMI RAS Andrei Rodin, Institute of Philosophy RAS, St. Petersburg State University Gabriel Sandu, University of Helsinki Anatol Slissenko, LACL, Universite' Paris-Est Cre'teil Nikolai Vavilov, St. Petersburg State University Anatoly Vershik, PDMI RAS Each presentation of a plenary paper is allotted 55 min, which includes 10 min for questions and discussion. PANEL DISCUSSION ================ The conference will feature a panel discussion entitled "Understanding complexity in cross-disciplinary research" allotted up to 90 min. Discussion will be led by Klaus Mainzer (University of Munich). THEMATIC SESSIONS ================= Apart from plenary sessions, there will also be three parallel thematic sessions to present contributed papers: - Mathematical and logical methods in philosophy and in sciences of language; - Philosophical Insights into Logic and Mathematics; - Complexity in mathematics, philosophy, linguistics. Each presentation of a contributed paper is allotted 25 min, including 5 min for questions. CALL for PAPERS =============== For presentation at thematic sessions, the conference PhML-2014 invites the submission of contributed papers on original and unpublished research relating to the interplay between philosophy, mathematics and linguistics. Papers from any tradition and from a wide variety of perspectives are welcome, including but in no way limited to the following topics: - New trends in the foundations of mathematics; - Complexity in mathematics, logic, linguistics; - Ontology of mathematics and the nature of mathematical truth; - The problem of abstract entities in mathematics, philosophy and linguistics; - Philosophical aspects of informatics, novel computational models and paradigms; - Philosophy of mathematics and philosophy of logic; - Mathematical investigation of natural language structures. PAPER SUBMISSION ================ Papers should be prepared in LaTeX or MS Word using style files of PhML-2014 format and be submitted electronically as pdf and source files via e-mail: <PhML-2014(a)pdmi.ras.ru>. For more details, see: <http://www.pdmi.ras.ru/EIMI/2014/PhML/index_files/submission.html>. IMPORTANT DATES =============== - Submission deadline for contributed papers: March 1st, 2014 - Notification of acceptance: March 15, 2014 - Final date for camera-ready copy: March 31st, 2014 - Conference starts: April 21st, 2014 PROCEEDINGS =========== The Proceedings of PhML-2014, including both invited and contributed papers, will be published before the meeting as a volume in the EIMI's local series and distributed to the participants. It is planned that selected papers will be published at an international publishing house as a special post-conference issue. PARTICIPATION ============= For further practical information, see: <http://www.pdmi.ras.ru/EIMI/2014/PhML/index.html>

1 0

IWC 2014 & CoCo 2014: First Call for Papers and Provers
by Takahito Aoto 24 Dec '13

24 Dec '13

来年，ウィーンで開催されます FLoC の併設ワークショップになります，合流性に関するワークショップ IWC 2014 と，IWC 開催中に行われます，合流性自動証明システムのコンペティション CoCo 2014 のご案内です．関連する話題をお持ちの方がおられましたら，ぜひご投稿を検討頂ければ幸いです．青戸等人東北大学電気通信研究所 This is a joint call for papers and provers for IWC 2014 and CoCo 2014. ===================================================================== First Call for Papers IWC 2014 3rd International Workshop on Confluence 13 July 2014, Vienna, Austria, a FLoC workshop affiliated with RTA-TLCA http://www.nue.riec.tohoku.ac.jp/iwc2014/ ===================================================================== Confluence provides a general notion of determinism and has been conceived as one of the central properties of rewriting. Confluence relates to many topics of rewriting (completion, modularity, termination, commutation, etc.) and had been investigated in many formalisms of rewriting such as first-order rewriting, lambda-calculi, higher-order rewriting, constrained rewriting, conditional rewriting, etc. Recently there is a renewed interest in confluence research, resulting in new techniques, tool supports, certification as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is a FLoC workshop affiliated with RTA-TLCA (FLoC 2014 is collocated with Vienna Summer of Logic 2014). Previous editions of the workshop were held in Nagoya (2012) and Eindhoven (2013). During the workshop the 3rd Confluence Competition (CoCo 2014) takes place. IMPORTANT DATES: * submission April 16, 2014 * notification May 14, 2014 * final version May 28, 2014 * workshop July 13, 2014 TOPICS: Specific topics of interest include: * confluence and related properties (unique normal forms, commutation, ground confluence) * completion * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence INVITED SPEAKERS: * TBA PROGRAM COMMITTEE: * Takahito Aoto Tohoku University (co-chair) * Thibaut Balabonski Gallium - Inria Rocquencourt * Eduardo Bonelli Universidad Nacional de Quilmes * Delia Kesner University Paris - Diderot (co-chair) * Naoki Nishida Nagoya University * Colin Riba LIP - ENS Lyon * Pierre-Yves Strub IMDEA Software * René Thiemann University of Innsbruck * Ashish Tiwari SRI International SUBMISSION: We solicit short papers or extended abstracts of at most five pages. There will be no formal reviewing. In particular, we welcome short versions of recently published articles and papers submitted elsewhere. The program committee checks relevance and may provide additional feedback. The accepted papers will be made available electronically before the workshop. The page limit for papers is 5 pages in EasyChair style. Short papers or extended abstracts must be submitted electronically through the EasyChair system at: https://www.easychair.org/account/signin.cgi?conf=iwc2014 ====================================================================== First Call for Provers CoCo 2014 3rd Confluence Competition 13 July 2014, Vienna, Austria http://coco.nue.riec.tohoku.ac.jp/2014/ ====================================================================== Recently, several new implementations of confluence tools are reported and interest for proving/disproving confluence "automatically" has been grown. The confluence competition aims to foster the development of techniques for proving/disproving confluence automatically by a dedicated competition among such tools. The 3rd Confluence Competition (CoCo 2014) will run ***live*** during the 3rd International Workshop on Confluence (IWC 2014), which is a FLoC workshop affiliated with RTA-TLCA (FLoC 2014 is collocated with Vienna Summer of Logic 2014). The following categories are currently planned: * confluence of first-order term rewrite systems * confluence of (oriented/join/semi-equational) conditional term rewrite systems * certification Besides these categories, new categories will be considered if there are tools and problems dedicated to those categories. Submissions of new confluence problems are also welcome. For more information including examples of new categories to be considered, platforms, competition rules and problems, see the webpage of CoCo 2014 indicated above. IMPORTANT DATES: * requests for new categories March 7, 2014 * tool registration June 27, 2014 * tool submission July 4, 2014 * problem submission July 9, 2014 * competition July 13, 2014 REQUEST FOR NEW CATEGORIES: We welcome requests for new categories. Request for new categories is via the contact email address. Please send us the following information at your earliest convenience: * description of problems and semantics (rewrite steps, confluence, etc.) together with adequate references * a proposal of the input format (if necessary) Requests for new categories may be rejected for technical reasons. SUBMISSION OF NEW PROBLEMS: Submissions of new confluence problems are welcome. Please use the web interface of Cops (Confluence Problems) database linked from the webpage of CoCo 2014. REGISTRATION/SUBMISSION: Tool registration is via the contact email address. Every tool registration should also contain a one page system description. Tool submission will be via StarExec. ORGANISING COMMITTEE: * Takahito Aoto Tohoku University (chair) * Nao Hirokawa JAIST * Harald Zankl University of Innsbruck CONTACT: coco-sc [AT] jaist.ac.jp

1 0

Fwd: [PVS] Fwd: Preliminary CfP: IFIP-TCS 2014
by Ichiro Hasuo 23 Dec '13

23 Dec '13

======================================================= TCS 2014 8th IFIP International Conference on Theoretical Computer Science September 1-3, 2014 Rome, Italy http://www.cyprusconferences.org/tcs2014/ Held in conjunction with the 25th Conference on Concurrency Theory (CONCUR 2014) AIM AND SCOPE OF THE CONFERENCE: Under the patronage of the International Federation of Information Processing (IFIP), since year 2000 the IFIP Technical Committee 1 (Foundations of Computer Science) has organized a series of biannual international conferences in Theoretical Computer Science. After Sendai (2000), Montreal (2002), Toulouse (2004), Santiago (2006), Milano (2008), Brisbane (2010), and Amsterdam (2012), the 8th edition will be held in Rome in September 2014, in cooperation with the IFIP Working Group 2.2 (Formal Description of Programming Concepts) and in conjunction with the 25th Conference on Concurrency Theory. We call for papers in all areas of Theoretical Computer Science: they will be evaluated by two committees: Track A: Algorithms, Complexity and Models of Computation Track B: Logic, Semantics, Specification and Verification TOPICS: Suggested, but not exclusive, topics of interest include: Track A - analysis and design of algorithms; automata and formal languages; cellular automata and systems; combinatorial, graph and optimization algorithms; computational learning theory; computational complexity; computational geometry; cryptography; descriptive complexity; evolutionary and genetic computing; experimental algorithms; mobile computing; molecular computing and algorithmic aspects of bioinformatics; network computing; neural computing; parallel and distributed algorithms; probabilistic and randomized algorithms; quantum computing; structural information and communication complexity. Track B - automata theory; automated deduction; constructive and non-standard logics in computer science; concurrency theory and foundations of distributed and mobile computing; database theory; finite model theory; formal aspects of program analysis, foundations of hybrid and real-time systems; lambda and combinatory calculi; logical aspects of computational complexity; modal and temporal logics; model checking and verification; probabilistic systems; logics and semantics of programs; foundations of security; term rewriting; specifications; type, proof and category theory in computer science. SUBMISSION GUIDELINES: Authors are invited to submit an extended abstract of at most 15 pages (LNCS style with at least 11-point font size) to arrive before April 27, 2014. If more space is needed, a clearly marked appendix, to be read at the discretion of the program committee, may be included if desired. Submission will be handled by EasyChair. Further information and submission details can be found on the Conference web page. Simultaneous submissions to other conferences with published proceedings are not allowed. PROCEEDINGS: The conference proceedings will be published by Springer-Verlag in Lecture Notes in Computer Science (LNCS) series. Selected papers from TCS 2014 will be invited to a special issue of the Journal Theoretical Computer Science. IMPORTANT DATES: Deadline for submission: April 27, 2014. Notification of acceptance: June 25, 2014. Final manuscript due: July 6, 2014. Conference: September 1-3, 2014. STEERING COMMITTEE: - Giorgio Ausiello, Sapienza Univ. di Roma - Jos Baeten, CWI Amsterdam - Jacques Sakarovitch, CNRS/T el ecom ParisTech CONFERENCE CO-CHAIRS: - Daniele Gorla, Sapienza Univ. di Roma - Rossella Petreschi, Sapienza Univ. di Roma PROGRAM COMMITTEES: Track A - Cristian Calude, University of Auckland - Josep Diaz (Chair), UPC Barcelona - Irene Finocchi, Sapienza Univ. di Roma - Paola Flocchini, University of Ottawa - Aristides Gionis, Aalto University Helsinki - Mordecai Golin, Hong Kong University of Tech. - Juhani Karhumaki, Turku University - Massimo Melucci, Univ. di Padova - Elvira Mayordomo, Universidad de Zaragoza - Friedhelm Meyer auf der Heide, Univ. of Paderborn - Pekka Orponen, Aalto University Helsinki - Giuseppe Persiano, Univ. di Salerno - G eraud S enizergues, Universit e Bordeaux 1 - Olivier Serre, CNRS / Universit e Paris 7 - Paul Spirakis, University of Liverpool - Osamu Watanabe, Tokyo Inst. of Technology - Peter Widmayer, ETH Zurich Track B - Jos Baeten, CWI Amsterdam - Lars Birkedal, Aarhus University - Andrei Bulatov, Simon Fraser University - James Cheney, University of Edinburgh - Ugo Dal Lago, Univ. di Bologna - Jos ee Desharnais, Universit e Laval - Jorg Endrullis, Vrije Universiteit Amsterdam - J erome Feret, ENS Paris - Marcelo Fiore, University of Cambridge - Silvio Ghilardi, Univ. di Milano - Benjamin Gr egoire, INRIA Sophia - Ichiro Hasuo, University of Tokyo - Marieke Huisman, University of Twente - Jean Krivine, CNRS / Universit e Paris 7 - Radha Jagadeesan, DePaul University, Chicago - Ivan Lanese, Univ. di Bologna - Grigore Rosu, University of Illinois at U-C - Davide Sangiorgi (Chair), Univ. di Bologna - Vladimiro Sassone, University of Southampton - Igor Walukiewicz, CNRS / Universit e Bordeaux 1

1 0

GaLoP 2014: Call for Abstracts (1 page max)
by Ichiro Hasuo 23 Dec '13

23 Dec '13

9th Workshop on Games for Logic and Programming Languages (GaLoP 2014) Grenoble, France, 12-13 April http://www.gamesemantics.org 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. GaLoP IX will be held in Grenoble, France on 12-13 April 2014 as a satellite workshop of ETAPS (http://www.etaps.org/). Areas of interest include: * Games and other interaction-based denotational models; * Games-based program analysis and verification; * Logics for games and games for logics; * Algorithmic aspects of game semantics; * Categorical aspects of game semantics; * 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 (up to one page) of your proposed talk on the easychair submission page below. Supplementary material may be submitted, and will be considered at the discretion of the PC. https://www.easychair.org/conferences/?conf=galop2014 Important Dates Submission: January 25, 2014 Notification: February 5, 2014 Workshop: April 12-13, 2014 Program Committee • Pierre Clairambault, Lyon • Dan Ghica, Birmingham • Ichiro Hasuo, Tokyo • Jim Laird, Bath (chair) • John Longley, Edinburgh • Gabriel Sandu, Paris • Alexis Saurin, Paris

1 0

Call for papers: LATD2014
by 小野寛晰 18 Dec '13

18 Dec '13

　　　　　Logic, Algebra and Truth Degrees 2014 　　　　　　　http://www.logic.at/latd2014 　　　　　　July 16 - 19, Vienna, Austria Call for papers The conference "Logic, Algebra and Truth Degrees 2014" will be held on 16-19 July 2014 in Vienna, Austria, as part of the Vienna Summer of Logic event http://vsl2014.at . Logic, Algebra and Truth Degrees is the fourth official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic. Mathematical Fuzzy Logic is the sub-discipline of Mathematical Logic that is concerned with the notion of comparative truth. The assumption that "truth comes in degrees" has proved to be very useful in many theoretical and applied areas of Mathematics, Computer Science, and Philosophy. The featured topics include: Proof theory and computational complexity Algebraic semantics and abstract algebraic logic First, higher-order and modal formalisms Applications and foundational issues Geometric and game theoretic aspects We particularly welcome contributions on many-valued and related logical systems. Invited speakers: Silvio Ghilardi, Italy Melvin Fitting, USA George Metcalfe, Switzerland Dale Miller, France Dana Scott, USA Alasdair Urquhart, Canada Tutorials: Franz Baader, Germany Vincenzo Marra, Italy Programme Committee: Arnon Avron, Israel Matthias Baaz (Chair), Austria Agata Ciabattoni (Co-Chair), Austria Petr Cintula, Czech Republic Nikolaos Galatos, USA Lluis Godo, Spain Rosalie Iemhoff, The Netherlands Nicola Olivetti, France Hiroakira Ono, Japan Kazushige Terui, Japan Richard Zach, Canada Contributed talks: Abstracts of contributed talks, 2-4 pages, are to be prepared using the ASL abstract template and submitted via Easychair. The accepted abstracts will be available on-line and published in the joint volume of abstracts with the Logic Colloquium. The deadline for contributions is 6th April 2013. The notification of acceptance will be sent by 10th May 2013. For more information please visit the official web page of the conference: http://www.logic.at/latd2014. All correspondence should be directed to latd2014(a)logic.at. Please feel free to distribute this call. The Organizing Committee Agata Ciabattoni (Chair), Paolo Baldi, Petr Cintula, Bjorn Lellmann, Revantha Ramanayake, Lara Spendier

1 0

WoLLIC 2014 - 2nd Call for Papers
by 小野寛晰 16 Dec '13

16 Dec '13

[Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Verónica Becher (U Buenos Aires) Juha Kontinen (U Helsinki) Aarne Ranta (U Gothenburg) Kazushige Terui (U Kyoto) Luca Viganò (King’s College London) Thomas Wilke (U Kiel) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

[CFP] PPL2014 論文募集のお知らせ: 第16回プログラミングおよびプログラミング言語ワークショップ
by Keisuke Nakano 15 Dec '13

15 Dec '13

＊＊＊重複して受け取られた場合はご容赦ください＊＊＊電気通信大学の中野と申します．来年3月に熊本県阿蘇市阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) の論文募集の最終案内をさせていただきます．カテゴリ1への発表申込(タイトルと概要のみ)の締切は今週の金曜(12/20)ですが，論文の締切は1/8ですので是非投稿をご検討ください． -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)～3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションを披露した学生に発表賞を授与する予定です．カテゴリ1（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2014参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2014プログラム委員会により優れていると認めるものは，PPL2014終了後（2014年4月下旬予定），「コンピュータソフトウェア」誌のPPL2014推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定する可能性があります．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 投稿・発表申込要領 3つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ------------------------------ 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://www.easychair.org/account/signin.cgi?conf=ppl2014 (EasyChairのアカウントが必要です) 発表申込締切：2013年12月20日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300～400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2014年1月8日(水) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2014年2月3日(月) 最終原稿提出締切：2014年2月14日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年1月24日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2014年2月5日(水) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年2月7日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200～300字程度）をご提出ください．採否通知：2014年2月14日(金) 問い合わせ先：ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

CFP for MSFP 2014
by Makoto Hamana 15 Dec '13

15 Dec '13

$B3'MM!"(B $B?t3XE*9=B$$K4p$E$/4X?t7?%W%m%0%i%_%s%08&5f$N%o!<%/%7%g%C%W(B MSFP $B$N$40FFb$G$9!#(BETAPS'14$BJ;@_$G!:@Z$,6a$/$J$C$F$*$j$^$9$,!"(B $B$<$REj9F$r$48!F$$/$@$5$$!#(B $B$J$*!">7BT9V1i$N0l?M$O5~ETBg3X$N>!8T$5$s$G$9!#(B -- $BIML>(B $B72GOBg3X(B ======================================================================== Fifth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 12 April 2014, in Grenoble, France. A satellite workshop of ETAPS 2014 http://www.cs.bham.ac.uk/~pbl/msfp2014/ The fifth 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 temporal logic? Call-by-push-value without adjunctions? 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. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. Important Dates: ================ Abstract 24 December 2013 Submission 31 December 2013 Notification 3 February 2014 Final version 10 February 2014 Workshop 12 April 2014 Invited Speakers: ================= Bob Atkey Shin-ya Katsumata, Kyoto Universty Topics: ======= Submissions are welcomed on, but by no means restricted to, topics such as: * structured effectful computation * structured recursion * structured corecursion * structured tree and graph operations * structured syntax with variable binding * structured datatype-genericity * structured search * structured representations of functions * structured quantum computation * structure directed optimizations * structured types * structure derived from programs and data Program Committee: ================== Andreas Abel, Chalmers and Gothenburg University Neil Ghani, The University of Strathclyde Makoto Hamana, Gunma University Neelakantan R. Krishnaswami (co-chair), University of Birmingham Paul Blain Levy (co-chair), University of Birmingham Rasmus M$Bxg(Belberg, IT University of Copenhagen Russell O'Connor, McMaster University 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, and will be published under the auspices of EPTCS under a Creative Commons license. There is no specific page limit, but authors should strive for brevity.

1 0

Call for Papers: 2nd AWPL
by 小野寛晰 10 Dec '13

10 Dec '13

The Second Asian Workshop on Philosophical Logic 12-13 April, 2014 Institute for Logic and Cognition Sun Yat-Sen University Guangzhou, China All researchers working on various aspects of philosophical logic are cordially invited to submit their papers by the submission deadline of January 20th, 2014. Authors should submit an (extended) abstract at least two pages but no more than ten pages. Papers must be submitted as PDF files and sent to liuhu2(a)mail.sysu.edu.cn . Each submission will be refereed. DESCRIPTION OF THE CONFERENCE: The Second Asian Workshop on Philosophical Logic will be held at Guangzhou, China, and is organized by the Institute of Logic and Cognition, Sun Yat-sen University from 12th to 13th April, 2014. The aim of the Workshop is to promote mutual understandings among researchers on logic working in Asian countries, and to establish closer collaborations in future. The scope of the Workshop will cover: philosophical logic, non-classical logics, algebraic logic, and their applications in computer science and cognitive science. IMPORTANT DATES: Abstract submission deadline: January 20, 2014 Notification of authors: February 15, 2014 Conference: April 12-13, 2014 POST-CONFERENCE PUBLICATION: All authors of papers presented at the conference will be encouraged to submit a full version to a post-conference volume published by Springer at the book series "Logic in Asia". See http://www.springer.com/series/13080 . All papers submitted to the post-conference proceedings will be refereed to high journal standards, and acceptance as a presentation is no guarantee that the post-conference paper will be published. The details of the post-conference proceedings will be announced later COMMITTEE: Chairs: Shier Ju （Sun Yat-sen University, China） Hiroakira Ono （JAIST, Japan） Program Committee: Wojciech Buszkowski （Adam Mickiewicz University, Poland） Mihir Chakraborty (Jadavpur University, India) Phan Minh Dung (Asian Institute of Technology, Thailand) Fenrong Liu (Tsinghua University, China) Jeremy Seligman (The University of Auckland, New Zealand) Wen-fang Wang (National Yang Ming University, Taiwan, China) Chin-mu Yang (National Taiwan University, Taiwan，China) Xishun Zhao (Sun Yat-sen University, China) Furthur information about the conference can be find here: http://logic.sysu.edu.cn/AWPL2014/

1 0

Nagoya Logic Seminar
by 吉信康夫 06 Dec '13

06 Dec '13

皆様：以下の要領で名古屋数学基礎論セミナーを開催します。奮って御参加下さい。日時：12月13日(金) 15:30- 場所：名古屋大学大学院情報科学研究科棟 1F 第2講義室 (http://www.nagoya-u.ac.jp/2012website/global-info/images/access-map/map2.pdf の地図でA4(3)の建物です。) 講演者：横山啓太 (北陸先端科学技術大学院大学) 題：On the second-order categoricity of the natural number system アブストラクト： It is important in the foundations of mathematics that the natural number system is characterizable as a system of 0 and a successor function by second-order logic. In other words, the following Dedekind's second-order categoricity theorem holds: every Peano system (P,e,F) is isomorphic to the natural number system (N,0,S). In this talk, I will investigate Dedekind's theorem and other similar statements. We will first do reverse mathematics over RCA0, and then weaken the base theory. This is a joint work with Stephen G. Simpson and Leszek Kolodziejczyk.

1 0

【再送】Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 05 Dec '13

05 Dec '13

皆様、先ほど流しました研究集会の案内のメールで、ホームページのアドレスが間違っておりました。正しいアドレスは http://www.jaist.ac.jp/CTFM/CTFM2014/index.html お詫びして訂正致します。横山 ************以下、再送************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします． invited speakers 等の情報については、近日中に下記のホームページにて公開致します。 http://www.jaist.ac.jp/CTFM/CTFM2014/index.html 12月15日より講演の募集を開始致しますので、宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Computability Theory and Foundations of Mathematics 2014
by YOKOYAMA Keita 05 Dec '13

05 Dec '13

皆様、以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2014 (2014年2月17日(月)〜2月20日(木)，東京工業大学大岡山キャンパス) を開催いたします． invited speakers 等の情報については、近日中に下記のホームページにて公開致します。 http://www.jaist.ac.jp/CTFM/temp/CTFM2014/index.html 12月15日より講演の募集を開始致しますので、宜しく参加・講演をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014) http://www.jaist.ac.jp/CTFM/temp/CTFM2014/index.html ============================================================ Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. -------------------------------------------- Submission for Presentations: December 15, 2013 -- January 15, 2014 -------------------------------------------- Organizing Committee: Hajime Ishihara(JAIST) Ryo Kashima(Tokyo Institute of Technology, local chair) Sam Sanders (Ghent) Stephen G. Simpson (Pennsylvania State) Kazuyuki Tanaka (Tohoku, chair) Keita Yokoyama (JAIST) -------------------------------------------- Program Committee: Kojiro Higuchi (Chiba) Takayuki Kihara(JAIST) Kenshi Miyabe(Tokyo) Takako Nemoto(JAIST) Sam Sanders (Ghent) Takeshi Yamazaki (Tohoku) Keita Yokoyama (JAIST, chair) Keisuke Yoshii (Tohoku) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

Cfp: Joint 25th RTA and 12th TLCA　(in Vienna summer of logic)
by Kazushige TERUI 03 Dec '13

03 Dec '13

$B$_$J$5$^(B $BO@M}3X4X78$G;K>e:GBg$N%$%Y%s%H(B"Vienna summer of logic"$B$N0lIt$G$9!#(B CSL-LICS$B$HF|Dx$,$+$V$C$F$$$^$9$,!"$h$m$7$1$l$P$3$A$i$X$NEj9F$b$48!F$$/$@$5$$!#(B $B>H0f(B Joint 25th International Conference on REWRITING TECHNIQUES AND APPLICATIONS and 12th International Conference on TYPED LAMBDA CALCULI AND APPLICATIONS July 14–17, 2014, Vienna, Austria http://vsl2014.at/rta-tlca ====================================== IMPORTANT DATES Abstract submission: January 28, 2014 Notification: April 9, 2014 Paper submission: February 4, 2014 Final version: April 29, 2014 Rebuttal period: March 19–21, 2014 ====================================== SUBMISSION and PUBLICATION --------------------------- Submissions presenting original work are expected at https://www.easychair.org/conferences/?conf=rtatlca2014. They should be at most 15 pages (10 for system descriptions) and follow http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. The proceedings will be published in the LNCS Advanced Research in Computing and Software Science series of Springer. One author of each accepted paper is expected to present it at the conference. Topics ------ This joint RTA and TLCA conference is the major forum for the presentation of research on all aspects of rewriting and typed lambda-calculi. Areas of interest include but are not limited to: - Foundations: string rewriting; term rewriting; graph rewriting; lambdacalculi; higher-order rewriting; binding techniques; constrained rewriting and deduction; categorical and infinitary rewriting; stochastic rewriting; net rewriting; Petri nets; higher-dimensional rewriting; process calculi; explicit substitution; tree automata; confluence; termination; complexity; modularity. - Algorithmic aspects and implementation: strategies; matching; unification; anti-unification; narrowing; constraint solving; theorem proving; completion techniques; implementation techniques; parallel execution; certification of rewriting properties; abstract machines; automated (non)termination and confluence provers; automated complexity analysis; SMT solving; system descriptions. - Logic: proof theory; natural deduction; sequent calculi; proof assistants; cut elimination and normalization; propositions as types; linear logic and proof nets; equational logic; rewriting logic; rewriting calculi; proof checking; reasoning about programming languages and logics; homotopy type theory; type-theoretic aspects of complexity; implicit computational complexity. - Types: dependent types; polymorphism; intersection types and related approaches; subtyping; type inference and type checking; types in databases. - Semantics: denotational semantics; operational semantics; game semantics; realisability; domain theory; categorical models; universal algebra. - Programming: foundational aspects of functional programming, object oriented programming, and other programming paradigms; flow analysis of higher-type computation; program equivalence; program transformation; program optimization; program refactoring; rewriting models of programs; rule-based (functional and logic) programming; control operators; symbolic and algebraic computation; system synthesis and verification; XML queries and transformations; types in program analysis and verification; analysis of cryptographic protocols; systems biology; linguistics. Programme Committee -------------------- Andreas Abel (Gothenburg) Beniamino Accattoli (Bologna) Zena Ariola (Oregon) Steffen van Bakel (Imperial College) Pierre Clairambault (CNRS) Ugo Dal Lago (Bologna) Gilles Dowek (Inria) Santiago Escobar (Valencia) Amy Felty (Ottawa) Maribel Fernandez (King$B!G(Bs college) Adria Gascon (SRI International) Jeroen Ketema (Imperial College) Christopher Lynch (Clarkson) Masahito Hasegawa (Kyoto) Olivier Hermant (MINES ParisTech) Paul-Andre Mellies (CNRS) Alexandre Miquel (UdelaR) Cesar Munoz (NASA) Vivek Nigam (Para$(D)E(Bba) Luke Ong (Oxford) Brigitte Pientka (McGill) Femke van Raamsdonk (Amsterdam) Jakob Rehof (Dortmund) David Sabel (Frankfurt) Gernot Salzer (Wien) Sylvain Salvati (Inria) Aleksy Schubert (Warszawa) Peter Selinger (Dalhousie) Paula Severi (Leicester) Christian Sternagel (JAIST) Kazushige Terui (Kyoto) Mateu Villaret (Girona) Fer-Jan de Vries (Leicester) Harald Zankl (Innsbruck) Programme Chair --------------- Gilles Dowek Conference Chair ---------------- Gernot Salzer ------------------------------------------ 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

The 48th MLG Meeting: Program
by Katsuhiko Sano 03 Dec '13

03 Dec '13

第48回 MLG 数理論理学研究集会のご案内（重複してお受け取りの際はご容赦ください。）北陸先端科学技術大学院大学の佐野勝彦です。 2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催します。講演・宿泊の申し込みは締め切りましたが，参加することは可能です。その場合，事前の申し込みは不要ですが，参加費（会場代）2,500円をいただきます。どうぞよろしくお願いいたします。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100, URL : http://www.daiwaresort.jp/kajikasou/ ホームページ：https://sites.google.com/site/mlg2013kaga/ 講演プログラム： 12/6 (金) 1440 -- 1450 開会 1450 -- 1530 佐野勝彦(北陸先端科学技術大学院大学) Axiomatizing Facebook Logic Via Tree Sequent Calculus 1540 -- 1620 仲川聡子(東京工業大学情報理工学研究科) 三項関係に従う可能世界意味論を持った様相論理について 1630 -- 1710 佐々木克巳(南山大学) S4におけるS4モデルでないイグザクトモデル 12/7 (土) 0925 -- 0930 事務連絡 0930 -- 1010 関隆宏(新潟大学) A remark on metacomplete relevant modal logics 1020 -- 1100 丸山善宏 (Oxford University) Generalised Topos Semantics for Higher Order Substructural Logic 1110 -- 1150 小野寛晰 Uniform interpolation in substructural logics without contraction rules 1330 -- 1410 Jonni Virtema (University of Tampere and JAIST) Modal team logic 1420 -- 1500 佐藤雅彦(京都大学名誉教授) Simple type theory の weakening rule について 1510 -- 1550 宮崎裕(大阪経済法科大学) Hallden completeness and Craig Interpolation Property in NExt(KTB) 1600 -- 1640 千谷慧子 Global Set Theory 12/8 (日) 0925 -- 0930 事務連絡 0930 -- 1010 山川郁加(千葉大学理学研究科) λρ計算の述語論理への拡張 1020 -- 1100 井澤昇平(東北大学大学院理学研究科) 直積による1ソート化 1110 -- 1150 横山啓太(北陸先端科学技術大学院大学) Fast growing functions and Ramsey's theorem 1150 -- 1200 閉会 --- MLG48 世話人佐野勝彦（北陸先端科学技術大学院大学） E-mail : mlg.logic.japan(a)gmail.com

1 0

Cfp: Fifth Workshop on Developments in Implicit Computational Complexity (DICE2014, a satellite event of ETAPS2014)
by Kazushige TERUI 03 Dec '13

03 Dec '13

$B$_$J$5$^(B $B1"7W;;NLM}O@$N%o!<%/%7%g%C%W$N$40FFb$r$5$;$F$$$?$@$-$^$9!#(B $B1"7W;;NL$H$$$&$H$+$J$j8BDj$5$l$?OCBj$G$9$,(B $BO@M}$d%W%m%0%i%_%s%08@8l$H7W;;NLMm$_$NOC$J$i$"$kDxEY<u$1F~$l$F$/$l$k5$$5$/$J%o!<%/%7%g%C%W$G$9!#(B $B$J$*!":#G/EY$OElBg$N2OB<>4@1@h@8$,>7BT9V1i$r$5$l$^$9!#(B $B$h$m$7$1$l$P$<$REj9F!&;22C$r$48!F$$/$@$5$$!#(B $B>H0f(B DICE 2014 Fifth Workshop on Developments in Implicit Computational Complexity ==================================================================== http://dice14.tcs.ifi.lmu.de Grenoble, France April 5-6, 2014 (a satellite event of ETAPS 2014) Invited Speakers ----------------- * Akitoshi Kawamura (University of Tokyo) * Georg Moser (University of Innsbruck) Important Dates ---------------- * Abstract Submission: January 5, 2014 * Notification: January 20, 2014 * Final version: February 10, 2014 Scope ------ The area of Implicit Computational Complexity (ICC) has grown from several proposals for using logic and formal methods to provide languages for complexity-bounded computation (e.g. PTIME, LOGSPACE computation). Its aim is to study computational complexity without reference to external measuring conditions or particular machine models, but only in terms of language restrictions or logical/computational principles implying complexity properties. This workshop focuses on ICC methods related to programs (rather than descriptive methods). In this approach one relates complexity classes to restrictions on programming paradigms (functional programs, lambda calculi, rewriting systems), such as ramified recurrence, weak polymorphic types, linear logic and linear types, and interpretative measures. The two main objectives of this area are: * to find natural implicit characterizations of various complexity classes of functions, thereby illuminating their nature and importance; * to design methods suitable for static verification of program complexity. Therefore ICC connects both to the study of complexity classes and to static program analysis. The workshop is open to contributions on various aspects of ICC including (but not exclusively): * types for controlling complexity * logical systems for implicit computational complexity * linear logic * semantics of complexity-bounded computation * rewriting and termination orderings * interpretation-based methods for implicit complexity * programming languages for complexity-bounded computation * theoretical foundations of program complexity analysis * application of implicit complexity to security Submission ----------- Authors are invited to submit an extended abstract of up to 5 pages. Accepted abstracts will be presented at the workshop. Submissions will be judged on originality, relevance, interest and clarity. Preference will be given to abstracts describing work (including work in progress) that has not been published elsewhere before the workshop. Any previous publication or submission of submitted work should be clearly indicated in the submission. The workshop will not have formal proceedings and is not intended to preclude later publication at another venue. Abstracts should be written in English and can be submitted in PDF form to the DICE 2014 EasyChair page: https://www.easychair.org/account/signin.cgi?conf=dice2014 Submissions of abstracts by PC members are allowed and encouraged. Program Committee ------------------ * Martin Avanzini (University of Innsbruck) * Amir Ben-Amram (Tel-Aviv Academic College) * Pierre Clairambault (CNRS & ENS Lyon) * Daniel de Carvalho (Datalogisk Institut, K(IC8(Bbenhavns Universitet) * David Nowak (CNRS & Lille 1 University) * Michele Pagani (LIPN $Bc`(B Universit(IC)(B de Paris 13) * Romain P(IC)(Bchoux (Universit(IC)(B de Lorraine) * Brian Redmond (Grande Prairie Regional College, Canada) * Ulrich Sch(IC6(Bpp (LMU Munich) (Chair) * Kazushige Terui (RIMS, Kyoto University) Steering Committee ------------------- * Patrick Baillot (ENS Lyon, CNRS) * Ugo Dal Lago (Universit(IC(B di Bologna) * Martin Hofmann (Ludwig-Maximilians-Universit(IC$(Bt M(IC<(Bnchen) * Jean-Yves Marion (Loria - INPL Nancy) * Simona Ronchi Della Rocca (Universit(IC(B di Torino) ------------------------------------------ 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

CFP: ESSS 2014
by 山形賴之 03 Dec '13

03 Dec '13

山形＠産総研です。皆様、下記のような論文募集が出ております。形式手法などとも関係深いワークショップですので、投稿をご検討いただければ幸いです。(同様のCFPを重複して受け取られた方はご容赦下さい) ================================================== 3rd International Workshop on Engineering Safety and Security Systems May 12, 2014, Singapore Co-located with FM 2014 in Singapore, May 12-26, 2014 More information: http://pat.sce.ntu.edu.sg/esss14/ =================================================== Important dates ----------------- * February 10th, 2014: Submission deadline * March 17th, 2014: Notification of acceptance/rejection * May 12th, 2014: Workshop Introduction of the Workshop ----------------- The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers areas such as formal specification, (extended) type checking, model checking, program analysis/transformation, model-based testing and model-driven software construction. The workshop will bring together researchers and industry R&D expertise together to exchange their knowledge, discuss their research findings, and explore potential collaborations. Theme of the Workshop ----------------- The main theme of the workshop is methods and techniques for constructing large reliable and secure systems. The goal of the workshop is to establish a platform for the exchange of ideas, discussion, cross-fertilization, inspiration, co-operation, and dissemination. The topics of the workshop include, but are not limited to: -- methods, techniques and tools for system safety and security -- methods, techniques and tools for analysis, certification, and debugging of complex safety and security systems -- model-based and verification-based testing -- emerging application domains such as cloud computing and cyber-physical systems -- case studies and experience reports on the use of formal methods for analyzing safety and security systems Submissions guidelines ----------------- Paper submissions must be original, unpublished work. Submissions should be in made via the Easychair site: https://www.easychair.org/conferences/?conf=esss2014. We invite two types of submissions: --Regular papers (up to 15 pages) describing original and unpublished work within the scope of the workshop. --Short papers (up to 6 pages) describing work in progress or less mature results. Case studies and tool papers are welcome as well. All submissions must be prepared in LATEX using the EPTCS macro package. The final versions of accepted regular and short papers will be published as a volume of Electronic Proceedings in Theoretical Computer Science (EPTCS). Furthermore, authors of a selection of the accepted papers will be invited to submit an extended version of their articles to a special issue of a high-quality journal, after the workshop. Publication of accepted articles requires the commitment of one of the authors to register for the workshop and present the paper. General chair ----------------- Sjouke Mauw, University of Luxembourg, Luxembourg Program chairs ----------------- Yang Liu, Nanyang Technological University, Singapore Jun Pang, University of Luxembourg, Luxembourg Program committee ----------------- Etienne Andre, Universite Paris 13, France Toalue Chen, Middelsex University, UK Marieke Huisma, University of Twente, The Netherlands Weiqiang Kong, Kyushu University, Japan Keqin Li, SAP Research, France Yang Liu, Nanyang Technological University, Singapore Zhiming Liu, UNU/IIST Macao, China Sjouke Mauw, University of Luxembourg, Luxembourg Jun Pang, University of Luxembourg, Luxembourg Geguang Pu, East China Normal University, China Mohammad Torabi Dashti, ETH Zurich, Switzerland Anton Wijs, Eindhoven University of Technology Yoriyuki Yamagata, AIST, Japan -- 山形頼之独立行政法人産業技術総合研究所主任研究員 E-mail: yoriyuki.yamagata(a)aist.go.jp http://staff.aist.go.jp/yoriyuki.yamagata/

1 0

講演会のお知らせ
by KASHIMA Ryo 26 Nov '13

26 Nov '13

非専門家向けの講演会を開催いたします。以前に一部メーリングリストに流しましたが再度の案内お許しください。重複受け取りの方には申し訳ありません。日時：11月30日（土）15:00--16:30 会場：東京工業大学大岡山キャンパス西８号館Ｅ棟10階　　　情報理工学研究科大会議室講師：田中一之（東北大学）題目：数学パスルに挑む概要：知恵の輪、ソリティア、ルービック・キューブ、帽子パズルなど多種多様なパズルの世界に、天才チューリングが開発した計算可能理論を武器にして乗り込もう。ときには解けないと悟ることも正解である。ベネディクト・カンバーバッチがチューリングを演じる映画『The Imitation Game』の公開も待ち遠しい。案内ページ： http://www.is.titech.ac.jp/~kashima/Events/Lecture2013Tanaka.html 参加される方は下記宛ご一報いただければ幸いです。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

[CFP] PPL2014 論文募集のお知らせ: 第16回プログラミングおよびプログラミング言語ワークショップ
by Keisuke Nakano 20 Nov '13

20 Nov '13

＊＊＊重複して受け取られた場合はご容赦ください＊＊＊電気通信大学の中野と申します．来年3月に熊本県阿蘇市阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) のご案内 (2回目) です．発表申込締切まで一ヵ月です．是非投稿をご検討ください． -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)～3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションを披露した学生に発表賞を授与する予定です．カテゴリ1（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2014参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2014プログラム委員会により優れていると認めるものは，PPL2014終了後（2014年4月下旬予定），「コンピュータソフトウェア」誌のPPL2014推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定する可能性があります．招待講演 -------- 中田育男 (筑波大学名誉教授) 幡山五郎 (オムロン) 以上お二方の招待講演を予定しております ====================================================================== 投稿・発表申込要領 3つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ------------------------------ 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： https://www.easychair.org/account/signin.cgi?conf=ppl2014 (EasyChairのアカウントが必要です) 発表申込締切：2013年12月20日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300～400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2014年1月8日(水) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2014年2月3日(月) 最終原稿提出締切：2014年2月14日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年1月24日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2014年2月5日(水) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込先： ppl2014-submit［ａｔ］fos.kuis.kyoto-u.ac.jp (［ａｔ］を @ に置き換えてください．) 発表申込締切：2014年2月7日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200～300字程度）をご提出ください．採否通知：2014年2月14日(金) 問い合わせ先：ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

AiML-2014: call for papers
by 小野寛晰 20 Nov '13

20 Nov '13

*** Apologies for cross-postings **** AiML-2014: CALL FOR PAPERS 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2014 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. INVITED SPEAKERS: Franz Baader (TU Dresden, Germany) Stephane Demri (New York University, US & CNRS, France) Joseph Halpern (Cornell University, US) Sara Negri (University of Helsinki, Finland) Frank Wolter (University of Liverpool, UK) PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that are provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. IMPORTANT DATES Abstracts of full papers submission deadline: 14 March 2014 Full papers submission deadline: 21 March 2014 Full papers acceptance notification: 2 May 2014 Short presentations submission deadline: 12 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Mai Gehrke (LIAFA, Université Paris Diderot, France) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014(a)easychair.org

1 0

第48回 MLG 数理論理学研究集会のご案内[再送：講演・宿泊締切11月20日]
by Katsuhiko Sano 14 Nov '13

14 Nov '13

第48回 MLG 数理論理学研究集会のご案内（再送） (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。講演の申し込み締切（11月20日）まで一週間を切りましたので、再度ご案内させていただきます。 2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Kowalski先生講演
by Satoshi Tojo 13 Nov '13

13 Nov '13

みなさま， Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。どうぞふるってご参加ください。問い合わせ先：東条　敏北陸先端科学技術大学院大学情報科学研究科 e-mail: tojo(a)jaist.ac.jp ------------------------------ ----------------- * JAIST Logic Seminar Series * Date: Thursday 21 November, 2013, 15:10--16:40 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Robert A. Kowalski (Imperial College London) Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri) Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state. Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

Talks by Ugo Dal Lago and Paul-Andre Mellies, This Friday (Nov 8)
by Ichiro Hasuo 06 Nov '13

06 Nov '13

Dear all, This coming Friday we have Ugo Dal Lago (Bologna) and Paul-Andre Mellies (Paris VII) visiting us in U Tokyo and making talks. Feel free to join us. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ------------------------------ Fri 8 November 2013, 10:00-12:00 Paul-Andre Mellies <http://www.pps.jussieu.fr/~mellies/> (U. Paris VII), What a geometry of reasoning would look like? 理学部7号館地下 007教室 Room 007 (underground floor), 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/ If one proceeds by analogy with mathematical physics, it is natural to inquire the geometric (rather than simply symbolic) nature of logical reasoning. In this introductory talk, I will describe how this question may be investigated starting from a series of recent advances at the converging point of proof theory and of programming language semantics. In particular, I will explain how a careful study of linear continuations, the most elementary mechanism common to proofs and to programs, enables one to evacuate the historical divide between classical and constructive logic, and reveals the existence of a logical pulsation which regulates reasoning and whose geometry is related to well-known structures in mathematical physics. Ugo Dal Lago <http://www.cs.unibo.it/~dallago/> (U. Bologna), Applicative Bisimulation for Probabilistic Lambda-Calculus 理学部7号館地下 007教室 Room 007 (underground floor), 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/ <http://www-mmm.is.s.u-tokyo.ac.jp/> We study bisimulation and context equivalence in a probabilistic lambda-calculus. Firstly, we show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial "disentangling" properties for sets of real numbers. We then analyze the impact the employed notion of reduction has on full-abstraction, giving somewhat surprising results in the call-by-value case. We finally give another unexpected result about the discriminating power of probabilistic contexts on pure lambda-terms.

1 0

講演会のお知らせ
by KASHIMA Ryo 06 Nov '13

06 Nov '13

【一般向け講演会のお知らせ】日時：11月30日（土）15:00--16:30 会場：東京工業大学大岡山キャンパス西８号館Ｅ棟10階　　　情報理工学研究科大会議室講師：田中一之（東北大学）題目：数学パスルに挑む概要：知恵の輪、ソリティア、ルービック・キューブ、帽子パズルなど多種多様なパズルの世界に、天才チューリングが開発した計算可能理論を武器にして乗り込もう。ときには解けないと悟ることも正解である。ベネディクト・カンバーバッチがチューリングを演じる映画『The Imitation Game』の公開も待ち遠しい。案内ページ： http://www.is.titech.ac.jp/~kashima/Events/Lecture2013Tanaka.html どなたでもご参加いただけます。参加される方は下記宛にお申し込みください。 ------ 鹿島亮（東京工業大学情報理工学研究科） kashima(a)is.titech.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 01 Nov '13

01 Nov '13

皆様 Imperial College London のRobert A. Kowalski 教授の講演を開催いたします。どうぞふるってご参加ください。問い合わせ先：東条　敏北陸先端科学技術大学院大学情報科学研究科 e-mail: tojo(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday 21 November, 2013, 15:10--16:40 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Robert A. Kowalski (Imperial College London) Title: Towards a Logic-based Framework for Computing (Joint work with Fariba Sadri) Abstract: In this talk, I present a logic-based, framework for Computing, inspired by artificial intelligence, but scaled down for practical database and programming applications. Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent’s goals all true. States are represented by sets of atomic sentences (or facts), representing the values of program variables, tuples in a coordination language, facts in relational databases, or Herbrand models. In the model-theoretic semantics of the framework, the entire sequence of states and events is contained in a single model-theoretic structure, by associating time stamps with facts and events. But in the operational semantics, facts are updated destructively, without time stamps. We show that the model generated by destructive updates is identical to the model generated by reasoning with facts containing time stamps. We also extend the model with intentional predicates and composite event predicates defined by logic programs containing conditions in first-order logic, which query the current state. Speaker's bio： Professor Robert A. Kowalski (Emeritus Professor and Distinguished Research Fellow) at Imperial College London. Robert Kowalski studied at the University of Chicago, the University of Bridgeport, Stanford University, the University of Warsaw, and the University of Edinburgh, where he completed his PhD in 1970. Kowalski has been an advisor to the UNDP Knowledge Based Systems Project in India and to DFKI, the German Institute for Artificial Intelligence. He co-ordinated the European Community Basic Research Project, Compulog, and was the founder of the European Compulog Network of Excellence. Since 2009, he has been an advisor to the Department of Immunization, Vaccines and Biologicals, of the World Health Organization in Geneva. Kowalski is a Fellow of the Association for the Advancement of Artificial Intelligence, the European Co-ordinating Committee for Artificial Intelligence, and the Association for Computing Machinery. He received the IJCAI (International Joint Conference of Artificial Intelligence) award for Research Excellence in 2011. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Nov '13

01 Nov '13

数学基礎論若手の会2013のご案内（プログラムが準備できました）数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html プログラム： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/program.html 講演および宿泊のお申し込みの受け付けは終了いたしました． 11月16日（土）19:30より，懇親会を予定致しております．参加をご希望なさる方は，11月10日（日）までに，幹事までご連絡ください．

1 0

CREST 特任教員の募集（計算言語学、形式意味論、計算論理学）（〆切
by BEKKI Daisuke 31 Oct '13

31 Oct '13

$B!J=EJ#$7$F<u$1<h$i$l$?>l9g$O$4MF<O$/$@$5$$!K(J JST$B!&(JCREST$B8&5fNN0h!V%S%C%0%G!<%?4pHW!W(J http://www.jst.go.jp/kisoken/crest/research_area/ongoing/bunyah25-6.html $B$K$*$$$F!"$3$N$?$S:NBr$5$l$^$7$?8&5f2]Bj!'(J $B!VCN<1$K4p$E$/9=B$E*8@8l=hM}$N3NN)$HCN<1%$%s%U%i$N9=C[!W(J $B!J8&5fBeI=<T!'9u66DwIW!"8&5fJ,C4<T!'4%7rB@O:!"8M<!Bg2p!"5\HxM42p!K(J $B$r?d?J$9$k$?$a$K!"2<5-$N$H$*$j!"FCG$650w$N8xJg$r9T$$$^$9!#$J$*!"K\(J $B8xJg$K4X$7$F$O!"(JJREC-IN$B$N0J2<$N9`L\$b$4;2>H2<$5$$!#(J http://jrecin.jst.go.jp/seek/SeekJorDetail?fn=4&id=D113101576&ln_jor=0 $B5-(J 1. $B?&L>5Z$S?M0w(J $BFCG$=Z65<x$^$?$OFCG$=u65(J $B7W#2L>!JG$4|IU$-!K(J 2. $B=jB0(J $B$*Cc$N?e=w;RBg3X%7%_%e%l!<%7%g%s2J3X650i8&5f%;%s%?!<(J 3. $B6PL3>l=j(J $B$*Cc$N?e=w;RBg3X(J $BEl5~ETJ85~6hBgDM#2CzL\#1HV#19f(J $B:G4s$j1X!'El5~%a%H%m4]%NFb@~h,2YC+1XKt$OM-3ZD.@~(J $B8n9q;{1X$+$iELJb#7J,(J 4. $B@lLgJ,Ln(J $B7W;;8@8l3X!"7A<00UL#O@!"7W;;O@M}3X(J 5. $B?&L3FbMF(J $B!V0UL#$NI=8=!&7W;;%b%G%k$N9=C[!W$N8&5f!"(J $BFC$K0J2<$N%F!<%^(J(1)$B$^$?$O(J(2)$B$K4X$9$k8&5f$r9T$&!#(J (1) $BHOaFJ8K!Ey$N7A<0J8K!M}O@$K4p$E$/9b@:EY$J9=J82r@O(J $B!J9qN)>pJs3X8&5f=j(J $B5\Hx8&5f<<$H$N6&F18&5f!K(J (2) $B%b%@%j%F%#!&A0Ds$J$I$N8@8l8=>]$rBP>]$H$7$?!"9b3,7?M}O@$K4p$E$/(J $B0UL#7W;;$N<BAuEy$K4X$9$k8&5f(J $B!J$*Cc$N?e=w;RBg3X(J $B8M<!8&5f<<$H$N6&F18&5f!K(J 6. $B1~Jg;q3J(J (1) $BGn;N$N3X0L$^$?$O$3$l$HF1Ey$N8&5fG=NO$rM-$9$kJ}!#(J $BJ?@.(J25$BG/EYCf$KGn;N<hF@8+9~$_$NJ}$b4^$`!#(J (2) $B?&L3$N?k9T$KI,MW$H$5$l$kCN<1$d5;=Q$rM-$9$k$3$H!#(J 7. $B8[MQ4|4V(J $BJ?@.(J26$BG/(J4$B7n(J1$BF|0J9_$J$k$Y$/Aa$$;~4|!AJ?@.(J27$BG/(J3$B7n(J31$BF|(J $BG/EYKh$KO+;HAPJ}$N9g0U$K$h$j99?7$9$k$3$H$,$"$jF@$k!#(J $B$J$*!"99?7$O:GD9$GJ?@.(J31$BG/(J3$B7n(J31$BF|!J%W%m%0%i%`$N(J $B=*N;!K$^$G$H$9$k!#(J 8. $B="6H;~4V(J 8$B!'(J30$B!A(J17$B!'(J15$B!J7nMKF|!A6bMKF|!K$r4pK\$H$9$k:[NL(J $BO+F/@)$H$9$k!#(J $B!J>e5-;~4V$O5Y7F;~4V(J60$BJ,$r4^$`!K(J 9. $B5YF|!&5Y2K(J $B5YF|!'EZMKF|!&F|MKF|!"9qL1$N=KF|5Z$SG/KvG/;O(J $B!J(J12$B7n(J29$BF|!A(J1$B7n(J3$BF|!K(J $B5Y2K!'G/<!M-5k5Y2K!"IB5$5Y2K!"FCJL5Y2K(J 10. $B5kM?(J $BK\3X5kM?5,Dx$K4p$E$-;Y5k$9$k!#(J $B4pK\G/Jp!J4pK\G/Jp$r(J12$B7n$G3d$C$?3[$rKh7n;Y5k!K(J $BFCG$=Z65<x(J600$BK|1_!"FCG$=u65(J360$BK|1_(J $B@G6b5Z$SJ!Mx8|@8Hq!J8[MQJ]81NA!"6&:QAH9g3]6b!K$N(J $B<+8JIiC4J,$r95=|$9$k!#(J 11. $B<jEv(J $BK\3X5kM?5,Dx$K4p$E$-DL6P<jEv$r;Y5k$9$k!#(J $B$J$*!"4|Kv!&6PJY<jEv$N;Y5k$O$J$7!#(J $B!J$?$@$7!"DL6P5wN%$,#2-RL$K~$N>l9g$O!"DL6P<jEv$r(J $B;Y5k$7$J$$!#$^$?!":NMQF|$,7n$NCfES$N>l9g!"DL6P<j(J $BEv$OMb7n$+$i;Y5k$9$k!#!K(J 12. $BB`?&<jEv(J $B;Y5k$J$7!#(J 13. $B2CF~J]81(J $BO+:R!"8[MQJ]81!"J8It2J3X>J6&:QAH9g$K2CF~$9$k!#(J 14. $BDs=P=qN`(J (1) $BMzNr=q!J<L??E=IU!"Fh0u!"3XNr!&?&Nr!&<u>^Nr!&=jB0(J $B3X2q!&=;=j!&(JE-mail$B%"%I%l%9Ey$rL@5-$N$3$H!K(J (2) $B8&5f6H@S0lMw!JCx=q!"O@J8!J?3::$NM-L5JL!K!">7BT9V(J $B1i!"3X2qH/I=!"$=$NB>$KJ,N`$9$k$3$H!K(J (3) $B<gMW$JCx=q!"O@J8Ey$NJL:~$jKt$O<L$7!J(J3$BE@0JFb(J $B6H@S(J $B0lMwCf$K!{0u$rIU$9$3$H!K(J (4) $B=w;RBg3X$K650w$H$7$F="?&$9$k$3$H$X$NJzIi(J $B!J(J1,000$B;zDxEY!K(J (5) $BK\3X$G9T$*$&$H$9$k8&5f$K4X$9$kJzIi(J $B!J$3$l$^$G$N8&5f6H@S$rF'$^$($F5-:\$9$k$3$H!K(J $B!J(J2,000$B;zDxEY!K(J (6) $B=$N;!J8+9~$_!K>ZL@=q<c$7$/$O3X0L<xM?>ZL@=q(J (7) $B#2L>$NJ}$+$i$N?dA&>uKt$O1~Jg<T$K$D$$$F=j8+$r5a$a(J $BF@$kJ}#2L>$N;aL>5Z$SO"Mm@h(J (8) $B1~Jg=qN`JVAwMQIuE{!J!ZHw9M![;2>H!K(J $B$J$*!"(J(3)(8)$B0J30$O!"=q<0$r86B'#A#4H=$KE}0l$9$k$3$H!#(J 15. $BA*9MJ}K!(J (1) $BBh#1<!A*9M(J $B=qN`?3::(J $BA*9M7k2L$O!"K\?M08$KM9Aw$K(J $B$FDLCN$7$^$9!#(J (2) $BBh#2<!A*9M(J $BBh#1<!A*9M9g3J<T$KBP$7$F$N$_LL@\?3::(J $BLL@\?3::$G$O!"%W%l%<%s%F!<%7%g%s$r<B;\$N>e!"<A5?(J $B1~Ez$r9T$$$^$9!#(J $B%W%l%<%s%F!<%7%g%s2]Bj!&<B;\F|;~Ey>\:Y$O!"Bh#1<!(J $BA*9M9g3J<T$K!"Bh#1<!A*9M7k2L$HJ;$;$FDLCN$7$^$9!#(J $B$J$*!"LL@\Ey$K78$kN9Hq!"=IGqHqEy$O1~Jg<T$NIiC4$H(J $B$7$^$9!#:G=*E*$JA*9M7k2L$O!"K\?M08$KM9Aw$K$FDLCN(J $B$$$?$7$^$9!#(J 16. $BDs=P4|8B(J $BJ?@.(J25$BG/(J12$B7n(J10$BF|!J2P!K@58aI,Ce(J 17. $BDs=P@h(J $B")(J112-8610 $BEl5~ETJ85~6hBgDM#2CzL\#1HV#19f(J $B9qN)Bg3XK!?M$*Cc$N?e=w;RBg3XD9(J $B1)F~:4OB;R(J $B08(J 18. $BLd9g$;@h(J $B$*Cc$N?e=w;RBg3XBg3X1!(J $B?M4VJ82=AO@.2J3X8&5f2J<+A3!&1~MQ2J3X7O(J $B=Z65<x(J $B8M<!Bg2p(J E-mail$B!'(J bekki.daisuke(a)ocha.ac.jp $B$*Ld$$9g$o$;$O!"86B'EE;R%a!<%k$G$*4j$$$$$?$7$^$9!#(J $B!ZHw9M![(J $B1~Jg=qN`$O!"IuE{I=LL$K!VFCG$650w!J8M<!8&5f<<!K1~Jg=qN`:_Cf!W$H<k(J $B5-$7!"=qN1Kt$O4J0W=qN1$GM9Aw!JBpG[JX$b2D!K$N$3$H!#$J$*!"1~Jg=qN`$O(J $BJV5Q$9$k$N$G!"I,$:JVAwMQIuE{!J@Z<jEyE=IU!"JVAw08@hL@5-!K$rF1Iu$9$k(J $B$3$H!#(J $B$J$*!"K\8&5f%W%m%8%'%/%H$K4XO"$7$F!"5~ETBg3X!&ElKLBg3X$K$*$$$F$b(J $B!VCN<1$K4p$E$/9=B$E*8@8l=hM}!W!V%F%-%9%H2#CGE*$J>pJs!&CN<1$N4X78IU(J $B$1!W$K4X$7$F(J5$BL>$NFCDj650w!&8&5f0w$rJg=8$7$F$$$^$9!#(J http://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D113100925&ln_jor=0

1 0

Postdoc position on compiling hybrid differential equations
by Kohei SUENAGA 30 Oct '13

30 Oct '13

皆様， # 重複して受け取られた場合はご容赦ください．京都大学の末永と申します．スウェーデンのハルムスタード大学の Walid Taha さんがポスドクを募集しています．Taha さんは最近 Acumen というハイブリッドシステムのモデリング言語を作っておられるのですが，その言語のコンパイラについて研究するポストのようです．興味をお持ちの方は Taha さんに直接コンタクトをお取りください．末永幸平 -- Postdoc position on compiling hybrid differential equations An NSF CPS project on Robot Design is building foundations and tools for the simulation of hybrid (continuous/discrete) systems. The project has an opening a postdoctoral research with Professor Taha at Rice University. The successful candidate will design and evaluate compilation strategies forenclosure-based solvers for hybrid differential equations, and will be part of the team developing the Acumen modeling language. Applicants for this position should have strong skills and interest in functional programming theory and practice; property-based testing; performance analysis; and Scala. Excellent communication and collaboration skills are required for both independent and collaborative team work. Priority will be given to applicants who already hold a doctoral degree in Computer Science, but applicants with suitable skills and interests who hold a doctorate in Mathematics, Physics, Electrical Engineering or Mechanical Engineering are also encouraged to apply. Desirable experience includes experience with writing numerical codes, interval and enclosure methods, domain theory, operational semantics, formal verification, differential equations, hybrid/impulsive differential equations, and mechanical hardware design and control, especially in the context of robotics. Desirable skills also include facility with Haskell, OCaml, ML, Scheme, Mathematica, Maple, OpenGL, Matlab, Simulink, and other modeling and simulation tools. The position is for one year, renewable to two years, and is subject to the availability of funding. The successful applicant will likely spend part of their time in Halmstad, Sweden (50%) as part of the collaboration. Successful applicants may start by the end of December 2013 or early March 2014. The deadline for applications is November 29th, 2013. Application for this position should be sent directly to Professor Taha by email. The title of the email should be (without quotes) "Postdoc Position on Compiling Hybrid Differential Equations". The application should consist of one, self-contained PDF attachment. The application should include 1) a brief cover letter including motivation for the application, 2) a CV, and 3) a list of names of references. It is also suggested that the application include online pointers to previous publications or software produced by the applicant. -- Kohei Suenaga (末永幸平), Ph.D Associate professor (准教授) Graduate School of Informatics, Kyoto University (京都大学情報学研究科) ksuenaga(a)gmail.com http://www.fos.kuis.kyoto-u.ac.jp/~ksuenaga/

1 0

Fwd: [jacap:205] Matthias Schrin氏の講演会のお知らせ(CAPE)
by Shunsuke Yatabe 29 Oct '13

29 Oct '13

皆様、京都大学で開催される数学の哲学の研究会について、ご案内をご転送させて頂きます。矢田部俊介 ---------- Forwarded message ---------- From: 応用哲学会事務局 <jacap-secretary(a)ethics.bun.kyoto-u.ac.jp> Date: 2013/10/29 Subject: [jacap:205] Matthias Schrin氏の講演会のお知らせ(CAPE) To: "jacap(a)googlegroups.com" <jacap(a)googlegroups.com> 皆様来る10月31日（木）に、CAPEレクチャーとして、Matthias Schrin氏の講演会が以下の要領で開催されます。直前のご連絡になってしまい、申し訳ありません。皆様のご参加をお待ちしております。京都大学大学院文学研究科附属応用哲学・倫理学教育研究センター http://www.bun.kyoto-u.ac.jp/cape/cape-top_page/ 事務補佐　　天野恵美理〒606-0085 京都市左京区吉田本町　京都大学文学部内 CAPE(a)bun.kyoto-u.ac.jp 講師：Prof. Dr. Matthias Schrin （ミュンヘン大学）演題：Hilbert and Wittenstein on the Consistency of Mathematical Theory 日時：2013年10月31日（木）18時〜場所：京都大学吉田キャンパス総合研究棟２号館第10演習室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm （34番の建物です）要旨：添付書類をご参照ください。 -- --- このメールは Google グループのグループ「応用哲学会」の登録者に送られています。このグループから退会し、メールの受信を停止するには、jacap+unsubscribe(a)googlegroups.com にメールを送信します。その他のオプションについては、https://groups.google.com/groups/opt_out にアクセスしてください。

1 0

CMCS'14: Coalgebraic Methods in Computer Science, Grenoble (France), 5-6 Apr 2014
by Katsuhiko Sano 26 Oct '13

26 Oct '13

皆様、北陸先端科学技術大学院大学の佐野勝彦です。 CMCS'14 のCall for Papersをお送りいたします。今回のCMCS'14では東京大学の蓮尾一郎さんの招待講演があります。皆様、どうぞふるって論文をご投稿ください。締切は2014年1月です。 ---------------------------------- Call for Papers 12th International Workshop on Coalgebraic Methods in Computer Science (CMCS'14) 5 - 6 April 2014, Grenoble, France http://www.coalg.org/cmcs14 Objectives and scope ------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - The theory of coalgebras (including set theoretic and categorical approaches) - Coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.) - Coalgebras in (functional, object-oriented, concurrent, and constraint) programming - Model checking, theorem proving and deductive verification using coalgebraic techniques - Coalgebraic data types, type systems and behavioural typing - Proof principles and (coinductive) definitions for coalgebras (e.g. with bisimulations or invariants) - Coalgebras and algebras - Coalgebraic specification and verification - Coalgebras and (modal) logic - Coalgebra and control theory (notably of discrete event and hybrid systems) - Coalgebra in quantum computing - Coalgebra and game theory - Tools exploiting colgebraic techniques Venue and event --------------- CMCS??14 will be held in Grenoble, France, co-located with ETAPS 2014 on 5 - 6 April 2014. Important dates --------------- Abstract regular papers 6 January 2014 Submission regular papers 10 January 2014 (strict) Notification regular papers 14 February 2014 Camera-ready copy 21 February 2014 Submission short contributions 23 February 2014 (strict) Notification short contributions 9 March 2014 Invited speakers ---------------- Ichiro Hasuo, University of Tokyo, JP Marina Lenisa, University of Udine, IT Programme committee ------------------- Andreas Abel, Ludwig-Maximilians-University Munich, DE Davide Ancona, University of Genova, IT Adriana Balan, University Politehnica of Bucharest, RO Marta Bilkova, Charles University, CZ Filippo Bonchi, LIP ENS-Lyon, FR Marcello Bonsangue (chair), Leiden University, NL Joerg Endrullis, Free University of Amsterdam, NL Remy Haemmerle, University Politecnica de Madrid, SP Bart Jacobs, Radboud University Nijmegen, NL??? Dexter Kozen, Cornell University, US Bartek Klin, University of Warsaw, PL Pierre Lescanne, ENS Lyon, FR Stefan Milius, University of Erlangen-Nurenberg, DE Rob Myers, Technical University of Braunschweig, DE Dirk Pattinson, Australian National University, AU Daniela Petrisan, University of Leicester, UK Grigore Rosu, University of Illinois at Urbana-Champaign, US Katsuhiko Sano, JAIST, Nomi, JP Monika Seisenberger, Swansea University, UK Ana Sokolova, University of Salzburg, AT Publicity chair --------------- Alexandra Silva, Radboud University Nijmegen, NL PC chair -------- Marcello Bonsangue, Leiden University, NL Steering committee ------------------ Jiri Adamek, Technical University of Braunschweig, DE Marcello Bonsangue, Leiden University, NL Corina Cirstea, University of Southampton, UK H. Peter Gumm (chair), University of Marburg, DE Bart Jacobs, Radboud University Nijmegen, NL Alexander Kurz, University of Leicester, UK Marina Lenisa, University of Udine, IT Ugo Montanari, University of Pisa, IT Larry Moss, Indiana University, US Dirk Pattinson, Australian National University, AU John Power, University of Bath, UK Horst Reichel, Technical University of Dresden, DE Jan Rutten, CWI and Radboud University Nijmegen, NL Lutz Schroeder, University of Erlangen-Nurenberg, DE Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2014. The proceedings of CMCS 2014 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report.

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 26 Oct '13

26 Oct '13

皆様リュブリャナ大学のAndrej Bauer教授の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Friday 20 September, 2013, 15:00-17:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Andrej Bauer (University of Ljubljana, Slovenia) Title: A higher inductive construction of the real numbers Abstract: Homotopy type theory [1] is a foundation of mathematics based on Martin-Löf type theory extended with the Univalence axiom and higher inductive types. The latter allow us to present mathematical objects as inductive types generated by point and path constructors. For instance, the circle is represented by a type with a point and a loop satisfying the "circle induction" principle. In the first part I shall review higher inductive types. In the second part of the talk I shall look at a higher inductive construction of real numbers. Ordinary higher inductive types do not seem to suffice -- instead we have to use a higher inductive-inductive definition which simultaneously constructs the reals and a proximity relation on them. We thus obtain a type of real numbers which satisfies a principle of "real induction". We can prove properties of reals by induction! From a logical point of view the construction is interesting because it avoids the axiom of choice, impredicativity (powersets), and excluded middle. Nevertheless, the resulting theory still allows us to develop the basics of real analysis as usual. The work described in the talk is joint work of the members of the Univalent foundations project [2]. References: [1] Univalent Foundations Project: "Homotopy type theory: Univalent foundations of Mathematics", http://homotopytypetheory.org/book/ [2] Univalent Foundations Project, Institute for Advanced Study, Princeton, http://www.math.ias.edu/sp/univalent -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 2

Kobe Colloquium on Logic, Statistics and Informatics, October 25 (Bernhard Koenig)
by Joerg Brendle 23 Oct '13

23 Oct '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年10月25日（金）15:10-16:10 講演者：Bernhard Koenig 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Variations of Laver's indestructibility result and some applications アブストラクト： We show that a supercompact cardinal kappa can be made indestructible under a class of forcings which is slightly larger than Laver's class of kappa-directed closed forcings. We go on to discuss how this slight strengthening over Laver's original result can be used for some interesting new consistency results. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

NUE seminar (34)
by Yoshihito Toyama 23 Oct '13

23 Oct '13

第 34 回 NUEセミナーのお知らせ東北大学・電気通信研究所・外山研究室ではNUEセミナーを開催しています。テーマはプログラム理論や定理自動証明を中心に、情報科学の理論的なさまざまな話題をとりあげています。興味をおもちの方はどなたでもフラリと気楽におたちより下さい。 ********************************************* 日時：　１０月２９日（火）１３：３０ -- １４：３０場所：東北大学・電気通信研究所・２号館・２階セミナー室 (W214) ********************************************* 講演話題提供者： Vincent van Oostrom (Utrecht University) 題目： Z Syntax-Free Developments 概要： We introduce the Z-property for abstract rewriting systems, and show that it can be used to prove confluence of several well-known term rewrite systems (terminating or not, and overlapping or not), in particular: - the applicative TRS for associativity: (xy)z -> x(yz); - the applicative TRS for self-distributivity: (xy)z -> xz(yz); - lambda-calculus with beta-reduction: (\x.M)N -> M[x:=N]. Turning to meta-theoretical properties, we first show that the Z-propery allows to recover the traditionally syntactically defined notion of (super)development/multistep in a syntax-free way. To that end, we show the equivalence between the Z-property and Takahashi's angle-property. Next, we showing that the Z-property not only entails confluence, but also the existence of a hyper-cofinal strategy. We conclude by presenting further (non-)examples of rewrite systems having the Z-property, and some open questions. (joint work with Patrick Dehornoy) ============================================== NUEセミナーに関する問い合わせは以下にどうぞ。外山芳人〒980-8577 仙台市青葉区片平 2-1-1 東北大学電気通信研究所 TEL 022 217 5449 FAX 022 217 5452 MAIL toyama(a)nue.riec.tohoku.ac.jp

1 0

Talk by Bakhadyr Khoussainov , Wednesday this week (23 Oct)
by Hiroyuki Miyoshi 22 Oct '13

22 Oct '13

sonoteno, logic-ml, jssst-ppl 各メーリングリストの皆様、京都産業大学理学部数理科学科の三好博之です。先ほど、蓮尾さんから東京大学でのBakhadyr Khoussainovさんの講演会のアナウンスが有りましたが、京都産業大学でも明日10/23（水） 14:00-15:00 に京都産業大学万有館（バスプールからエスカレーターを2つ乗り継いだ正面の建物） 3階セミナー室にて談話会が行われます。東大の講演より少し時間が短いですがAbstractを見るとだいたい同じ内容のようです。アナウンスが遅れて申し訳ありませんが皆様の参加をお待ちしています。三好博之 ******************************************* Speaker Bakhadyr Khoussainov 氏（University of Auckland） Title An excursion to computable structures Date 2013年10月23日（水） 14:00--15:00 Place 万有館3階セミナー室 Abstract In this talk we introduce the concept of computable structure. We discuss the history of the subject, present motivation, topics and questions that have developed the subject over many years. We explain the role of computability and logic in the study of various mathematical structures. The talk will be quite informal, non-technical, and will contain a good amount of examples and explanations. ******************************************* 三好博之 2013/10/22 Ichiro Hasuo <ichiro(a)is.s.u-tokyo.ac.jp>: > Dear all, > > Friday next week we have Bakhadyr Khoussainov from > University of Auckland visiting us in U Tokyo and making a talk > on automatic structures (NB. automaton -> automatic). > No registration needed. See you there! > > Best regards, > Ichiro Hasuo > http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar > > ______________________________ > > Fri 1 November 2013, 10:30-12:00 > > Bakhadyr Khoussainov (U. Auckland), > An excursion from computable to automatic structures > > 理学部7号館地下 007教室（いつもの1階の部屋ではありません） > Room 007 (underground floor), 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/ > > In this talk we introduce two classes of structures: computable structures and > automatic structures. We present several examples, theorems, research topics > in the areas, and discuss their motivations, proofs and importance. > The goal will > be to make a transition from computable to automatic structures with an eye > towards decidability. We also give some historical perspective. > > -- > このメールは Google グループのグループ「sonoteno」の登録者に送られています。 > このグループから退会し、メールの受信を停止するには、sonoteno+unsubscribe(a)googlegroups.com にメールを送信します。 > このグループに投稿するには、sonoteno(a)googlegroups.com にメールを送信してください。 > http://groups.google.com/group/sonoteno からこのグループにアクセスしてください。

1 0

Talk by Bakhadyr Khoussainov on automatic structures, Friday next week (1 Nov)
by Ichiro Hasuo 22 Oct '13

22 Oct '13

Dear all, Friday next week we have Bakhadyr Khoussainov from University of Auckland visiting us in U Tokyo and making a talk on automatic structures (NB. automaton -> automatic). No registration needed. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar ______________________________ Fri 1 November 2013, 10:30-12:00 Bakhadyr Khoussainov (U. Auckland), An excursion from computable to automatic structures 理学部7号館地下 007教室（いつもの1階の部屋ではありません） Room 007 (underground floor), 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/ In this talk we introduce two classes of structures: computable structures and automatic structures. We present several examples, theorems, research topics in the areas, and discuss their motivations, proofs and importance. The goal will be to make a transition from computable to automatic structures with an eye towards decidability. We also give some historical perspective.

1 0

JAIST Logic Seminar Series
by Takako Nemoto 22 Oct '13

22 Oct '13

皆様 JAIST Logic Seminar Seriesのお知らせです。ふるってご参加ください。問合せ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: nemototakako(a)gmail.com ------------------------------ * JAIST Logic Seminar Series * Date: Tuesday 29 October, 2013, 15:30- Place: Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Prof. Martin Ziegler (Technische Universitaet Darmstadt) Title: Real Parameterized and Second-Order Complexity Theory: from Computability in Analysis to Numerical Practice Abstract: http://www.jaist.ac.jp/~t-nemoto/Ziegler_talk.pdf

1 0

10/25(金) Matthias Schirn 博士講演会 Hilbert and Wittgenstein on the Consistency of Mathematical Theories
by 秋吉亮太 21 Oct '13

21 Oct '13

10/25(金) Matthias Schirn 博士講演会「Hilbert and Wittgenstein on the Consistency of Mathematical Theories」のお知らせ次のような講演会を予定していますので案内させていただきます。講演者： Matthias Schirn (Munich Center for Mathematical Philosophy (LMU, Munich)) 講演題目： HILBERT AND WITTGENSTEIN ON THE CONSISTENCY OF MATHEMATICAL THEORIES (＊発表言語は英語) ディスカッションコーディネータ：岡田光弘（慶應義塾大学哲学専攻）開催日時：2013年10月25日（金）17:00-18:30 Date: October 25, 2013 (Fri) 17:00-18:30 開催場所：慶應義塾大学三田キャンパス東館4階セミナー室 Place: Seminar Room, 4F of East Research Building, Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html 参加方法：事前登録不要・参加費無料共催：慶應義塾大学「論理と感性」のグローバルリサーチセンター慶應義塾大学「思考と行動判断」の研究拠点 ――――――――――――――――――――――――――――――――――――――――――― お問い合わせ先：慶應義塾大学「思考と行動判断」の研究拠点事務局（担当：中村・小室） think-judge(a)abelard.flet.keio.ac.jp

1 0

Talk by Masahiko Sato, 14 Nov. Thu 11:00-
by Shinya Katsumata 18 Oct '13

18 Oct '13

京都大学数理解析研究所の勝股です。 11月14日11:00から、佐藤雅彦京都大学名誉教授に以下の講演をしていただくことになりましたので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 14 Nov, 2013 Place: Rm 478, Research Building 2, Main Campus, Kyoto University http://www.kyoto-u.ac.jp/en/access/campus/main.htm (See 34) 京都大学本部構内総合研究2号館 4階478号室 http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (34番の建物) Speaker: Professor Emeritus Masahiko Sato Title: Viewing lambda terms through maps (Joint work with Randy Pollack, Helmut Schwichtenberg and Takafumi Sakurai) Abstract: In this talk we introduce the notion of map, which is a notation for the set of occurrences of a symbol in a syntactic expression such as a formula or a lambda-term. We use binary trees over 0 and 1 as maps, but some well-formedness conditions are required. We develop a representation of lambda terms using maps. The representation is concrete (inductively definable) and canonical (one representative per lambda-term). We define substitution for our map representation, and prove the representation is in substitution preserving isomorphism with both nominal logic lambda-terms and de~Bruijn nameless terms. These proofs are mechanically checked in Isabelle/HOL and Minlog respectively. The map representation has good properties. Substitution does not require adjustment of binding information: neither alpha-conversion of the body being substituted into, nor de Bruijn lifting of the term being implanted. We have a natural proof of the substitution lemma of lambda calculus that requires no fresh names, or index manipulation. Using the notion of map we study conventional raw lambda$syntax. E.g. we give, and prove correct, a decision procedure for alpha-equivalence of raw lambda terms that does not require fresh names.

1 0

チュートリアル "Vagueness and Fuzzy Logic" のお知らせ
by Shunsuke Yatabe 15 Oct '13

15 Oct '13

みなさま（重複して受け取られた場合はご容赦ください）今年の１0月に東京で開催される LENLS 10 (Logic and Engineering of Natural Language Semantics 10) 国際ワークショップのチュートリアル・コースとして、以下を開催することとなりました。このチュートリアルは、LENLS参加登録者に限らず、興味をお持ちの方はどなたでもご参加いただけます。皆様のご参加をお待ちしております。矢田部俊介（西日本旅客鉄道／京都大学） Tutorial Lecture: ================= On October 26th (Sat), there will be a tutorial lecture at Ochanomizu University. Lecturer: Nicholas J.J. Smith (The University of Sydney) Venue: Ochanomizu UniversityFaculty of Science, Building 3, Room 207-209 (2nd Floor) (http://www.ocha.ac.jp/en/access/index.html) Time Table: 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-16:00 Session 2 Title: Vagueness and Fuzzy Logic Abstract -------- The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting). I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism). II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth. III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches. IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given. V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness.

1 0

WoLLIC 2014 - 1st Call for Papers
by 小野寛晰 13 Oct '13

13 Oct '13

[Please circulate. Apologies for any cross-postings.] WoLLIC 2014 21st Workshop on Logic, Language, Information and Computation September 1st to 4th, 2014 Valparaiso, Chile SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Computação (SBC) Sociedade Brasileira de Lógica (SBL) ORGANISATION Department of Computer Science, Universidad de Chile, Chile Department of Computer Science, Pontificia Universidad Católica de Chile, Chile Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY Department of Informatics, Universidad Técnica Federico Santa María, Chile CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twentieth WoLLIC will be held at the Universidad Técnica Federico Santa María, from September 1st to 4th, 2014. It is sponsored by the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. They must not exceed 10 pages (in font 10 or higher), with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. Papers must be submitted electronically at the WoLLIC 2014 EasyChair website. (Please go to http://wollic.org/wollic2014/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by Mar 24, 2014, and the full paper by Mar 28, 2014 (firm date). Notifications are expected by May 2, 2014, and final papers for the proceedings will be due by May 15, 2014 (firm date). PROCEEDINGS The proceedings of WoLLIC 2014, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2014 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (TBA) STUDENT GRANTS ASL sponsorship of WoLLIC 2014 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2014). See http://www.aslonline.org/studenttravelawards.html for details. IMPORTANT DATES Mar 24, 2014: Paper title and abstract deadline Mar 28, 2014: Full paper deadline May 2, 2014: Author notification May 15, 2014: Final version deadline (firm) PROGRAMME COMMITTEE Natasha Alechina (U Nottingham) Eric Allender (Rutgers U) Marcelo Arenas (PUC Chile) Steve Awodey (CMU) Julian Bradfield (U Edinburgh) Xavier Caicedo (U de Los Andes) Olivier Danvy (Aarhus U) Ulrich Kohlenbach (Tech U Darmstadt) (CHAIR) Marcus Kracht (U Bielefeld) Michiel van Lambalgen (U Amsterdam) Klaus Meer (Tech U Cottbus) George Metcalfe (Bern U) Dale Miller (INRIA Saclay / LIX) Russell Miller (CUNY) Sara Negri (U Helsinki) Nicole Schweikardt (U Frankfurt) (more to come) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Leonid Libkin, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Pablo Barceló (Universidad de Chile) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Juan Reutter (Pontificia Universidad Católica de Chile) Cristián Riveros (Pontificia Universidad Católica de Chile) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2014/

1 0

[お知らせ] キャンパス停電のためのML休止
by Atsushi Igarashi 12 Oct '13

12 Oct '13

logic-ml, kisoron-ml, jssst-ppl 購読のみなさま，管理人の五十嵐です． 10/14(月)に予定されている京大キャンパス内の停電のため， MLを運用しているサーバを 10/12(金) 夕方〜 10/15(火) 午前まで落とします．やや長期間の休止でご不便をおかけいたしますが，よろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Talk by Venanzio Capretta, Thursday next week (Oct 17)
by Ichiro Hasuo 10 Oct '13

10 Oct '13

Dear all, Thursday next week we have Venanzio Capretta from University of Nottingham visiting us in U Tokyo and making a talk on infinite datastructures (related: (co)algebra and (co)induction). No registration needed. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Thu 17 October 2013, 17:00-18:00 Venanzio Capretta (U. Nottingham), THE CONSTRUCTION OF INFINITY *理学部7号館2階 214教室* （いつもの1階の部屋ではありません） Room 214, School of Science Bldg. No. 7 (Not the usual one on the ground floor) アクセス： https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html Access: http://www-mmm.is.s.u-tokyo.ac.jp/ This talk is about the implementation and use of infinite data structures in computer science, specifically in constructive type theory. In the first part, I give some history and philosophy of the mathematical theories of infinity, illustrated with some puzzles. The second part is about solving equations on infinite streams: under what conditions does a recursive definition produce a unique function on streams? The third part is about a new kind data type, which I call "Wander Types". It allows the definition of non-well-founded structures with fine control on branching behaviour.

1 0

チュートリアルのお知らせ (Martin Ziegler氏、2013年10月１５日)
by Hideki Tsuiki 10 Oct '13

10 Oct '13

皆様 Darmstadt 工科大学の Martin Ziegler 教授が、１０月１４日から２週間京都に滞在されます。その間、何回かにわたって、計算可能性解析学に関するチュートリアル・レクチャーをして頂きます。初回は、１５日火曜日です。それ以降の予定は、その時にお伝えします。皆様のご参加をお待ちしております。日時： 10月14日（火曜）1:00 より場所：京都大学総合人間学部棟 1401 教室 (吉田南キャンパスに入って左側の建物の４Fです）講演者： Martin Ziegler 題目： Tutorial on Computability and Complexity in Analysis, Part I 立木

1 0

AiML 2014: 1st Call for Papers
by 小野寛晰 07 Oct '13

07 Oct '13

AiML-2014: 1ST CALL FOR PAPERS 10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC, GRONINGEN, 5-8 AUGUST, 2012 http://www.philos.rug.nl/AiML2014/ Advances in Modal Logic is an initiative aimed at presenting the state of the art in modal logic and its various applications. The initiative consists of a conference series together with volumes based on the conferences. Information about the AiML series can be obtained at http://www.aiml.net. AiML-2014 is the tenth conference in the series. TOPICS We invite submission on all aspects of modal logic, including: - history of modal logic - philosophy of modal logic - applications of modal logic - computational aspects of modal logic (complexity and decidability of modal and temporal logics, modal and temporal logic programming, model checking, model generation, theorem proving for modal logics) - theoretical aspects of modal logic (algebraic/categorical perspectives on modal logic, coalgebraic modal logic, completeness and canonicity, correspondence and duality theory, many-dimensional modal logics, modal fixed point logics, model theory of modal logic, proof theory of modal logic) - specific instances and variations of modal logic (description logics, modal logics over non-boolean bases, dynamic logics and other process logics, epistemic and deontic logics, modal logics for agent-based systems, modal logic and game theory, modal logic and grammar formalisms, provability and interpretability logics, spatial and temporal logics, hybrid logic, intuitionistic logic, substructural logics, computationally light fragments of all such logics) Papers on related subjects will also be considered. PAPER SUBMISSIONS There will be two types of submissions to AiML-2014: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at the conference but not for the published proceedings. Both types of papers should be submitted electronically using the EasyChair submission page at https://www.easychair.org/account/signin.cgi?conf=aiml2014 At least one author of each accepted paper or short presentation must register for and attend the conference. (1) FULL PAPERS Authors are invited to submit, for presentation at the conference and publication in the proceedings, full papers reporting on original research and not submitted elsewhere. The proceedings of AiML-2014 will be published by College Publications http://www.collegepublications.co.uk in a volume to be made available at the conference. The submissions should be at most 15 pages, with an optional technical appendix of up to 5 pages, together with a plain-text abstract of 100-200 words. The submissions must be typeset in LaTeX, using the style files and template that will be provided on the AiML-2014 website http://www.philos.rug.nl/AiML2014/ in due time. We also ask authors of full papers to submit the abstract in plain text via EasyChair by 14 March. (2) SHORT PRESENTATIONS. These should be at most 5 pages. They may describe preliminary results, work in progress etc., and will be subject to light reviewing. The accepted submissions will be made available at the conference, and the authors will have the opportunity to give short presentations (of up to 15 minutes) on them. INVITED SPEAKERS: TO BE ANNOUNCED LOCAL ORGANIZING COMMITTEE Dave Gilbert Barteld Kooi Bouke Kuijer Paolo Maffezioli Allard Tamminga PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands) Nick Bezhanishvili (Utrecht University, The Netherlands) Patrick Blackburn (Roskilde University, Denmark) Hans van Ditmarsch (LORIA, France) David Fernández-Duque (ITAM, Mexico) Melvin Fitting (Lehman College, CUNY, USA) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rob Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Guido Governatori (NICTA Queensland, Australia) Andreas Herzig (IRIT, Toulouse, France) Rosalie Iemhoff (Utrecht University, The Netherlands) Roman Kontchakov (Birkbeck College London, UK) Barteld Kooi (University of Groningen) Marcus Kracht (Universität Bielefeld, Germany) Alexander Kurz (University of Leicester, UK) Carsten Lutz (Universität Bremen, Germany) Jakub Michaliszyn (Imperial College London, UK) Larry Moss (Indiana University, USA) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Revantha Ramanayake (Technical University of Vienna) Mark Reynolds (University of Western Australia) Vladimir Rybakov (Manchester Metropolitan University, UK) Renate Schmidt (University of Manchester, UK) Jeremy Seligman (University of Auckland, New Zealand) Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia) Valentin Shehtman (Moscow State University, Russia) Dimiter Vakarelov (Sofia University, Bulgaria) Yde Venema (ILLC, University of Amsterdam, The Netherlands) Heinrich Wansing (Ruhr University Bochum, Germany) Michael Zakharyaschev (Birkbeck College London, UK) PROGRAMME COMMITTEE CO-CHAIRS Rajeev Gore (The Australian National University, Australia) Agi Kurucz (King's College London, UK) IMPORTANT DATES Abstracts of full papers submission deadline: 14 March 2014 Full papers submission deadline: 21 March 2014 Full papers acceptance notification: 2 May 2014 Short presentations submission deadline: 12 May 2014 Short presentations acceptance notification: 2 June 2014 Final version of full papers and short presentations due: 9 June 2014 Conference: 5-8 August, 2014. FURTHER INFORMATION. Please see http://www.philos.rug.nl/AiML2014 ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs, sent to aiml2014(a)easychair.org

1 0

Call for participation: LENLS10 (Logic and Engineering of Natural Language Semantics 10)
by BEKKI Daisuke 07 Oct '13

07 Oct '13

（重複して受け取られた場合はご容赦ください） 10/26-28に東京で開催される LENLS 10 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。 ※online registrationの〆切（10/10）が迫っておりますので、ご注意下さい。戸次大介（お茶の水女子大学／国立情報学研究所） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 10 (LENLS 10) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : October 26-28, 2013 Contact Person: Shunsuke Yatabe (West Japan Railway Company) Contact Email : lenls10[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Shunsuke Yatabe (West Japan Railway Company) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Nicholas J.J. Smith (the University of Sydney) - Richard Dietz (the University of Tokyo) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) (http://www.ai-gakkai.or.jp/jsai-isai/2013/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Important dates: ================ Deadline for onsite registration: October 10, 2013 Tutorial Lecture: October 26, 2013 LENLS10: October 27-28, 2013 Registration: ============= The proceedings of the workshop will be available at the conference site for registered persons. Please follow the link below and register yourself until **10th October 2013**. http://www.ai-gakkai.or.jp/jsai-isai/2013/#registration Program: ======== October 27th (Sun), 2013 ------------------------- 9:00-9:20:Reception and Coffee Break 9:20-9:30:Opening Remarks 9:30-11:30:Session 1 * Takeshi Yamada "On Dummett's Critique of Davidsonian Theory of Meaning" * Chi-Yen Liu and Linton Wang "From 3-valued semantics, Adams' thesis rises" * Hidenori Kurokawa "Hypersequent calculi for modal logics extending S4" * Yoshihiro Maruyama "Quantum Linguistics: From Philosophy of Language to Logic of Quantum Vagueness" 11:30-13:00:Lunch 13:00-14:30:Session 2 * Laurence Danlos, Philippe De Groote and Sylvain Pogodalla "A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars" * Daisuke Bekki "A Type-theoretic Approach to Double Negation Elimination in Anaphora" * Ribeka Tanaka, Yuki Nakano and Daisuke Bekki "Constructive Generalized Quantifiers Revisited" 14:30-14:45:Coffee break 14:45-16:15:Session 3 * David Etlin "Conditionals, Modals and Iteration" * Hanako Yamamoto and Daisuke Bekki "First-order conditional logic and neighborhood-sheaf semantics for analysis of conditional sentences" * Elia Zardini "If and Is" 16:15-16:45:Coffee break 16:45-17:45:Invited Talk 1 * Nicholas J.J. Smith "Vagueness, Counting and Cardinality" 17:45-18:15:Questions and Comments 19:00-:Banquet October 28th (Mon), 2013 ------------------------- 9:00-9:30:Reception 9:30-11:30:Session 1 * Ai Kawazoe, Yusuke Miyao, Takuya Matsuzaki, Hikaru Yokono and Noriko Arai "World history ontology for reasoning truth/falsehood of sentences: Event classification to fill in the gaps be-tween knowledge resources and natural language texts" * Marc Vincent and Gre'goire Winterstein "Argumentative insights from an opinion classification task on a French corpus" * Bruno Mery, Richard Moot and Christian Retore "Plurals: individuals and sets in a richly typed semantics" * Yasuo Nakayama "Analyzing Speech Acts based on Dynamic Normative Logic" 11:30-13:00:Lunch 13:00-15:00:Session 2 * Yoshiki Mori and Hitomi Hirayama "Bare plurals in the left periphery in German and Italian" * Christopher Davis "Building Rhetorical Questions in Japanese" * Wataru Uegaki "Predicting the distribution of exhaustive inference in a QUD model" * Matthijs Westera "Exhaustivity through the maxim of relation" 15:00-15:15:Coffee break 15:15-16:45:Session 3 * Daniel Gutzmann "Compositional multidimensionality and the lexicon-semantics interface" * Nicholas Asher, Cedric Degremont and Antoine Venant "Semantic Similarity -- Extended Abstract" * Eric Mccready and Nicholas Asher "Discourse-level Politeness and Implicature" 16:45-17:00:Coffee break 17:00-18:00:Invited Talk 2 * Richard Dietz "The Possibility of Vagueness" 18:00-18:30:Questions and Comments Alternates ---------- * Jiri Marsik and Maxime Amblard "Integration of Multiple Constraints in ACG" * Mihaela Popa "Embedded irony, speech-acts, and the semantics/pragmatics distinction" * Satoru Suzuki "Averages, Comparisons, Contextual Definitions and Meaningfulness" Tutorial Lecture: ================= On October 26th (Sat), there will be a tutorial lecture at Ochanomizu University. Lecturer: Nicholas J.J. Smith (The University of Sydney) Venue: Ochanomizu UniversityFaculty of Science, Building 3, Room 207-209 (2nd Floor) (http://www.ocha.ac.jp/en/access/index.html) Time Table: 10:00-12:00 Session 1 12:00-14:00 Lunch 14:00-16:00 Session 2 Title: Vagueness and Fuzzy Logic Abstract -------- The aim of this tutorial is to give a positive appraisal of the prospects for a fuzzy logic based solution to the problems of vagueness. The tutorial will be divided into the following sections (time permitting). I. An overview of the major existing theories of vagueness (epistemicism, additional truth values, truth gaps, supervaluationism, plurivaluationism). II. The problem of defining vagueness. Shortcomings of previous definitions (e.g. borderline cases, semantic indeterminacy, tolerance). Proposal: vagueness as closeness. If this proposal is correct then the correct theory of vagueness must involve degrees of truth. III. Fuzzy logic and the problem of artificial precision. Problems with existing solutions (fuzzy epistemicism, fuzzy metalanguage, blurry sets). Proposed solution: fuzzy plurivaluationism -- a theory that combines degrees of truth with semantic indeterminacy of the sort found in 'supervaluationist' (more correctly: plurivaluationist) approaches. IV. Fuzzy logic and the problem of truth-functionality. It has been argued that fuzzy logic based theories of vagueness are incompatible with data about the assertability of compound propositions in the presence of borderline cases. A negative assessment of these arguments will be given. V. Integrating the fuzzy theory of vagueness into the wider theoretical landscape. Case study: degrees of belief. In particular, the relationship between degrees of belief arising from uncertainty (ignorance) and degrees of belief arising from vagueness. Workshop Organizers/Program Committee: ====================================== - Shunsuke Yatabe (West Japan Railway Company) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Kei Yoshimoto (Tohoku University)

1 0

第48回 MLG 数理論理学研究集会のご案内
by Katsuhiko Sano 06 Oct '13

06 Oct '13

第48回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 北陸先端科学技術大学院大学の佐野勝彦です。2013年度MLG数理論理学研究集会（第48回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第48回 MLG 数理論理学研究集会開催要領 ========================================= 期間: 2013 年 12 月 6 日(金) 〜 12 月 8 日(日) 場所: 山中温泉河鹿荘ロイヤルホテル（JR加賀温泉駅から車で約20分，加賀温泉駅から送迎あり）〒922-0126 石川県加賀市山中温泉河鹿町ホ100 URL : http://www.daiwaresort.jp/kajikasou/ 講演・宿泊申込締め切り: 2013 年 11 月 20 日（水）申し込みはこちらから --> https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LST… ホームページ：https://sites.google.com/site/mlg2013kaga/ 連絡先E-mail :mlg.logic.japan [at] gmail.com ============ 参加募集 ============ ・講演時間は原則40分を予定しています。・12月7日（土）の夜に懇親会を行います。・全日程参加の場合，参加費（宿泊代・食事代・会場代）は25000円前後になる予定です。・ご講演をなさらなくても参加いただけます。山中温泉河鹿荘ロイヤルホテルで宿泊および食事をなさらない場合にも参加費（会場代）2500円をいただきます。・講演申し込みは、https://docs.google.com/forms/d/1W0cfix5awVjPBI71Bn7dK-LT1E_an2dizQMcoK5LSTk/viewform の registration form からお願い致します。世話人佐野勝彦〒923-1292 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 MLG2013に関するメールは，mlg.logic.japan [at] gmail.com まで。 -- Katsuhiko Sano School of Information Science Japan Advanced Institute for Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

Dick de Jongh オープンセミナー@理科大10/25
by Sumiyo Nishiguchi 04 Oct '13

04 Oct '13

メーリングリストの皆様東京理科大学では下記の要領でオープンセミナーを開催致しますので、奮ってご参加ください。講演者: Professor Dick de Jongh (ILLC, University of Amsterdam) 題: Logic and Learning 日時: 2013年10月25日(金) 4:30pm- Date: Oct 25, 2013, 4:30pm- 場所: 東京理科大学神楽坂キャンパス森戸記念館第2フォーラム <http://www.tus.ac.jp/facility/morito/> （アクセス <http://www.tus.ac.jp/info/access/kagcamp.html>) Location: 2nd Forum, Morito Memorial Hall, Kagurazaka Campus, Tokyo University of Science (directions<http://www.tus.ac.jp/en/campus/kagurazaka.html> ) 参加無料事前申し込み不要 Abstract: Learning and learnability have been long standing topics of interests within the linguistic, computational, and epistemological accounts of inductive inference. This proximity relation between logic and learning is examined with respect to learning and belief revision, knowledge updating and efficiency, concentrating on knowledge updating. See Nina Gierasimczuk, Vincent Hendricks and Dick de Jongh, Logic and Learning, to appear in: Outstanding Contributions: Johan van Benthem. Trends in Logic Book Series, Springer 2013, and Nina Gierasimczuk and Dick de Jongh, On the complexity of Conclusive Update, The Computer Journal (2013) 56(3): 365-377. 問合わせ先: 西口純代東京理科大学経営学部 email: nishiguchi(a)rs.tus.ac.jp -- Sumiyo Nishiguchi, PhD Junior Associate Professor of Linguistics School of Management Tokyo University of Science nishiguchi(a)rs.tus.ac.jp http://www.rs.tus.ac.jp/nishiguchi/

1 0

Dr. Andreas Abel at NII Logic Seminar
by Makoto Tatsuta 04 Oct '13

04 Oct '13

Dr. Andreas Abel at NII Logic Seminar Date: October 11, 2013, 14:00--16:00 Place: National Institute of Informatics, Room 1210 (12th floor) 場所: 国立情報学研究所 12階 1210室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/about/access/) Speaker: Dr. Andreas Abel (Chalmers and Gothenburg University) Title: Copatterns: Programming Infinite Structures by Observations Abstract: Inductive datatypes provide mechanisms to define finite data such as finite lists and trees via constructors and allow programmers to analyze and manipulate finite data via pattern matching. In this paper, we develop a dual approach for working with infinite data structures such as streams. Infinite data inhabits coinductive datatypes which denote greatest fixpoints. Unlike finite data which is defined by constructors we define infinite data by observations. Dual to pattern matching, a tool for analyzing finite data, we develop the concept of copattern matching, which allows us to synthesize infinite data. This leads to a symmetric language design where pattern matching on finite and infinite data can be mixed. We present a core language for programming with infinite structures by observations together with its operational semantics based on (co)pattern matching and describe coverage of copatterns. Our language naturally supports both call-by-name and call-by-value interpretations and can be seamlessly integrated into existing languages like Haskell and ML. We prove type soundness for our language and sketch how copatterns open new directions for solving problems in the interaction of coinductive and dependent types. This is joint work with Brigitte Pientka, McGill University, Montreal. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

配送回復のおしらせ
by Atsushi Igarashi 02 Oct '13

02 Oct '13

logic-ml, kisoron-ml, jssst-ppl を購読されているみなさま，管理人の五十嵐です．メイリングリストを管理しているソフトウェアが落ちていたことに気付かず， 9月の半ばから二週間程度配送が滞っていたことがわかりました．現在は通常の状態に戻っているのではないかと思います．この間に投稿をされた方におきましては大変ご迷惑をおかけいたしました．どのメイリングリストも毎日必ず投稿があるほどはアクティブではありませんので単に投稿がないのか，不具合が発生しているのか俄かにはわからないことがあります (^^; あれ，投稿が配送されていないかも？と思った場合はお気軽にお問い合わせください．今後ともどうぞよろしくお願いいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

Talk by Tarmo Uustalu, Friday this week
by Ichiro Hasuo 01 Oct '13

01 Oct '13

Dear all, Friday this week we have Tarmo Uustalu from Institute of Cybernetics, Tallinn, Estonia visiting us in U Tokyo and making a talk. No registration needed. See you there! Best regards, Ichiro Hasuo http://www-mmm.is.s.u-tokyo.ac.jp/ ________________________________ Fri 4 October 2013, 17:00-18:00 Tarmo Uustalu (Institute of Cybernetics, Tallinn), Update Monads: Cointerpreting Directed Containers 理学部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/ We introduce update monads as a generalization of state monads. Update monads are compatible compositions of reader and writer monads given by a set and a monoid. Distributive laws between such monads are given by monoid actions. We also discuss a dependently typed generalization of update monads. Unlike simple update monads, those cannot be factored into a reader and writer monad. Dependently typed update monads arise from cointerpreting directed containers, by which we mean interpreting the opposite of the category directed containers into the category of set functors. (Joint work with Danel Ahman, University of Edinburgh.)

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Oct '13

01 Oct '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ************************************* Yoshihito Tanaka Faculty of Economics, Kyushu Sangyo University (KSU) 2-3-1 Matsukadai, Higashi-ku, Fukuoka 813-8503, Japan e-mail ytanaka(a)ip.kyusan-u.ac.jp. tel +81-92-673-5216 *************************************

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 30 Sep '13

30 Sep '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

セミナー案内
by KASHIMA Ryo 30 Sep '13

30 Sep '13

数理論理学セミナーのお知らせ日時：10月4日(金)15:00から場所：東京工業大学大岡山西８号館部屋未定（参加者希望者はメールをください．部屋確定後に個別にお知らせします）（１）話者：Daniel Günzel （ダルムシュタット工科大）題目：Logical Metatheorem: Background and practice 概要： A logical Metatheorem, due to Gerhardy-Kohlenbach, is introduced by presenting the main logical tools involved and showing some key aspects of the theory involved. After having done all the formal work, an application to a real world fixed point theorem (due to Fora) is given in several steps going to the formalization and modification process to finally obtain new constructive results. （２）話者：横山啓太（北陸先端科学技術大学院大）題目：Ramsey's theorem, its iteration and their strength 概要： In this talk, I will introduce several versions of iterated Ramsey's theorem, and study the strength of them. I will also consider finite versions of iterated Ramsey's theorem, which are independent from Peano arithmetic. In fact, some of them are strictly stronger than the famous independent statement by Paris/Harrington. ------ 問い合わせ先：鹿島亮（東京工業大学） kashima(a)is.titech.ac.jp

1 0

Fwd: Postdoc position in Operational Semantics in Warsaw
by Ichiro Hasuo 29 Sep '13

29 Sep '13

みなさま，ワルシャワ大学の Bartek Klin さんによるポスドク募集を転送します．蓮尾一郎 www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ --------------------------------------------------------------------------- A three-year postdoctoral position is available under the direction of Bartek Klin in the Institute of Informatics, University of Warsaw. The position is in the field of semantics of programming languages and process algebras, within the project "Modular operational semantics: a bialgebraic approach", funded by the Polish National Science Center. The applicants should have (or be close to completion of) a PhD degree in Mathematics or Computer Science, and be interested in topics such as semantics of programming languages, process algebra, formal methods, and/or category theory. The position is available from November 2013, but the starting date may be postponed on request of a suitable candidate. In addition, interested candidates are invited to apply for a postdoctoral fellowship at the Warsaw Center of Mathematics and Computer Science (http://www.wcmcs.edu.pl/node/41), with the rather short deadline of *** October 15th, 2013 ***. These are one-year positions (with a possible extension to two years), with an excellent salary which may be used as an additional source of funding for the first years of stay in Warsaw. For further information please contact Bartek Klin (klin(a)mimuw.edu.pl). ---------------------------------------------------------------------------

1 0

Philosophy of Logic and Speach Act Theory 集会のご案内（１０月５日慶応大三田キャンパス）
by Mitsu Okada 25 Sep '13

25 Sep '13

次の集会のご案内をさせていただきます。　岡田光弘（慶応大学哲学専攻） ――――――――――――――――――――――――――――――――――――― 国際ワークショップ (International Workshop) Philosophy of Logic and Speach Act Theory 論理と言語行為論の哲学 ――――――――――――――――――――――――――――――――――――― 開催日時：2013年10月5日(土) 13:30PM-17:00PM (17:30からレセプション有り。出席者無料) Date: October 5, 2013 (Sat) 13:30PM-17:30 PM 開催場所：慶應義塾大学三田キャンパス南館（法科大学院棟) 地下4階ディスタンスラーニング室 Place: Distance Learning Room, B4F (Basemant) of South building (Law school building),　 Mita campus of Keio University. http://www.keio.ac.jp/en/maps/mita.html ――――――――――――――――――――――――――――――――――――― 論理と言語行為論の哲学についての国際集会を開催します。特に今回はフランスＣＮＲＳ人文社会部門及びパリ大学ソルボンヌ＝パンテオン校(パリ大学第1校）哲学科との共同企画で講演および討論集会を行います。 - 提題講演者： Sandra Laugier (Universite Paris I, 哲学科教授) Pierre Wagner (Universite Paris I, 哲学科教授) - ディスカッションコーディネータ　岡田光弘（慶應義塾大学哲学専攻）＊発表言語は英語 - 参加方法：事前登録不要・参加費無料 (※セッション終了後の立食形式レセプションも参加自由です) Ｌａｕｈｉｅｒ教授は言語行為論、ウィトゲンシュタインの哲学などを専門とされ多くの著編著を出版されています。Ｗａｇｎｅｒ教授は論理の哲学、数学の哲学を専門とされ、クセジュ文庫の Logiqueなど多くの著作で知られています。 .Program (13:30PM,-!7:30PM) 1. Pierre Wagner (Professor, Department of Philosophy, Universite Paris I (Sorbonne) Pluralism and Universalism in Logic Discussion Pause 2.Sandra Laugier (Professor, Department of Philosophy, Universite Paris I (Sorbonne) The normality of the Ordinary, Performative Utterances and Social Reality: Reconsideration of Speach Act Theory of Austin Discussion -- 17:30PM- Reception (free of charge for all participants) 簡単な要旨を下に付けています。 ――――――――――――――――――――――――――――――――――――― 主催・企画：慶應義塾大学「思考と行動判断」の研究拠点共同企画：　ＣＮＲＳ人文社会学部門お問い合わせ先： E-mail: think-judge(a)abelard.flet.keio.ac.jp --------------------------------------- 1. Pluralism and Universalism in Logic Pierre Wagner 論理のPluralismとＵｎｉｖｅｒｓａｌｉｓｍの考え方とその問題点などを検討します。また、近年の論理学におけるこれに関係する動きについても議論します。例えば様々な部分構造論理や様相論理、動的論理系論理について論理的多元論の立場でとらえる考え方とそうでない立場でとらえる考え方について検討します。最近ののＵｎｉｖｅｒｓａｌ logicの運動についても批判的観点も含めて議論します。 2. The normativity of the Ordinary -Performative Utterrances and Social Reality The question of performative utterances seems inseparable from a reflection on social normativity, especially on the transgression of norms implied in Austin’s thorough study of the failures (abuses and misfires) of the performative, in /How to do things with words/. Austin’s discovery of speech acts rests ultimately on thought about law and normativity. It is a well known fact that H. L. A. Hart was a member of the seminar, held just after the war, in which Austin presented the theory of speech acts. Moreover, Reinach’s theory of social acts, an early form of the theory of speech acts, was developed in a legal context. Reinach’s work anticipates Austin’s so closely that some historians of speech act theory have proposed that Austin was aware, /via/ Ryle, of Reinach’s work. The connection between law and speech acts has engendered all sorts of difficulties and misunderstandings, especially with respect to the normativity of these acts and with respect to the existence of norms or rules grounding them (cf. Hart and Searle). My aim here is, first of all, to clarify the connection between speech acts, normativity, and law. This large question has often been taken up in order to make normative use of Austin’s theories, for example by Searle. It is therefore important to see what use can really be made of Austin’s work in the theory of norms. I will first approach this issue by examining the specific nature of the speech act in Austin. Reflection on law makes clear the variety of speech acts beyond the paradigmatic example of promising. It also shows what is truly at stake in Austin’s theory. Furthermore it alerts us to the full radicalism of Austin’s philosophy of language. In making performatives “social” acts determined by rules, Austin’s mainstream interpreters and inheritors neglect the properly linguistic dimension of Austin’s discovery. They also miss his critique of representationalism and of the very idea of states of affairs. Yet this critique is inseparable from his discovery of performatives. What is at stake, therefore, is the very idea of performance, that is to say, the very idea of agency, independently of all prior normativity and of any creation of a state of affairs or a social reality. -------------------------------------end of the announcement---------------------------

1 0

[CFP] PPL2014 論文募集のお知らせ: 第16回プログラミングおよびプログラミング言語ワークショップ
by Keisuke Nakano 19 Sep '13

19 Sep '13

＊＊＊重複して受け取られた場合はご容赦ください＊＊＊電気通信大学の中野と申します．来年3月に熊本県阿蘇市阿蘇温泉で開催される第16回プログラミングおよびプログラミング言語ワークショップ (PPL2014) のご案内です．詳細な投稿方法などは決定次第，下記ワークショップWebページにてお知らせしますので，ご投稿，ご参加をご検討ください． -------------------------------------------------------------------------- 第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014） http://www.fos.kuis.kyoto-u.ac.jp/ppl2014/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2014年3月5日(水)～3月7日(金) 会場: 熊本県阿蘇市阿蘇温泉「阿蘇の司ビラパークホテル」 http://asovilla.jp/ PPL2014は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ1: 国内外で未発表の論文の発表カテゴリ2: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ3: ポスター・デモ発表（既発表・未発表の別を問いません） ※ショートプレゼンテーションは行いませんカテゴリ1の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションを披露した学生に発表賞を授与する予定です．カテゴリ1（国内外未発表論文） ------------------------------ 完成した理論やシステムの研究発表のみならず，萌芽的なアイディアや問題点の提示等も歓迎します．発展途上の研究内容も積極的に採録する方針です（ただし，PPLでの発表として相応しくないと判断される場合は，この限りではありません）．また，カテゴリ1で発表された研究については，会場での討議や査読コメントをもとにその完成度を高め，将来の学術雑誌・会議等での業績に結び付けることを奨励しています．そのため，予稿集の配布は参加者のみへの限定的なものとする予定です．採録された論文は，PPL2014参加者に配布される予稿集に掲載され，参加者のみがアクセス可能な形でWEB上で公開されます（論文へのリンク集ページを作成し，閲覧に必要なパスワードを参加者に連絡します）．カテゴリ1で発表された研究のうち，PPL2014プログラム委員会により優れていると認めるものは，PPL2014終了後（2014年4月下旬予定），「コンピュータソフトウェア」誌のPPL2014推薦論文としての投稿が可能です．推薦論文は，PPL プログラム委員が引き続き査読を行うことによる，迅速な査読プロセスを特長としています．カテゴリ2（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが国内では未発表である研究を紹介する場です．採録決定済みの研究も含みます．PPLへの関連をもとに採否を判定いたしますが，申し込み多数の場合はプログラム委員会での選考により，発表をご遠慮いただく可能性もございますので，その旨をご了承の上ご投稿ください．カテゴリ3（ポスター・デモ発表） ------------------------------------------ 2時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．また，申し込み多数の場合はプログラム委員会での選考により採否を決定する可能性があります． ====================================================================== 投稿・発表申込要領 3つのカテゴリそれぞれに対する投稿方法は以下の通りです．最新の情報は上記 Web ページでご確認ください．カテゴリ1（国内外未発表論文） ------------------------------ 投稿手続きは2段階です．発表申込を行った上で論文提出を行ってください．発表申込先： EasyChair による申込み受付を予定しています．発表申込締切：2013年12月20日(金) 17:00 (JST) 著者名，所属，論文タイトル，論文概要（日本語300〜400字程度もしくは英語 200 words 程度）を提出してください．論文提出締切：2014年1月8日(水) 17:00 (JST) 10ページ程度（最大15ページ）の論文（日本語もしくは英語，PDF形式）を提出してください．採否通知：2014年2月3日(月) 最終原稿提出締切：2014年2月14日(金) 17:00 (JST) 採録された論文の最終原稿の提出方法は，採否通知にてお知らせいたします． (注) カテゴリ1への投稿論文と類似の論文を，他の会議（予稿集を出版するもの）・論文誌などに同時投稿する場合は，査読の有無に関わらず，その旨を発表申込および論文提出の際に明記してください．PPLでは同時投稿の事実のみをもって論文を不採録とすることはありませんが，採否の決定に利用する場合があります（他の会議との重複を避けるため，発表内容についての条件付採録とすることもあります）．カテゴリ2（国外既発表論文） ---------------------------- 昨年同様，カテゴリ2の申込締切が少し早くなっていますのでご注意ください．発表申込時に採録が決定している国際会議および国際学術雑誌の発表論文が対象です．理論系だけではなく実装系の論文の投稿も歓迎いたします．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込締切：2014年1月24日(金) 17:00 (JST) 原論文（ページ数不問，PDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せてご提出ください．採否通知：2014年2月5日(水) カテゴリ3（ポスター・デモ発表） ------------------------------------------ ポスター・デモの区別を行わずに募集いたします．デモを行う場合は，発表概要においてその旨をご説明ください．発表申込方法につきましては PPL2014 の Web ページをご確認ください．発表申込締切：2014年2月7日(金) 17:00 (JST) 希望する発表形態（ポスター・デモの別）を明記して，著者名，所属，発表タイトル，発表概要（200〜300字程度）をご提出ください．採否通知：2014年2月14日(金) 問い合わせ先：ppl2014-oc [at] fos.kuis.kyoto-u.ac.jp （[at]を@に置き換えてください） ====================================================================== プログラム委員会 Reynald Affeldt (産総研) 稲葉一浩 (Google) 馬谷誠二 (京大) 海野広志 (筑波大) 大平怜 (日本IBM) 大野和彦 (三重大) 倉光君郎 (横浜国立大) 光来健一 (九工大) 笹田耕一 (Heroku) 篠埜功 (芝浦工大) 鈴木貢 (島根大) 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] 西田直樹 (名古屋大) 浜名誠 (群馬大) 廣川直 (北陸先端大) 松崎公紀 (高知工大) 南出靖彦 (筑波大) 横山大作 (東大) 横山哲郎 (南山大) 実行委員会末永幸平 (京大) [実行委員長] 上野雄大 (東北大) [実行副委員長] 中田秀基 (産総研) [プログラム共同委員長] 中野圭介 (電通大) [プログラム共同委員長] --------------------------------------------------------------------------

1 0

「NII湘南会議」の企画募集のご案内(9/15, 12/15, 6/15締切)
by Soichiro Hidaka 10 Sep '13

10 Sep '13

logic-mlの皆様、国立情報学研究所の日高と申します。本メーリングリストをお借りして、国立情報学研究所の主催で、アジアにおける最初のダグスツールスタイル・セミナーとなる「NII湘南会議」の企画募集をご案内させて頂きたいと思います。 NII湘南会議は、情報学の分野で世界的にトップレベルの研究者が一堂に会し、叡智を分け合う場を提供します。会議は、毎月開催し、成田国際空港からもアクセスのよい湘南国際村センターにて行われます。富士山をバックに、湘南海岸を眼下に見下ろす景観が楽しめます。詳しくは、リーフレット http://www.nii.ac.jp/shonan/wp-content/uploads/2010/07/NII-Shonan-Meeting-B… もしくは本メールの後半の英文企画募集のほか、下記webサイトをご参照下さい。 http://www.nii.ac.jp/shonan/ (英文) http://www.nii.ac.jp/about/international/shonanmtg/ (和文概要) 企画は随時受付けておりますが、年に3回締切りがあり、直近の締切りは 9月15日で、その後12月15日、6月15日と続きます。是非ご検討いただければ幸いです。 ---- NII SHONAN MEETINGS: CALL FOR PROPOSAL (1) Objective NII Shonan Meetings, following the well-known Dagstuhl Seminars, aim to promote informatics and informatics research at an international level, by providing yet another world's premier venue for world-class scientists, promising young researchers, and practitioners to come together in Asia to exchange their knowledge, discuss their research findings, and explore a cutting-edge informatics topics. The meetings are held in Shonan Village Center (near Tokyo), which offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. The friendly and open atmosphere is to promote a culture of communication and exchange among the meeting participants. The NII Shonan Meetings are managed by National Institute of Informatics (NII) in Japan. (2) Scope and Style NII Shonan Meetings follow the style of the Dagstuhl Seminars. A meeting usually lasts for four days (Monday to Thursday) or shorter. It is initiated by at most three organizers (one from Asia), established leaders in their field, representing different communities invited to the Seminar, preferably from different institutions. NII invites on their behalf about 25 to 35 researchers of international standing from academia and industry. Like Dagstuhl Seminars, an NII Shonan Meeting typically does not come with a fixed program. Instead, the pace and the program are guided by topics and presentations that evolve through discussions. In particular, NII does not require participants to submit a paper for presentation, or to give a presentation at all. On the contrary, NII encourages participants to present new ideas and work in progress. All administrative works of meetings are supported by the NII team in the preparation phase and during the seminars themselves, so that the organizers can focus on choosing research topics and selecting active researchers for the meeting. (3) Proposal Submissions NII invites international standing scientists to submit proposals for international meetings (with about 25-35 participants) on any topics of informatics. The proposal should clearly motivate the topic of your seminar and include the following items: - Meeting Title - Organizers (at most three, 1-page CV for each) - Proposed Dates for the Meeting - Description of the Meeting (1-2 pages, in English) - Invitation list (Position/First Name/Middle Name/Last Name/Affiliation/Email/Gender/URL/research list) The proposal should be submitted via the following EasyChair page: http://www.easychair.org/conferences/?conf=nim1 The proposal will be reviewed by the Academic Committee. Once the proposal is approved, our staff will help to organize the seminar. We welcome proposal submission anytime through a whole year, although submission is closed in June 15th, September 15th and December 15th. Notification of acceptance is only made after two or three months of each closing day. More information about submitting proposals: http://www.nii.ac.jp/shonan/proposal-submissions/ (4) Locations and Expenses The meetings are held in Shonan Village Center (near Tokyo), whose nearest train station can be accessed by a direct train from Narita International Airport, and offers a combination of facilities for conferences, trainings, lodging in a resort-like setting. http://www.shonan-village.co.jp/svc/ The following rates cover overnight accommodation (single room) and full board (breakfast, lunch, and dinner) per day: - Meeting organizers: free - Participants from academia: 8,000 Yen/day - Participants from industry: 15,000 Yen/day - Partner accompanying participant: 7,500 Yen/day (Meal charges are not included.) (5) Organization Organization Committee: Yoh'ichi Tohkura (NII): Chair Isao Echizen (NII) Cheung Gene (NII) Soichiro Hidaka (NII) Zhenjiang Hu (NII) Junichi Yamagishi (NII) Toyomi Takekawa (NII) Academic Committee: Zhenjiang Hu (NII): Chair Akiko Aizawa (NII) Katsumi Inoue (NII) Noriko Kando (NII) Ken'ichi Kawarabayashi (NII) Jeff Kramer (Imperial College London) Kae Nemoto (NII) Bashar Nuesibeh (Lero/Open Univ.) Yoichi Sato (Univ. of Tokyo) Ken Satoh (NII) Shin'ichi Satoh (NII) Satoshi Sekine (New York Univ./Rakuten Inst. of Tech.) Akihiko Takano (NII) (6) Inquiry Should you have any questions, please feel free to contact us by sending an email to shonan(a)nii.ac.jp More information about NII Shonan Meetings is available at the following website: http://www.nii.ac.jp/shonan/ 国立情報学研究所アーキテクチャ科学研究系助教日高宗一郎総合研究大学院大学複合科学研究科情報学専攻併任博士(工学) hidaka(a)nii.ac.jp http://research.nii.ac.jp/~hidaka 〒101-8430 東京都千代田区一ツ橋2-1-2 学術総合センタービル内 TEL:03-4212-2586(直)/03-4212-2000(代) 内線2586 FAX:03-4212-2120

1 0

超準解析シンポジウム（第3報）
by Hiroshi Akiyama 10 Sep '13

10 Sep '13

関係各位： 2013年度超準解析シンポジウムを下記の要領で開催いたしますのでご案内申し上げます．　静岡大学　明山　浩　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月18日(水)12：30 から 9月19日(木)12：30 まで　会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンパス）　　　工学部6号館 12教室　　　（北門のすぐそばの5階建ての建物の1階です）会場への交通：遠鉄（遠州鉄道）バスをご利用の場合，JR浜松駅北口バスターミナル15番または16番のりばで乗車，「静岡大学」で下車（所要時間は約20分，運賃180円）．会場アクセスHP： http://www.eng.shizuoka.ac.jp/outlines/p07/ 本シンポジウムは科研費挑戦的萌芽研究(24654021) (研究代表者：小澤正直) の助成を受けております．プログラム９月１８日（水） 12：30--13：00 受付 13：00--13：40 明山　浩　（静岡大学）　多様体上の熱核に対する超準的方法 13：50--14：35 横山啓太　（北陸先端科学技術大学院大学）　弱い組合わせ命題と超準的手法 14：50--15：35 山下秀康　（愛知学院大学）　コヒーレント状態経路積分と de Broglie 場 15：45--16：30 知沢清之　（管理工学研究所）　On the two methods to prove the existence of 4-dimensional canard 16：40--17:10 ショートコミュニケーション懇親会９月１９日（木） 9：30--10：15 柳川　信　（筑波大学）　A non-standard construction of p-adically closed fields 10：25--11：10 村上雅彦　（東京医科大学）　Yet another quantum set theory 11：25--12：10 松永　隆　（大阪府立成人病センター）　A key lemma to a nonstandard proof of the Doob-Meyer theorem 12：30 連絡事項等，　閉会　　 ************** 静岡大学大学院工学研究科数理システム工学専攻，工学部共通講座（数学）　明山　浩 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

$B9V1i$N$*CN$i$;!J(BJamie Vicary$B;a(B, 2013$BG/(B9$B7n(B12$BF|!K(B
by Hasegawa Masahito 03 Sep '13

03 Sep '13

$B3'MM!"(B $B0J2<$NFbMF$G!"(BOxford$BBg3X$N(BJamie Vicary$B$5$s$N9V1i$rM=Dj$7$F$*$j$^$9!#(B $B7wO@$rMQ$$$?NL;R7W;;!&NL;R>pJs$N8&5f$K4X$9$kOCBj$G$9$,!"Hs@lLg2H$N(B $BJ}$bG0F,$KCV$$$F$*OC$7D:$-$^$9!#3'MM$N$4;22C$r$*BT$A$7$F$*$j$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ---------------------------------------------------------------------- $B9V1i<T(B Jamie Vicary $B;a(B (Dept. Computer Science, Univ. Oxford / Centre for Quantum Technologies, Univ. Singapore) $BBjL\(B THE GEOMETRY OF QUANTUM AND CLASSICAL INFORMATION $BF|;~(B 2013$BG/(B9$B7n(B12$BF|!JLZ!K(B11:00-12:00 $B>l=j(B $B5~ETBg3XAm9g8&5f#29f4[(B 4$B3,(B478$B9f<<(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!J?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!"$4Cm0U2<$5$$!K(B $B35MW(B Recent work has shown a beautiful connection between geometry and information flow, in both quantum and classical computer science. Diagrams involving points, lines and regions encode basic phenomena such as quantum measurement, entanglement creation, secret key preparation and encryption. Procedures such as quantum teleportation, quantum dense coding and encrypted communication can then be defined as equations between these diagrams, such that solutions to these equations in the correct 2-category correspond precisely to implementations of these algorithms in the ordinary sense. This work has many connections to other areas of mathematics and physics, such as topological quantum field theory, representation theory, and higher category theory, which I will briefly describe. All mathematical aspects will be introduced from scratch, so this talk should make sense to non-specialists. $BLd9g$;(B $BD9C+@n???M!J5~ETBg3X?tM}2r@O8&5f=j!K(B<hassei at kurims.kyoto-u.ac.jp> ----------------------------------------------------------------------

1 0

第２９回量子情報技術研究会（QIT29）のご案内
by NISHIMURA Harumichi 03 Sep '13

03 Sep '13

logic-mlの皆様，第２９回量子情報技術研究会のご案内を代理投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 ------------------------------------------------------------------------ 第29回量子情報技術研究会 (QIT29) のご案内研究会の内容情報科学と量子力学を融合させた新しい分野，量子情報科学に関する研究会です．情報を担う物理系の量子力学的側面を積極的に活かした新しい情報処理原理の研究とそこから開かれる新しい学問体系の構築および新しい情報技術パラダイムの創生を目指して，情報科学，物理学，光エレクトロニクスを含む理学，工学，数理科学に携わる研究者間に自由な討論の場を提供し，この研究分野の発展を図ることを目的としています．第29回研究会を下記のように開催致します．現在この分野で活躍する研究者は勿論，自分の研究資産が何らかの形で使えそうだと予感している研究者・技術者など，広く関連する分野の研究者・技術者からの発表を募集致します．聴講のみの参加も歓迎致しますので，奮ってお申し込みください．日時: 2013年11月18日(月)〜19日(火) 会場: 早稲田大学西早稲田キャンパス 63号館2階04-05会議室 (〒169-8555 東京都新宿区大久保 3-4-1) 発表募集分野 (申し込み状況によっては査読の可能性あり) 量子情報，量子計算，量子暗号など広く量子情報技術に関わる理論的研究，実験的研究，計算機科学的研究，数学的研究，および，その関連分野定員: 150名参加費: 事前振込み一般6,000円，学生1,000円 (当日会場払いは一般7,000円，学生2,000円) (懇親会は別途) 研究会参加申込要領参加申込は下記 Web より受付けます： http://staff.aist.go.jp/s-kawabata/qit/ 講演 (口頭，ポスター) の申込，予稿集原稿 PDF の提出は，電子情報通信学会の Web システムを使用します．【口頭講演申込締切】 2013年10月 4日(金) 【ポスター講演申込締切】2013年10月18日(金) 【予稿原稿提出締切】 2013年10月18日(金) 【参加申込締切】 2013年10月25日(金) 【問合先】中里弘道 (早稲田大学先進理工学部) 湯浅一哉 (早稲田大学先進理工学部) 青木隆朗 (早稲田大学先進理工学部) 和久井健太郎 (情報通信研究機構) Email: qit29(a)list.waseda.jp 主催: 量子情報技術時限研究専門委員会 (委員長: 枝松圭一 (東北大学)) 共催: 応用物理学会量子エレクトロニクス研究会 ------------------------------------------------------------------------

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Sep '13

01 Sep '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

Book Series: Logic in Asia について
by 小野寛晰 30 Aug '13

30 Aug '13

皆様北京の清華大学の Fenrong Liu さんとともに、新たな book series "Logic in Asia" を企画してきました。最近 Springer と契約を終え、Studia Logica Library の Trends in Logic と並ぶ一シリーズとして今後モノグラフやプロシーディングスを出版していくことになります。proposal 等の形式は近く Springer のサイトに記載される予定ですが、Trends in Logic とほぼ同様になる予定です。添付したファイルにこのシリーズの概要がありますので、ご検討ください。またご質問等ありましたら私宛にご連絡ください。小野寛晰

1 0

超準解析シンポジウム（第2報）
by Hiroshi Akiyama 28 Aug '13

28 Aug '13

皆様： 2013年度超準解析シンポジウム世話人の明山（静岡大学）です．プログラム（暫定版）を作成いたしました．日程は最初の予定から短縮しました．懇親会を9月18日（水）夕方からと考えております．場所等は未定です．シンポジウムに参加されるかたは，お手数ですが懇親会へのご出欠を9月9日（月）までに私までお知らせいただければ幸いです．　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月18日(水)12：30 から 9月19日(木)12：30 まで　会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンパス）　　　工学部6号館（旧・共通棟）12教室　　　（北門のすぐそばの5階建ての建物の1階です）会場への交通：遠鉄（遠州鉄道）バスをご利用の場合，JR浜松駅北口バスターミナル15番または16番のりばで乗車，「静岡大学」で下車（所要時間は約20分，運賃180円）．プログラム（暫定版）９月１８日（水） 12：30--13：00 受付 13：00--13：40 明山　浩　（静岡大学）　多様体上の熱核に対する超準的方法 13：50--14：35 横山啓太　（北陸先端科学技術大学院大学）　弱い組合わせ命題と超準的手法 14：50--15：35 山下秀康　（愛知学院大学）　コヒーレント状態経路積分と de Broglie 場 15：45--16：30 知沢清之　（管理工学研究所）　On the two methods to prove the existence of 4-dimensional canard 16：40--17:20 （予備：追加講演またはショートコミュニケーション）懇親会（予定）９月１９日（木） 9：30--10：15 柳川　信　（筑波大学）　A non-standard construction of p-adically closed fields 10：25--11：10 村上雅彦　（東京医大）　Yet another quantum set theory 11：25--12：10 松永　隆　（大阪府立成人病センター）　A key lemma to a nonstandard proof of the Doob-Meyer theorem 12：30 連絡事項等，　閉会　　 ************** 世話人：静岡大学工学部共通講座　　明山　浩　　　　　 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

[CFP] *Deadline Extended* 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2013)
by Takashi KITAMURA 28 Aug '13

28 Aug '13

みなさま、こんにちは、産総研の北村崇師です。今年10月にニュージーランドで開催の FTSCS2013 の論文投稿締め切りが9月6日に延長されましたのでお知らせいたします。 http://www.ftscs.org/ > FTSCS2013 は形式手法をテーマにしたワークショップです。 > 研究論文だけでなく、経験論文や調査論文、ツール論文、ポジションペーパも募集しています。 > Proceedings は Springer の CCIS より出版され、FTSCS2013 を基にElsevier の Science of Computer Programming で特集号が企画される予定です。是非論文投稿をご検討ください。よろしくお願い致します。 --------------------------------------------------------------------- *** Deadline extended to September 6th *** --------------------------------------------------------------------- Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 6, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy Krishnan Oracle Labs Brisbane, Australia Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Tang Nguyen UST Hanoi, Vietnam Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Grigore Rosu University of Illinois at Urbana-Champaign, USA Neha Rungta NASA Ames, USA Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Michael Whalen University of Minnesota, USA Peng Wu Chinese Academy of Sciences, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073 Internal Tel: *33-274-71902

1 0

JAIST Logic Seminar Series
by Takako Nemoto 26 Aug '13

26 Aug '13

皆様直前のお知らせになって申し訳ありません。ジーゲン大学（ドイツ）の Hannes Diener 博士の講演のお知らせです。ふるってご参加ください。問い合わせ先：根元多佳子北陸先端科学技術大学院大学情報科学研究科 e-mail: t-nemoto(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Wednesday 28 August, 2013, 15:30- Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Title: The recursive part of constructive reverse mathematics Abstract: http://www.jaist.ac.jp/~t-nemoto/Diener_talk.pdf

1 0

Workshop on Relevant Logics
by KASHIMA Ryo 24 Aug '13

24 Aug '13

皆様、 Relevant logic に関係する研究者の交流，情報交換を目的としたワークショップを開催します。どなたでもご参加いただけますが，参加の場合は事前に御一報ください。日時：9月10日(火) 13:00から場所：東京工業大学大岡山キャンパス西８号館W棟10階1008号室プログラム： 13:00 鹿島亮（東工大） Relevant logic の定式化について 14:00 吉満昭宏（琉球大）関連論理Bの情報的意味論 15:15 佐野勝彦（JAIST） Alternative Semantics for Visser’s Basic Propositional Logic 16:15 大森仁（学振海外特別研究員，ニューヨーク市立大学・ボーフム大学）否定と関連(連関)論理 17:15 古森雄一 Relevant logic との出会い詳細はこちら： http://www.is.titech.ac.jp/~kashima/Events/RelevantLogic2013.html 問い合わせ先：鹿島亮 kashima(a)is.titech.ac.jp

1 0

SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 20 Aug '13

20 Aug '13

みなさま，下のお知らせ，再送させてください．アップデートですが： - ウェブページを更新しました．参加者・講演者，スケジュール（仮）が見えます．https://sites.google.com/site/slagics2013/ - 参加申込，まだまだ受付中です（9/13 まで）．講演スロットもまだまだありますので，講演希望の方もぜひどうぞ！暫定プログラムが https://docs.google.com/spreadsheet/ccc?key=0AnyEiro37woZdEo3MkY1c1pUYjFlek… ですが，3日間朝から夕方までやるき満々です． - 旅費補助・数研宿舎の申込は締切りました．どうかよろしくお願いいたします！ SLAGICS organizers: 星野直彦，蓮尾一郎 2013/6/3 Ichiro Hasuo <ichiro(a)is.s.u-tokyo.ac.jp>: > (English below) > > みなさま，（何人かの方々には bcc で失礼します） > > こんにちは！東京大学の蓮尾です． > > 京都大学数理解析研究所で行うワークショップ > > SLAGICS 2013: ALGI and SLACS join forces > 京都大学数理解析研究所 RIMS研究集会 > 2013/9/24（火） -- 2013/9/26（木） > https://sites.google.com/site/slagics2013/ > > へのお誘いです． > > === 背景 ============================== == > 毎年行われている研究集会 > > ALGI (Algebra, Logic and Geometry in Informatics) > 代数, 論理, 幾何と情報科学研究集会 > http://sakura.math.kyushu-u.ac.jp/algi/ > > と > > SLACS (Symbolic Logic and Computer Science) > 記号論理と情報科学研究集会 > http://www.math.s.chiba-u.ac.jp/SLACS/ > > は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直 > 彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の > 研究集会として共催をすることにしました． > （応募に際してご協力いただいた皆さま，どうもありがとうございました． > 無事採択されました） > > 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が， > 特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共 > 同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場 > にできればと考えております． > > === プログラム ================================ > > 9/24 は SLACS day > 9/25 は相互乗り入れ day > 9/26 は ALGI day > > とします（なんとなく）．9/25 には，東京大学の塚田武志さん > http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ > によるゲーム意味論のチュートリアルを予定しています． > 懇親会は 9/24 です． > > 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講 > 演の数によっては短縮の可能性があります． > > === 旅費の補助・宿泊 ================================ > > 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の > 宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは > https://sites.google.com/site/slagics2013/practical > をごらんください． > > === 参加登録 ================================ > https://sites.google.com/site/slagics2013/registration > からお願いします． > > 参加登録の締切は， > > - 旅費希望または北白川学舎宿泊希望のかたは， > *** 2013/8/16 （金）*** > （ただし基本的に早い者勝ちなので，早めがおすすめです） > - それ以外の方は *** 2013/9/13 （金）*** > > とさせてください． > > > ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね． > それでは！ > > SLAGICS 2013 オーガナイザー > > 星野直彦 > 京都大学数理解析研究所 > http://www.kurims.kyoto-u.ac.jp/~naophiko/ > > 蓮尾一郎 > 東京大学コンピュータ科学専攻 > http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ > > > > ======================================================== > > SLAGICS 2013: ALGI and SLACS join forces > RIMS, Kyoto University > 2013/9/24 (Tue) -- 2013/9/26 (Thu) > https://sites.google.com/site/slagics2013/ > > > ALGI and SLACS are two series of workshops in Japan whose > interests range widely from formal logic and semantics to > algebraic geometric, and categorical methods, with emphases on > computer science. This year the two series join forces and > hold a joint workshop in Kyoto. > > Though many talks will be in Japanese, your contributed talks > in English are most welcome and appreciated. See > > https://sites.google.com/site/slagics2013/practical-in-english > > for some practical information. (There will be travel support by > courtesy of RIMS, Kyoto University). The registration deadlines are: > > - *** Fri 16 Aug *** if you'd like travel support or a room > at the RIMS accommodation (but do it ASAP since these are > first come, first served); > - *** Fri 13 Sep *** otherwise. > > Looking forward to seeing you in Kyoto! > > Best regards, > > SLAGICS 2013 Organizers: > Naohiko Hoshino > RIMS, Kyoto U. > http://www.kurims.kyoto-u.ac.jp/~naophiko/ > > Ichiro Hasuo > Dept. CS, U. Tokyo > http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 0

Extended Deadline: AAA 2013 - 1st International Workshop on Argument for Agreement and Assurance
by Hiroyuki Kido 14 Aug '13

14 Aug '13

Apologies for cross-postings. =============================================================== 1st International Workshop on Argument for Agreement and Assurance (AAA 2013) Kanagawa, Japan October 27-28, 2013 http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/ *** Extended deadline: August 24 *** =============================================================== OVERVIEW: ---------------- Submissions are invited for the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013). The workshop will be held in Keio University Hiyoshi Campus, Kanagawa, Japan, on October 27-28, 2013, as part of the Japanese Society for Artificial Intelligence international symposia on AI (JSAI-isAI) 2013. Argumentation has now become an interdisciplinary challenging research area in AI aiming at formalizing various aspects of human or/and computer software argument in terms of computation, and applying those knowledge to various fields. Scope of argumentation in AI includes human arguments appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Results of argumentation in AI are widely applicable to various fields such as consensus building, agreement formation, multiagent systems, semantic web, recommendation systems, argument mining, learning, belief revisions, chance discovery, safety engineering, etc. In particular, safety engineering is a research area that is interested in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for certification bodies to issue a license to developing and operating bodies, for system stakeholders to make agreement, for system administrators to achieve accountability, etc. AAA 2013 contributes to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments. AAA 2013 solicits contributions from broad range of researchers related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance. AAA 2013 seeks high-quality original submission of full papers limited to 14 pages including figures, references, etc. All submissions will be rigorously peer reviewed with double blind. Selected papers will be included in JSAI-isAI 2013 post-proceedings as a volume of LNAI published by Springer Verlag. AIMS AND SCOPE: -------------------------- AAA 2013 aims to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments, and to share current limitations and problems of argumentation in AI in terms of both theory and practice. Topics of interest include but are not limited to the following: - Abstract and structured argumentation systems including studies of frameworks, proof-theories, semantics, complexity, etc. - Dialogue systems for persuasion, negotiation, deliberation, eristic, information-seeking dialogues, etc. - Applications of argumentation and dialogue systems to various fields such as agreement technologies, systems assurance, safety engineering, multi-agent systems, practical reasoning, belief revision, learning, semantic web, etc. - Agreement and assurance technologies through arguments including safety cases, assurance cases and dependability cases, etc. - Tools for argumentation systems, dialogue systems, argument-based stakeholders' agreement, argument-based accountability achievement, argument-based open systems dependability, argument-based verification and validation, etc. IMPORTANT DATES: ---------------------------- - Workshop Submission Deadline: August 24, 2013 (Extended!) - Workshop Author Notification: September 15, 2013 - Workshop Camera-ready: September 30, 2013 - Workshop Date: October 27-28, 2013 SUBMISSION INSTRUCTIONS: ------------------------------------------ We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from Springer Online, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form. Here is the submission page. https://www.easychair.org/account/signin.cgi?conf=aaa2013 If a paper is accepted, at least one author of the paper must register the workshop and present it. PROCEEDINGS: ---------------------- A printed volume of the proceedings will be available at the workshop. Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2013 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. VENUE: ---------- The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN. ORGANIZING COMMITTEE: -------------------------------------- - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Gakuin Univ., Japan) - Hiroyuki Kido (Univ. of Tokyo, Japan) PROGRAMME COMMITTEE: -------------------------------------- - Takashi Kitamura (AIST, Japan) - Sarah Alice Gaggl (Technische Universität Dresden, Germany) - Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina) - Paolo Torroni (Univ. of Bologna, Italy) - Gabriele KernIsberner (Technische Universitaet Dortmund, Germany) - Ken Satoh (National Institute of Informatics, Japan) - Chiaki Sakama (Wakayama Univ., Japan) - Toshinori Takai (Nara Institute of Science and Technology, Japan) - Antonis Kakas (Univ. of Cyprus, Cyprus) - Iyad Rahwan (Masdar Institute of Science & Technology, UAE) - Pavlos Moraitis (Paris Descartes Univ., France) - Stefan Woltran (Vienna Univ. of Technology, Austria) - Phan Minh Dung (Asian Institute of Technology, Thailand) - Juergen Dix (Clausthal Univ. of Technology, Germany) - Martin Caminada (Univ. of Aberdeen, UK) - Makoto Takeyama (Kanagawa Univ., Japan) - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Univ., Japan) - Hiroyuki Kido (Univ. of Tokyo, Japan) - Shuichiro Yamamoto (Nagoya Univ., Japan) - Yutaka Matsuno (Univ. of Electro-Communications, Japan) - Tim Kelly (Univ. of York, UK) - John Rushby (SRI, USA) - John Knight (Univ. of Virginia, USA) - Ewen Denney (NASA/Ames, USA) - Charles Weinstock (SEI, USA) - Robin Bloomfield (City Univ. of London, UK)

1 0

Kobe Colloquium on Logic, Statistics and Informatics, August 19 (Sheila Miller)
by Joerg Brendle 13 Aug '13

13 Aug '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年8月19日（月）15:00-16:30 講演者：Sheila Miller (CUNY ニュー・ヨーク) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： How not to construct the free two-generated left distributive algebra アブストラクト： We begin with an extended introduction to free left distributive algebras (LDs) including a normal form theorem for the one-generated free LD, which itself arises naturally from the assumption of a very large cardinal axiom. After discussing some applications and open problems, we make remarks on the impossibility of using forcing to construct a two-generated free LD by lifting the rank-to-rank elementary embedding used to create the one-generated free LD. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

**講演希望の方もお早めに** SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 12 Aug '13

12 Aug '13

みなさま，蓮尾です．ALGI + SLACS = SLAGICS 2013 のお知らせを再送します．すみません，日程を確定させる必要上，講演希望の方も早め（できれば今週中，8/16 金曜日まで）に参加申し込みをお願いいたします． https://sites.google.com/site/slagics2013/registration それでは，京都でお会いしましょう！蓮尾一郎 ============================== (English below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学の蓮尾です．京都大学数理解析研究所で行うワークショップ SLAGICS 2013: ALGI and SLACS join forces 京都大学数理解析研究所 RIMS研究集会 2013/9/24（火） -- 2013/9/26（木） https://sites.google.com/site/slagics2013/ へのお誘いです． === 背景 ================================ 毎年行われている研究集会 ALGI (Algebra, Logic and Geometry in Informatics) 代数, 論理, 幾何と情報科学研究集会 http://sakura.math.kyushu-u.ac.jp/algi/ と SLACS (Symbolic Logic and Computer Science) 記号論理と情報科学研究集会 http://www.math.s.chiba-u.ac.jp/SLACS/ は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の研究集会として共催をすることにしました． 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場にできればと考えております． === プログラム ================================ 9/24 は SLACS day 9/25 は相互乗り入れ day 9/26 は ALGI day とします（なんとなく）．9/25 には，東京大学の塚田武志さん http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ によるゲーム意味論のチュートリアルを予定しています．懇親会は 9/24 です． 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講演の数によっては短縮の可能性があります． === 旅費の補助・宿泊 ================================ 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは https://sites.google.com/site/slagics2013/practical をごらんください． === 参加登録・講演の申し込み ============================== https://sites.google.com/site/slagics2013/registration からお願いします．参加登録の締切は， - 講演希望，旅費希望または北白川学舎宿泊希望のかたは， *** 2013/8/16 （金）*** （ただし基本的に早い者勝ちなので，早めがおすすめです） - それ以外の方は *** 2013/9/13 （金）*** とさせてください．ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね．それでは！ SLAGICS 2013 オーガナイザー星野直彦京都大学数理解析研究所 http://www.kurims.kyoto-u.ac.jp/~naophiko/ 蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ======================================================== SLAGICS 2013: ALGI and SLACS join forces RIMS, Kyoto University 2013/9/24 (Tue) -- 2013/9/26 (Thu) https://sites.google.com/site/slagics2013/ ALGI and SLACS are two series of workshops in Japan whose interests range widely from formal logic and semantics to algebraic geometric, and categorical methods, with emphases on computer science. This year the two series join forces and hold a joint workshop in Kyoto. Though many talks will be in Japanese, your contributed talks in English are most welcome and appreciated. See https://sites.google.com/site/slagics2013/practical-in-english for some practical information. (There will be travel support by courtesy of RIMS, Kyoto University). The registration deadlines are: - *** Fri 16 Aug *** if you'd like travel support, a room at the RIMS accommodation, and/or a talk slot (but do it ASAP since these are first come, first served); - *** Fri 13 Sep *** otherwise. Looking forward to seeing you in Kyoto! Best regards, SLAGICS 2013 Organizers: Naohiko Hoshino RIMS, Kyoto U. http://www.kurims.kyoto-u.ac.jp/~naophiko/ Ichiro Hasuo Dept. CS, U. Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 0

Kobe Colloquium on Logic, Statistics and Informatics, August 13 (Luz Garcia)
by Joerg Brendle 11 Aug '13

11 Aug '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年8月13日（火）13:20-14:50 講演者：Luz García (バルセロナ大学と神戸大学) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Forcing Arguments in Infinite Ramsey Theory アブストラクト： Neil Hindman proved a Ramsey-like result that was conjectured by Graham and Rotschild. Hindman's Theorem asserts that if the set of all natural numbers is divided into two classes, one of the classes contains an infinite set such that all finite sums of distinct members of the set remain in the same class. Hindman's original proof was greatly simplified by James Baumgartner. We will present a proof of this theorem which relies on forcing arguments. The analysis of the partial order arising in the proof of Hindman's Theorem, which we denote by P_{FIN}, is our main interest. The partial order P_{FIN} is similar both to the one due to Matet and to Mathias forcing. This prompts the question whether it is equivalent to one of them or not. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics
by Suzuki, Nobu-Yuki 10 Aug '13

10 Aug '13

皆様金子守さんの依頼で代理投稿いたします。よろしくお願いします。鈴木信行（静岡大学） ------------------------------- 皆様筑波大学の石川です。先日ご案内申し上げた八月のコンファレンス The 2nd International Workshop on Game Theory, Epistemic Logic, & Related Topics: http://infoshako.sk.tsukuba.ac.jp/~ishikawa/gamelogic13/ のプログラムが添付ファイルのように決定しました。興味のある方のご参加を歓迎致しますので，奮ってご参加ください。また，初日の夜はconference dinnerを計画しております。こちらにご参加ご希望の方は，石川(ishikawa(a)sk.tsukuba.ac.jp) までご連絡いただければと思います。石川竜一郎 --------------------------------------------------------------- Ryuichiro ISHIKAWA (Associate Professor). Faculty of Engineering, Information and Systems, University of Tsukuba, 1-1-1 Ten-nodai, Tsukuba 305-8573, Japan Tel: +81-(0)29-853-5072 Fax: +81-(0)29-853-5070 URL: http://infoshako.sk.tsukuba.ac.jp/~ishikawa/index.html e-mail: ishikawa(a)sk.tsukuba.ac.jp

1 0

2013LLS
by Toshihiko Kurata 06 Aug '13

06 Aug '13

皆様， 09月15日〜19日に「ラムダ計算と論理の晩夏セミナー」が予定されていますので，御案内させて頂きます．詳細はHPが http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/index2.ht… にありますので御確認下さい．今回の宿泊・参加に関する連絡は倉田（法政大学）まで頂けたらと思います．お気軽に参加を検討頂けますと幸いです．よろしくお願いいたします． -- Toshihiko Kurata, Hosei University e-mail: kurata(a)hosei.ac.jp

1 0

SLACS & ALGI 共催イベントのお知らせ（9/24-26)
by Ichiro Hasuo 04 Aug '13

04 Aug '13

(English below) みなさま，（何人かの方々には bcc で失礼します）こんにちは！東京大学の蓮尾です．京都大学数理解析研究所で行うワークショップ SLAGICS 2013: ALGI and SLACS join forces 京都大学数理解析研究所 RIMS研究集会 2013/9/24（火） -- 2013/9/26（木） https://sites.google.com/site/slagics2013/ へのお誘いです． === 背景 ================================ 毎年行われている研究集会 ALGI (Algebra, Logic and Geometry in Informatics) 代数, 論理, 幾何と情報科学研究集会 http://sakura.math.kyushu-u.ac.jp/algi/ と SLACS (Symbolic Logic and Computer Science) 記号論理と情報科学研究集会 http://www.math.s.chiba-u.ac.jp/SLACS/ は両方共スコープが広く，共通部分も大きいと考え，ALGI 幹事の星野直彦さんと SLACS 幹事の蓮尾が相談し，今年は京都大学数理解析研究所の研究集会として共催をすることにしました．（応募に際してご協力いただいた皆さま，どうもありがとうございました．無事採択されました） 3日間の日程をなんとなく ALGI day と SLACS day に色分けします．が，特に2日目は相互乗り入れデーとして，東京大学の塚田武志さんによる共同チュートリアルなどを通して，2つのコミュニティの協働関係を築く場にできればと考えております． === プログラム ================================ 9/24 は SLACS day 9/25 は相互乗り入れ day 9/26 は ALGI day とします（なんとなく）．9/25 には，東京大学の塚田武志さん http://www.kb.is.s.u-tokyo.ac.jp/~tsukada/ によるゲーム意味論のチュートリアルを予定しています．懇親会は 9/24 です． 9/24 の午前から 9/26 の午後まで3日間フルの日程を考えていますが，講演の数によっては短縮の可能性があります． === 旅費の補助・宿泊 ================================ 京都大学数理解析研究所から旅費の補助があります．また，数理解析研究所附属の宿泊施設（北白川学舎）が使えます（部屋数僅少）．くわしくは https://sites.google.com/site/slagics2013/practical をごらんください． === 参加登録 ================================ https://sites.google.com/site/slagics2013/registration からお願いします．参加登録の締切は， - 旅費希望または北白川学舎宿泊希望のかたは， *** 2013/8/16 （金）*** （ただし基本的に早い者勝ちなので，早めがおすすめです） - それ以外の方は *** 2013/9/13 （金）*** とさせてください．ぜひ参加をご検討ください．ご不明な点は遠慮無くお問い合せくださいね．それでは！ SLAGICS 2013 オーガナイザー星野直彦京都大学数理解析研究所 http://www.kurims.kyoto-u.ac.jp/~naophiko/ 蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ======================================================== SLAGICS 2013: ALGI and SLACS join forces RIMS, Kyoto University 2013/9/24 (Tue) -- 2013/9/26 (Thu) https://sites.google.com/site/slagics2013/ ALGI and SLACS are two series of workshops in Japan whose interests range widely from formal logic and semantics to algebraic geometric, and categorical methods, with emphases on computer science. This year the two series join forces and hold a joint workshop in Kyoto. Though many talks will be in Japanese, your contributed talks in English are most welcome and appreciated. See https://sites.google.com/site/slagics2013/practical-in-english for some practical information. (There will be travel support by courtesy of RIMS, Kyoto University). The registration deadlines are: - *** Fri 16 Aug *** if you'd like travel support or a room at the RIMS accommodation (but do it ASAP since these are first come, first served); - *** Fri 13 Sep *** otherwise. Looking forward to seeing you in Kyoto! Best regards, SLAGICS 2013 Organizers: Naohiko Hoshino RIMS, Kyoto U. http://www.kurims.kyoto-u.ac.jp/~naophiko/ Ichiro Hasuo Dept. CS, U. Tokyo http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/

1 2

教員公募
by S.Yamane 01 Aug '13

01 Aug '13

関係者各位金沢大学理工研究域では、以下の教員公募を行っております。適任者がありましたら，どうぞお知らせ下さいますようお願い申し上げます。クロスポストをご容赦ください。金沢大学山根　智 ------------------------------------------------------------- 関係各位　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年８月１日　　　　　　　　　　　　　　　　　　　　　　金沢大学理工研究域電子情報学系長　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　山　根　智　　　　　　　　　　　　　　　教員の公募について　この度，当研究域電子情報学系では，下記の要領により教員を公募いたします。つきましては，関係各位への周知方及び適任者の推薦について，よろしくお取り計らい下さいますようお願い申し上げます。　　　　　　　　　　　　　　　　　　　記１．職種　　　教授１名２．所属　　　金沢大学理工研究域電子情報学系（情報システムコース）３．専門分野　数学（解析系が望ましい）４．担当科目　　　　学士課程共通教育科目（微分積分学，線形代数学），　　　　　　　　工学系数学科目（微分方程式，ベクトル解析，複素解析，　　　　　　　　フーリエ解析など），　　　　　　　　情報システムコースの数学関連科目及び学士課程学生の研究指導　　　　大学院　自然科学研究科電子情報科学専攻の数学関連科目，　　　　　　　　大学院生の研究指導５．応募資格　　 (1)博士の学位を有すること　　(2)十分な研究業績を有し，大学院博士後期課程において研究指導ができること　　(3)大学における数学教育に十分な実績を持ち，特に熱意をもって工学系学士課程　　　学生に対する数学教育を行えること　　(4)大学内における諸業務を学内教職員と協調して行えること６．着任時期平成２６年４月１日７．応募書類　　 (1) 履歴書（写真貼付，学歴は高卒以降，学位，職歴，賞罰）　　 (2) 研究業績リスト（研究論文，著書，国際学会発表，報告等；印刷中，投稿中の　　　ものはその旨明記のこと）　　 (3) 主要論文の別刷（５編以内，各１部，コピー可）　　 (4) これまで行ってきた研究の概要と今後の研究計画（A４用紙２枚程度）　　 (5) 教育経験と着任後の教育（学士課程学生，大学院生への研究指導を含む）に関する抱負（A４用紙１〜２枚程度）　　 (6) 外部資金（科研費など）の獲得状況　　 (7) 応募者の業績を評価できる方２名の氏名と連絡先　　 (8) 直接連絡のとれる住所，電話番号，電子メールアドレスを記載した連絡表８．応募締め切り　平成２５年１０月３１日（木）必着９．書類提出先　　　　〒920-1192 金沢市角間町金沢大学理工研究域電子情報学系長山根智１０．問い合わせ先　　　金沢大学理工研究域電子情報学系畑上到　　　　（Tel: 076-234-4911;E-mail:hataue@is.t.kanazawa-u.ac.jp）１１．その他　　 (1) 書類選考の上，候補者に対し面接（プレゼンテーション）を行います。　　　　面接の旅費等は自己負担となります。選考及び面接結果については本人に　　　　直接通知します。応募書類は返却致しません。　　 (2) 応募書類は封筒に「電子情報学系教員応募書類在中」と朱書の上，郵送の場合　　　　は簡易書留にしてください。　 ○ 就業規則等については,下記の URL をご覧ください。　　 http://www.kanazawa-u.ac.jp/internal/staff/regulations/index.html 　○ 金沢大学では男女共同参画を積極的に推進しています。詳しくは下記の URL を　　ご覧ください。　　 http://cdl.w3.kanazawa-u.ac.jp/index.html -------------------------------------------------------------

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Aug '13

01 Aug '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

2nd CfP: 2nd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS2013)
by Takashi KITAMURA 01 Aug '13

01 Aug '13

みなさま、産業技術総合研究所の北村崇師です。今年10月にニュージーランドで開催される FTSCS2013 の論文募集の案内をお送りいたします。 FTSCS2013 は形式手法をテーマにしたワークショップで、研究論文だけでなく、経験論文や調査論文、ツール論文、ポジションペーパも募集しています。 FTSCS2013 のProceedings は Springer の CCIS より出版され、またFTSCS2013 を基に Elsevier の Science of Computer Programming で特集号が企画されます。是非論文投稿をご検討下さい。 ----------------------------------------------------------------------------------------------------------------------- --------------------------------------------------------------------- Call for Papers FTSCS 2013 2nd International Workshop on Formal Techniques for Safety-Critical Systems Queenstown, New Zealand, October 29, 2013 (satellite workshop of ICFEM 2013) http://www.ftscs.org --------------------------------------------------------------------- *** Science of Computer Programming special issue *** *** Springer CCIS proceedings *** Aims and Scope: There is an increasing demand in industry to use formal methods to achieve software-independent verification and validation of safety-critical systems, e.g., in fields such as avionics, automotive, medical, and other cyber-physical systems. Newer standards, such as DO-178C (avionics) and ISO 26262 (automotive), emphasize the need for formal methods and model-based development, speeding up the adaptation of such methods in industry. The aim of this workshop is to bring together researchers and engineers who are interested in the application of formal and semi-formal methods to improve the quality of safety-critical computer systems. In particular, FTSCS strives strives to promote research and development of formal methods and tools for industrial applications, and is particularly interested in industrial applications of formal methods. Specific topics include, but are not limited to: * case studies and experience reports on the use of formal methods for analyzing safety-critical systems, including avionics, automotive, medical, and other kinds of safety-critical and QoS-critical systems * methods, techniques and tools to support automated analysis, certification, debugging, etc., of complex safety/QoS-critical systems * analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.) * formal analysis support for modeling languages used in industry, such as AADL, Ptolemy, SysML, SCADE, Modelica, etc. * code generation from validated models. The workshop will provide a platform for discussions and the exchange of innovative ideas, so submissions on work in progress are encouraged. Invited speaker: TBA Submission: We solicit submissions reporting on: A- original research contributions (15 pages max, LNCS format); B- applications and experiences (15 pages max, LNCS format); C- surveys, comparisons, and state-of-the-art reports (15 pages max, LNCS format); D- tool papers (5 pages max, LNCS format); E- position papers and work in progress (5 pages max, LNCS format) related to the topics mentioned above. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Paper submission will be done electronically via EasyChair at http://www.easychair.org/conferences/?conf=ftscs2013. The final version of the paper must be prepared in LaTeX, adhering to the LNCS format available at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0. Publication: All accepted papers will appear in the pre-proceedings of FTSCS 2013. Accepted papers in the categories A-D above will appear in the workshop proceedings that will be published as a volume in Springer's CCIS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of the Science of Computer Programming journal. Important dates: Submission deadline: September 1, 2013 Notification of acceptance: September 28, 2013 Workshop: October 29, 2013 Venue: Queenstown, New Zealand Program chairs: Cyrille Artho AIST, Japan Peter Olveczky University of Oslo, Norway Program committee: Erika Abraham RWTH Aachen University, Germany Musab AlTurki King Fahd University of Petroleum and Minerals, Saudi Arabia Toshiaki Aoki JAIST, Japan Farhad Arbab Leiden University and CWI, The Netherlands Cyrille Artho AIST, Japan Saddek Bensalem Verimag, France Armin Biere Johannes Kepler University, Austria Santiago Escobar Universidad Politecnica de Valencia, Spain Ansgar Fehnker University of the South Pacific, Fiji Mamoun Filali IRIT, France Bernd Fischer Stellenbosch University, South Africa and University of Southampton, UK Kokichi Futatsugi JAIST, Japan Klaus Havelund NASA JPL, USA Marieke Huisman University of Twente, The Netherlands Ralf Huuck NICTA/UNSW, Sydney, Australia Fuyuki Ishikawa National Institute of Informatics, Tokyo, Japan Takashi Kitamura AIST, Japan Alexander Knapp Augsburg University, Germany Paddy Krishnan Oracle Labs Brisbane, Australia Yang Liu Nanyang Technological University, Singapore Robi Malik University of Waikato, New Zealand Cesar Munoz NASA Langley, USA Tang Nguyen UST Hanoi, Vietnam Thomas Noll RWTH Aachen University, Germany Peter Olveczky University of Oslo, Norway Paul Pettersson Malardalen University, Sweden Camilo Rocha Escuela Colombiana de Ingenieria, Colombia Grigore Rosu University of Illinois at Urbana-Champaign, USA Neha Rungta NASA Ames, USA Ralf Sasse ETH Zurich, Switzerland Oleg Sokolsky University of Pennsylvania, USA Sofiene Tahar Concordia University, Canada Carolyn Talcott SRI International, USA Tatsuhiro Tsuchiya Osaka University, Japan Michael Whalen University of Minnesota, USA Peng Wu Chinese Academy of Sciences, China Contact: (web) http://www.ftscs.org (email) peterol(a)ifi.uio.no and c.artho(a)aist.go.jp -- Takashi KITAMURA Ph.D. t.kitamura(a)aist.go.jp http://staff.aist.go.jp/t.kitamura/ Research Institute for Secure Systems (RISEC) National Institute of Advanced Industrial Science and Technology (AIST) Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, Japan Tel: +81-6-6494-8054 Fax: +81-6-6494-8073 Internal Tel: *33-274-71902

1 0

CFP: LENLS10 (Logic and Engineering of Natural Language Semantics 10)
by BEKKI Daisuke 31 Jul '13

31 Jul '13

（重複して受け取られた場合はご容赦ください）今年の１０月に東京で開催される LENLS 10 国際ワークショップのご案内をお送り致します（締切を8/4まで延長しました）。皆様のご参加をお待ちしております。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FINAL CALL FOR PAPERS || Deadline Extended !! Logic and Engineering of Natural Language Semantics 10 (LENLS 10) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : October 27-28, 2013 Contact Person: Shunsuke Yatabe (West Japan Railway Company) Contact Email : lenls10[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Shunsuke Yatabe (West Japan Railway Company) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Nicholas J.J. Smith (the University of Sydney) - Richard Dietz (the University of Tokyo) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) (http://www.ai-gakkai.or.jp/jsai-isai/2013/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Submissions: ============ Abstracts (up to 4 pages, including figures and references) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls10 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers: ================ We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Important dates: ================ Abstract submission deadline: August 4, 2013 (EXTENDED) Notification of acceptance: August 26, 2013 Deadline for camera-ready copy: September 22, 2013 LENLS10: October 27-28, 2013 Tutorial Lecture: October 29, 2013 Workshop Organizers/Program Committee: ====================================== - Shunsuke Yatabe (West Japan Railway Company) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Kei Yoshimoto (Tohoku University)

1 0

再送：愛媛大学理学部・教員公募（ 6 日締切）
by FUJITA Hiroshi 29 Jul '13

29 Jul '13

応募締め切りが迫ってきたので再度告知させていただきます。同一文面で logic-ml と数学会基礎論分科会の kisoron-ml にポストしております。ご了承ください。愛媛大学の藤田です。この場をお借りして理学部数学科の教員人事の告知をさせてください。位相空間論や集合論的トポロジーあるいは集合論の研究者の応募を広く呼びかけたいと思っております。どうぞご検討くださいませ。下記引用文と同一の文面のPDFファイルを http://www.ehime-u.ac.jp/information/employment/teacher_details.html?new_re… からダウンロードできます。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> =========================================================== 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年６月６日　各　　位　　　　　　　　　　　　　　　　愛媛大学大学院理工学研究科（理学系）　　　　　　　　　　　　　　　　　　　人事委員会委員長　　　宇　野　英　満　　　　　　　　　　　　教員の公募について（依頼）　謹啓　時下ますますご清祥のこととお慶び申し上げます。　さて，このたび当研究科では下記の要領により教員を公募いたします。つきましては，関係各位への周知方並びに適任者の推薦又は応募につきまして，ご高配賜りますようお願い申し上げます。　　　　　　　　　　　　記１．募集人員　　教授または准教授　１名２．所属部門　　大学院理工学研究科数理物質科学専攻数理科学講座３．専門分野　　位相数学及びその周辺の分野４．応募資格　（１）優れた研究業績をあげている方　　　　　　　（２）教育や研究活動並びに大学の運営に熱意をもって取り組める方　　　　　　　（３）博士の学位を有している方５．着任時期　　平成２６年４月１日（予定）６．任　　期　　なし７．提出書類　（１）履歴書（写真貼付、賞罰、所属学会を含むこと）　　　　　　　（２）研究業績リスト（原著論文、総説、著書、研究費取得状況、その他）　　　　　　　（３）主要論文５編程度の別刷（コピー可）　　　　　　　（４）これまでの研究概要とこれからの研究計画（それぞれＡ４紙１枚程度）　　　　　　　（５）これまでの教育経験と今後の教育に関する抱負（Ａ４紙１枚程度）　　　　　　　（６）応募者について照会可能な方２名の氏名と連絡先８．公募締切　　平成２５年８月６日（火）必着９．提出先　　　〒790-8577　松山市文京町２−５愛媛大学大学院理工学研究科（理学系）人事委員会委員長　　宇野　英満 10．問合せ先　愛媛大学大学院理工学研究科数理物質科学専攻数理科学コース　　　　　　　　コース長　　内藤　雄基　　　　　　　　電話：089-927-9564　　Fax：089-927-9560（数学事務室）　　　　　　　　E-mail：ynaito(a)ehime-u.ac.jp 11．その他　　封筒に「数学教員応募書類在中」と朱書し，簡易書留で郵送して下さい。選考の過程で，講演をお願いし，面接を行うことがあります。ただし，旅費は応募者の負担とします。また，応募書類に記載された個人情報は，本人事のみに使用し，応募書類は原則として返却いたしません。なお，採用予定者の氏名は，本学ホームページで公表させていただきます。　　　　　　　愛媛大学では，男女共同参画を積極的に推進しています。数理科学コースホームページ：http://www.math.sci.ehime-u.ac.jp/index.html

1 0

AAA 2013 CFP: 1st International Workshop on Argument for Agreement and Assurance
by Hiroyuki Kido 23 Jul '13

23 Jul '13

Apologies for cross-postings. ================================================================= 1st International Workshop on Argument for Agreement and Assurance (AAA 2013) Kanagawa, Japan October 27-28, 2013 http://www.panda.sys.t.u-tokyo.ac.jp/kido/AAA2013/ ================================================================= OVERVIEW: ---------------- Submissions are invited for the 1st International Workshop on Argument for Agreement and Assurance (AAA 2013). The workshop will be held in Keio University Hiyoshi Campus, Kanagawa, Japan, on October 27-28, 2013, as part of the Japanese Society for Artificial Intelligence international symposia on AI (JSAI-isAI) 2013. Argumentation has now become an interdisciplinary challenging research area in AI aiming at formalizing various aspects of human or/and computer software argument in terms of computation, and applying those knowledge to various fields. Scope of argumentation in AI includes human arguments appeared in television, newspapers, WWW, etc. and also artificial arguments constructed from structured knowledge with logical language and inference rules. Results of argumentation in AI are widely applicable to various fields such as consensus building, agreement formation, multiagent systems, semantic web, recommendation systems, argument mining, learning, belief revisions, chance discovery, safety engineering, etc. In particular, safety engineering is a research area that is interested in the use of an evidence-based argument often called a safety case, assurance case or dependability case. Nowadays, it is becoming necessary for certification bodies to issue a license to developing and operating bodies, for system stakeholders to make agreement, for system administrators to achieve accountability, etc. AAA 2013 contributes to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments. AAA 2013 solicits contributions from broad range of researchers related to argumentation in AI and especially welcomes contributions across argumentation and systems assurance. AAA 2013 seeks high-quality original submission of full papers limited to 14 pages including figures, references, etc. All submissions will be rigorously peer reviewed with double blind. Selected papers will be included in JSAI-isAI 2013 post-proceedings as a volume of LNAI published by Springer Verlag. AIMS AND SCOPE: -------------------------- AAA 2013 aims to deepen mutual understanding between researchers working on argumentation theory in AI and researchers working on agreement and assurance technologies through arguments, and to share current limitations and problems of argumentation in AI in terms of both theory and practice. Topics of interest include but are not limited to the following: - Abstract and structured argumentation systems including studies of frameworks, proof-theories, semantics, complexity, etc. - Dialogue systems for persuasion, negotiation, deliberation, eristic, information-seeking dialogues, etc. - Applications of argumentation and dialogue systems to various fields such as agreement technologies, systems assurance, safety engineering, multi-agent systems, practical reasoning, belief revision, learning, semantic web, etc. - Agreement and assurance technologies through arguments including safety cases, assurance cases and dependability cases, etc. - Tools for argumentation systems, dialogue systems, argument-based stakeholders' agreement, argument-based accountability achievement, argument-based open systems dependability, argument-based verification and validation, etc. IMPORTANT DATES: ---------------------------- - Workshop Submission Deadline: August 10, 2013 - Workshop Author Notification: September 15, 2013 - Workshop Camera-ready: September 30, 2013 - Workshop Date: October 27-28, 2013 SUBMISSION INSTRUCTIONS: ------------------------------------------ We welcome and encourage the submission of high quality, original papers, which are not simultaneously submitted for publication elsewhere. Papers should be written in English, formatted according to the Springer Verlag LNCS style in a pdf form, which can be obtained from Springer Online, and not exceed 14 pages including figures, references, etc. If you use a word file, please follow the instruction of the format, and then convert it into a pdf form. Here is the submission page. https://www.easychair.org/account/signin.cgi?conf=aaa2013 If a paper is accepted, at least one author of the paper must register the workshop and present it. PROCEEDINGS: ---------------------- A printed volume of the proceedings will be available at the workshop. Springer Verlag has agreed to publish selected papers of the workshop in the JSAI-isAI 2013 post-proceedings as a volume of LNAI. Thus, the authors of papers presented at the workshop will be asked to extend their contributions, possibly incorporating the results of the workshop discussion, to be included in the workshop post-proceedings, after another round of refereeing. VENUE: ---------- The workshop will be held at Raiosha Building, Keio University, Kanagawa, JAPAN. ORGANIZING COMMITTEE: -------------------------------------- - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Gakuin Univ., Japan) - Hiroyuki Kido (Univ. of Tokyo, Japan) PROGRAMME COMMITTEE: -------------------------------------- - Takashi Kitamura (AIST, Japan) - Sarah Alice Gaggl (Technische Universität Dresden, Germany) - Guillermo Ricardo Simari (Universidad Nacional del Sur, Argentina) - Paolo Torroni (Univ. of Bologna, Italy) - Gabriele KernIsberner (Technische Universitaet Dortmund, Germany) - Ken Satoh (National Institute of Informatics, Japan) - Chiaki Sakama (Wakayama Univ., Japan) - Toshinori Takai (Nara Institute of Science and Technology, Japan) - Antonis Kakas (Univ. of Cyprus, Cyprus) - Iyad Rahwan (Masdar Institute of Science & Technology, UAE) - Pavlos Moraitis (Paris Descartes Univ., France) - Stefan Woltran (Vienna Univ. of Technology, Austria) - Phan Minh Dung (Asian Institute of Technology, Thailand) - Juergen Dix (Clausthal Univ. of Technology, Germany) - Martin Caminada (Univ. of Aberdeen, UK) - Makoto Takeyama (Kanagawa Univ., Japan) - Kenji Taguchi (AIST, Japan) - Yoshiki Kinoshita (Kanagawa Univ., Japan) - Kazuko Takahashi (Kwansei Univ., Japan) - Hiroyuki Kido (Univ. of Tokyo, Japan) - Shuichiro Yamamoto (Nagoya Univ., Japan) - Yutaka Matsuno (Univ. of Electro-Communications, Japan) - Tim Kelly (Univ. of York, UK) - John Rushby (SRI, USA) - John Knight (Univ. of Virginia, USA) - Ewen Denney (NASA/Ames, USA) - Charles Weinstock (SEI, USA) - Robin Bloomfield (City Univ. of London, UK) Best regards, Hiroyuki Kido, Ph.D., Assistant Professor Department of Systems Innovation School of Engineering, The University of Tokyo 113-8656 Tokyo, Japan Tel/Fax: +81-3-5841-1895 E-mail: kido(a)sys.t.u-tokyo.ac.jp

1 0

証明論研究集会2013（教室変更、プログラム、講演追加募集）
by Kazushige TERUI 23 Jul '13

23 Jul '13

みなさま 8月8日−9日に慶応大学三田キャンパスで予定されている証明論研究集会について再度ご案内させて頂きます。・教室が変更になりましたのでご注意ください。　（慶応大学三田キャンパス南校舎475号室）　　http://www.keio.ac.jp/ja/access/mita.html ・プログラム（仮）をウェブページに掲載しました。・まだスロットに余裕がありますので、追加で講演希望を受け付けたいと思います。　（証明論に限らず、計算機科学や基礎論他分野等の周辺分野を含む）　講演の希望がありましたら、世話人までご相談ください。・詳細は　http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 　をご覧ください。照井 ------------------------------------------ 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

数学基礎論サマースクール2013（※教室変更）
by Kazushige TERUI 23 Jul '13

23 Jul '13

みなさま 8月5日−7日に慶応大学三田キャンパスで予定されている数学基礎論サマースクールについて再度ご案内させて頂きます。・教室が変更になりましたのでご注意ください。　（慶応大学三田キャンパス南校舎475号室）　　http://www.keio.ac.jp/ja/access/mita.html ・会場の都合で定員を85名（先着順）とさせていただきます。　すでに40名ほどの方から参加希望を承っております。　参加予定の方は、早めにお申込みください。・時間割をウェブページに掲載しました。・詳細は　http://www.kurims.kyoto-u.ac.jp/~terui/school2013.html 　をご覧ください。照井 ------------------------------------------ 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

講演会``A Frontier of Non-Classical Logic'' （7月19日，@京大文学部）のご案内
by 久木田水生 17 Jul '13

17 Jul '13

皆様京都大学哲学研究室ODの久木田です．下記の通り，京都大学文学部応用哲学倫理センター（CAPE）主催による ``A Frontier of Non-Classical Logic''と題されたセミナーが行われます．哲学的なバックグラウンドを持ち，論理学の分野で世界的な業績をあげている研究者の方々による講演です．講演は日本語で行われます．どうぞふるってご参加下さい．久木田記日時：7月19日（金），10:30-14:30 場所：京都大学文学部地下小会議室テーマ：A Frontier of Non-Classical Logic プログラム： 10:30-12:00 Katsuhiko Sano (JAIST), “Alternative Semantics for Visser’s Basic Propositional Logic” Lunch Break 13:00-14:30 Hidenori Kurokawa (Kobe University )and Hirohiko Kushida (CUNY), “Substructural logic of proofs and self-referentiality” 詳細はCAPEのWebページをご覧下さい． http://www.bun.kyoto-u.ac.jp/news/%E7%AC%AC20%E5%9B%9Ecape%E3%83%AC%E3%82%A… 以上

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 16 Jul '13

16 Jul '13

皆様 JAIST Logic Seminar Seriesのお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Monday 29 July, 2013, 15:00-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Martin Ziegler (Technische Universitaet Darmstadt) Title: HENKIN CONTINUITY OF MULTIVALUED FUNCTIONS (joint work with Arno Pauly) Abstract: A type-2 computable real function is necessarily continuous; and this remains true for relative, i.e. oracle-based, computations. Conversely, by the Weierstrass Approximation Theorem, every continuous $f:[0;1]\to\mathbb{R}$ is computable relative to some oracle. In their search for a similar topological characterization of relatively computable \emph{multi-}valued functions $f:[0;1]\rightrightarrows\mathbb{R}$ (aka multi-functions or relations), Brattka and Hertling (1994) have considered two notions: weak continuity (which is weaker than relative computability) and strong continuity (which is stronger than relative computability). Observing that \emph{uniform} continuity plays a crucial role in the Weierstrass Theorem, we propose and compare several notions of uniform continuity for relations. Here, due to the additional quantification over values $y\in f(x)$, new ways arise of (linearly) ordering quantifiers---yet none turns out as satisfactory. We are thus led to a concept of uniform continuity based on the \textsf{Henkin quantifier}; and prove it necessary for relative computability of compact real relations. In fact iterating this condition yields a strict hierarchy of notions each necessary --- and the $\omega$-th level also sufficient --- for relative computability. A refined, quantitative analysis exhibits a similar topological characterization of relative polynomial-time computability. -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 0

39th TRS Meeting - Call for Participation
by Nao Hirokawa 12 Jul '13

12 Jul '13

皆様 9月18日〜20日に行われます書換えに関する研究集会「第39回TRSミーティング」の参加者募集の案内をお送り致します。 http://www.jaist.ac.jp/~c-sterna/39th-trs-meeting/ 今回の会場は秋田市さとみ温泉でして、すでに名古屋大学から大山口教授、また海外からはインスブルック大学の Middeldorp 教授、Zankl 研究員の参加が決まっております。皆様、ぜひ参加をご検討下さい！廣川 (JAIST) ---------------------------------------------------------------------- 39th TRS Meeting Akita http://www.jaist.ac.jp/~c-sterna/39th-trs-meeting/ About the TRS Meeting The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. Participants are requested to give a talk of approximately 15 to 60 minutes in English on their research activities. The subject of the talk is not required to be one's original result; for example, explaining an interesting paper is perfectly OK. (See Rewriting Researchers Forum for further information: http://www.jaist.ac.jp/~hirokawa/trs-meeting/) Information Date: September 18 (Wed) -- 20 (Fri), 2013 Venue: Akita Onsen Satomi, http://www.satomi-e.com Keidaikawara Soegawa, Akita, 010-0822 Program September 18 (Wed) 14:00-18:00 meeting September 19 (Thu) 9:00-18:00: meeting September 20 (Fri) 9:00-12:00: meeting Fee ~ 26,000 yen (including lodging, breakfast, and dinner for 2 nights) Registration Please indicate whether you would like to join by sending the registration form below to Christian Sternagel (c-sterna(a)jaist.ac.jp) no later than August 15, 2013. ---------------------------------------------------------------------- Registration Form of the 39th TRS Meeting name: affiliation: title of talk*: approximate duration of talk (in minutes)*: preference on your room: [A single room is preferred / A shared room is acceptable](choose one) (In case of partial participation, please contact me) ---------------------------------------------------------------------- The items marked with * can be sent later. Contact Christian Sternagel (c-sterna(a)jaist.ac.jp)

1 0

締切延長：証明論研究集会（８月８日−９日）
by Kazushige TERUI 12 Jul '13

12 Jul '13

みなさま証明論（および関連分野の）研究集会についてですが、講演数不足のため締め切りを７月２２日（月）まで延長させていただきます。証明論および周辺研究分野のみなさま、どうかぜひ講演をご検討ください。照井 --- 例年行われている証明論を中心とした研究集会についてご案内させていただきます。昨年度の様子については http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html をご覧ください。今年度は下記の要領で開催します。日時：2013年8月8日（木）午前 − 9日（金）午後　　　　なお5日（月）−7日（水）には数学基礎論サマースクールが開催されます。会場：慶応義塾大学三田キャンパス東館6階G-Sec Lab 　　　http://www1.gsec.keio.ac.jp/text/about_access.php 世話人：照井一成（京都大学）ホームページ：http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 講演をご希望の方は7月22日までに下記を記入の上、terui(a)kurims.kyoto-u.ac.xn--jp-g73aubyah0f2d4208a8fyh. 氏名所属身分（学年）メールアドレス講演タイトル（未定でも可）講演希望時間：長め（50分〜）・短め（30分）（※必ずしもご希望に沿えない場合があることをご了承ください。）講演日時：不都合な日時がありましたらお知らせください。 ------------------------------------------ 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

Fwd: categories: PhD positions in Leicester
by Ichiro Hasuo 06 Jul '13

06 Jul '13

転送します．蓮尾 ---------- Forwarded message ---------- From: Alexander Kurz <ak155(a)mcs.le.ac.uk> Date: Fri, Jul 5, 2013 at 8:10 PM Subject: categories: PhD positions in Leicester To: categories <categories(a)mta.ca> Hi All, we have 3 PhD positions in Computer Science, deadline 29th July. http://www2.le.ac.uk/study/research/funding/computerscience-gta Applications by students interested in a PhD on Category Theory in Computer Science are particularly welcome, despite the fact that category theory is not listed under "topics of particular interest" in the advert, which was an oversight. I would be very grateful if you could pass this on to potential candidates. Ideally, interested students would get in touch with me directly before applying formally. Best wishes, Alexander [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

$B=8Cf9V5A$N$*CN$i$;(B
by Hasegawa Masahito 04 Jul '13

04 Jul '13

$B3'MM!"(B $B5~ETBg3XBg3X1!M}3X8&5f2J$G$O!"0J2<$NFbMF$G=8Cf9V5A!JA4#42s!K(B $B$rM=Dj$7$F$*$j$^$9!#9V;U$O!"El5~Bg3X$N2OB<>4@1@h@8$G$9!#(B $B7W;;2DG=2r@O3X$N4pAC$+$i:G6a$NOCBj$^$G$r2r@b$7$FD:$-$^$9!#(B $BM}3X8&5f2J$NBg3X1!@8$rBP>]$H$7$?3+9V2JL\$G$9$,!"4X?4$r$*;}$A$N(B $BJ}$O$I$J$?$G$b$*5$7Z$K$4MhD02<$5$$!#ITL@$JE@$,$"$j$^$7$?$i!"(B $BD9C+@n$^$G$*Ld$$9g$o$;2<$5$$!#(B $BD9C+@n???M(B <hassei at kurims.kyoto-u.ac.jp> $B5~ETBg3X?tM}2r@O8&5f=j(B ====================================================================== $B5~ETBg3XBg3X1!M}3X8&5f2J?t3X!&?tM}2r@O@l96?tM}2r@O7O(B $B?tM}2r@OFCJL9V5A#1(B $B7W;;5!2J3X!J=8Cf9V5A!K(B $B!V<B?t$N7W;;M}O@!W(B $B9V(B $B;U!'2OB<(B $B>4@1(B $B;a(B $B!JEl5~Bg3XBg3X1!>pJsM}9)3X7O8&5f2J!K(B $BF|(B $B;~!'#2#0#1#3G/#77n#2#2F|!&#2#3F|!&#87n#1F|!&#2F|(B $B$$$:$l$b#1#4;~3+;O(B $B>l(B $B=j!'Am9g8&5f#29f4[#43,(B $B#4#7#89f<<(B $B!JCm!'KLIt$N?tM}2r@O8&5f=jK\4[$G$O$"$j$^$;$s!#I4K|JW$NFnElB&$G$9!#(B $BCO?^$O(B http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg $B!K(B $B7W;;2DG=@-$d7W;;NL$ON%;6E*!&M-8BE*$JA`:n$K$h$k=hM}$NG=NO$H8B3&$r8l$k35(B $BG0$G$"$k$,!"E,@Z$JDj<02=$K$h$j<B?t!"<B?tCMH!?t!"<B?t$N=89g$H$$$C$?O"B3(B $BE*$JBP>]$K$b1~MQ$9$k$3$H$,$G$-$k!#K\9V5A$G$O7W;;2DG=2r@O3X$H8F$P$l$k$3(B $B$NJ,Ln$N4pAC$+$i:G6a$NOCBj$^$G2r@b$9$k!#(B $BFC$KM=HwCN<1$O2>Dj$;$:0lHLE*$J7W;;NLM}O@$N35@b$+$i;O$a$k!#$3$l$r<B?t$J(B $B$I$N2r@O3XE*BP>]$KEv$F$O$a$kOHAH$G$"$kFs7?7W;;$HI=8=$NM}O@$r2r@b$7!"$=(B $B$N1~MQ$H$7$F<BH!?t$d<B?t=89g$KBP$9$kMM!9$J6qBNE*A`:n$N7W;;NL$r07$&!#(B 1. $B7W;;NLM}O@$N4pAC(B $B!&LdBj$H;;K!(B $B!&;~4V!&6u4V$N@)8B(B $B!&Hs7hDj@-!&MpBr!&7W?t(B $B!&5"Ce$HAjBP2=(B 2. $B<B?t$N7W;;M}O@(B $B!&Fs7?7W;;$HI=8=$NM}O@(B $B!&<B?t$H<BH!?t$NI=8=(B $B!&=89g$NI=8=$H7W;;(B $B!&MM!9$J1i;;$N7W;;NL(B $B9V5A%&%'%VJG!'(B http://www-imai.is.s.u-tokyo.ac.jp/~kawamura/teaching/rims_H25/ $B0u:~MQ0FFb!'(B http://www.kurims.kyoto-u.ac.jp/~hassei/kawamura2013.pdf ======================================================================

1 0

超準解析シンポジウム（第1報）
by Hiroshi Akiyama 04 Jul '13

04 Jul '13

皆様：静岡大学の明山です。 2013年度超準解析シンポジウムを下記のように開催いたしたいと存じます。よろしくお願いいたします。　　　　　　　　　　　　　　　　記 2013年度超準解析シンポジウム期間： 2013年9月17日(火)午後〜9月19日(木)午前　（予定）会場：静岡県浜松市中区城北3-5-1　静岡大学（浜松キャンハ゜ス）　　　工学部6号館（旧・共通棟）12教室　　　（北門のすぐそばの５階建ての建物の1階です）ご参加いただけるかたは　講演の有無　講演題目（仮題でも結構です）　講演できない日時(無・有) を下記期日までに下記世話人までお知らせください。　参加・講演申込締切：2013年8月23日(金) （おおよその人数把握のため，参加だけの方もお知らせいただければ幸いに存じます。）世話人：静岡大学工学部共通講座　　明山　浩　　　　　 e-mail：　tshakiy(a)ipc.shizuoka.ac.jp

1 0

Nagoya Logic Seminar
by 吉信康夫 01 Jul '13

01 Jul '13

皆様：以下の要領で名古屋数学基礎論セミナーを開催します。奮って御参加下さい。日時：7月5日(金) 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の北隣にあります。) 講演者：John Pardo (ペンシルバニア州立大学, JSPSサマープログラム研究員(北陸先端大)) 題： Forcing and Basis Theorems in Computability Theory アブストラクト：The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well. I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare. (7/2 に神戸大学で予定されている講演と概ね同内容ですのでご注意下さい。)

1 0

RIMS set theory workshop 2013
by fuchino＠diamond.kobe-u.ac.jp 30 Jun '13

30 Jun '13

今年の RIMS set theory workshop の世話人の渕野昌＠神戸大学システム情報学研究科です．今年 (平成25年度) の workshop は，9月9日(月) から，9月12日(木) の開催予定です．この集会の webpage は http://kurt.scitec.kobe-u.ac.jp/~fuchino/rims2013/RIMS_Set_Theory_Workshop_… にあります．参加申し込みの必要はありませんが，参加者人数の把握をしておきたいので，参加をご予定の方は，講演を予定されていない方でも私にあらかじめ御一報くださると助かります． RIMS からの補助もありますので，学生の方などで補助を御希望の方は御連絡ください．上のページからたどれる日本語のページにも書きましたが，RIMS では，原則として，集会で講演をしなかった人のペーパーは講究録には載せない，というポリシーを昨年からとりはじめたようです．これに対応するために，プログラムでは Short Reports のセクションの設定を計画しています．講演は考慮中だが後で講究録にはペーパーを載せたいと考えていらっしゃる方はこれをご利用ください．今回は，松江のトポロジーの学会がワークショップの直前にあるため，海外からの参加者が多く参加予定です．海外からの参加者の多くは，スーパーホテル四条河原町に泊ってもらうことになる予定です．このホテルに宿泊を御希望の方は，酒井拓史 ( h-sakai(a)mvj.biglobe.ne.jp ) さんが部屋の予約をキープしていますので，彼に連絡をしてください． -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 Japan e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

Logic Seminar at Kobe
by Makoto Kikuchi 27 Jun '13

27 Jun '13

皆様，直前の連絡となり申し訳ございませんが，以下の要領でセミナーを開きます．日時: 2013年7月28日 (金), 10:40-12:10 場所: 神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）講演者: Paul Larson (Miami University, Oxford, Ohio) 題目: Vaught's Conjecture and the Scott Analysis このセミナーは世界的に著名な集合論の専門家によるものですが，内容は数理論理学全般の大学院生を主な対象とした比較的入門的なものです．神戸大学大学院システム情報学研究科情報数理グループでは，こうした数理論理学の入門的なセミナーを半定期的に開催しています．ご興味をお持ちの方があれば下記までご連絡下さい．連絡先：神戸大学大学院システム情報学研究科菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

Kobe Colloquium on Logic, Statistics and Informatics, July 2 (John Pardo)
by Joerg Brendle 27 Jun '13

27 Jun '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年7月2日（火）13:20-14:50 講演者：John Pardo (Pennsylvania State University and JAIST) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Forcing and Basis Theorems in Computability Theory アブストラクト： The technique of forcing, primarily known for its applications in set theory, has proven to be quite useful in computability theory as well. I will discuss how forcing is made effective in the computable sense, as well as use this technique to prove the Low Basis Theorem, the Hyper-immune free Basis Theorem, and the Cone-Avoidance Basis Theorem, all of which are due to Jockusch and Soare. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

CFP: LENLS10 (Logic and Engineering of Natural Language Semantics 10)
by BEKKI Daisuke 17 Jun '13

17 Jun '13

（重複して受け取られた場合はご容赦ください）今年の１０月に東京で開催される LENLS 10 国際ワークショップのご案内をお送り致します。皆様のご参加をお待ちしております。戸次大介（お茶の水女子大学／国立情報学研究所） [Apologies for multiple copies] ================================================================= SECOND CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 10 (LENLS 10) Workshop Site : "Raiousha Building, Keio University" Kanagawa, Japan. http://www.keio.ac.jp/en/maps/hiyoshi.html Dates : October 27-28, 2013 Contact Person: Shunsuke Yatabe (West Japan Railway Company) Contact Email : lenls10[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Shunsuke Yatabe (West Japan Railway Company) Co-chair: Daisuke Bekki (Ochanomizu University/ National Institute of Informatics) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Nicholas J.J. Smith (the University of Sydney) - Richard Dietz (the University of Tokyo) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the fifth JSAI International Symposia on AI (isAI2013) (http://www.ai-gakkai.or.jp/jsai-isai/2013/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). Aims and Topics: ================ We invite submissions to this year's workshop on topics in formal semantics and pragmatics, and related fields, including but in no way limited to the following: - Dynamic syntax/semantics/pragmatics of natural language - Categorical/topological/coalgebraic approaches for natural language syntax/semantics/pragmatics - Logic and its relation to natural language and linguistic reasoning (especially dynamic logics) - Type-theoretic approaches to natural language - Formal Philosophy of language - Formal pragmatics (especially game-theoretic and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language Submissions: ============ Abstracts (up to 4 pages, including figures and references) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls10 When his/her abstract is accepted, the author is expected to submit a full paper (10-14 pages) before the workshop. The proceedings of the workshop will be available at the conference site for registered persons. Selected Papers: ================ We also plan to publish a selection of the accepted/invited papers as a portion of a volume "JSAI-isAI selected papers", which will be published from `Lecture Notes in Artificial Intelligence' series (Springer Verlag). Important dates: ================ Abstract submission deadline: July 31, 2013 Notification of acceptance: August 26, 2013 Deadline for camera-ready copy: September, 2013 LENLS10: October 27-28, 2013 Tutorial Lecture: October 29, 2013 Workshop Organizers/Program Committee: ====================================== - Shunsuke Yatabe (West Japan Railway Company) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (PRESTO JST/Tohoku University) - Eric McCready (Aoyama Gakuin University) - Koji Mineshima (Keio University) - Yoshiki Mori (University of Tokyo) - Yasuo Nakayama (Osaka University) - Katsuhiko Sano (Japan Advanced Institute of Science and Technology) - Katsuhiko Yabushita (Naruto University of Education) - Tomoyuki Yamada (Hokkaido University) - Kei Yoshimoto (Tohoku University)

1 0

証明論研究集会（８月８日−９日）
by Kazushige TERUI 16 Jun '13

16 Jun '13

みなさま例年行われている証明論を中心とした研究集会についてご案内させていただきます。昨年度の様子については http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html をご覧ください。今年度は下記の要領で開催します。日時：2013年8月8日（木）午前 − 9日（金）午後　　　　※ただし発表件数によっては10日まで延長の可能性があります。　　　　延長の場合はなるべく早く通知します。　　　　なお5日（月）−7日（水）には数学基礎論サマースクールが開催されます。会場：慶応義塾大学三田キャンパス東館6階G-Sec Lab 　　　http://www1.gsec.keio.ac.jp/text/about_access.php 世話人：照井一成（京都大学）ホームページ：http://www.kurims.kyoto-u.ac.jp/~terui/proof2013.html 講演をご希望の方は7月11日までに下記を記入の上、terui(a)kurims.kyoto-u.ac.xn--jp-g73aubyah0f2d4208a8fyh. 氏名所属身分（学年）メールアドレス講演タイトル（未定でも可）講演希望時間：長め（４５分〜）・短め（２５分）（※必ずしもご希望に沿えない場合があることをご了承ください。）講演日時：不都合な日時がありましたらお知らせください。 ------------------------------------------ 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

Kobe Colloquium on Logic, Statistics and Informatics, June 25 (Paul Larson)
by Joerg Brendle 11 Jun '13

11 Jun '13

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロキウムを開催します。日時：2013年6月25日（火）13:20-14:50 講演者：Paul Larson (Miami University, Oxford, Ohio) 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ 題目： Fragments of MM(c^+) in Pmax extensions アブストラクト： Hugh Woodin invented the forcing construction Pmax in the early 1990's, and proved that MM(c), the restriction of Martin's Maximum to partial orders of cardinality the continuum, holds in the Pmax extension of a model of AD_R + ``Theta is regular". We will survey some recent work (with Caicedo, Sargsyan, Schindler, Steel and Zeman) on getting fragments of MM(c^+) to hold in Pmax extensions of models of stronger forms of determinacy. Of particular interest are various principles asserting the nonexistence of square sequences of length omega_3. ============================================================ 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm

1 0

愛媛大学理学部・教員公募（ 6 日締切）
by FUJITA Hiroshi 08 Jun '13

08 Jun '13

（同一文面で logic-ml と数学会基礎論分科会の kisoron-ml にポストしております。ご了承ください。）愛媛大学の藤田です。この場をお借りして理学部数学科の教員人事の告知をさせてください。位相空間論や集合論的トポロジーあるいは集合論の研究者の応募を広く呼びかけたいと思っております。どうぞご検討くださいませ。下記引用文と同一の文面のPDFファイルを http://www.ehime-u.ac.jp/information/employment/teacher_details.html?new_re… からダウンロードできます。 -- 藤田博司 <fujita.hiroshi.mh(a)ehime-u.ac.jp> =========================================================== 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　平成２５年６月６日　各　　位　　　　　　　　　　　　　　　　愛媛大学大学院理工学研究科（理学系）　　　　　　　　　　　　　　　　　　　人事委員会委員長　　　宇　野　英　満　　　　　　　　　　　　教員の公募について（依頼）　謹啓　時下ますますご清祥のこととお慶び申し上げます。　さて，このたび当研究科では下記の要領により教員を公募いたします。つきましては，関係各位への周知方並びに適任者の推薦又は応募につきまして，ご高配賜りますようお願い申し上げます。　　　　　　　　　　　　記１．募集人員　　教授または准教授　１名２．所属部門　　大学院理工学研究科数理物質科学専攻数理科学講座３．専門分野　　位相数学及びその周辺の分野４．応募資格　（１）優れた研究業績をあげている方　　　　　　　（２）教育や研究活動並びに大学の運営に熱意をもって取り組める方　　　　　　　（３）博士の学位を有している方５．着任時期　　平成２６年４月１日（予定）６．任　　期　　なし７．提出書類　（１）履歴書（写真貼付、賞罰、所属学会を含むこと）　　　　　　　（２）研究業績リスト（原著論文、総説、著書、研究費取得状況、その他）　　　　　　　（３）主要論文５編程度の別刷（コピー可）　　　　　　　（４）これまでの研究概要とこれからの研究計画（それぞれＡ４紙１枚程度）　　　　　　　（５）これまでの教育経験と今後の教育に関する抱負（Ａ４紙１枚程度）　　　　　　　（６）応募者について照会可能な方２名の氏名と連絡先８．公募締切　　平成２５年８月６日（火）必着９．提出先　　　〒790-8577　松山市文京町２−５愛媛大学大学院理工学研究科（理学系）人事委員会委員長　　宇野　英満 10．問合せ先　愛媛大学大学院理工学研究科数理物質科学専攻数理科学コース　　　　　　　　コース長　　内藤　雄基　　　　　　　　電話：089-927-9564　　Fax：089-927-9560（数学事務室）　　　　　　　　E-mail：ynaito(a)ehime-u.ac.jp 11．その他　　封筒に「数学教員応募書類在中」と朱書し，簡易書留で郵送して下さい。選考の過程で，講演をお願いし，面接を行うことがあります。ただし，旅費は応募者の負担とします。また，応募書類に記載された個人情報は，本人事のみに使用し，応募書類は原則として返却いたしません。なお，採用予定者の氏名は，本学ホームページで公表させていただきます。　　　　　　　愛媛大学では，男女共同参画を積極的に推進しています。数理科学コースホームページ：http://www.math.sci.ehime-u.ac.jp/index.html

1 0

数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 06 Jun '13

06 Jun '13

（重複して受け取られた場合はご容赦ください）数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組宿泊設備（1人部屋×3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記の形式に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ---------------------------------------------------------------- ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

APLAS 2013 second call for papers
by Jacques Garrigue 04 Jun '13

04 Jun '13

APLASの締め切りが6月14日に迫って来ました。重複をご容赦下さい。 =============================================================== APLAS 2013 11th Asian Symposium on Programming Languages and Systems 9-11 December 2013 Melbourne, Australia (colocated with CPP 2013) CALL FOR PAPERS =============================================================== ========== BACKGROUND ========== APLAS aims to stimulate programming language research by providing a forum for the presentation of latest results and the exchange of ideas in programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. APLAS is sponsored by the Asian Association for Foundation of Software (AAFS) founded by Asian researchers in cooperation with many researchers from Europe and the USA. Past APLAS symposiums were successfully held in Kyoto ('12), Kenting ('11), Shanghai ('10), Seoul ('09), Bangalore ('08), Singapore ('07), Sydney ('06), Tsukuba ('05), Taipei ('04) and Beijing ('03) after three informal workshops. Proceedings of the past symposiums were published in Springer's LNCS. ====== TOPICS ====== The symposium is devoted to foundational and practical issues in programming languages and systems. Papers are solicited on topics such as * semantics, logics, foundational theory; * design of languages, type systems and foundational calculi; * domain-specific languages; * compilers, interpreters, abstract machines; * program derivation, synthesis and transformation; * program analysis, verification, model-checking; * logic, constraint, probabilistic and quantum programming; * software security; * concurrency and parallelism; * tools and environments for programming and implementation. Topics are not limited to those discussed in previous symposiums. Papers identifying future directions of programming and those addressing the rapid changes of the underlying computing platforms are especially welcome. Demonstration of systems and tools in the scope of APLAS are welcome to the System and Tool presentations category. Authors concerned about the appropriateness of a topic are welcome to consult with program chair prior to submission. ========== SUBMISSION ========== We solicit submissions in two categories: *Regular research papers* describing original scientific research results, including tool development and case studies. Regular research papers should not exceed 16 pages in the Springer LNCS format, including bibliography and figures. They should clearly identify what has been accomplished and why it is significant. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. In case of lack of space, proofs, experimental results, or any information supporting the technical results of the paper could be provided as an appendix or a link to a web page, but reviewers are not obliged to read them. *System and Tool presentations* describing systems or tools that support theory, program construction, reasoning, or program execution in the scope of APLAS. System and Tool presentations are expected to be centered around a demonstration. The paper and the demonstration should identify the novelties of the tools and use motivating examples. System and Tool papers should not exceed 8 pages in the Springer LNCS format, including bibliography and figures. Submissions will be judged based on both the papers and the described systems or tools. It is highly desirable that the tools are available on the web. Papers should be submitted electronically via the submission web page: https://www.easychair.org/conferences/?conf=aplas2013 Acceptable formats are PostScript or PDF. Submitted papers must be unpublished and not submitted for publication elsewhere. Papers must be written in English. The proceedings will be published as a volume in Springer's LNCS series. Accepted papers must be presented at the conference. (While the general chair and the program chair cannot submit papers, other members of the program committee can.) ===== DATES ===== Abstract due: 10 June 2013 (Monday), 23:59 UTC Submission due: 14 June 2013 (Friday), 23:59 UTC Notification: 26 August 2013 (Monday) Final paper due: 19 September 2013 (Thursday) Conference: 9-11 December 2013 (Monday-Wednesday) ========== ORGANIZERS ========== General chair: Peter Schachte (University of Melbourne) Program chair: Chung-chieh Shan (Indiana University) Program committee: Filippo Bonchi (CNRS, ENS-Lyon, France) Yu-Fang Chen (Academia Sinica, Taiwan) Shigeru Chiba (The University of Tokyo, Japan) Jacques Garrigue (Nagoya University, Japan) Robert Glück (University of Copenhagen, Denmark) R. Govindarajan (Indian Institute of Science, India) Kazuhiro Inaba (Google, Inc., Japan) Jie-Hong Roland Jiang (National Taiwan University, Taiwan) Shin-ya Katsumata (Kyoto University, Japan) Gabriele Keller (University of New South Wales, Australia) Ana Milanova (Rensselaer Polytechnic Institute, USA) Keisuke Nakano (The University of Electro-Communications, Japan) Hakjoo Oh (Seoul National University, Korea) Bruno C. d. S. Oliveira (National University of Singapore, Singapore) Kaushik Rajan (Microsoft Research, India) Max Schäfer (Nanyang Technological University, Singapore) Ulrich Schöpp (Ludwig-Maximilians-Universität München, Germany) Paula Severi (University of Leicester, UK) Gang Tan (Lehigh University, USA) Hiroshi Unno (University of Tsukuba, Japan) Meng Wang (Chalmers University of Technology, Sweden) Jingling Xue (University of New South Wales, Australia) Mingsheng Ying (University of Technology, Sydney, Australia) Kenny Q. Zhu (Shanghai Jiao Tong University, China) ======= CONTACT ======= http://aplas2013.soic.indiana.edu/ aplas2013(a)easychair.org

1 0

CfP: 13th Intl. Workshop on Termination, Bertinoro (Italy), August 29-31
by Nao Hirokawa 04 Jun '13

04 Jun '13

皆様８月末にイタリアのベルティノーロで行われます、停止性や計算量に関するワークショップ WST 2013 の論文募集案内をお知らせ致します。今年はリソース解析のワークショップ FOPARA 2013 との合同開催です。投稿をご検討頂ければ幸いです。廣川直（JAIST） ========= 13th International Workshop on Termination (WST) =========== http://www.imn.htwk-leipzig.de/WST2013/ The Workshop on Termination traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The 13th Workshop on Termination will be held from August 29 to 31, 2013, at the Centro Residenziale Universitario di Bertinoro (Italy). It will be a joint workshop, together with the 3rd International Workshop on Foundational and Practical Aspects of Resource Analysis. The sessions of WST and FOPARA will be interleaved, this way facilitating the interaction between the two communities. ========= Important Dates ============================================ submission: July 15, 2013 notification: July 25, 2013 final version: August 10, 2013 workshop: August 29 - 31, 2013 ========= Topics ===================================================== The 13th International Workshop on Termination welcomes contributions on all aspects of termination and complexity analysis. Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of complexity or termination (for example in program transformation or theorem proving) are particularly welcome. Areas of interest include, but are not limited to, the following: Termination of programs Termination of rewriting Termination analysis of transition systems Complexity of programs Complexity of rewriting Implicit computational complexity Implementation of termination and complexity analysis methods Certification of termination and complexity proofs Termination orders, well-founded orders, and reduction orders Termination methods for theorem provers Strong and weak normalization of lambda calculi Termination analysis for different language paradigms Invariants for termination proving Challenging termination problems Applications to program transformation and compilation Comparison and classification of termination methods Non-termination and loop detection Termination in distributed systems Proof methods for liveness and fairness Well-quasi-order theory Ordinal notations and subrecursive hierarchies ========= Program Committee ========================================== Evelyne Contejean (Univ. Paris-Sud) Carsten Fuhs (Univ. College London) Alfons Geser (HTWK Leipzig) Jürgen Giesl (RWTH Aachen) Sergio Greco (Univ. of Calabria) Nao Hirokawa (JAIST) Dieter Hofbauer (ASW BA Saarland) Georg Moser (Univ. Innsbruck) Albert Rubio (Univ. Politecnica de Catalunya) Peter Schneider-Kamp (Syddansk Univ.) Johannes Waldmann (HTWK Leipzig) (chair) Florian Zuleger (TU Wien) ========= Submission ================================================= Submissions are short papers/extended abstract which should not exceed 5 pages. There will be no formal reviewing. Accepted papers will be made available electronically at the workshop. Papers should be submitted electronically via the submission page http://www.easychair.org/conferences/?conf=wst2013 Final versions should be created using LaTeX and the LIPIcs style file.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml