Logic-ml November 2014

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

6 participants
7 discussions

JAIST Logic Workshop Series 2015
by Hajime Ishihara 03 Feb '15

03 Feb '15

皆様来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。ふるってご投稿・ご参加ください。問合せ先：石原　哉・木原貴行・根元多佳子・横山啓太北陸先端科学技術大学院大学情報科学研究科 e-mail: jlws2015(a)jaist.ac.jp -------------------------------------------------------- *Call for Abstracts* JAIST LOGIC WORKSHOP SERIES 2015 Constructivism and Computability 2 March 2015 – 6 March 2015 Shiinoki Cultural Complex, Kanazawa, Japan http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/ -------------------------------------------------------- IMPORTANT DATES November 30 - deadline for abstract submissions December 25 - notification of accepted contributions February 15 - deadline for registrations March 2-6 - Constructivism and Computability workshop TUTORIALS * Giovanni Sambin (University of Padova) * Hideki Tsuiki (Kyoto University) * Stanley Wainer (University of Leeds) INVITED SPEAKERS * Ulrich Berger (Swansea University) * Takayuki Kihara (JAIST) * Graham Leigh (Vienna University of Technology) * Michael Rathjen (University of Leeds) * Masahiko Sato (Kyoto University) * Makoto Tatsuta (National Institute of Informatics) PROGRAM COMMITTEE * Toshiyasu Arai (Chiba University) * Andrej Bauer (University of Ljubljana) * Ulrich Berger (Swansea University) * Hajime Ishihara (co-chair, JAIST) * Masahiro Kumabe (Open University of Japan) * Erik Palmgren (Stockholm University) * Peter Schuster (University of Leeds) * Helmut Schwichtenberg (co-chair, LMU Munich) * Dieter Spreen (University of Siegen, UNISA Pretoria) * Kazuyuki Tanaka (Tohoku University) SUBMISSIONS Submissions of short abstracts (1 page in PDF format) are accepted through easychair.org, see https://easychair.org/conferences/?conf=jlws2015 DESCRIPTION JAIST Logic Workshop Series is a workshop series bringing together researchers from mathematical logic and its application, especially to artificial intelligence and software science. Each workshop has its own focus on a specific area of research in mathematical logic and its application. Previous workshops have been held in Kanazawa 2013, 2014 and 2014: http://www.jaist.ac.jp/~hirokawa/pr2013/ http://www.jaist.ac.jp/~preining/wpp/ http://www.jaist.ac.jp/~v-sano/jw2014/index.html In 2015, JAIST Logic Workshop Series focuses on “Constructivism and Computability” aiming at interaction and knowledge transfer between constructive mathematics and computability theory. The workshop is held being affiliated with EU FP7 Marie Curie Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and CORCON (http://corcon.net/), but is open to all researchers in the areas. SCOPE Constructive mathematics and computability, and related areas including but not limited to: intuitionistic logic and type theory, proof theory, constructive analysis and topology, program extraction from proofs, recursion theory, computable analysis and topology, classical/constructive reverse mathematics, algorithmic randomness, real number computation etc. LOCAL ORGANIZERS * Hajime Ishihara (JAIST) * Takayuki Kihara (JAIST) * Takako Nemoto (JAIST) * Keita Yokoyama (JAIST) The workshop is supported by: * Japan Advanced Institute of Science and Technology (JAIST) CO-LOCATED WORKSHOP * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of Mathematics (6-7 March 2015, at the same venue)

1 2

千葉logic seminar
by arai toshiyasu 21 Nov '14

21 Nov '14

みなさま新井@千葉大学です。千葉 logic seminar の第4回のお知らせです。どなたでも参加できますのでどうぞ気軽にいらっしゃって下さい。問合せ先新井敏康（千葉大学） tosarai(a)faculty.chiba-u.jp ------------------------------------------ 日時：12月10日(水)13:30-15:300 場所：千葉大学理学部2号館105号室アクセスは http://www.chiba-u.ac.jp/campus_map/nishichiba/index.html の地図の黄色い理学部の中で数字2が付いている建物の1階です。講演者：秋吉亮太（京都大学）タイトル：ブラウワーのバー帰納法の証明論的分析アブストラクト: ブラウワーのバー帰納法は，直観主義数学において（ファン定理と並ぶ）根本原理の一つである．本発表では，バー帰納法をブフホルツのΩ規則によって分析し，いくつかの結果を紹介する．また，時間が許せば，この分析が，バー帰納法のブラワウー自身による正当化の再構成になっていることにもふれる． ------------------------------------------ -- 新井敏康

