Logic-ml May 2012

11 participants
13 discussions

talk by Chung-chieh Shan (15 May 2012)
by Hasegawa Masahito 07 May '12

07 May '12

$B3'MM!"(B $B0J2<$NFbMF$G(BChung-chieh Shan$B$5$s$N9V1i$rM=Dj$7$F$*$j$^$9!#(B $B4X?4$r$*;}$A$NJ}$O!"@'Hs$*5$7Z$K$4;22C$/$@$5$$!#(B $B$I$&$>$h$m$7$/$*4j$$$$$?$7$^$9!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B -- $BF|;~(B 2012$BG/(B5$B7n(B15$BF|!J2P!K(B11:00$B!A(B12:00 $B>l=j(B $B5~ETBg3XAm9g8&5f(B2$B9f4[!J5HED%-%c%s%Q%9K\It9=Fb!K(B4$B3,(B478$B9f<<(B Room 478, General Research Building No.2, Kyoto University (Access information & map: http://www.kyoto-u.ac.jp/en/access http://www.kurims.kyoto-u.ac.jp/~hassei/map-2.jpg ) $B9V1i<T(B Chung-chieh Shan$B;a(B (Cornell$BBg(B/$BC^GHBg(B) $BBj(B Functional modularity in the lambda calculus $B%"%V%9%H%i%/%H(B (I (B (I (BA module is a part of a _description_ of a system, not necessarily (I (B (I (Ba physical part. (I (BFor example, a program that is stored only in (I (B (I (Bcompiled form by the computer running it may nevertheless be better (I (B (I (Bdescribed by source code, so the program may have source modules (I (B (I (Bthat are hard to recover at run time. (I (BThis functional notion of (I (B (I (Bmodularity is relevant for organisms, species, and scientists (I (B (I (Bbecause they all need to adapt to changes in the environment without (I (B (I (Bre-learning, re-evolving, or re-discovering each new system from (I (B (I (Bscratch. (I (B (I (BLambda calculi and type systems offer expressive ways to describe (I (B (I (Bnatural language and thus carve out its modules. (I (BIn particular, (I (B (I (Blambda calculi can express modules that operate on other modules, (I (B (I (Band type systems can circumscribe information flow among modules (I (B (I (Bwhose operation is tightly intertwined. (I (BI will illustrate the use (I (B (I (Bof this expressivity with two examples: (I (BFirst, Abstract Categorial (I (B (I (BGrammars can carve out sound and meaning as a collection of modules (I (B (I (Bmediated by syntax. (I (BSecond, monad transformers can carve out side (I (B (I (Beffects such as continuations and state as a collection of modules (I (B (I (Bmediated by lexical items. $B!JLd$$9g$o$;@h!'D9C+@n!K(B -- $BD9C+@n???M(B <hassei(a)kurims.kyoto-u.ac.jp> $B5~ETBg3X?tM}2r@O8&5f=j(B

1 0

The third「論数哲」(PhilLogMath) workshop
by 矢田部俊介 03 May '12

03 May '12

We will hold the 3rd 「論数哲」(PhilLogMath) workshop. Our aim is to provide opportunities of detailed discussions among philosophers, logicians, mathematicians and linguists. We focus on theoretical and computational linguistics this time. Everyone is welcome. website url: http://researchmap.jp/jopmokbbr-21098/#_21098 Date : May 17 (Thu) Place: Seiryo Kaikan (Nagata-cho, Tokyo) http://metropolis.co.jp/listings/venues/type/stage-venue/seiryo-kaikan/ Time table 10:00-13:00 "Author meets Critics" meeting on Takuro Onishi's Doctor thesis 14:30-16:00 Daisuke Bekki (Ochanomizu University) and Hiroko Ozaki (Ochanomizu University) "Sub-directional Combinatory Logic (SDCL) and Categorial Grammar" 16:15-17:45 Chung-chieh Shan (Cornell Unversity/ Tsukuba University) "Interpreting generic statements in topological spaces" Two afternoon slots consists of 60 minutes talk and 30 minutes discussion basically. Author meets Critics meeting is in Japanese, and two afternoon talks are in English. Abstracts: *Daisuke Bekki and Hiroko Ozaki "Sub-directional Combinatory Logic (SDCL) and Categorial Grammar" Sub-directional Combinatory Logic (SDCL) is a class of substructural combinatory logic that distinguishes two types of implications (/ and ¥) as in Lambek calculus, which is intended to establish a correspondence between combinatory categorial grammar (CCG) and logic. In this talk, we will introduce some of our recent developments concerning SDCL, including the relation between extraction and the deduction theorem (Ozaki and Bekki (2012)), and the application of SDCL to normal form parsing (Ozaki(2012)). *Chung-chieh Shan "Interpreting generic statements in topological spaces" (joint work with Adam Bjorndahl and Will Starr at Cornell University) Generic statements, such as "lions have manes and give birth to live young", are statements about kinds. But what are kinds, and what does it take for a kind to satisfy a property that applies to members of the kind? We claim that a kind is a topological space, a property is a set of points in the space, and a property holds of a kind generically iff the set of points is "large" in a topological (and qualitative) sense. This "large" modality accounts for several inference patterns of generic statements. However, it leaves open the issue of how the space is constituted by cognition and updated in dialogue. Workshop organizer (please replace [at] to @): Yuko Murakami Shunsuke Yatabe ( shunsuke.yatabe[at]aist.go.jp ) Takuro Onishi ( takuro.onishi[at]gmail.com )

