Logic-ml March 2013

10 participants
15 discussions

Topology, Algebra and Categories in Logic (TACL 2013)
by 小野寛晰 13 Mar '13

13 Mar '13

====================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2013) Conference and Summer School (Abstract Submission Deadline: April 1, 2013) (Support Request Deadline: April 21, 2013) ====================================================== The Sixth International Conference (and Summer School) on Topology, Algebra and Categories in conjunction with the 28th Annual Shanks Lecture Series Conference and Shanks Lectures: July 28 - August 1, 2013 Summer School: July 24 - 27, 2013 Department of Mathematics, Vanderbilt University Nashville, Tennessee USA http://www.math.vanderbilt.edu/~tacl2013/ ============================================= Sponsors ------------- National Science Foundation Association for Symbolic Logic Shanks Endowment Vanderbilt University Consortium for Order in Algebra and Logic Invited Speakers (Conference) ------------------------------------------------------- Vladimir Voevodsky, Institute for Advanced Studies (Shanks Lecturer) Nick Bezhanishvili, Utrecht University Leo Cabrer, University of Oxford Silvio Ghilardi, University of Milan Rostislav Horcik, Academy of Sciences of the Czech Republic George Metcalfe, University of Bern Alex Simpson, University of Edinburgh Summer School Invited Speakers and Courses ------------------------------------------------------------------------- Grigori Mints, Stanford University (on Proof Theory) Lawrence Moss, Indiana University (on Recursion and Circularity) Francesco Paoli, University of Cagliari (on Algebraic Logic) Peter Selinger, Dalhousie University (on Categorical Logic) Scope of the Conference --------------------------------- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2013 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the sixth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseilles (2011). Featured topics --------------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Lattice theory * Lattices with operators * Many-valued and fuzzy logics * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Point-free topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic The Summer School ---------------------------- TACL brings together different disciplines with the goal of exploring problems in logic. Partly due to the success of the TACL conference series, researchers have started employing tools used outside their immediate areas, either individually or in collaboration with specialists in research fields featured in the series. Such interactions have also naturally lead to new directions that combine ideas from two or more research fields. This has been a gradual and arduous process and TACL can boast of having participants that are at least somewhat familiar with most of the featured areas. However, young researchers and students who attend the conference and work in TACL fields have a more restricted and specialized repertoire of tools and knowledge. The goal of the Summer School is to fill the gap and expose such researchers to a variety of methods that can be used to study logic. It will primarily target graduate students and postdocs, but also more senior researchers who are not familiar with aspects of neighboring areas. Prospective Summer School participants should express their interest on the 'Express Interest' page of the TACL 2013 web site by selecting the events that plan to attend (summer school and/or conference). Limited funds for supporting summer school participants are available (mainly through NSF). Those who plan to request financial support should submit a copy of their CV and a letter of support from their PhD advisor or post-doc supervisor (if applicable) to tacl2013(a)gmail.com with 'Summer School support request' in the subject line by April 21, 2013. In addition, they need to fill out the financial support form on the 'Support Requests' page by the same date. Registration should also be completed by June 1, 2013. We would appreciate your assistance in advertising the Summer School to interested students. Additional information can be found on the 'Summer School' page of the TACL 2013 web site. Submissions to the Conference ------------------------------------------- Contributed presentations will be of two types: o 20 minutes long presentations in parallel sessions and o featured, 30 minutes long, plenary presentations. The submission of an abstract will be required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure, as well as a link to the EasyChair system, can be found at the conference web site. Important Dates ---------------------- April 1, 2013: Abstract submission deadline April 21, 2013: Conference support request deadline April 21, 2013: Summer School support request deadline May 1, 2013: Notification to authors and summer school applicants June 1, 2013 - Deadline for early online registration and payment July 24 - 27: Summer School July 28-August 1, 2013: Conference Program Committee --------------------------- Steve Awodey, Carnegie Mellon University Guram Bezhanishvili, New Mexico State University David Gabelaia, Razmadze Mathematical Institute, Tbilisi Nick Galatos (co-chair), University of Denver Mai Gehrke, LIAFA, University of Paris Diderot Rob Goldblatt, Victoria University, Wellington John Harding, New Mexico State University Ramon Jansana, University of Barcelona Peter Jipsen, Chapman University Achim Jung, University of Birmingham Alexander Kurz (co-chair), University of Leicester Vincenzo Marra, University of Milan Hiroakira Ono, Japan Advanced Institute of Science and Technology Alessandra Palmigiano, University of Amsterdam Hilary Priestley, St Anne's College, Oxford James Raftery, University of KwaZulu-Natal, Durban Thomas Streicher, Technical University of Darmstadt Kazushige Terui, Kyoto University Constantine Tsinakis, Vanderbilt University Yde Venema, University of Amsterdam Michael Zakharyaschev, Birkbeck College, University of London Organizing Committee ------------------------------- Chris Conidis, Vanderbilt University Lianzhen Liu, Jiangnan University, China Warren McGovern, Florida Atlantic University Francesco Paoli, University of Cagliari Rebecca Steiner, Vanderbilt University Constantine Tsinakis (chair), Vanderbilt University William Young, Vanderbilt University Expression of interest ------------------------------ We would greatly appreciate your taking two minutes to express your level of interest in the conference by filling out a simple form on the conference web site under "Express Interest". This will help the Organizing Committee with their planning. You can also opt-out from receiving future announcements by clicking the link at the bottom of this email. More Information ----------------------- TACL 2013 web site: http://www.math.vanderbilt.edu/~tacl2013/ Use this site for local information, including hotel accommodations, for travel information and registration, and for submitting a request for financial support. Any queries for the Program Committee (such as usage of the EasyChair conference system, abstract submission guidelines, conference program, etc.) should be sent to tacl2013(a)gmail.com. Queries for the local Organizing Committee (registration, hotel accommodations, financial support and reimbursements, technology infrastructure, etc.) should be sent to tacl2013oc(a)vanderbilt.edu.