1 0

Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday
by Joerg Brendle 12 Nov '14

12 Nov '14

皆様、ブレンドレ＠神戸大学システム情報学研究科です。１１月１７日（月）から１１月１９日（水）まで神戸大学にて数理論理学やその関連のある分野についての研究集会「Workshop on Mathematical Logic on the Occasion of Sakae Fuchino's 60th Birthday」が開催されます。集会のウェブページは http://kurt.scitec.kobe-u.ac.jp/~brendle/sakae60/home.html にあります。また、１１月１８日（火）に１８：３０時からザ・ヒルサイド神戸（the Hillside Rokko Yamanote） http://www.hillsiderokko.com/party/ にて渕野昌先生の還暦お祝いのバンケットを開きます。バンケットの参加を希望される方は brendle(a)kurt.scitec.kobe-u.ac.jp までご連絡ください。皆様のご参加をお待ちしております。 jörg brendle

1 0

LENLS11: Call for Participation and Registration
by Koji Mineshima 06 Nov '14

06 Nov '14

（重複して受け取られた場合はご容赦ください）お茶の水女子大学の峯島と申します。 11月22日から24日にかけて東京で開催される国際ワークショップ LENLS 11のご案内をお送り致します。 Online Registrationの締め切りが 11月10日(月曜) に迫っております。 Registrationの方法につきましては、以下のページをご覧ください。 https://www.ai-gakkai.or.jp/isai/registration ワークショップの詳細につきましては、以下のページもご参照ください。 http://www.is.ocha.ac.jp/~bekki/lenls/ 皆さまのご参加をお待ちしております。峯島宏次（お茶の水女子大学・JST CREST） [Apologies for multiple copies] ================================================================= CALL FOR PARTICIPATION Logic and Engineering of Natural Language Semantics 11 (LENLS11) Dates : November 22-24, 2014 Workshop Site : (22nd) Ochanomizu University Room 207-209, Science Building 3, Tokyo, Japan http://www.ocha.ac.jp/en/index.html (23rd,24th) Raiousha Building, Keio University, Hiyoshi campus, Kanagawa, Japan http://www.keio.ac.jp/en/maps/hiyoshi.html Contact Person: Koji Mineshima (Ochanomizu University) Contact Email : lenls11[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Koji Mineshima (Ochanomizu University) Co-chair: Daisuke Bekki (Ochanomizu University /National Institute of Informatics/JST CREST) Eric McCready (Aoyama Gakuin University) Invited Speakers: - Chris Barkar (New York University) - Kimiko Nakanishi (Ochanomizu University) - Matthew Stone (Rutgers University) - Christopher Tancredi (Keio University) LENLS is an annual international workshop on formal syntax, semantics and pragmatics. It will be held as one of the workshops of the Sixth JSAI International Symposia on AI (isAI2014) (http://www.ai-gakkai.or.jp/isai/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/en). Important dates: ================ Deadline for onsite registration: November 10, 2014 LENLS11: November 22-24, 2014 We will also hold a one-day workshop at Kyoto University on November 28, 2014, with two invited speakers, Chris Barkar and Matthew Stone. The detailed information will be announced on the website. http://www.is.ocha.ac.jp/~bekki/lenls/ 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 November 2014**. https://www.ai-gakkai.or.jp/isai/registration Program: ======== 1st Day: November 22th (Sat), 2014 @Ochanomizu University ------------------------- 12:30-12:50: Reception 12:50-13:00: Opening Remarks 13:00-14:30: Session 1 * Kristina Liefke "Codability and Robustness in Formal Natural Language Semantics" * Alain Lecomte "An interaction framework for dialogue: combining Ludics and Type Theory with Records" * Yurie Hara "Radical Inquisitive Investigation into Cantonese Biased and Neutral Questions" 14:30-14:45: Coffee Break 14:45-16:15: Session 2 * Stergios Chatzikyriakidis and Zhaohui Luo "Using Signatures in Type Theory to Represent Situations" * Ribeka Tanaka, Koji Mineshima and Daisuke Bekki "Resolving Modal Anaphora in Dependent Type Semantics" * Krystian Jobczyk "Temporal verbs and adverbs: 'often' and 'many times' and their fuzzy-integral-logic based modelling" 16:15-16:30: Coffee Break 16:30-17:30: Invited Talk 1 * Kimiko Nakanishi "Scalarity of EVEN" 2nd Day: November 23th (Sun), 2014 @Keio University, Hiyoshi campus ------------------------- 9:00-9:30: Registration and Coffee Break 9:30-10:30: Invited Talk 2 * Mizoguchi Riichiro "Ontology engineering - Theory and practice -" (from the JURISIN workshop) 10:30-10:45: Coffee Break 10:45-12:00: Student Session * Daniel Tiskin "Specific Opaque Readings and Proportional Determiners" * Makiko Kato "Japanese plural marker 'tachi' and associativity" * Yu-Mi Jo "Temporal Pluractional Adverbs in Korean: Focusing on Tatali, Nanali, and Halwuhalwu" 12:00-13:00: Lunch 13:00-14:30: Session 3 * Daisuke Bekki and Eric McCready "CI via DTS" * Bruno Mery, Richard Moot and Christian Retore "Computing the Semantics of Massive Entities using Many-Sorted Types" * Oleg Kiselyov "Canonical Constituents and Non-canonical Coordination: Simple Categorial Grammar account" 14:30-14:45: Coffee Break 14:45-15:45: Session 4 * Eric McCready "Honorific Denotations" * Philippe de Groote and Yoad Winter "A type-logical account of quantification in event semantics" 15:45-16:00: Coffee Break 16:00-17:00: Invited Talk 3 * Matthew Stone "Logic and Probability in Grounded Semantics" (shared with the JURISIN workshop) 17:00-17:15: Coffee Break 17:15-18:15: Invited Talk 4 * Chris Tancredi "Focus and Givenness" 19:00-:Banquet 3rd Day: November 24th (Mon), 2014 @Keio University, Hiyoshi campus ------------------------- 9:30-10:00: Coffee Break 10:00-11:30: Session 5 * Lisa Bylinina, Natalia Ivlieva, Alexander Podobryaev and Yasutada Sudo "A Non-Superlative Semantics for Ordinals and the Syntax of Comparison Classes" * Laurent Prevot and Jan Gorisch "Crossing Empirical and Formal approaches for studying French feedback items" * Alastair Butler and Kei Yoshimoto "Semantic Visualisation with Flame Graphs" 11:30-13:00: Lunch 13:00-14:30: Session 6 * Lasha Abzianidze "Towards a Wide-coverage Tableau Method for Natural Logic" * Elena Castroviejo and Berit Gehrke "A good intensifier" * Shinya Okano and Yoshiki Mori "On CG management of Japanese weak necessity modal 'hazu'" 14:30-14:45: Coffee Break 14:45-16:15: Session 7 * Satoru Suzuki "Measurement-Theoretic Foundations of Observational-Predicate Logic" * Yasuo Nakayama "Formal Analysis of Epistemic Modalities and Conditionals based on Logic of Belief Structures" * Zhiguo Xie "An epistemic modal for strict comparison in Mandarin Chinese" 16:15-16:30: Coffee Break 16:30-17:30: Invited Talk 5 * Chris Barkar "The Logic of Scope" Alternates ---------- * Osamu Sawada "Polarity sensitivity and update refusal: the case of the Japanese negative 'totemo'" * Richard Zuber "On the logical reducibility of reflexives" Post Proceedings =========== Selected papers will be published in Springer's Lecture Notes in Artificial Intelligence (LNAI). Sponsor: ======== LENLS is being organized by an alliance of "Establishment of Knowledge-Intensive Structural Natural Language Processing and Construction of Knowledge Infrastructure" (http://nlp.ist.i.kyoto-u.ac.jp/CREST/?en) project, funded by JST CREST Programs "Advanced Core Technologies for Big Data Integration" (http://www.jst.go.jp/kisoken/crest/en/research_area/ongoing/areah25-6.html). Workshop Organizers/Program Committee: ====================================== - Koji Mineshima (Ochanomizu University) - Daisuke Bekki (Ochanomizu University/National Institute of Informatics) - Alastair Butler (Tohoku University) - Richard Dietz (University of Tokyo) - Eric McCready (Aoyama Gakuin 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) - Shunsuke Yatabe (Kyoto University) - Kei Yoshimoto (Tohoku University)