1 0

SLS2012 Deadline extension
by Thomas Bolander 01 May '12

01 May '12

8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK Third Announcement and Call for Papers The 8th Scandinavian Logic Symposium will be held at Roskilde University, Trekroner, Denmark, 20-21 August 2012. After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first major initiative of the newly revived Scandinavian Logic Society (SLS, http://scandinavianlogic.org/) and will be held at Roskilde University (RUC), Denmark. As with previous editions of this conference, the aim of the programme is to reflect current activity in logic in our part of the world. So we hope that participants from Scandinavia, the Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to logicians from further afield and plan to present a varied and interesting collection of invited and contributed talks. TOPICS The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical logic, and logical methods in computer science. Suitable topics include (but are not limited to): * Proof Theory and Constructivism * Model Theory (including Finite Model Theory) * Set Theory * Computability Theory * Categorical Logic * Logic and Provability * Logic and Computer Science * Logic and Linguistics * Modal, Hybrid, Temporal, and Description Logic * Logics of Games, Dynamics and Interaction * Philosophy of Mathematics * Philosophy of Computation * Philosophy of Logic * Philosophical Logic PREVIOUS SCANDINAVIAN LOGIC SYMPOSIA: 7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyväskylä in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo in 1971 1st Scandinavian Logic Symposium: Åbo in 1968 The proceedings of several of these meetings have been published in book form. INVITED SPEAKERS The Program Committee is delighted to announce the names of the four invited speakers: * Nikolaj Bjorner<http://research.microsoft.com/en-us/people/nbjorner/> * Rosalie Iemhoff<http://www.phil.uu.nl/%7Eiemhoff/> (sponsored by The Danish Network for the History and Philosophy of Mathematics) * Per Martin-Löf<http://en.wikipedia.org/wiki/Per_Martin-L%C3%B6f> * Boban Velickovic<http://www.logique.jussieu.fr/%7Eboban/> <http://research.microsoft.com/en-us/people/nbjorner/> SLS TUTORIALS On August 22nd, the day after the symposium finishes, a number of tutorials for PhD-students (or anyone else who is interested) will be given. These are intended to start from a relatively elementary level and lead on to current research problems. The following tutorial lectures have been confirmed so far: * Lars Kristiansen<http://folk.uio.no/larsk/> - "Honest subrecursive degree theory" * Sara Negri <http://www.helsinki.fi/%7Enegri/> - "Labelled proof systems for modal logic" * M. H. Sørensen<http://www.formalit.dk/> - "Curry-Howard Isomorphism" RELATED EVENTS: Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. URL:http://hylocore.ruc.dk/aiml2012/ PROGRAM COMMITTEE Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm) Members: Torben Brauner (Roskilde) Peter Dybjer (Chalmers) Lars Kristiansen (Oslo) Øystein Linnebo (Birkbeck) Sara Negri (Helsinki) Dag Normann (Oslo) Asger Törnquist, (Vienna) Jouko Väänänen (Helsinki) ORGANISING COMMITTEE Patrick Blackburn (RUC), Klaus Frovin Jørgensen (RUC), Stig Andur Petersen (RUC) SUBMISSIONS Abstracts of talks should be submitted by May 1, 2012** using the EasyChair system https://www.easychair.org/conferences/?conf=sls2012 The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format. **UPDATE: SUBMISSION DATE has been extended: 1 June NOTIFICATION OF ACCEPTANCE: 15 June STUDENT GRANTS We are happy to announce that the ASL is sponsoring SLS2012. Among other things, this means that student ASL members may apply for ASL travel funds that are available for sponsored meetings. (see http://www.aslonline.org/studenttravelawards.html). LOCATION Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central Copenhagen, and five minutes by train from Roskilde. ACCOMMODATION Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel accommodation can also be found in Roskilde, though there the options are more limited. REGISTRATION The conference website will be found at: http://scandinavianlogic.weebly.com/ Details concerning registration will be posted there in due course.

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml May 2012