1 0

WoLLIC 2013 - CFP - DEADLINE APPROACHING
by 小野寛晰 13 Mar '13

13 Mar '13

[Please circulate. Apologies for any cross-postings.] WoLLIC 2013 20th Workshop on Logic, Language, Information and Computation August 20th to 23rd, 2013 Technische Universität Darmstadt Darmstadt, Germany 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 Fachbereich Mathematik, Technische Universität Darmstadt, Germany Centro de Informática, Universidade Federal de Pernambuco, Brazil Financial Support Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG) 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 Technische Universität Darmstadt, Germany, from August 20th to 23rd, 2013. 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), theEuropean 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; 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 2012 EasyChair website. (Please go to http://wollic.org/wollic2013/instructions.html for instructions.) A title and single-paragraph abstract should be submitted by March 25th, and the full paper by March 29th (firm date). Notifications are expected by May 3rd, and final papers for the proceedings will be due by May 15th (firm date). Proceedings The proceedings of WoLLIC 2013, 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 2013 issue of a scientific journal (to be confirmed). Invited Speakers Natasha Alechina (University of Nottingham) Steve Awodey (Carnegie Mellon University) Mikolaj Bojanczyk (Warsaw University) Wim Martens (Universität Bayreuth) Catuscia Palamidessi (INRIA Saclay and LIX) Thomas Schwentick (TU Dortmund) Student Grants ASL sponsorship of WoLLIC 2013 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2013). See http://www.aslonline.org/studenttravelawards.html for details. Important Dates March 25th, 2013: Paper title and abstract deadline March 29th, 2013: Full paper deadline May 3rd, 2013: Author notification May 15th, 2013: Final version deadline (firm) Programme Committee Albert Atserias (UPC Barcelona) Alexandru Baltag (Univ Amsterdam) Stephanie Delaune (ENS, CNRS) Amy Felty (Univ Ottawa) Santiago Figueira (Univ Buenos Aires) Amelie Gheerbrant (Univ Edinburgh) Radha Jagadeesan (DePaul Univ) Delia Kesner (Univ Paris-Diderot) Benoit Larose (Concordia Univ) Leonid Libkin (Univ Edinburgh - CHAIR) Fenrong Liu (Tsinghua Univ) Jerzy Marcinkowski (Wroclaw Univ) Peter O'Hearn (UCL) Joël Ouaknine (Oxford Univ) Gerald Penn (Univ Toronto) Gabriele Puppis (CNRS/LaBRI - Univ Bordeaux) R. Ramanujam (The Institute of Mathematical Sciences) Peter Selinger (Dalhousie Univ) Szymon Torunczyk (Warsaw Univ) Anna Zamansky (TU Wien) Steering Committee Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Luke Ong, Hiroakira Ono, Ruy de Queiroz. Organising Committee Ulrich Kohlenbach (Tech U Darmstadt) (Local chair) Anjolina G. de Oliveira (U Fed Pernambuco) Martin Otto (Tech U Darmstadt) Ruy de Queiroz (U Fed Pernambuco) (co-chair) Thomas Streicher (Tech U Darmstadt) Martin Ziegler (Tech U Darmstadt) Further information Contact one of the Co-Chairs of the Organising Committee. Web page http://wollic.org/wollic2013/

1 0

講演会/セミナーのお知らせ
by Makoto Kikuchi 11 Mar '13

11 Mar '13

各位 Segei Artemov 教授 (City University of New York)，Elena Nogina 教授 (City University of New York) をお招きして，以下の要領で講演会とセミナーを開催します．ご出席希望の方は事前にそれぞれの問い合わせ先までご連絡下さい．【１】論理学講演会日時：2013年3月24日（日）14:30-18:00 場所：日本大学文理学部1号館1階122教室プログラム: 14:30-16:00 Sergei Artemov (CUNY) Logic of Proofs and Justification 16:30-18:00 Elena Nogina (CUNY) Joining Two Goedel's Models of Provability 問い合わせ先：日本大学文理学部哲学科飯田隆 iida.takashi19(a)nihon-u.ac.jp 【２】Seminar in Logic and Philosophy of Mathematics 日時：2013年3月26日（火）〜27日（水）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室）プログラム： 3月26日 10:30-12:00 Sergei Artemov (CUNY) Provability Brouwer-Heyting-Kolmogorov semantics (1/2) 13:00-14:30 Elena Nogina (CUNY) Provability and Explicit Proofs 15:00-16:30 Taishi Kurahashi (Kobe) Syntax and semantics of predicate modal logic of provability 3月27日 10:30-12:00 Sergei Artemov (CUNY) Provability Brouwer-Heyting-Kolmogorov semantics (2/2) 13:00-14:30 Ryota Akiyoshi (Kyoto) Proper Explanation of Brouwer's Fundamental Assumption 15:00-16:30 Hidenori Kurokawa Kreisel's second clause and the theory of constructions 問い合わせ先：神戸大学大学院システム情報学研究科菊池誠 mkikuchi(a)kobe-u.ac.jp

1 0

3/12講演Alexandre Costa-Leite
by Yoichi Hirai 10 Mar '13

10 Mar '13

logic-mlの皆様萩谷研の平井洋一です。きたる火曜日、Alexandre Costa-Leiteさんが東京大学本郷で講演されます。多様相論理の話と、自然言語の意味論への応用だそうです。急な話でございますが、ご参加お待ちしております。登録不要です。・3月12日 14:00〜・東京大学本郷キャンパス　理学部7号館　2階214室 --------------------------------------------------------------- Alexandre Costa-Leite (University of Brasilia, Brazil) /Fusions of modal logics, interactive laws and natural languages/ I will present two very general theorems on fusions of modal logics extended with interactive laws. Then I also show how these fusions can be applied to formalize non-interdefinable concepts in natural languages. ---------------------------------------------------------------

1 0

3月8日―9日：認識論理とゲーム理論研究会
by Suzuki, Nobu-Yuki 04 Mar '13

04 Mar '13

皆様金子守さん（筑波大社会工学系）の依頼で代理投稿します。よろしくお願いします。 ---------------------------------------------------------- 　　　　　　　　　　　認識論理とゲーム理論研究会日時：　2013年3月8日（金）―　9日（土）場所：筑波大　第3エリア　F棟12階1222室 TXつくば駅から筑波大循環（左回り・右回り、可）に乗り、第3エリア下車。前の12階建の建物12階 (連絡先：筑波大社会工学系　金子守　kaneko(a)sk.tsukuba.ac.jp) 発表・議論の方針：小さな（開かれた）研究会で議論のための場です。一人の持ち時間は1時間ですが、発表そのものは45分程度で終えると考え、必要なこと・重要なことに絞って準備してください。発表のレジュメを10部ほど用意してください。 3月8日（金）午後1：２0−2：２0：矢田部俊介：構成的素朴集合論と無限 2：３０−3：３０佐野勝彦：Dynamic Epistemic Logic for Channel-Based Agent Communication 　 4：00−5：00 金子守：Small Infinitary Epistemic Logics and Some Fixed-Point Logicｓ（with T.-W. Hu ＆N.-Y. Suzuki）懇親会：６：３０−８：３０　（居酒屋大将） 3月9日（土）午前９：1０−１０：1０　田中義人：Common Knowledge logicのクリプキ完全性 10：20―１１：20 本浦庄太：On the semantic meaning of reduction axioms in public announcement logic 11：40−12：40 鈴木信行：述語論理でのPrediction/Decision Criteriaの予備的考察

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml March 2013