1 0

奈良女子大学Kowalski先生講演お知らせ
by 藤田恵 04 Nov '14

04 Nov '14

皆様、奈良女子大学の藤田です。今月11/10(月)に奈良女子大学にて、Robert Kowalski先生が講演を行ってくださいます。下記のような内容で行いますので、ぜひお越しください。 -------------------------------------------------------------------- Robert Kowalski先生講演のお知らせ 11月10日(月)に、本学科にて下記の要領でRobert Kowalski先生の講演を行います。記号論理学の分野では非常に有名な先生で、有益なお話を聞けると思いますので、ぜひお越し下さい。記演題: Towards a Science of Computing 時間: 13:00〜14:30 場所: 奈良女子大学G棟G302教室問い合わせ先: 新出 nide(a)ics.nara-wu.ac.jp [追記] 講演概要を http://www.ics.nara-wu.ac.jp/jp/event.html#seminars_and_lectures で案内しています。

1 0

再送：数学基礎論若手の会2014
by YOSHIDA Satoru 04 Nov '14

04 Nov '14

皆様重複して受け取られた場合はご容赦ください。数学基礎論若手の会2014について、参加申込み締切を下記の通り延長致しました：講演、参加、宿泊の申込み： 2014年11月18日15時（開催日前日）. 宿泊施設での食事の申込み：2014年11月13日15時. まだ多少時間がありますので、講演をご検討頂けたらと思います。また、講演プログラム（暫定版）および参加者リストを後述の若手の会webサイト内に掲載しました。以上、よろしくお願い致します。 2014年9月22日 19:04 YOSHIDA Satoru <satoru-y(a)kankyo-u.ac.jp>: > 皆様 > > 重複して受け取られた場合はご容赦ください。 > > 数学基礎論若手の会2014のご案内です。 > > 数学基礎論を専攻する学生および若手研究者の研究交流を目的とす > る合宿形式の研究集会です． > 講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しております． > また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します． > 多くの方々のご参加およびご講演をお待ちしています． > > 日程：11月19日（水）午後－21日（金）午前 > 場所：鳥取市サイクリングターミナル砂丘の家（鳥取砂丘付近） > http://www.city.tottori.lg.jp/www/contents/1198114185831/ > 幹事：吉田聡（鳥取環境大学） satoru-y(a)kankyo-u.ac.jp > ホームページ： http://misc.kankyo-u.ac.jp/~satoru-y/wakate14/ > > 今年度若手の会申込み要領については上記ホームページをご参照ください。 > > > -- > 吉田聡<YOSHIDA, Satoru> > 鳥取環境大学 > -- 吉田聡<YOSHIDA, Satoru> 鳥取環境大学

1 0

WoLLIC 2015 - Call for Papers
by 小野寛晰 03 Nov '14

03 Nov '14

[Please circulate. Apologies for cross-postings.] WoLLIC 2015 22nd Workshop on Logic, Language, Information and Computation July 20th-23rd, 2015 Bloomington, IN, USA 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 School of Informatics and Computing, Indiana University, USA Program in Pure and Applied Logic, Indiana University, USA Centro de Informática, Universidade Federal de Pernambuco, Brazil HOSTED BY School of Informatics and Computing, Indiana University, USA 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 twenty-second WoLLIC will be held at the School of Informatics and Computing, Indiana University, from July 20th to 23rd, 2015. 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 2015 EasyChair website. (Please go to http://wollic.org/wollic2015/instructions.html <http://wollic.org/wollic2015/instructions.html> for instructions.) A title and single-paragraph abstract should be submitted by Feb 8, 2015, and the full paper by Feb 15, 2015 (firm date). Notifications are expected by Mar 22, 2015, and final papers for the proceedings will be due by Apr 5, 2015 (firm date). PROCEEDINGS The proceedings of WoLLIC 2015, 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 2015 issue of a scientific journal (to be confirmed). INVITED SPEAKERS (tba) STUDENT GRANTS ASL sponsorship of WoLLIC 2015 will permit ASL student members to apply for a modest travel grant (deadline: May 1st, 2015). See http://www.aslonline.org/studenttravelawards.html <http://www.aslonline.org/studenttravelawards.html> for details. IMPORTANT DATES Feb 8, 2015: Paper title and abstract deadline Feb 15, 2015: Full paper deadline Mar 22, 2015: Author notification Apr 5, 2015: Final version deadline (firm) PROGRAMME COMMITTEE Juliana Küster Filipe Bowles <https://risweb.st-andrews.ac.uk/portal/da/persons/juliana-kuster-filipe-bow…> (U St Andrews, Scotland) Guillaume Brunerie <http://www.eleves.ens.fr/home/brunerie/> (ENS Ulm, France) (TBC) Ann Copestake <http://www.cl.cam.ac.uk/~aac10/> (U Cambridge, UK) (TBC) Robin Cooper <http://www.ling.gu.se/~cooper/> (U Gothenburg, Sweden) Nikos Galatos <http://web.cs.du.edu/~ngalatos/>(U Denver, USA) Achim Jung <http://www.cs.bham.ac.uk/~axj/> (U Birmingham, UK) Sara <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> Kalvala <http://www2.warwick.ac.uk/fac/sci/dcs/people/sara_kalvala/> (U Warwick, UK) Elham Kashefi <http://www.inf.ed.ac.uk/people/staff/Elham_Kashefi.html> (Edinburgh U, Scotland) Peter Lefanu Lumsdaine <http://www.math.ias.edu/~plumsdaine/> (Institute for Advanced Study, USA) Ian Mackie <http://www.ianmackie.com/> (U Sussex, UK) Gerard de Melo <http://gerard.demelo.org/> (Tsinghua University, China) Vivek Nigam <http://www.nigam.info/> (Federal U of Paraíba, Brazil) Valeria de Paiva <http://www.cs.bham.ac.uk/~vdp/> (Nuance Comm, USA) (CHAIR) Luiz Carlos <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> Pereira <http://buscatextual.cnpq.br/buscatextual/visualizacv.do?id=K4783548E2> (PUC-Rio, Brazil) Elaine Pimentel <https://sites.google.com/site/elainepimentel/> (Federal U of Rio Grande do Norte, Brazil) Alexandra Silva <http://alexandrasilva.org/> (Radboud Nijmegen U, The Netherlands) Carolyn Talcott <http://www.sri.com/about/people/carolyn-talcott> (SRI International, USA) Josef Urban <http://cs.ru.nl/~urban/> (Radboud Nijmegen U, The Netherlands) Laure Vieu <http://www.irit.fr/~Laure.Vieu/> (IRIT-Toulouse, France) (TBC) Renata Wasserman <http://www.ime.usp.br/~renata/> (U São Paulo, Brazil) Anna Zamansky <http://mailng.hevra.haifa.ac.il/~annazam/> (U Haifa, Israel) STEERING COMMITTEE Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Angus Macintyre, Luke Ong, Hiroakira Ono, Ruy de Queiroz. ORGANISING COMMITTEE Daniel Leivant (Indiana U) (Local co-chair) Larry Moss (Indiana U) (Local co-chair) Anjolina G. de Oliveira (U Fed Pernambuco) Ruy de Queiroz (U Fed Pernambuco) (co-chair) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE http://wollic.org/wollic2015/ <http://wollic.org/wollic2015/>

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml November 2014