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

CFP: LENLS 9 (Logic and Engineering of Natural Language Semantics 9)
by BEKKI Daisuke 22 May '12

22 May '12

（重複して受け取られた場合はご容赦ください）今年の１２月に宮崎で開催される LENLS 9 国際ワークショップのCFPをお送り致します。多数のご投稿をお待ちしております。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FIRST CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 9 (LENLS 9) Workshop Site : "Amusement Zone Miyazaki (The JA-AZM Hall)" Kirishima 1-1-1, Miyazaki, Japan. http://www.jaazm.jp/access/english.html Dates : December 1-3, 2012 Contact Person: Alastair Butler (PRESTO JST/Tohoku University) Contact Email : lenls9[[at]]easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (PRESTO JST/Tohoku University) Co-chair: Daisuke Bekki (Ochanomizu University) Eric McCready (Aoyama Gakuin University) Invited Speaker(s): - Hans Kamp (University of Stuttgart) Call For Papers: ================ LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of the third JSAI International Symposia on AI (isAI2012) (http://www.ai-gakkai.or.jp/jsai-isai/2012/) sponsored by the Japan Society for Artificial Intelligence (JSAI) (http://www.ai-gakkai.or.jp/jsai/english.html). 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, bibliography, apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls9 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. Important dates: ================ Abstract submission deadline: September 1, 2012 Notification of acceptance: October 10, 2012 Deadline for camera-ready copy: October 31, 2012 Deadline for onsite registration: November 24, 2012 LENLS 9: December 01-02, 2012 Tutorial Lecture (by Hans Kamp): December 03, 2012 Workshop Organizers/Program Committee: ====================================== - Alastair Butler (PRESTO JST/Tohoku University) - Daisuke Bekki (Ochanomizu 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) - Shunsuke Yatabe (National Institute of Advanced Industrial Science and Technology) - Kei Yoshimoto (Tohoku University)

1 0

RIMS研究集会（集合論関連）
by Yo Matsubara 21 May '12

21 May '12

南山大学の宮元さんのご依頼で代理投稿させていただきます．　　　　　　　　　　　　　　　　　松原洋 ----------------------------------------------------- 各位研究集会のお知らせを申し上げます。 RIMS研究集会:　強制法による拡大と巨大基数日程：2012年12月4日（火）午後〜12月7日（金）午前会場：京都大学数理解析研究所 111号室予定されるゲストスピーカー: David Aspero (ウィーン大学、オーストリア) Boban Velickovic(パリ大学、フランス）また、詳細は以下にお願いし、更新する予定です。 http://www2.kobe-u.ac.jp/~hsakai/RIMS2012/index_ja.html 世話人: 宮元　忠敏 (南山大学経営学部) 電子メール: miyamoto(a)nanzan-u.ac.jp

1 0

2nd CFP: CPP 2012 - 2nd International Conference on Certified Programs and Proofs
by Jacques Garrigue 17 May '12

17 May '12

The deadline for submitting to CPP 2012 is June 8, 2012. The Second International Conference on Certified Programs and Proofs (CPP 2012) CALL FOR PAPERS Kyoto, Japan December 13-15 2012 http://cpp12.kuis.kyoto-u.ac.jp/ co-located with APLAS 2012 http://aplas12.kuis.kyoto-u.ac.jp/ CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics, and education, that consider certification as an essential paradigm for their work. Certification here means formal, mechanized verification of some sort, preferably with production of independently checkable certificates. We invite submissions on topics that fit under this rubric. The first CPP conference was held in Kenting, Taiwan during December 7-9, 2011. As with the first meeting, the proceedings will be published in Springer-Verlag's Lecture Notes in Computer Science series. Suggested, but not exclusive, specific topics of interest for submissions include: certified or certifying programming, compilation, linking, OS kernels, runtime systems, and security monitors; program logics, type systems, and semantics for certified code; certified decision procedures, mathematical libraries, and mathematical theorems; proof assistants and proof theory; new languages and tools for certified programming; program analysis, program verification, and proof-carrying code; certified secure protocols and transactions; certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; certificates for program termination; logics for certifying concurrent and distributed programs; higher-order logics, logical systems, separation logics, and logics for security; teaching mathematics and computer science with proof assistants; and "Proof Pearls" (elegant, concise, and instructive examples). IMPORTANT DATES: Authors are required to submit a paper title and a short abstract before submitting the full paper. The submission should include when necessary a url where to find the formal development assessing the essential aspects of the work. All submissions will be electronic. All deadlines are at midnight (GMT). Abstract Deadline: Friday, June 8, 2012 Paper Submission Deadline: Friday, June 15, 2012 Author Notification: Monday, August 27, 2012 Camera Ready: Monday, September 17, 2012 Conference: December 13-15, 2012 PROGRAM CO-CHAIRS: Chris Hawblitzel (Microsoft Research Redmond) Dale Miller (INRIA Saclay and LIX, Ecole Polytechnique) GENERAL CHAIR: Jacques Garrigue (Nagoya University) PROGRAM COMMITTEE: Stefan Berghofer (secunet Security Networks AG) Wei-Ngan Chin (National University of Singapore) Adam Chlipala (MIT) Mike Dodds (University of Cambridge) Amy Felty (University of Ottawa) Xinyu Feng (University of Science and Technology of China) Herman Geuvers (Radboud University, Nijmegen) Robert Harper (Carnegie Mellon University) Chris Hawblitzel (Microsoft Research Redmond) Gerwin Klein (NICTA) Laura Kovacs (Vienna University of Technology) Dale Miller (INRIA Saclay and LIX, Ecole Polytechnique) Rupak Majumdar (UCLA, Max Planck Institute for Software Systems) Lawrence Paulson (University of Cambridge) Frank Piessens (KU Leuven) Randy Pollack (Harvard and Edinburgh University) Bow-Yaw Wang (Academia Sinica) Santiago Zanella Béguelin (IMDEA Software Institute) ORGANIZING COMMITTEE: Jacques Garrigue and Atsushi Igarashi Email: cpp2012oc(a)math.nagoya-u.ac.jp CPP STEERING COMMITTEE: Andrew Appel (Princeton University) Nikolaj Bjørner (Microsoft Research Redmond) Georges Gonthier (Microsoft Research Cambridge) John Harrison (Intel Corporation) Jean-Pierre Jouannaud (co-Chair) (INRIA and Tsinghua University) Gerwin Klein (NICTA) Tobias Nipkow (Technische Universität München) Zhong Shao (co-Chair) (Yale University) SUBMISSION INSTRUCTIONS: Papers should be submitted electronically online via the conference submission web page at URL: http://www.easychair.org/conferences/?conf=cpp2012 Acceptable formats are PostScript or PDF, viewable by Ghostview or Acrobat Reader. Submissions should not exceed 16 pages in LNCS format, including bibliography and figures. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant. The proceedings of the symposium will be published as a volume in Springer-Verlag’s Lecture Notes in Computer Science series. Each submission must be written in English and provide sufficient detail to allow the program committee to assess the merits of the paper. It should begin with a succinct statement of the issues, a summary of the main results, and a brief explanation of their significance and relevance to the conference, all phrased for the non-specialist. Technical and formal developments directed to the specialist should follow. Whenever appropriate, the submission should come along with a formal development, using whatever prover, e.g., Agda, Coq, Elf, HOL, HOL-Light, Isabelle, Matita, Mizar, NQTHM, PVS, Vampire, etc. References and comparisons with related work should be included. Papers not conforming to the above requirements concerning format and length may be rejected without further consideration. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other published conferences or workshops. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. Original formal proofs of known results in mathematics or computer science are among the targets. One author of each accepted paper is expected to present it at the conference.

1 0

EASLLC 2012
by Hiroakira Ono 16 May '12

16 May '12

East-Asian School on Logic, Language, and Computation (EASLLC 2012) Southwest University, Chongqing, China, August 27-31, 2012 http://home.hib.no/prosjekter/easllc2012/ This is a school for graduate students and postdoctoral scholars, similar in spirit to the annual ESSLLI summer schools in Europe and also to the Sino-European Summer School on Logic, Language, and Computation, which took place in Guangzhou, China in December 2010. - The program of EASLLC 2012 will consist of nine courses in three different tracks: logic, language, and computation. · Logic Track: Fenrong Liu (Tsinghua University), Rohit Parikh (Brooklyn College of CUNY and CUNY Graduate Center), Jouko Väänänen (University of Helsinki and University of Amsterdam) · Language Track: Pauline Jacobson (Brown University), Geoffrey K. Pullum (University of Edinburgh and Brown University), Dag Westerståhl (Stockholm University) · Computation Track: Krzysztof R. Apt (CWI and University of Amsterdam), Phokion G. Kolaitis (University of California Santa Cruz and IBM Research ? Almaden), Moshe Y. Vardi (Rice University) - There will be student sessions in the late afternoon/early evening of some days of the School in which students will give short presentations of work in progress. Students are invited to submit an abstract of maximum 3 pages on any topic in logic, language and computation. The abstract should be written properly in English, and must be in PDF format and be submitted to our EasyChair website<https://www.easychair.org/conferences/?conf=easllc2012stus>. * Important Dates:* May 28, 2012 - deadline for short abstracts of papers (at most 3 pages) June 10, 2012 - notification date of acceptance/rejection of the papers Detailed information about the student session can be found at http://home.hib.no/prosjekter/easllc2012/stusess.asp EASSLC 2012 is an ASL-Sponsored Meeting. ASL offers student travel awards ? for details, please see http://aslonline.org/studenttravelawards.html - Prior to the School, an International Conference will take place on August 25 and 26, Scientific Organization: - Program Committee Chair: Phokion G. Kolaitis - Program Committee co-Chairs: Xiangdong He (Southwest University), Jouko Väänänen, Dag Westerståhl Local Organization: - Meiyun Guo (Southwest University), Minghui Ma (Southwest University), Jing Wang (Southwest University), Xiaojia Tang (Southwest University) Student Program Organization: - Chair: Yi Wang (Bergen University College) - Co-Chair: Fan Yang (University of Helsinki)

1 0

Talk by Bart Jacobs (Radboud U. Nijmegen), Tue 15 May 2012
by Ichiro Hasuo 11 May '12

11 May '12

みなさま，こんにちは！東京大学の蓮尾と申します．来週 5/15（火）に，現在滞在中の Bart Jacobs さん (Radboud U. Nijmegen) にご講演いただきます．詳細は下記のとおりです．タイトルに「量子」とありますが，量子論理等の知識がなくても，categorical logic の話として聞いていただけるはずです．ぜひ！参加登録等は必要ありませんが，部屋の都合で人数の見積もりをしたいので， - 当研究室のセミナーにはじめておいでになる方は， - こちら http://www.doodle.com/7zsyhidh2r478xyk に参加表明をいただけるとうれしいです．（ペンネームでかまいません）お目にかかれること，楽しみにしております．それでは！蓮尾一郎東京大学大学院情報理工学系研究科コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp ======================================================================= Tue 15 May 2012, 16:40-18:10 Bart Jacobs (Radboud U. Njimegen, http://www.cs.ru.nl/~bart/) New directions in quantum logic 場所：東京大学本郷キャンパス理学部7号館1階 102教室（アクセス： http://www-mmm.is.s.u-tokyo.ac.jp/ の一番下を見てください） The talk will use categorical techniques to give a new way of representing predicates that is especially suited for "quantitative" predicate logic. The relevant structure is illustrated for classical, probabilistic and quantum logic. These new predicates give rise to fibred/indexed categories. In the quantum case the Born rule appears as a form of substitution. Predicates can also be used to specify measurements in this setting.

1 0

Call for Participation: HOR'12, Nagoya
by Makoto Hamana 08 May '12

08 May '12

皆様、今月末RTA併設の、高階書換系ワークショップHOR'12の参加ご案内です。今年はスペシャルセッションとして、停止性自動検証ツールの最新成果のセッションを設けました。特に応用として - Haskell - Isabelle のプログラムの停止性検証ツール、および高階書換え系の停止性ツール制作者に、実装とその理論を発表していただきます。また論文発表の一つには、IBMでの実際のコンパイラにおける高階書換えの応用プロジェクト(Kristoffer Rose氏)の話題などもあり、関数型言語、定理証明系などの利用者にも有用な情報になると思いますので、関連研究者の皆様は、ぜひ参加をご検討ください。レギュラーレジストレーション〆切は明日5/9ですが、直接会場での参加費払いも可能です。ワークショップのみでも参加可能で、でしたら当日でも参加費はほとんど変わりませんし、RTA参加者でしたら同じです。同日併設のツリーオートマタのTTATTワークショップ登録の方は、両方参加できますので、部分的な参加でも歓迎です。 -- 浜名誠/群馬大学 ===================================================================== Call for Participation 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== Invited speaker --------------- * Zhenjiang Hu (National Institute of Informatics, Japan) Can Graph Transformation be Bidirectionalized? -- Bidirectional Semantics of Structural Recursion on Graphs -- Special Session: Current Status of Higher-Order Termination Tools ----------------------------------------------------------------- * Carsten Fuhs: Haskell termination tool * Rene Thiemann: Isabelle termination tool * Aoto,Yamada: Simply-typed TRS termination tool * Cynthia Kop: WANDA, termination tool for AFS Accepted papers ---------------- * Beniamino Accattoli and Delia Kesner: The permutative lambda-calculus (The original paper was presented at LPAR'12, LNCS 7180, pp.381-395) * Thibaut Balabonski: A Unified Approach to Fully Lazy Sharing (The original paper was presented at POPL'12, pp.233-246) * Yuki Chiba and Takahito Aoto: Pattern Matching Algorithm for Higher Order Program Transformations * Jean-Pierre Jouannaud and Jian-Qi Li: Termination of higher-order rewriting in dependent type calculi * Vincent van Oostrom: Confluence via Critical Valleys * Kristoffer Rose: Higher Order Rewriting for Real Programmers

1 0

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

FLOPS 2012 : Call For Participation
by Naoyuki Tamura 24 Apr '12

24 Apr '12

# 重複の場合はご容赦ください．神戸大学の田村と申します．メーリングリストをお借りして，5月23〜25日に神戸大学で開催されます FLOPS 2012 の Call For Participation をお送りします．日本で定期的に開催される(関数型と論理型を含む)宣言的プログラミング全般の国際会議の一つです． Early registration の〆切は 4月25日(水)となっております．皆様のご参加をお待ちしております． -- 田村直之 (tamura(a)kobe-u.ac.jp) 神戸大学情報基盤センター〒657-8501 神戸市灘区六甲台町1-1 Phone: 078-803-5364, Fax: 078-803-5375 ======================================================================================= CALL FOR PARTICIPATION: FLOPS 2012 ================================== Eleventh International Symposium on Functional and Logic Programming May 23-25, 2012 Takikawa Memorial Hall, Kobe University, Kobe, Japan http://www.org.kobe-u.ac.jp/flops2012/ *Early Registration: April 25 (Wed)* FLOPS is a forum for research on all issues concerning declarative programming, including functional programming and logic programming, and aims to promote cross-fertilization and integration between the two paradigms. The 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) and satellite workshops including WFLP 2012 will be held in the week after FLOPS at Nagoya, Japan. Invited Speakers @ FLOPS ================ - Tachio Terauchi (Graduate School of Information Science, Nagoya University). Automated Verification of Higher-order Functional Programs - Michael Codish (Department of Computer Science, Ben-Gurion University of the Negev). Programming with Boolean Satisfaction - Stephanie Weirich (School of Engineering and Applied Science, University of Pennsylvania). Dependently-typed programming in GHC See the full program at http://www.org.kobe-u.ac.jp/flops2012/program.html Register now at http://www.org.kobe-u.ac.jp/flops2012/index.html#REGISTRATION CONFERENCE ORGANIZERS GENERAL CHAIR ============= - Naoyuki Tamura (Kobe University, Japan) PROGRAM CO-CHAIRS ================= - Tom Schrijvers (Ghent University, Belgium) - Peter Thiemann (University of Freiburg, Germany) CONFERENCE SPONSORS =================== - Japan Society for Software Science and Technology (JSSST) SIGPPL - Information Science and Technology Center, Kobe University IN COOPERATION WITH =================== - ACM SIGPLAN - Asian Association for Foundation of Software (AAFS) - Association for Logic Programming (ALP) =======================================================================================

1 1

Deadline Extended: ICFEM 2012 - 14th International Conference on Formal Engineering Methods (ICFEM 2012)
by Yuki Chiba 24 Apr '12

24 Apr '12

(重複の場合はご容赦ください．) 皆様，北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが再度延長されましたのでお知らせいたしします．アブストラクトの締め切りは過ぎておりますが新たな投稿も受付中です．是非投稿をご検討下さい．よろしくお願いします． ---------- The deadlines of full paper submissions to ICFEM 2012 have been extended again as follows. Full Paper Submission Deadline (Extended): 30th April, 2012 We are looking forward to your submissions. ************************************************************ ICFEM 2012: 14th International Conference on Formal Engineering Methods CALL FOR PAPERs 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan URL: http://www.jaist.ac.jp/icfem2012 ************************************************************ ICFEM will come back to Japan in 2012 again! Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2012 will be hosted by National Institute of Advanced Industrial Science and Technology (AIST) and Japan Advanced Institute of Science and Technology (JAIST), which will be held in Kyoto, JAPAN. Kyoto is the ancient capital of JAPAN, where you can find many historical sites which have been designated as World Heritage there. We are looking forward to your submissions. AREA AND TOPICS Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered: * Abstraction and refinement * Formal specification and modelling * Software verification * Program analysis * Software model checking * Formal approaches to software testing * Formal methods for object and component systems * Formal methods for cloud computing/robotics/cyber-physical systems/ medical devices/aeronautics/railway * Formal methods for self-* systems * Formal methods for software safety, security, reliability and dependability * Experiments involving verified systems * Formal methods used in certifying products under international standards (ISO 26262, IEC 61508, etc) * Formal model-based development and code generation SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be done through the ICFEM 2012 submission page (https://www.easychair.org/conferences/?conf=icfem2012), handled by the EasyChair conference system. IMPORTANT DATES Full Paper Submission Deadline (Extended): 30th April, 2012 Acceptance/Rejection Notification: 18th June, 2012 Camera Ready Copy Due: 16th July, 2012 Conference: 12th-16th, November, 2012. ORGANIZATION COMMITTEE General Chairs: Kokichi Futatsugi, JAIST, Japan Shaoying Liu, Hosei Uni., Japan Conference Chair: Hitoshi Ohsaki, AIST, Japan Program Chairs: Kenji Taguchi, AIST, Japan Toshiaki Aoki, JAIST, Japan Steering Committee: Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, UK Jin Song Dong, National University of Singapore, Singapore He Jifeng, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, USA Shengchao Qin, University of Teesside, UK Program Committee: Bernhard K. Aichernig (Graz University of Technology, Austria) Cyrille Artho (AIST, Japan) Richard Banach (University of Manchester, UK) Nikolaj Bjorner(Microsoft Research Redmond, USA) Jonathan P. Bowen (University of Westminster, UK) Michael Butler (University of Southampton, UK) Sagar Chaki (CMU/SEI, USA) Rance Cleaveland (University of Maryland/Reactive Systems, USA) Jim Davies (Oxford University, UK) Zhenhua Duan (Xidian University, China) Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain) Andy Galloway (University of York, UK) Stefania Gnesi (ISTI-CNR, Italy) Wolfgang Grieskamp (Google, USA) Klaus Havelund (NASA JPL, USA) Daniel Jackson (MIT, USA) Thierry Jeron (INRIA, France) Gerwin Klein (NICTA, Australia) Weiqiang Kong (Kyushu University, Japan) Kim G. Larsen (Aalborg University, Denmark) Peter Gorm Larsen (Engineering College of Aarhus, Denmark) Insup Lee (University of Pennsylvania, USA) Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany) Xuandong Li (Nanjing University, China) Yuan-Fang Li (Monash University, Australia) Zhiming Liu (UNU/IIST, Macau) Dominique Mery (Nancy University and LORIA, France) Stephan Merz (INRIA Nancy & LORIA, France) Huaikou Miao (Shanghai University, China) Alexandre Mota (CIn-UFPE, Brasil) Shin Nakajima (NII, Japan) Kazuhiro Ogata (JAIST, Japan) Jose Nuno Oliveira (Universidade do Minho, Portugal) Jun Pang (University of Luxembourg, Luxembourg) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) S. Ramesh (General Motors India, India) Alexander Romanovsky (Newcastle University, UK) Wuwei Shen (Western Michigan University, USA) Marjan Sirjani (Reykjavik University, Iceland) Greame Smith (The University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Jun Sun (Singapore University of Technology and Design, Singapore) Yih-Kuen Tsay (National Taiwan University, Taiwan) Viktor Vafeiadis (MPI-SWS, Germany) Hai H. Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Wang Yi (Uppsala University, Sweden) Jian Zhang (Chinese Academy of Sciences, China) Huibiao Zhu (East China Normal University, China) ----------------------------------- Yuki Chiba Japan Advanced Institute of Science and Technology (JAIST) http://www.jaist.ac.jp/~chiba/index.html chiba(a)jaist.ac.jp

1 0

Extended Deadline: Call for Papers - LfSA'12 - Logics for System Analysis
by Ichiro Hasuo 21 Apr '12

21 Apr '12

みなさま，こんにちは！東京大学の蓮尾です． 7月のバークレー，CAV 併設ワークショップ LfSA のご案内です． - (***New!***) 締切りが延長されて， Abstract submission: April 27 Paper submission: May 4 となりました． - トピックは（広い意味での）論理を用いたシステム検証で， - まだ新しいワークショップ（2回目）で正式なプロシーディングスもありませんが，専門家が集うので「出席して役に立つ」会合であると考えます．ぜひ投稿をご検討ください．（3カテゴリあります）それでは！蓮尾一郎東京大学大学院情報理工学系研究科コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ================================================ Call for Papers -------------------------------------------------- LfSA'12 -- Logics for System Analysis http://www.ls.cs.cmu.edu/LfSA12 -------------------------------------------------- Workshop Affiliated with CAV 2012 July 7th, 2012, Berkeley, USA Safety-critical systems frequently occur as real-time systems, embedded systems, hybrid systems, distributed systems, and cyber-physical systems. They are also becoming more and more important in many application domains, including aviation, automotive, railway, robotic, or medical applications, where both safety and security are relevant aspects. To ensure the correct functioning of safety-critical systems it is necessary to model and reason about hardware, software, communication aspects, physical properties, and the system environment. LfSA’12 is the second workshop on Logics for System Analysis, devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study. Topics include * Logics for safety-critical systems (real-time, embedded, hybrid, distributed, stochastic, cyber-physical) * Logic-based methods for development of safety-critical systems * Logics to study security aspects of systems or protocols * System representations using logics, automata, modeling languages, state charts, Petri nets, dataflow models * Theories, decision procedures, and calculi for system analysis * Model checking, theorem proving, and systematic testing * Case studies for logical system analysis * Applications of system analysis to industrial problems In particular, we invite contributions that bridge the gap between theory and practice or that combine different application domains. Submission Categories --------------------- * Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. * Short papers (up to 5 pages), which describe work in progress or aim at initiating discussions. * Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop; such papers will not be included in the LfSA proceedings but will be presented during the workshop. In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop Workshop/Programme Chairs ------------------------- Andre Platzer Carnegie Mellon University Philipp Ruemmer Uppsala University Programme Committee ------------------- A. Banerjee (IMDEA Madrid) R. Barbosa (U. Coimbra) F. S. de Boer (CWI Amsterdam) A. Cimatti (IRST Trento) M. Dam (KTH Stockholm) S. Demri (CNRS Cachan) M. Giese (U. of Oslo) I. Hasuo (U. Tokyo) F. Ivancic (NEC Lab. Princeton) E. B. Johnsen (U. of Oslo) V. Sofronie-Stokkermans (U. Koblenz) U. Waldmann (MPI Saarbrücken) Important Dates/Deadlines ------------------------- Abstract submission: April 27 Paper submission: May 4 Notification: June 8, 2012 Final version: June 29, 2012 Workshop: July 7, 2012 Workshop Webpage ---------------- http://www.ls.cs.cmu.edu/LfSA12 Submission via Easychair ------------------------ https://www.easychair.org/conferences/?conf=lfsa12

1 0

Announcement of a talk by Kenshi Miyabe (4/26 11:00-)
by Shinya Katsumata 21 Apr '12

21 Apr '12

京都大学数理解析研究所の勝股です。 4月26日（木）11:00から当研究所の宮部　賢志氏が以下の講演を行いますので、ご連絡いたします。どうぞお気軽にお越しください。 ========== Time: 11:00-12:00, 26 Apr, 2012 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: Kenshi Miyabe (Research Institute for Mathematical Sciences, Kyoto University) Title: 予測限界とランダムネス Abstract: 前半では微分可能性とランダムネスの関連について話をする．最近になって，ランダムネスの諸概念が微分可能性により特徴付けられる事が分かってきた．計算可能ランダムネスよりも強いランダムネスでは，「計算可能＋古典的性質」という形で表されるのに対し，計算可能ランダムネスよりも弱いランダムネスでは，より強い計算可能性が必要になる．講演者は微分定理が成り立つ点の集合がランダムネスの諸概念に一致するような関数族が，積分テストから自然に導かれる事を示した．この関係から上記の理由は自然に説明できる事を示す．後半はアルゴリズム的確率について話す．最初に，Solomonoffのアルゴリズム的確率がなぜ重要なのか話す．そして上記の微分定理によるランダムネスの概念の特徴付けを使って，アルゴリズム的確率がより自然な形に拡張される事を示す．その他，今後行いたい拡張についても列挙する．今回の発表は日本語で行います．現段階でのスライドを以下のページにアップしましたので，興味のある方は予めご覧ください． http://kenshi.miyabe.name/wordpress/?p=677&lang=ja

1 0

Extension of submission deadline, grants: LATD 2012
by Hiroakira Ono 20 Apr '12

20 Apr '12

Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/ Extension of deadline === EXTENDED Deadline for contributed talks: 29 April 2012 === === Grants for travel available - please apply! === The deadline for submissions to LATD 2012 has been extended to 29 April 2012 Please hurry to submit your abstract (2-4 pages) at http://www.easychair.org/conferences/?conf=latd2012 Travel/Participation grants =========================== If there are economical reasons *not* to submit a contribution to the conference, please consider applying for a grant with the following information to latd12(a)jaist.ac.jp: - name, affilitation - amount of money needed - title of your contribution (no grant without presentation) - reason/explanation of need for grant We will let you know the result of our decision on grant support soon after the decision on the contributions. ========== Original Call for Contributions follows ============== The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3]. Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The featured topics include, but are not limited to, the following: . Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc. . Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc. . Game-theory: Giles games, Rényi-Ulam games, evaluation games, etc. . First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc. . Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics. . Philosophical issues: connections with vagueness and uncertainty. . Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc. We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general). Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/ Important dates: . 22 April 2012: deadline for submissions . 3 June 2012: notifications sent . 10-14 September 2012: conference Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIC, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA) Invited Speakers: . Rostislav Horčík (Academy of Sciences, Czech Republic) . Emil Jeřábek (Academy of Sciences, Czech Republic) . Daniele Mundici (University of Florence, Italy) . Greg Restall (University of Melbourne, Australia) . Luca Spada (University of Salerno, Italy) Tutorial: . Felix Bou (University of Barcelona, Spain) If you are interested in presenting a paper, please submit a 2-4 pages abstract at http://www.easychair.org/conferences/?conf=latd2012 Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2012(a)jaist.ac.jp The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012. Registration: Registration has not started by now, but we appreciate your email informing us on your participation plans. Registration fee is likewise not determined by now. Grants: There is a limited amount of grants available for participants. Please contact us as soon as possible including the following information: - name, affilitation - amount of money needed - title of your contribution (no grant without presentation) - reason/explanation of need for grant Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion. Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa. Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan) For further information please contact: latd2012(a)jaist.ac.jp [1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html

1 0

The 3rd 「論数哲」(PhilLogMath) workshop
by Shunsuke Yatabe 19 Apr '12

19 Apr '12

The third「論数哲」"Ron-Suu-Tetsu" (PhilLogMath) workshop 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. Date : May 17 (Thu) Place: Seiryo Kaikan (Nagata-cho, Tokyo) http://metropolis.co.jp/listings/venues/type/stage-venue/seiryo-kaikan/ Speaker: *Daisuke Bekki (Ochanomizu University) and Hiroko Ozaki (Ochanomizu University), *Chung-chieh Shan (Cornell Unversity/ Tsukuba University) 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. The details will be updated at our website url: http://researchmap.jp/jopmokbbr-21098/#_21098 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

IWC 2012 & CoCo 2012: Call for Participation and Provers
by Nao Hirokawa 19 Apr '12

19 Apr '12

皆様合流性 (チャーチ・ロッサ性) に関するワークショップ IWC 2012 の参加者募集と合流性自動証明ツールのコンペティション CoCo 2012 の参加ツール募集の案内をお知らせ致します。IWCの早期参加申し込み締切りは4月25日になっております。廣川　直（北陸先端科学技術大学院大学） ====================================================================== Call for Participation IWC 2012 1st International Workshop on Confluence 29 May 2012, Nagoya, Japan, collocated with RTA 2012 http://cl-informatik.uibk.ac.at/events/iwc-2012/ ====================================================================== Recently there is a renewed interest in confluence research, resulting in new techniques, tool support as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is collocated with the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012). During the workshop the 1st Confluence Competition (CoCo 2012) takes place (see below). IMPORTANT DATES: * early registration April 25, 2012 JST (GMT+9) * registration May 9, 2012 JST (GMT+9) * workshop May 29, 2012 JST (GMT+9) Please register at: https://apollon.nta.co.jp/rta2012/ INVITED SPEAKERS: * Vincent van Oostrom Utrecht University * Yoshihito Toyama Tohoku University ACCEPTED PAPERS: * Bertram Felgenhauer: A Proof Order for Decreasing Diagrams * Dominik Klein and Nao Hirokawa: Confluence of Non-Left-Linear TRSs via Relative Termination (Extended Abstract) * Christian Nemeth, Harald Zankl and Nao Hirokawa: IaCOP - Interface for the Administration of COPS * Kristoffer Rose: A Case for Completion Modulo Equivalence * Thomas Sternagel, René Thiemann, Harald Zankl and Christian Sternagel: Recording Completion for Finding and Certifying Proofs in Equational Logic * Hans Zantema: Automatically Finding Non-Confluent Examples in Abstract Rewriting ORGANISING COMMITTEE: * Nao Hirokawa JAIST * Aart Middeldorp University of Innsbruck * Naoki Nishida Nagoya University ====================================================================== Second Call for Provers CoCo 2012 1st Confluence Competition http://coco.nue.riec.tohoku.ac.jp/2012/ ====================================================================== Recently, several new implementations of confluence proving/disproving tools are reported and interest for proving/disproving confluence "automatically" has been grown. CoCo aims to foster the development of techniques for proving/disproving confluence automatically by setting up a dedicated and fair confluence competition among confluence proving/disproving tools. The 1st Confluence Competition (CoCo 2012) runs during the 1st International Workshop on Confluence (IWC 2012), which is collocated with the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012) at Nagoya University, Japan. In this competition a category for first-order term rewrite systems will be run. Other categories (e.g., higher-order) will be considered if there are tools and problems. IMPORTANT DATES: * registration April 1, 2012 - May 15, 2012 * system description April 15, 2012 - May 15, 2012 * tool submission May 1, 2012 - May 15, 2012 * competition May 29, 2012 REGISTRATION/SUBMISSION: Registration and tool submission will be via the email address: coco-sc [AT] jaist.ac.jp Tools must be able to read input files written in the old TPDB format. The output of the tools must contain an answer in the first line followed by some proof argument understandable for human experts. Valid answers are YES (the input is confluent) and NO (the input is not confluent). Every other answer is interpreted as the tool could not determine the status of the input. For more information including competition rules, see http://coco.nue.riec.tohoku.ac.jp/ All registered tool authors are asked to submit a one-page system description paper in EasyChair style. Submission is via EasyChair at https://www.easychair.org/account/signin.cgi?conf=iwc2012 These papers will appear in the proceedings of IWC 2012. ORGANISING COMMITTEE: * Takahito Aoto Tohoku University (chair) * Nao Hirokawa JAIST * Harald Zankl University of Innsbruck

1 0

European PhD Program in Computational Logic (EPCL): Call for Applications
by Bertram Fronhöfer 17 Apr '12

17 Apr '12

Please distribute this call to everybody you think intrested in. ====================================================== European PhD Program in Computational Logic (EPCL) ====================================================== http://www.epcl-study.eu/ CALL FOR APPLICATIONS The European PhD Program in Computational Logic (EPCL) is run jointly by four of the leading European universities in the field: - Free University of Bozen-Bolzano (Italy), - Technische Universität Dresden (Germany), - Technische Universität Wien (Austria), and - Universidade Nova de Lisboa (Portugal). Further international universities, research organizations and enterprises which contribute to Computational Logic or apply results from it are involved as associated partners: The Simon Fraser University (Canada), the Universidad de Chile, the National ICT Australia Limited (NICTA), and several companies. The program involves three years of PhD study in at least two of the European partner universities. It leads to a joint doctoral degree of the partner universities at which the studies have been physically performed. The language of the program is English. Financial support is available in the form of positions and scholarships. Necessary requirements for participation in EPCL are a Master's degree in Computer Science or Mathematics, or an equivalent degree; the proof of adequate knowledge of English; and substantial knowledge in the areas Foundations of Logics, Foundations of Artificial Intelligence and Declarative Programming. The program starts annually in the winter term. Applications for 2012 have to be electronically submitted on the Webpage http://www.epcl-study.eu/, before the ======================================= Application Deadline on 15 May 2012 ======================================= If you have enquiries, please do not hesitate to contact the coordinator of the program Prof. Steffen Hölldobler Technische Universität Dresden Fakultät Informatik International Center for Computational Logic Email: sh(a)iccl.tu-dresden.de Phone: +49 (351) 463 38340 EPCL is supported by the German Federal Ministry of Education and Research (BMBF) within the German Academic Exchange Service (DAAD) program International Doctorates in Germany (IPID). -- Dr.rer.nat.habil. Bertram Fronhöfer TU Dresden Department of Computer Science International Center for Computational Logic 01062 Dresden, Germany Tel.: +49 (0)351 463 39095

1 0

セミナー案内
by KASHIMA Ryo 17 Apr '12

17 Apr '12

セミナーのご案内日時：4月19日(木)16:30から場所：東京工業大学大岡山西８号館W棟11階 W1101セミナー室会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html 話者：蓮尾一郎（東京大学コンピュータ科学専攻） http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ 題目：Programming with Infinitesimals: A While-Language for Hybrid System Modeling (Joint Work with Kohei Suenaga, Kyoto University) 概要： We add, to the common combination of a WHILE-language and a Hoare-style program logic, a constant dt that represents an infinitesimal (i.e. infinitely small) value. The outcome is a framework for modeling and verification of hybrid systems: hybrid systems exhibit both continuous and discrete dynamics and getting them right is a pressing challenge. We rigorously define the semantics of programs in the language of nonstandard analysis, on the basis of which the program logic is shown to be sound and relatively complete. If the time allows, our recent prototype automatic prover will also be demonstrated. 参考文献： Kohei Suenaga and Ichiro Hasuo. Programming with Infinitesimals: A While-Language for Hybrid System Modeling. Proc. ICALP 2011, Track B. LNCS 6756, p. 392-403. Springer-Verlag. Ichiro Hasuo and Kohei Suenaga. Exercises in Nonstandard Static Analysis of Hybrid Systems. To appear in Proc. CAV 2012. 問い合わせ先：鹿島亮（東京工業大学数理・計算科学専攻） kashima(a)is.titech.ac.jp

1 0

神戸大集中講義のお知らせ　非線形科学特論II (6/14, 21, 28)
by Taichi Haruna 17 Apr '12

17 Apr '12

メーリングリストの皆様（重複して受け取られた方はどうかご容赦ください）神戸大学の春名と申します。集中講義のご案内をさせて頂きます。皆様のご参加を歓迎致します。 ============================================================ 授業科目名：非線形科学特論II （副題：不定性を保ったまま無限を扱う方法）講師：辻下徹　先生　（立命館大学）場所：神戸大学大学院理学研究科Z棟101 （理学研究科への交通アクセス：http://www.kobe-u.ac.jp/guid/access/rokko /rokkodai- dai2.html Z棟の場所：http://www.sci.kobe-u.ac.jp/images/map.jpg）日時： 2012年6月14日（木）13：20-17：45（3限+4限+5限の半分） 2012年6月21日（木）13：20-18：30（3限+4限+5限） 2012年6月28日（木）13：20-16：40（3限+4限）講義概要：数学は「限りがないコト」を無限集合というモノにより捉える戦略を２０世紀初頭に採択し大発展しました。その中で、無限の本質にある不定さが、当初はネガティブな雰囲気を伴って姿をあらわしたのですが、その積極的な意義を明らかにしたのが超準解析でした。その誕生から半世紀が経過し、無限集合というモノには頼らずに多くの分野の実質的部分が、厳密かつ直観的議論で簡潔に展開できることがわかってきています。しかし、いまなお超準解析は現代数学の補助手段としてしか認識されていないため不自然な制約があり、新しい数学としての面目躍如というところには至っていません。この講義では、超準数学を「現代数学」とは独立した新しい数学と位置づけ、「限りがないコト」を不定性を保ちつつとらえることが「数学をする」日常においてどのように可能となるかを例示したいと思います。講義関連資料を以下に置く予定です： http://ac-net.org/tjst/12/koube-2012.html ============================================================ -- 春名太一神戸大学大学院・理学研究科・地球惑星科学専攻 Taichi Haruna Department of Earth and Planetary Sciences Graduate School of Science, Kobe University E-Mail: tharuna[at]penguin.kobe-u.ac.jp Tel & Fax: +81-(0)78-803-5739

1 0

Talk by Paul-Andre Mellies in Kyoto (19 April 2012)
by Hasegawa Masahito 16 Apr '12

16 Apr '12

$B3'MM!"(B $B:#=5$NLZMK$K5~Bg$G(BPaul-Andre Mellies$B$5$s$N9V1i$rM=Dj$7$F$$$^$9!#(B $B4X?4$r$*;}$A$NJ}$O$I$&$>$*5$7Z$K$4;22C$/$@$5$$!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B ------ $BF|;~(B: 19 April 2012 (Thursday) 11:00-12:00 $B>l=j(B: $B5~ETBg3XAm9g8&5f(B2$B9f4[(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: Paul-Andre Mellies (CNRS, Paris VII) $BBj(B: Braided notions of dialogue categories $B35MW(B: A dialogue category is a monoidal category equipped with an exponentiating object. In this talk, I will introduce a notion of braided dialogue category, and explain how this notion provides a functorial bridge between proof theory and knot theory. ($BLd$$9g$o$;(B: $BD9C+@n(B <hassei(a)kurims.kyoto-u.ac.jp>) -- Masahito Hasegawa Research Institute for Mathematical Sciences, Kyoto University

1 0

Talks at U Tokyo This Week, David Galindo (Thu) and Paul-Andre Mellies (Fri)
by Ichiro Hasuo 10 Apr '12

10 Apr '12

みなさま，こんにちは！東京大学の蓮尾と申します．急なご案内ですが，講演を2件，お知らせさせてください．木曜日のご講演は暗号理論の専門家によるものですが，内容は暗号プロトコルの形式検証（計算論的安全性）に動機づけられたものです．形式検証の人向けに話してもらえるよう，お願いしてあります．金曜日は線形論理・ゲーム意味論の専門家によるご講演です． NII でも明日お話されるようですので，ぜひあわせてどうぞ．会場のアクセスは， http://www-mmm.is.s.u-tokyo.ac.jp/index.html をご覧下さい．みなさまのお越しをお待ちしております．それでは！蓮尾一郎東京大学コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp Thu 12 Apr 2012, 16:40-18:10 David Galindo <http://www.dgalindo.es/> (U. Luxembourg), Encryption Schemes Secure in the Presence of Key Cycles 理学部7号館5階 511教室 Room 511, School of Science Bldg. No. 7 Traditionally the security of encryption schemes has relied on the assumption that the decryption keys are not accessible to the attacker neither directly (e.g. some parts of the decryption key might have been leaked) nor indirectly (e.g. never encrypt messages that depend on the decryption key). However this assumption has been challenged in different contexts in the last decade. The main sources have been side-channel attacks and formal cryptography. In this talk we will give an introduction to the traditional security notions for encryption schemes as well as the new notion of security in the presence of key cycles. We will explain why the latter notion is difficult to achieve using previous techniques. Finally we will introduce the first practical encryption scheme achieving the latter security notion (appeared at CRYPTO 2008). Fri 13 Apr 2012, 16:40-18:10 Paul-Andre Mellies <http://www.pps.jussieu.fr/%7Emellies/> (U. Paris VII), Tensorial logic: a type-theoretic foundation for game semantics 理学部7号館1階 102教室 Room 102, School of Science Bldg. No. 7 Tensorial logic is a primitive logic of tensor and negation which refines linear logic by relaxing the hypothesis that negation is involutive. I will explain how the logic provides a type-theoretic foundation to game semantics, and how it may be extended with algebraic effects in order to recover specific categories of games and strategies.

1 0

Dr. Paul-Andre Mellies Lecture at NII Logic Seminar
by Makoto Tatsuta 10 Apr '12

10 Apr '12

Dr. Paul-Andre Mellies Lecture at NII Logic Seminar Date: April 11, 2012, 13:30--15:30 Place: National Institute of Informatics, Room 1904 (19th floor) 場所: 国立情報学研究所 19階 1904室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Dr. Paul-Andre Mellies (CNRS and Paris 7 Univ) Title: Tensorial logic in string diagrams Abstract: In this talk, I will describe how to resolve the schism between game semantics and linear logic by introducing a primitive logic of tensor and linear negation, called tensorial logic. I will then explain how to depict the proofs of tensorial logic as surfaces formulated in the 3-categorical language of string diagrams -- this offering a natural synthesis of interactive strategies and proof-nets. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

Deadline Extended: ICFEM 2012 - 14th International Conference on Formal Engineering Methods (ICFEM 2012)
by Yuki Chiba 09 Apr '12

09 Apr '12

(重複の場合はご容赦ください．) 皆様，北陸先端科学技術大学院大学の千葉です． ICFEM 2012の投稿締め切りが延長されましたのでお知らせします．是非投稿をご検討下さい． -------------------------------------------------- The deadlines of abstract submissions and paper submissions to ICFEM 2012 have been extended as follows. Abstract Submission Deadline (Extended): 16th April, 2012 Full Paper Submission Deadline (Extended): 23th April, 2012 We are looking forward to your submissions. ************************************************************ ICFEM 2012: 14th International Conference on Formal Engineering Methods CALL FOR PAPERs 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan URL: http://www.jaist.ac.jp/icfem2012 ************************************************************ ICFEM will come back to Japan in 2012 again! Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2012 will be hosted by National Institute of Advanced Industrial Science and Technology (AIST) and Japan Advanced Institute of Science and Technology (JAIST), which will be held in Kyoto, JAPAN. Kyoto is the ancient capital of JAPAN, where you can find many historical sites which have been designated as World Heritage there. We are looking forward to your submissions. AREA AND TOPICS Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered: * Abstraction and refinement * Formal specification and modelling * Software verification * Program analysis * Software model checking * Formal approaches to software testing * Formal methods for object and component systems * Formal methods for cloud computing/robotics/cyber-physical systems/ medical devices/aeronautics/railway * Formal methods for self-* systems * Formal methods for software safety, security, reliability and dependability * Experiments involving verified systems * Formal methods used in certifying products under international standards (ISO 26262, IEC 61508, etc) * Formal model-based development and code generation SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be done through the ICFEM 2012 submission page (https://www.easychair.org/conferences/?conf=icfem2012), handled by the EasyChair conference system. IMPORTANT DATES Abstract Submission Deadline (Extended): 16th April, 2012 Full Paper Submission Deadline (Extended): 23th April, 2012 Acceptance/Rejection Notification: 18th June, 2012 Camera Ready Copy Due: 16th July, 2012 Conference: 12th-16th, November, 2012. ORGANIZATION COMMITTEE General Chairs: Kokichi Futatsugi, JAIST, Japan Shaoying Liu, Hosei Uni., Japan Conference Chair: Hitoshi Ohsaki, AIST, Japan Program Chairs: Kenji Taguchi, AIST, Japan Toshiaki Aoki, JAIST, Japan Steering Committee: Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, UK Jin Song Dong, National University of Singapore, Singapore He Jifeng, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, USA Shengchao Qin, University of Teesside, UK Program Committee: Bernhard K. Aichernig (Graz University of Technology, Austria) Cyrille Artho (AIST, Japan) Richard Banach (University of Manchester, UK) Nikolaj Bjorner(Microsoft Research Redmond, USA) Jonathan P. Bowen (University of Westminster, UK) Michael Butler (University of Southampton, UK) Sagar Chaki (CMU/SEI, USA) Rance Cleaveland (University of Maryland/Reactive Systems, USA) Jim Davies (Oxford University, UK) Zhenhua Duan (Xidian University, China) Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain) Andy Galloway (University of York, UK) Stefania Gnesi (ISTI-CNR, Italy) Wolfgang Grieskamp (Google, USA) Klaus Havelund (NASA JPL, USA) Daniel Jackson (MIT, USA) Thierry Jeron (INRIA, France) Gerwin Klein (NICTA, Australia) Weiqiang Kong (Kyushu University, Japan) Kim G. Larsen (Aalborg University, Denmark) Peter Gorm Larsen (Engineering College of Aarhus, Denmark) Insup Lee (University of Pennsylvania, USA) Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany) Xuandong Li (Nanjing University, China) Yuan-Fang Li (Monash University, Australia) Zhiming Liu (UNU/IIST, Macau) Dominique Mery (Nancy University and LORIA, France) Stephan Merz (INRIA Nancy & LORIA, France) Huaikou Miao (Shanghai University, China) Alexandre Mota (CIn-UFPE, Brasil) Shin Nakajima (NII, Japan) Kazuhiro Ogata (JAIST, Japan) Jose Nuno Oliveira (Universidade do Minho, Portugal) Jun Pang (University of Luxembourg, Luxembourg) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) S. Ramesh (General Motors India, India) Alexander Romanovsky (Newcastle University, UK) Wuwei Shen (Western Michigan University, USA) Marjan Sirjani (Reykjavik University, Iceland) Greame Smith (The University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Jun Sun (Singapore University of Technology and Design, Singapore) Yih-Kuen Tsay (National Taiwan University, Taiwan) Viktor Vafeiadis (MPI-SWS, Germany) Hai H. Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Wang Yi (Uppsala University, Sweden) Jian Zhang (Chinese Academy of Sciences, China) Huibiao Zhu (East China Normal University, China) ----------------------------------- Yuki Chiba Japan Advanced Institute of Science and Technology (JAIST) http://www.jaist.ac.jp/~chiba/index.html chiba(a)jaist.ac.jp

1 0

Second Call: Logic, Algebra, and Truth Degrees 2012
by Hiroakira Ono 04 Apr '12

04 Apr '12

Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/ Second Call for Papers === Deadline for contributed talks: 22 April 2012 === === Application for grants available === The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3]. Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The featured topics include, but are not limited to, the following: . Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc. . Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc. . Game-theory: Giles games, Rényi-Ulam games, evaluation games, etc. . First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc. . Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics. . Philosophical issues: connections with vagueness and uncertainty. . Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc. We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general). Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/ Important dates: . 22 April 2012: deadline for submissions . 3 June 2012: notifications sent . 10-14 September 2012: conference Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIC, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA) Invited Speakers: . Rostislav Horčík (Academy of Sciences, Czech Republic) . Emil Jeřábek (Academy of Sciences, Czech Republic) . Daniele Mundici (University of Florence, Italy) . Greg Restall (University of Melbourne, Australia) . Luca Spada (University of Salerno, Italy) Tutorial: . Felix Bou (University of Barcelona, Spain) If you are interested in presenting a paper, please submit a 2–4 pages abstract at http://www.easychair.org/conferences/?conf=latd2012 Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2012(a)jaist.ac.jp The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012. Registration: Registration has not started by now, but we appreciate your email informing us on your participation plans. Registration fee is likewise not determined by now. Grants: There is a limited amount of grants available for participants. Please contact us as soon as possible including the following information: - name, affilitation - amount of money needed - title of your contribution (no grant without presentation) - reason/explanation of need for grant Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion. Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa. Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan) For further information please contact: latd2012(a)jaist.ac.jp [1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html

1 0

Second Call: Logic, Algebra, and Truth Degrees 2012
by latd12＠jaist.ac.jp 04 Apr '12

04 Apr '12

Logic, Algebra and Truth Degrees 2012 http://www.jaist.ac.jp/rcis/latd12/ Second Call for Papers === Deadline for contributed talks: 22 April 2012 === === Application for grants available === The third official meeting of the EUSFLAT Working Group on Mathematical Fuzzy Logic [1] will be held on 10-14 September 2012 in Kanazawa, Japan. The conference is organized by Research Center for Integrated Science [2], Japan Advanced Institute of Science and Technology [3]. Mathematical Fuzzy Logic is a subdiscipline of Mathematical Logic which studies the notion of comparative truth. The assumption that 'truth comes in degrees' has proved to be very useful in many, both theoretical and applied, areas of Mathematics, Computer Science and Philosophy. The main goal of this meeting is to foster collaboration between researchers in the area of Mathematical Fuzzy Logic, and to promote communication and cooperation with members of neighbouring fields. The featured topics include, but are not limited to, the following: . Proof systems for fuzzy logics: Hilbert, Gentzen, natural deduction, tableaux, resolution, computational complexity, etc. . Algebraic semantics: residuated lattices, MTL-algebras, BL-algebras, MV-algebras, Abstract Algebraic Logic, functional representation, etc. . Game-theory: Giles games, Rényi-Ulam games, evaluation games, etc. . First-order fuzzy logics: axiomatizations, arithmetical hierarchy, model theory, etc. . Higher-order fuzzy logical systems: type theories, Fuzzy Class Theory, and formal fuzzy mathematics. . Philosophical issues: connections with vagueness and uncertainty. . Applied fuzzy logical calculi: foundations of logical programming, logic-based reasoning about similarity, description logics, etc. We also welcome contributions on any relevant aspects of related logical systems (such as substructural and quantum logics, and many-valued logics in general). Conference Web Site: http://www.jaist.ac.jp/rcis/latd12/ Important dates: . 22 April 2012: deadline for submissions . 3 June 2012: notifications sent . 10-14 September 2012: conference Programme Committee: . Stefano Aguzzoli (University of Milano, Italy) . Matthias Baaz (Vienna University of Technology, Austria) . Petr Cintula (Academy of Sciences, Czech Republic) . Carles Noguera (CSIC, Spain) . Hiroakira Ono (JAIST, Japan), Chair . James Raftery (University of KwaZulu-Natal, South Africa) . Constantine Tsinakis (Vanderbilt University, USA) Invited Speakers: . Rostislav Horčík (Academy of Sciences, Czech Republic) . Emil Jeřábek (Academy of Sciences, Czech Republic) . Daniele Mundici (University of Florence, Italy) . Greg Restall (University of Melbourne, Australia) . Luca Spada (University of Salerno, Italy) Tutorial: . Felix Bou (University of Barcelona, Spain) If you are interested in presenting a paper, please submit a 2–4 pages abstract at http://www.easychair.org/conferences/?conf=latd2012 Your submission will be confirmed automatically on the e-mail address you provide. The accepted abstracts will be available on-line after the final decision of the program committee. If you have any problems to submit an abstract, please contact us at mail to: latd2012(a)jaist.ac.jp The deadline for contributions is 22 April 2012. The notification of acceptance/rejection will be sent until 3 June 2012. Registration: Registration has not started by now, but we appreciate your email informing us on your participation plans. Registration fee is likewise not determined by now. Grants: There is a limited amount of grants available for participants. Please contact us as soon as possible including the following information: - name, affilitation - amount of money needed - title of your contribution (no grant without presentation) - reason/explanation of need for grant Conference dates: The scientific program will start Monday morning (10 September) and finish Friday noon (14 September). Wednesday afternoon we plan an excursion. Venue: The conference will be held in the city of Kanazawa [4,5,6], located in the Ishikawa prefecture of Japan on the Japan Sea. The venue is the Ishikawa Prefectural Museum of Art [7] in the center of Kanazawa. Local Organizing Committee: . Norbert Preining (JAIST, Japan), Chair . Katsuhiko Sano (JAIST, Japan) . Kazushige Terui (Kyoto University, Japan) . Shunsuke Yatabe (AIST, Japan) For further information please contact: latd2012(a)jaist.ac.jp [1] http://www.mathfuzzlog.org/ [2] http://www.jaist.ac.jp/rcis/en/ [3] http://www.jaist.ac.jp/ [4] http://en.wikipedia.org/wiki/Kanazawa,_Ishikawa [5] http://www.kanazawa-tourism.com/ [6] http://wikitravel.org/en/Kanazawa [7] http://www.ishibi.pref.ishikawa.jp/index_j.html

1 0

CL&C 2012: deadline extension
by Koji Nakazawa 03 Apr '12

03 Apr '12

（重複の場合はご容赦ください） 7月にWarwickで開催される古典論理と計算に関するワークショップの論文募集です．締切りが大幅に延長されておりますので，是非，投稿をご検討ください．中澤 International Workshop on Classical Logic and Computation (CL&C'12) http://www.doc.ic.ac.uk/~svb/CLaC12 July, 8 2012 Warwick, England CL&C'12 is a satellite workshop of ICALP'12. IMPORTANT DATES Abstract submission (canceled) Deadline for submission: April, 23, 2012 (new) Notification of acceptance: June, 18, 2012 (new) Final version due: June, 28, 2012 (new) Workshop date: July, 8, 2012 INTRODUCTION CL&C'12 is the fourth of a conference series on Classical Logic and Computation. It intends to cover all work aiming to explore computational aspects of classical logic and mathematics. This year CL&C will be held as satellite workshop of ICALP'12 in Warwick: http://www2.warwick.ac.uk/fac/cross_fac/dimap/icalp2012/ CL&C is focused on the interplay between program extraction from classical the exploration of the computational content of mathematical and logical principles. The scientific aim of this workshop is to bring together researchers from both fields and exchange ideas. SCOPE OF CL&C This workshop aims to support a fruitful exchange of ideas between the various lines of research on Classical Logic and Computation. Topics of interest include, but are not limited to, - version of lambda calculi adapted to represent classical logic; - design of programming languages inspired by classical logic; - cut-elimination for classical systems; - proof representation and proof search for classical logic; - translations of classical to intuitionistic proofs; - constructive interpretation of non-constructive principles; - witness extraction from classical proofs; - constructive semantics for classical logic (e.g. game semantics); - case studies (for any of the previous points). SUBMISSION AND PUBLICATION. This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic / position papers, as well as completed projects. We therefore ask for submission both of short abstracts and of longer papers. All submitted papers will be reviewed to normal standards. The PC recognises two kinds of papers: it will distinguish between accepted (full) papers that contain unpublished results not submitted elsewhere, and presentations of (short) papers about work in progress. The accepted papers will appear in EPTCS. In order to make a submission: - Format your file using the LNCS guidelines; there is a 15 page limit. - Use the submission instructions at https://www.easychair.org/conferences/?conf=clc2012 A participants' proceedings will be distributed at the workshop. PROGRAMME COMMITTEE * Herman Geuvers (Nijmegen) - chair * Stefano Berardi (Turin) * Steffen van Bakel (Imperial College London) * Silvia Ghilezan (Novi Sad) * Koji Nakazawa (Kyoto Univeristy) * Ugo de'Liguoro (Turin) CONTACT deligu(a)di.unito.it

1 0

seminar announcement
by Hiroakira Ono 02 Apr '12

02 Apr '12

東北大学の赤間陽二さんの依頼により投稿します。　　小野寛晰 ---------------------------------------------------------------------------------------------- 　　　　　　Seminar Announcement Anyone can come! Speaker: Norbert Preining (JAIST) Title: Goedel Logics, Continuous Embeddability and Fraisse's Conjecture Date: Wednesday, 4 April, 16:00---17:40 Venue: 802, Rigaku Sogo-to (Godo-to), 8F, Science Campus, Tohoku University Key words: many-valued logic, order theory, semantics In this talk we present a family of many-valued logics introduced by Kurt Goedel to approximate Intuitionistic Logic. Later on these were extended to first order and have exhibited connections to temporal logics, Kripke frames based logics, fuzzy logics in the sense of Hajek (t-norm based logics). These logics are based on selecting a closed subset of the real interval [0,1], and collecting all formulas evaluating to true for all valuations into this truth value set. Due to the specific truth functions different truth values sets might generate the same logics (as sets of formulas). During the search for the total number of logics we took up old conjecture of Fraisse (theorem of Laver) on the behaviour of scattered linear orderings. We consider continuous embeddability in the reals and prove a generalized Fraisse conjecture stating the the closed subsets of the real [0,1] interval with continuous embeddability are better-quasi-ordered. Using this result we can show that surprisingly the total number of different Goedel logics is countable. This discrepancy - on the one hand uncountable many equivalence classes of the above mentioned ordering, and countable many Goedel logics on the other hand - leaves us still without an "intensional definition" of Goedel logics in the sense that if two semantical objects (to be found or defined) are different, then the respective logics are different, too. This does not hold for equality of the truth value sets, since there are different truth value sets creating the same logic, as well as for the above mentioned continuous embeddability induced equivalence. ======================================== Short biography of Norbert Preining * Graduated from Vienna University of Technology under the auspicies of the president of the Republic of Austria in 2003 * Postdoc in Siena, Italy as European Community Marie Curie Fellow * Project leader of a research project of the Austrian Research Fund (FWF) (paralleling the JSPS) * Currently Associate Professor at the JAIST * Secretary of the Kurt Goedel Society, responsible for the Kurt Goedel Research Prize Fellowship * Spare time activities are montaineering, typography, TeX, and Debian Contact: Yohji Akama (Mathematical Institute, Tohoku University) akama(a)m.tohoku.ac.jp, 022-795-7708 For the access, See map on http://www.math.tohoku.ac.jp/access/index.html or http://www.math.tohoku.ac.jp/english/access-e.html　（english). For the building of the venue, see map on http://www.math.tohoku.ac.jp/map/ http://www.math.tohoku.ac.jp/english/campus-e.html (english)

1 0

2nd CFP: 8th Scandinavian Logic Symposium
by Thomas Bolander 02 Apr '12

02 Apr '12

8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK Second 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. 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

TARK 2013 Call for Papers
by Suzuki, Nobu-Yuki 01 Apr '12

01 Apr '12

*Call for Papers* TARK 2013 14. Conference on Theoretical Aspects of Rationality and Knowledge January 7-9, 2013 Institute of Mathematical Sciences, Chennai, India Conference website: http://www.imsc.res.in/tark/ About the Conference The mission of the TARK conferences is to bring together researchers from a wide variety of fields, including Artificial Intelligence, Cryptography, Distributed Computing, Economics and Game Theory, Linguistics, Philosophy, and Psychology, in order to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. Submissions are now invited to TARK 2013. Extended Abstracts can be submitted here: https://www.easychair.org/conferences/?conf=tark2013 Strong preference will be given to papers whose topic is of interest to an interdisciplinary audience, and papers should be accessible to such an audience. Papers will be held to the usual high standards of research publications. In particular, they should 1) contain enough information to enable the program committee to identify the main contribution of the work; 2) explain the significance of the work -- its novelty and its practical or theoretical implications; and 3) include comparisons with and references to relevant literature. Abstracts should be no longer than ten double-spaced pages (4,000 words). Optional technical details such as proofs may be included in an appendix. An email address of the contact author should be included. Papers arriving late or departing significantly from these guidelines risk immediate rejection. One author of each accepted paper will be expected to present the paper at the conference. Economists should be aware that special arrangements have been made with certain economics journals (in particular, with International Journal of Game Theory, Games and Economic Behavior, Journal of Economic Theory, and Mathematical Social Sciences, so that publication of an extended abstract in TARK will not prejudice publication of a full journal version. TARK 2013 will precede the Indian Conference on Logics and Applications (ICLA) held from January 10 - 12, 2013, also at the Institute of Mathematical Sciences in Chennai, India. TARK 2013 is the 14th conference of the TARK conference series. Previous conferences have been held bi-annually around the world. The most recent conference was held 2011 at the University of Groningen, Netherlands, see http://www.philos.rug.nl/TARK2011/. The proceedings of all previous TARK conferences can be accessed here http://www.tark.org/ TARK 2013 is the first TARK conference to be held in India. It is also the first TARK conference to be held in January. Key Dates for TARK 2013 Submission of abstracts: September 3, 2012 Notification of authors: October 29, 2012 Camera ready copy of accepted papers: November 30, 2012 Conference: January 7 - 9, 2013, Institute of Mathematical Sciences, Chennai, India Program Committee Samson Abramsky, Oxford University Thomas Agotnes, Universitetet i Bergen Hans van Ditmarsch, Universidad de Sevilla Amanda Friedenberg, Arizona State University Aviad Heifetz, The Open University of Israel Jerome Lang, Université Paris-Dauphine and Université Paul Sabatier Fenrong Liu, Tsinghua University Larry Moss, Indiana University, Bloomington Antonio Penta, University of Wisconsin-Madison Andres Perea, Maastricht University R. Ramanujam, Institute for Mathematical Sciences, Chennai Oliver Roy, Ludwig-Maximilians Universität München Burkhard C. Schipper, University of California, Davis Marciano Siniscalchi, Northwestern University Giacomo Sillari, Scuola Normale Superiore, Pisa Nobuyuki Suzuki,Shizuoka University Jonathan Zvesper, London Program Chair Burkhard C. Schipper University of California, Davis Department of Economics One Shields Avenue Davis, CA 95616, USA Email: bcschipper ad ucdavis dot edu Local Organizing Chair R. Ramanujam Institute of Mathematical Sciences CIT Campus, Taramani Chennai 600 113, India Email: tark2013org at gmail dot com Chair of the TARK Conference Series Joe Halpern Cornell University Computer Science Department

1 0

Fwd: PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg
by Ichiro Hasuo 28 Mar '12

28 Mar '12

みなさま，東京大学の蓮尾です．ドイツの博士学生・ポスドクの求人，念のため転送します．Lutz Schröder さんは modal logic/coalgebra/computational effect の文脈で大活躍の方です．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ---------- Forwarded message ---------- From: Lutz Schröder <lutz.schroeder(a)cs.fau.de> Date: Wed, Mar 28, 2012 at 5:25 AM Subject: PhD/Postdoc Positions in Theoretical Computer Science at FAU Erlangen-Nürnberg [I would be grateful for further distribution of the job advertisement below] In the newly founded Theoretical Computer Science group (Chair 8) at the University of Erlangen-Nürnberg, several research positions are available that can be filled at the doctoral or post-doctoral level. These include project positions of up to two years, in the TV-L E13 or E14 pay scale depending on qualification of the applicant; project topics include - coalgebraic logic - probabilistic description logic - formal methods in mechanical engineering. Additionally, at least one position is available that is not tied to a specific research project but does carry a teaching obligation of 5h per week; in this case, research work can be positioned in any of the core fields of the group including - modal logic - knowledge representation - coalgebra - formal methods - program semantics - applications of semantic technologies Such positions can be filled at TV-L E13 for an initial appointment of three years, with a possibility of extension for another three years subject to provisions by German laws on temporal employment in academia; postdoctoral applicants from EU countries can be appointed at the A13 payscale ("akademischer Rat") (which pays better and has better benefits) for two periods of three years, with a possible extension of two periods of two years at the A14 payscale ("akademischer Oberrat") for candidates who successfully complete a habilitation during the first six years. Please send applications consisting of a cover letter, resume, and contact details of three references by email to lutz.schroeder(a)cs.fau.de. There is no particular application deadline; positions will be filled when suitable candidates are found. Best regards, Lutz -- -------------------------------------- Prof. Dr. Lutz Schröder Chair of Theoretical Computer Science Department of Computer Science Friedrich-Alexander-Universität Erlangen-Nürnberg lutz.schroeder(a)informatik.uni-erlangen.de lutz.schroeder(a)cs.fau.de --------------------------------------

1 0

Prof. Dieter Spreen Lecture at NII Logic Seminar
by Makoto Tatsuta 27 Mar '12

27 Mar '12

Prof. Dieter Spreen Lecture at NII Logic Seminar Date: April 4, 2012, 13:30--15:30 Place: National Institute of Informatics, Room 1213 (12th floor) 場所: 国立情報学研究所 12階 1213室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Prof. Dieter Spreen (University of Siegen) Title: A refined model construction for the polymorphic lambda calculus Abstract: We present and discuss a stable model for the polymorphic lambda calculus. The domains are enriched by an approximation structure. This allows to put additional requirements on the morphisms of the underlying category. Moreover, a totality notion can be introduced such that in the induced model the polymorphic booleans are interpreted by the two-element set {True, False}. 問合せ先: 龍田真 (国立情報学研究所) e-mail: tatsuta(a)nii.ac.jp http://research.nii.ac.jp/~tatsuta

1 0

RTA 2012: Call for Participation
by Nao Hirokawa 26 Mar '12

26 Mar '12

皆様 5月30日に名古屋大学で行われます書換えに関する国際会議 RTA 2012 の参加者募集をご案内致します。皆様のご参加を心よりお待ち申し上げます。廣川 (JAIST) +===================================================================+ | | | CALL FOR PARTICIPATION | | | | International Conference on Rewriting Techniques and Applications | | | | RTA 2012 | | | | May 30 - June 1, 2012 | | Nagoya, Japan | | | | http://rta2012.trs.cm.is.nagoya-u.ac.jp/ | | | +===================================================================+ --------------------------------------------------------------------- -- REGISTRATION -- --------------------------------------------------------------------- For online registration visit: https://apollon.nta.co.jp/rta2012/ * Early registration closes on April 25 JST(GMT+9). * Online registration closes on May 9 JST(GMT+9). --------------------------------------------------------------------- -- ABOUT RTA -- --------------------------------------------------------------------- RTA 2012 is the 23rd International Conference on Rewriting Techniques and Applications, collocated with five satellite workshops, IFIP WG 1.6, IWC, WFLP, HOR and TTATT. --------------------------------------------------------------------- -- CONFERENCE VENUE -- --------------------------------------------------------------------- Noyori Memorial Hall, Higashiyama Campus of Nagoya University --------------------------------------------------------------------- -- RTA 2012 INVITED SPEAKERS -- --------------------------------------------------------------------- * Hirokazu Anai (FUJITSU LABORATORIES LTD / Kyushu University) * Claude Kirchner (INRIA & LORIA) * Sebastian Maneth (NICTA & University of New South Wales) --------------------------------------------------------------------- -- WORKSHOPS -- --------------------------------------------------------------------- * IFIP WG 1.6 IFIP Working Group 1.6 on Term Rewriting * IWC 1st International Workshop on Confluence * WFLP 21st International Workshop on Functional and (Constraint) Logic Programming * HOR 6th International Workshop on Higher-Order Rewriting * TTATT 1st International Workshop on Trends in Tree Automata and Tree Transducers --------------------------------------------------------------------- -- SCHEDULE -- --------------------------------------------------------------------- * May 28 IFIP WG 1.6 * May 29 IWC, WFLP * May 30 - June 1 RTA * June 2 HOR, TTATT --------------------------------------------------------------------- -- ASSOCIATED EVENTS -- --------------------------------------------------------------------- FLOPS 2012 11th International Symposium on Functional and Logic Programming May 23 - 25, Kobe, Japan http://www.org.kobe-u.ac.jp/flops2012/ * It takes about 70 minutes to go from Nagoya to Kobe by Shinkansen. --------------------------------------------------------------------- -- HOST CITY: NAGOYA, JAPAN -- --------------------------------------------------------------------- Nagoya is located at the center of Honshu (the main island of Japan) with a population of 2.24 million. Thanks to the rich water resources of the Kisogawa, Nagaragawa and Ibigawa Rivers, the fertile land which enjoy the blessings of the rivers, and other advantages including good transportation links, its people have lived affluent lives since early days. Nagoya has a long history and is the birthplace of three notable feudal lords, Oda Nobunaga, Toyotomi Hideyoshi and Tokugawa Ieyasu. Also in Nagoya, traditional industries like ceramics and textiles, and today's key industries like automobiles, aviation and machine tools have developed, and Nagoya has an important role in Japan's industrial society. Furthermore, the Central Japan International Airport (Centrair) opened in February 2005, and in March 2005, Expo 2005 Aichi Japan started. Centrair has flight connections with Frankfurt, Helsinki, Detroit, Tokyo Narita, etc. Today, Nagoya grabs attention and keeps on developing as a Japanese international city. You can see more detailed information from the website of Nagoya Convention & Visitors Bureau: http://www.ncvb.or.jp/en/contents/ For travel and accommodation information, please consult the RTA 2012 website: http://rta2012.trs.cm.is.nagoya-u.ac.jp/ RTA 2012 is organized by Nagoya University, Graduate School of Information Science and will take place in Higashiyama campus of Nagoya University. --------------------------------------------------------------------- -- REGISTRATION (again) -- --------------------------------------------------------------------- For online registration visit: https://apollon.nta.co.jp/rta2012/ * Early registration closes on April 25. * Online registration closes on May 9. --------------------------------------------------------------------- -- CONTACT -- --------------------------------------------------------------------- See http://rta2012.trs.cm.is.nagoya-u.ac.jp/

1 0

CFP: AiML 2012 (with deadline extension)
by Thomas Bolander 22 Mar '12

22 Mar '12

AiML-2012: FINAL CALL FOR PAPERS (WITH DEADLINE EXTENSION) 9-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC COPENHAGEN, 22-25 AUGUST, 2012 http://hylocore.ruc.dk/aiml2012.html 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-2012 is the ninth 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. CONFERENCE LOCATION Advances in Modal Logic 2012 will be held at the IDA conference center in downtown Copenhagen: http://ida.dk/sites/moedecenter/english/Sider/EnglishForside.aspx This is in easy walking distance from Copenhagen Central Station and a number of reasonably priced hotels. PAPER SUBMISSIONS There will be two types of submissions to AiML-2012: (1) Full papers for publication in the proceedings and presentation at the conference. (2) Short presentations intended for presentation at AiML but not for the published proceedings. All submissions should be submitted electronically using our EasyChair page http://www.easychair.org/conferences/?conf=aiml2012 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'2012 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 provided on the AiML'2012 website (click "Paper Submissions"). We also ask authors of full papers to submit the abstract in plain text to the EasyChair page by 30 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 make short presentations (of up to 15 minutes) on them. SPECIAL SESSION ON HYBRID LOGIC. Hybrid logic is an extension of modal logic allowing to refer explicitly to states of the model in the syntax of formulas. There will be a special session of AiML devoted to papers on hybrid logic. The scope of the special session is standard hybrid-logical machinery like nominals, satisfaction operators, and the downarrow binder, but also other extensions of modal logic can be considered. SPECIAL SESSION IN HONOUR OF LARISA MAKSIMOVA. There will be a special session of AiML devoted to papers and talks in honour of Larisa Maksimova, in recognition of her many outstanding contributions to modal logic. SPECIAL SESSION ON MODALITES FOR TYPES. Recent years have witnessed significant growth of interest in constructive type-theoretical modalities, in particular modalities ensuring productivity and type safety of (co-)recursive definitions in reactive programming. Some earlier examples include the use of modalities for staged computation, metaprogramming or in computational lambda-calculus. In order to boost interaction between programming, type-theoretical and modal communities, AiML 2012 will host a special session on these topics. Papers for the special sessions should be submitted to the EasyChair site along with others. INVITED SPEAKERS Lev Beklemishev (Moscow State University) Johan van Benthem (University of Amsterdam and Stanford University) Lars Birkedal (IT University of Copenhagen, Denmark) Patrick Blackburn (Roskilde University) Balder ten Cate, (UC Santa Cruz) Larisa Maksimova (Novosibirsk State University) PROGRAMME COMMITTEE Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina) Philippe Balbiani (IRIT, Toulouse, France) Lev Beklemishev (Moscow State University, Russia) Guram Bezhanishvili (New Mexico State University, USA) Nick Bezhanishvili (Imperial College London, UK) Patrick Blackburn (Roskilde University, Denmark) Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) Giovanna Corsi (Università di Bologna, Italy) Giovanna D'Agostino (Università di Udine, Italy) Stephane Demri (LSV, ENS Cachan, France) Melvin Fitting (Lehman College, CUNY, USA) Robert Goldblatt (Victoria University of Wellington, New Zealand) Valentin Goranko (Technical University of Denmark) Rajeev Gore (Australian National University, Australia) Andreas Herzig (IRIT, Toulouse, France) Ian Hodkinson (Imperial College London, UK) Wiebe van der Hoek (University of Liverpool, UK) Rosalie Iemhoff (University of Utrecht, The Netherlands) Alexander Kurz (University of Leicester, UK) Tadeusz Litak (University of Leicester, UK) Hiroakira Ono (Japan Advanced Institute of Science and Technology) Martin Otto (Technical University of Darmstadt, Germany) Alessandra Palmigiano (ILLC, University of Amsterdam, The Netherlands) Renate Schmidt (University of Manchester, UK) Lutz Schröder (Friedrich-Alexander-Universität Erlangen-Nürnberg) 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) Frank Wolter (University of Liverpool, UK) Michael Zakharyaschev (Birkbeck College, London, UK) PROGRAMME COMMITTEE CO-CHAIRS Silvio Ghilardi (Università degli Studi di Milano, Italy) Lawrence Moss (Indiana University, USA) ORGANIZING COMMITTEE CO-CHAIRS Thomas Bolander (Technical University of Denmark) Torben Brauner (Roskilde University, Denmark) IMPORTANT DATES [Please notice that the deadline for full papers submission has moved to April 7, 2012; authors should however submit an abstract by the old deadline of March 30, 2012 to speed up PC paper selection.] Abstract of Full papers submission deadline: 30 March 2012 Full papers submission deadline: 7 April 2012 Full papers acceptance notification: 18 May 2012 Short presentations submission deadline: 1 June, 2012 Short presentations acceptance notification: 7 June, 2012 Final version of full papers and short presentations due: 15 June 2012 Conference: 22-25 August, 2012. FURTHER INFORMATION. Please see http://hylocore.ruc.dk/aiml2012/ ENQUIRIES. E-mail enquiries should be directed respectively to the PC co-chairs, sent to aiml2012(a)easychair.org

1 0

CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
by Yuki Chiba 22 Mar '12

22 Mar '12

(重複の場合はご容赦ください．) 皆様，北陸先端科学技術大学院大学の千葉です． 11月に京都で開催されるICFEM 2012の案内を再度送らせて頂きます． http://www.jaist.ac.jp/icfem2012 ICFEMは形式手法とその実用的応用に関する国際会議です．ぜひ投稿をご検討下さい．アブストラクトの締め切りは4月9日です．よろしくお願いします． ************************************************************ ICFEM 2012: 14th International Conference on Formal Engineering Methods CALL FOR PAPERs 12th-16th, November, 2012 Kyoto Research Park, Kyoto, Japan URL: http://www.jaist.ac.jp/icfem2012 ************************************************************ ICFEM will come back to Japan in 2012 again! Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to practical applications. Researchers and practitioners, from industry, academia, and government, are encouraged to attend, and to help advance the state of the art. We are interested in work that has been incorporated into real production systems, and in theoretical work that promises to bring practical and tangible benefit. ICFEM 2012 will be hosted by National Institute of Advanced Industrial Science and Technology (AIST) and Japan Advanced Institute of Science and Technology (JAIST), which will be held in Kyoto, JAPAN. Kyoto is the ancient capital of JAPAN, where you can find many historical sites which have been designated as World Heritage there. We are looking forward to your submissions. AREA AND TOPICS Submissions related to the following principal themes are encouraged, but any topics relevant to the field of formal methods and their practical applications will also be considered: * Abstraction and refinement * Formal specification and modelling * Software verification * Program analysis * Software model checking * Formal approaches to software testing * Formal methods for object and component systems * Formal methods for cloud computing/robotics/cyber-physical systems/ medical devices/aeronautics/railway * Formal methods for self-* systems * Formal methods for software safety, security, reliability and dependability * Experiments involving verified systems * Formal methods used in certifying products under international standards (ISO 26262, IEC 61508, etc) * Formal model-based development and code generation SUBMISSION AND PUBLICATION Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. The proceedings will be published in the Springer Lecture Notes in Computer Science series. Papers should be written in English and not exceed 16 pages in LNCS format (see http://www.springer.de/comp/lncs/authors.html for details). Submission should be done through the ICFEM 2012 submission page (https://www.easychair.org/conferences/?conf=icfem2012), handled by the EasyChair conference system. IMPORTANT DATES Abstract Submission Deadline: 9th April, 2012 Full Paper Submission Deadline: 16th April, 2012 Acceptance/Rejection Notification: 18th June, 2012 Camera Ready Copy Due: 16th July, 2012 Conference: 12th-16th, November, 2012. ORGANIZATION COMMITTEE General Chairs: Kokichi Futatsugi, JAIST, Japan Shaoying Liu, Hosei Uni., Japan Conference Chair: Hitoshi Ohsaki, AIST, Japan Program Chairs: Kenji Taguchi, AIST, Japan Toshiaki Aoki, JAIST, Japan Steering Committee: Keijiro Araki, Kyushu University, Japan Michael Butler, University of Southampton, UK Jin Song Dong, National University of Singapore, Singapore He Jifeng, East China Normal University, China Shaoying Liu (Chair), Hosei University, Japan Jeff Offutt, George Mason University, USA Shengchao Qin, University of Teesside, UK Program Committee: Bernhard K. Aichernig (Graz University of Technology, Austria) Cyrille Artho (AIST, Japan) Richard Banach (University of Manchester, UK) Nikolaj Bjorner(Microsoft Research Redmond, USA) Jonathan P. Bowen (University of Westminster, UK) Michael Butler (University of Southampton, UK) Sagar Chaki (CMU/SEI, USA) Rance Cleaveland (University of Maryland/Reactive Systems, USA) Jim Davies (Oxford University, UK) Zhenhua Duan (Xidian University, China) Joaquim Gabarro (Universitat Politecnica de Catalunya, Spain) Andy Galloway (University of York, UK) Stefania Gnesi (ISTI-CNR, Italy) Wolfgang Grieskamp (Google, USA) Klaus Havelund (NASA JPL, USA) Daniel Jackson (MIT, USA) Thierry Jeron (INRIA, France) Gerwin Klein (NICTA, Australia) Weiqiang Kong (Kyushu University, Japan) Kim G. Larsen (Aalborg University, Denmark) Peter Gorm Larsen (Engineering College of Aarhus, Denmark) Insup Lee (University of Pennsylvania, USA) Michael Leuschel (Heinrich-Heine Universitat Dusseldorf, Germany) Xuandong Li (Nanjing University, China) Yuan-Fang Li (Monash University, Australia) Zhiming Liu (UNU/IIST, Macau) Dominique Mery (Nancy University and LORIA, France) Stephan Merz (INRIA Nancy & LORIA, France) Huaikou Miao (Shanghai University, China) Alexandre Mota (CIn-UFPE, Brasil) Shin Nakajima (NII, Japan) Kazuhiro Ogata (JAIST, Japan) Jose Nuno Oliveira (Universidade do Minho, Portugal) Jun Pang (University of Luxembourg, Luxembourg) Shengchao Qin (Teesside University, UK) Zongyan Qiu (Peking University, China) S. Ramesh (General Motors India, India) Alexander Romanovsky (Newcastle University, UK) Wuwei Shen (Western Michigan University, USA) Marjan Sirjani (Reykjavik University, Iceland) Greame Smith (The University of Queensland, Australia) Jing Sun (University of Auckland, New Zealand) Jun Sun (Singapore University of Technology and Design, Singapore) Yih-Kuen Tsay (National Taiwan University, Taiwan) Viktor Vafeiadis (MPI-SWS, Germany) Hai H. Wang (Aston University, UK) Ji Wang (National University of Defense Technology, China) Wang Yi (Uppsala University, Sweden) Jian Zhang (Chinese Academy of Sciences, China) Huibiao Zhu (East China Normal University, China)

1 0

フォーマルアプローチ特集論文募集
by Ichiro Hasuo 22 Mar '12

22 Mar '12

フォーマルアプローチ特集論文募集電子情報通信学会論文誌英文ED分冊フォーマルアプローチ特集編集委員会フォーマルアプローチ(形式手法・形式技法・形式理論)は，情報システムの設計開発における信頼性向上の鍵となる重要な基盤です．これまで，設計対象のモデル化，要求分析と仕様記述，コード自動生成，テストと検証，保守と再利用などに関する技術と理論的知見を生み出してきました．近年の情報技術の進展に伴う対象領域の拡大に伴い，フォーマルアプローチは従来にも増して多様な分野で用いられるようになり，ますます発展しています．本特集は，情報システムの設計・運用におけるフォーマルアプローチについて，基礎理論から応用まで，幅広い研究を対象にしています．個別の対象領域に特化したケーススタディから，分野横断的な手法や理論まで，様々な方面から，フォーマルアプローチ研究に携わる若手研究者を奨励するとともに，この分野の研究が更に発展することを目指しております．奮って御投稿下さいますよう御案内申し上げます． 1. 対象分野主な対象は以下のとおりですが，これに限らず，「情報システムおよびそれをとりまく環境を定式化した上で，そのシステムの振舞いの解析や性質の導出を厳密に行い，設計・運用に関わる種々の問題の解決を図る」ことを目指した論文を広く募集します． - 基礎理論：要求，仕様，検証，静的・動的解析等のフォーマルアプローチに関する理論． - 方法論：軽量フォーマルメソッド，モデルベース設計，詳細化等のフォーマルアプローチに関する方法論． - 言語：仕様記述言語，モデリング言語，モデルベースプログラミング言語，ハードウェア記述・検証言語． - ツール：モデル検査器，定理証明器，静的・動的解析器． - 応用：組込システム，ハイブリッドシステム，社会システム(内部統制等)等の形式解析，コンコリックテスト等のテスト技法，形式仕様からのコード生成． 2. 論文の執筆と取扱い - 論文(一般論文)，レター，及びサーベイ論文を募集します．投稿規定等は電子情報通信学会の英文誌の規定と同じです．以下の規定を御参照ください． "The Information for Authors" (IEICE Transactions on Information and Systems) http://www.ieice.org/eng/shiori/mokuji_iss.html 3. 主なスケジュール論文投稿締切平成 24年 7月18日(水) 23:59 JST 第一回判定通知予定平成 24年 9月14日(金) 初回修正締切平成 24年11月13日(火) 最終判定通知予定平成 24年12月22日(土) 発行予定平成 25年 6月号 4. 投稿方法本特集では，電子投稿のみを受付けます．ステップ1. 論文を下記のweb pageから投稿してください．初期投稿時に，編集可能な論文本体(TeX/Word)，図，著者の写真, biographyも投稿する必要があります． https://review.ieice.org/regist_e.aspx 投稿の際には以下の項目を選択してください． ``Type of Section (Issue)/Transactions'' -> ``[Special ED] Formal Approach'' データ登録時点で論文原稿のアップロードができない場合，「郵送による投稿」を選択して登録を一旦完了させてください．論文原稿のアップロードは，登録後に送付される電子メールに記載のURLにアクセスして行ってください．ステップ2. 仮登録後に作成される``Copyright Transfer and Page Charge Agreement''と``Confirmation Sheet of Manuscript Registration''に記入，署名し，論文投稿締切日までに下記問合せ先まで電子メールまたは郵便にてお送り下さい(電子メールが望ましいです)．郵送の場合，封筒に『フォーマルアプローチ特集』と記載してください． 5. 特集編集委員会委員長緒方和博(北陸先端大) 幹事岡野浩三(阪大) 磯部祥尚(産総研) 土屋達弘(阪大) 結縁祥治(名大) 委員岩沼宏治(山梨大) 河辺義信(愛知工大) 小林孝一(北陸先端大) 坂本比呂志(九工大) 寺内多智弘(名大) 中村正樹(富山県立大) 蓮尾一郎(東大) 浜口清治(阪大) 廣川直(北陸先端大) 6. 問合せ先本特集のホームページ: (和文) http://www.jaist.ac.jp/~ogata/FA/index-j.html (英文) http://www.jaist.ac.jp/~ogata/FA/ 緒方和博 fa-submit(at)jaist.ac.jp 〒923-1252 石川県能美市旭台1-1 北陸先端科学技術大学院大学情報科学研究科 FAX: 0761-51-1149

1 0

CFP: HOR 2012 - extend deadline: March 26, 2012
by Makoto Hamana 19 Mar '12

19 Mar '12

皆様、高階書換え系ワークショップ HOR'12 の投稿〆切延長のご案内です。新〆切は来週 3月26日です。トピックスは、書換え研究はもちろんのこと、 λ計算、関数型言語、プログラム変換、証明変換、自動証明技術などの広い意味での高階書換えもカバーしますので、ぜひ日本の関連研究者の投稿をお待ちしています。すでに発表済み論文の紹介発表もOKとなっていますので、名古屋の RTA'12に参加予定の方は、ぜひHORへの投稿もご検討ください。 -- 浜名誠/群馬大学 ===================================================================== Call for papers 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. The following is a non-exhaustive list of topics for the workshop: * Applications: proof checking, type checking, theorem proving, functional programming, declarative programming, program transformation, using some notions of higher-order rewriting. * Foundations: pattern matching, unification, strategies, termination, syntactic properties, type theory, for higher-order rewriting. * Frameworks: graph rewriting, net rewriting, comparisons of different formats. * Implementation: explicit substitution, rewriting tools, compilation techniques. * Semantics: semantics of higher-order rewriting, higher-order abstract syntax, categorical rewriting. Important dates --------------- Paper submission: ** EXTENDED: March 26, 2012 ** Notification: April 20, 2012 Final version: May 10, 2012 Workshop: June 2, 2012 Invited speakers ---------------- * Zhenjiang Hu (National Institute of Informatics, Japan) Can Graph Transformation be Bidirectionalized? -- Bidirectional Semantics of Structural Recursion on Graphs -- * Another speaker to be annouced Submissions ----------- Two categories of papers are solicited: - Category A: Extended abstracts of new results, describing work in progress, or problems in higher-order rewriting. - Category B: Short versions of recently published or submitted elsewhere articles on higher-order rewriting. Papers in this category are for presentation only, and not considered as candidates for the post-workshop proceedings. Papers in both categories should be between 2 and 5 pages, and should note the category (either A or B). Papers are formatted according to EPTCS style, and submitted electronically via the EasyChair submission website. Papers will be judged on relevance, originality, correctness and usefulness. Please address your questions to the PC chair: hamana at cs.gunma-u.ac.jp. Proceedings ----------- The proceedings of HOR 2012 will be made available on the HOR 2012 web page, and a printed version will be distributed at the workshop. Post-workshop proceedings of extended abstracts of selected contributions is planned to be published as a volume of EPTCS. Program Committee ------------------- Andreas Abel (Ludwig-Maximilians-University Munich, Germany) Frederic Blanqui (INRIA, France) Makoto Hamana (Gunma University, Japan) (chair) Stefan Kahrs (University of Kent, UK) Fer-Jan de Vries (University of Leicester, UK) Program and Organizing Chair ---------------------------- Makoto Hamana (Gunma University, Japan)

1 0

Call for Papers - LfSA'12 - Logics for System Analysis
by Ichiro Hasuo 12 Mar '12

12 Mar '12

みなさま，こんにちは！東京大学の蓮尾です． 7月のバークレー，CAV 併設ワークショップ LfSA のご案内です． - トピックは（広い意味での）論理を用いたシステム検証で， - まだ新しいワークショップ（2回目）で正式なプロシーディングスもありませんが，専門家が集うので「出席して役に立つ」会合であると考えます．ぜひ投稿をご検討ください．（3カテゴリあります）それでは！蓮尾一郎東京大学大学院情報理工学系研究科コンピュータ科学専攻 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ================================================ Call for Papers -------------------------------------------------- LfSA'12 -- Logics for System Analysis http://www.ls.cs.cmu.edu/LfSA12 -------------------------------------------------- Workshop Affiliated with CAV 2012 July 7th, 2012, Berkeley, USA Safety-critical systems frequently occur as real-time systems, embedded systems, hybrid systems, distributed systems, and cyber-physical systems. They are also becoming more and more important in many application domains, including aviation, automotive, railway, robotic, or medical applications, where both safety and security are relevant aspects. To ensure the correct functioning of safety-critical systems it is necessary to model and reason about hardware, software, communication aspects, physical properties, and the system environment. LfSA’12 is the second workshop on Logics for System Analysis, devoted to the systematic theoretical study, practical development, and applied use of logics for system analysis. The purpose of the LfSA workshop is to bring together researchers and practitioners interested in studying practically relevant systems or in developing the logical foundations and analysis tools for their study. Topics include * Logics for safety-critical systems (real-time, embedded, hybrid, distributed, stochastic, cyber-physical) * Logic-based methods for development of safety-critical systems * Logics to study security aspects of systems or protocols * System representations using logics, automata, modeling languages, state charts, Petri nets, dataflow models * Theories, decision procedures, and calculi for system analysis * Model checking, theorem proving, and systematic testing * Case studies for logical system analysis * Applications of system analysis to industrial problems In particular, we invite contributions that bridge the gap between theory and practice or that combine different application domains. Submission Categories --------------------- * Regular papers (up to 15 pages), which should present previously unpublished work (completed or in progress), including descriptions of research, tools, and applications. * Short papers (up to 5 pages), which describe work in progress or aim at initiating discussions. * Presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop; such papers will not be included in the LfSA proceedings but will be presented during the workshop. In addition to informal and electronic workshop proceedings, we consider the option of a special issue in a journal after the workshop Workshop/Programme Chairs ------------------------- Andre Platzer Carnegie Mellon University Philipp Ruemmer Uppsala University Programme Committee ------------------- A. Banerjee (IMDEA Madrid) R. Barbosa (U. Coimbra) F. S. de Boer (CWI Amsterdam) A. Cimatti (IRST Trento) M. Dam (KTH Stockholm) S. Demri (CNRS Cachan) M. Giese (U. of Oslo) I. Hasuo (U. Tokyo) F. Ivancic (NEC Lab. Princeton) E. B. Johnsen (U. of Oslo) V. Sofronie-Stokkermans (U. Koblenz) U. Waldmann (MPI Saarbrücken) Important Dates/Deadlines ------------------------- Abstract submission: April 13, 2012 Paper submission: April 20, 2012 Notification: June 8, 2012 Final version: June 29, 2012 Workshop: July 7, 2012 Workshop Webpage ---------------- http://www.ls.cs.cmu.edu/LfSA12 Submission via Easychair ------------------------ https://www.easychair.org/conferences/?conf=lfsa12

1 0

Tokyo Forum for Analytic Philosophy (TFAP)
by rdietz＠l.u-tokyo.ac.jp 11 Mar '12

11 Mar '12

Dear Sir/Madam, May I introduce myself, I am Dr Richard Dietz. I was recently appointed as a Lecturer the Department of Philosophy at the University of Tokyo ( Hongo Campus). I just founded a new discussion for analytic philosophy, which is going to be launched in April. It is called the Tokyo Forum for Analytic Philosophy (TFAP). For further information, please see: http://tf-ap.com On this note, I wanted to ask you whether you circulate the news of the upcoming launching of TFAP in your logic mailing list. This would be very helpful. Also, if this is possible, I would be grateful if I could join your mailing list. Thank you very much. I look forward to hearing from you. With best regards, Richard Dietz

1 0

CFP: 第89回プログラミング研究会発表募集
by Takahito Aoto 07 Mar '12

07 Mar '12

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊この場を借りて2012年度第1回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3〜4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です．2012年6月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は4月20日(投稿締切は5月18日)ですので，よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．第89回プログラミング研究会(PRO-2012-1)発表募集日程: 2012年6月21日(木)・22日(金) 会場: 小樽市民センター　　　〒047-0031 小樽市色内2丁目13番5号　　　 JR小樽駅より徒歩5分発表申込締切:　　　　 2012年4月20日(金) 投稿論文原稿提出締切: 2012年5月18日(金) 申込先: 花井亮 (東京大学) E-mail: hanai [at] jsk.t.u-tokyo.ac.jp 案内ページ: http://www.jsk.t.u-tokyo.ac.jp/pro-2012-1/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/を参照してください．・できるだけE-mailでお願いします．・申込み後返信がない場合はご連絡下さい． --- 青戸等人東北大学電気通信研究所 http://www.nue.riec.tohoku.ac.jp/user/aoto/

1 0

IWC 2012: Second Call for Papers
by Nao Hirokawa 07 Mar '12

07 Mar '12

合流性 (チャーチ・ロッサ性) に関するワークショップ IWC 2012 の投稿期限延長をお知らせ致します。IWC 2012 は名古屋で行われます RTA 2012 に併設されるワークショップです。ご投稿・ご参加を検討して頂ければ幸いです。廣川　直（北陸先端科学技術大学院大学） ====================================================================== Second Call for Papers (* extended deadline *) IWC 2012 1st International Workshop on Confluence 29 May 2012, Nagoya, Japan, collocated with RTA 2012 http://cl-informatik.uibk.ac.at/events/iwc-2012/ ====================================================================== Recently there is a renewed interest in confluence research, resulting in new techniques, tool support as well as new applications. The workshop aims at promoting further research in confluence and related properties. The workshop is collocated with the 23rd International Conference on Rewriting Techniques and Applications (RTA 2012). During the workshop the 1st Confluence Competition (CoCo 2012) http://coco.nue.riec.tohoku.ac.jp/2012/ takes place. IMPORTANT DATES: * submission March 26, 2012 (extended) * notification April 9, 2012 * final version April 30, 2012 * workshop May 29, 2012 TOPICS: The workshop solicits short papers/extended abstracts on the following topics: * confluence and related properties (unique normal forms, commutation, ground confluence) * critical pair criteria * decidability issues * complexity issues * system descriptions * certification * applications of confluence ORGANISING COMMITTEE: * Nao Hirokawa JAIST * Aart Middeldorp University of Innsbruck * Naoki Nishida Nagoya University PROGRAM COMMITTEE: * Takahito Aoto Tohoku University * Nao Hirokawa JAIST (co-chair) * Aart Middeldorp University of Innsbruck (co-chair) * Femke van Raamsdonk VU University Amsterdam * Aaron Stump The University of Iowa * Rakesh M. Verma University of Houston 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. In addition, we plan to distribute a printed version of the proceedings at the workshop. The page limit for papers is 5 pages in EasyChair style. Submission will be via EasyChair at https://www.easychair.org/account/signin.cgi?conf=iwc2012

1 0

[開催案内] 情報処理学会第88回プログラミング研究発表会(3/15-16)
by Keisuke Nakano 02 Mar '12

02 Mar '12

＊＊＊＊複数受け取られた場合はご容赦ください＊＊＊＊この場を借りまして，情報処理学会第88回プログラミング研究発表会開催のご案内をさせて頂きます．日程は3月15日-16日で，場所は産総研つくばセンターです．皆様のご参加をお待ちしております．また，3月15日の研究会終了後には懇親会を予定しております．参加希望者はあわせて出席予定をお知らせ下さい． -------- To: y.oiwa <at> aist.go.jp Subject: PRO88参加予定第88回PRO研究会に出席します． (↓どちらかを消して下さい) 3月15日の懇親会に参加します． 3月15日の懇親会に参加しません．御名前: 御所属: -------- 懇親会への参加申込は3/9(金)までにお願いします．最新情報は下記ページに掲示されますのでご確認ください． http://millsmess.cs.uec.ac.jp/pro/2011-5/ 担当：中野圭介(電通大)，大岩寛(産総研) ---------------- 第88回プログラミング研究会 (PRO-2011-5) 日程: 2012年 3月 15日(木)・16日(金) 場所: 産業技術総合研究所つくば中央共用講堂中会議室〒305-8561　茨城県つくば市東1-1-1　中央第1 つくばエクスプレス線つくば駅からバス約20分 ---------------- プログラム 2012/03/15 (木) 10:30 - 11:15 (1) 対話を媒介する型を用いた非正格純粋関数プログラミング ○山下伸夫 (電気通信大学) 11:15 - 12:00 (2) MWF/MNWFに基づくFTAとSpec Patternsによるモデル検査式の導出 ○加藤淳 (慶應義塾大学) 松本充広 (有人宇宙システム) 春山真一郎 (慶應義塾大学) 12:00 - 13:15 休憩 13:15 - 14:00 (3) エンドユーザがプログラム可能なWikiエンジン ○横山哲郎 (南山大学) 14:00 - 14:45 (4) DJS: A distributed object library for Server-WebBrowser communication ○Eki Ko (東京大学) Koichi Sasada (東京大学) 14:45 - 14:55 休憩 14:55 - 15:40 (5) 日本語プログラミングによるプログラムの可読性の評価 ○馬場祐人 (早稲田大学) 筧捷彦 (早稲田大学) 15:40 - 16:25 (6) Ruby オブジェクトの効率的なプロセス間転送・共有機構の設計と実装 ○中川博貴 (東京大学) 笹田耕一 (東京大学) 16:25 - 16:40 CS領域奨励賞授与式および拡大運営委員会 18:20 - 20:50 懇親会 2012/03/16 (金) 10:30 - 11:15 (7) May&Must-Equivalence of Shared Variable Parallel Programs in Game Semantics ○渡辺敬介 (京都大学) 西村進 (京都大学) 11:15 - 12:00 (8) 部分冗長除去に基づく実践的な大域命令スケジューリング ○及川亮太郎 (東京理科大学) 滝本宗宏 (東京理科大学) 12:00 - 13:15 休憩 13:15 - 14:00 (9) 定理証明支援系Coqへの対話的修正機構の導入 ○森口草介 (東京工業大学) 渡部卓雄 (東京工業大学) 14:00 - 14:45 (10) 限定継続命令shift/reset付きλ計算の評価器の抽出 ○廣田知子 (お茶の水女子大学) 浅井健一 (お茶の水女子大学) 14:45 - 14:55 休憩 14:55 - 15:40 (11) UNICOEN: 複数プログラミング言語対応のソースコード処理フレームワーク ○坂本一憲 (早稲田大学) 大橋昭 (早稲田大学) 太田大地 (ACCESS) 鷲崎弘宜 (早稲田大学) 深澤良彰 (早稲田大学) 15:40 - 16:25 (12) Join Token --- ゲームオブジェクトのイベント処理のための記述機構 ○西森丈俊 (筑波大学) 久野靖 (筑波大学)

1 0

CFP: HOR 2012
by Makoto Hamana 01 Mar '12

01 Mar '12

皆様、高階書換え系のワークショップ HOR'12 のご案内です。 6月のRTA'12に併設開催予定で、今年で6回目となります。バリバリの書換え研究から、証明支援系やプログラミング言語への応用まで、高階書換えに関係する論文を広く募集いたします。今年はさらにすでに発表された論文の発表枠も設け、盛上げたく思っておりますので、ぜひ投稿をご検討ください。なおポストプロシーディングスは、EPTCSから出版予定です。 -- 浜名誠/群馬大学 ===================================================================== Call for papers 6th International Workshop on Higher-Order Rewriting HOR 2012 June 2, 2012, Nagoya, Japan Colocated with RTA'12 http://www.cs.gunma-u.ac.jp/events/hor/ ====================================================================== HOR is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting. The following is a non-exhaustive list of topics for the workshop: * Applications: proof checking, type checking, theorem proving, functional programming, declarative programming, program transformation, using some notions of higher-order rewriting. * Foundations: pattern matching, unification, strategies, termination, syntactic properties, type theory, for higher-order rewriting. * Frameworks: graph rewriting, net rewriting, comparisons of different formats. * Implementation: explicit substitution, rewriting tools, compilation techniques. * Semantics: semantics of higher-order rewriting, higher-order abstract syntax, categorical rewriting. Important dates --------------- Paper submission: March 19, 2012 Notification: April 20, 2012 Final version: May 10, 2012 Workshop: June 2, 2012 Submissions ----------- Two categories of papers are solicited: - Category A: Extended abstracts of new results, describing work in progress, or problems in higher-order rewriting. - Category B: Short versions of recently published or submitted elsewhere articles on higher-order rewriting. Papers in this category are for presentation only, and not considered as candidates for the post-workshop proceedings. Papers in both categories should be between 2 and 5 pages, and should note the category (either A or B). Papers are formatted according to EPTCS style, and submitted electronically via the EasyChair submission website. Papers will be judged on relevance, originality, correctness and usefulness. Please address your questions to the PC chair: hamana at cs.gunma-u.ac.jp. Proceedings ----------- The proceedings of HOR 2012 will be made available on the HOR 2012 web page, and a printed version will be distributed at the workshop. Post-workshop proceedings of extended abstracts of selected contributions is planned to be published as a volume of EPTCS. Program Committee ------------------- Andreas Abel (Ludwig-Maximilians-University Munich, Germany) Frederic Blanqui (INRIA, France) Makoto Hamana (Gunma University, Japan) (chair) Stefan Kahrs (University of Kent, UK) Fer-Jan de Vries (University of Leicester, UK) Program and Organizing Chair ---------------------------- Makoto Hamana (Gunma University, Japan)

1 0

2012LLS
by Toshihiko Kurata 29 Feb '12

29 Feb '12

kisoron-ml，logic-mlの皆様，以前ご案内させて頂きました「ラムダと論理の研究会」ですが，セミナーハウスでの宿泊について学生部屋に限りまだ余裕があるとのことです．折角の機会ですので，再度ご案内させて頂きます．関心のあります学生さんは倉田（法政大学，kurata(a)hosei.ac.jp) まで遠慮なく御問合わせ下さい．なお，セミナー自体の参加希望は直前まで可能です．詳細情報は http://www.i.hosei.ac.jp/~kurata/2012LLS/ にありますので，よろしくお願いいたします． ---- Toshihiko Kurata, Hosei University e-mail kurata(a)hosei.ac.jp

1 0

JAIST Advanced Lecture Series (6)
by Hiroakira Ono 28 Feb '12

28 Feb '12

　　　JAIST先端レクチャー・シリーズ（第6回）の開催について　来る3月13日（火）に，下記の講演会を開催します。ホットなトピックスについての分かりやすい講演ですので，多数の皆様（特に学生の方）に参加いただきたく，ご案内申し上げます。　　　　　　　　　　　　　　　記　１．日　　時　平成24年3月13日（火）15:00〜17:00 　２．場　　所　JAIST　知識科学研究科　中講義室　３．講演題目　“Ontology-Based Data Access and Constraint 　　　　　　　　　Satisfaction” http://www.jaist.ac.jp/rcis/seminar/advanced/6 　４．講演者　Frank Wolter 客員教授　　　　　　　（リヴァプール大学　教授）　５．担当教員　小野寛晰 JAIST 先端融合領域研究院: http://www.jaist.ac.jp/rcis/l ogic-activities ------------------------------------------------------------------------- We would like to inform you of the JAIST Advanced Lecture Series 6 by a guest professor of JAIST as follows. DATE：March 13, 2012 15:00-17:00 PLACE：JAIST KS Lecture Hall TITLE：“Ontology-Based Data Access and Constraint Satisfaction” SPEAKER：Prof. Frank Wolter (Univ. of Liverpool, Guest Professor of JAIST) ABSTRACT： In recent years, the use of ontologies to access instance data has become increasingly popular. The general idea is that an ontology provides a vocabulary or conceptual model for the application domain, which can then be used as an interface for querying instance data and to derive additional facts. In this presentation, I will first introduce ontology-based data access (OBDA). I will focus on ontologies given in description logics or, equivalently, the web ontology language OWL. I will then establish a very close link between OBDA and constraint satisfaction problems with finite templates (CSP). Rather surprisingly, for the basic description logic ALC (=modal logic) OBDA and CSP turn out to be essentially equivalent. This result has a large number of consequences for ALC and OBDA in general. I will focus on the following non-uniform complexity problem: what is the complexity of query answering for a fixed ontology? I will present general conditions under which this problem is in PTime and, respectively, coNP-hard. Using the CSP connection is shown that for ALC there is a P/coNP dichotomy for conjunctive query answering if, and only if, the famous, and still open, Feder/Vardi dichotomy conjecture for CSP holds. The talk is based on joint work with Carsten Lutz.

1 0

The second「論数哲」(PhilLogMath) workshop
by Shunsuke Yatabe 21 Feb '12

21 Feb '12

The second「論数哲」"Ron-Suu-Tetsu" (PhilLogMath) workshop We will hold the 2nd 「論数哲」(PhilLogMath) workshop. Our aim is to provide opportunities of detailed discussions among philosophers, logicians and mathematicians. Everyone is welcome. website url: http://researchmap.jp/jovzjd6b4-21098/#_21098 Date : March 14 (Wed) Place: Seiryo Kaikan (Nagata-cho, Tokyo) Room 4A and 4B (floor 4) http://metropolis.co.jp/listings/venues/type/stage-venue/seiryo-kaikan/ Time table 9:00-10:30 Takuro Onishi (Kyoto University) "BHK-interpretation and Bilateralism" 10:30-12:00 Katsuhiko Sano (JAIST) "An `Impossibility' Theorem in Radical Inquisitive Semantics" 13:30-15:00 Masahiko Sato (Kyoto University) "Bootstrapping Mathematics" 15:15-16:45 Richard Dietz (The University of Tokyo) "Comparative Concepts" 17:00-18:30 Conrad Asmus (JAIST) " Vagueness and Revision Sequences" Any slot consists of 60 minutes talk and 30 minutes discussion basically. All talks are in English. Abstracts: * Takuro Onishi "BHK-interpretation and Bilateralism" In this talk, H.Wansing's inferentialist semantics for Bi-intuitionist logic is examined.Bi-intuitionist Logic (a.k.a. Heyting-Brouwer logic) is an extension of Intuitionist Logic with a connective dual to implication. It is sort of an amalgamation of intuitionist and dual-intuitionist logic. Accordingly, BHK-like, inferentialist, or proof-theoretic semantics for the logic would be a bilateralist one appealing to not only "proof" but also"dual proof (disproof)" as primitive notions. In his "Proofs,disproofs and their duals" (2010),Wansing gives a correctness (soundness) proof of a display system for bi-intuitionist logic in terms of the bilateralist semantics. I point out that his proof involves controversial assumptions concerning the relation between proofs and dual proofs and present an alternative view on how they get together. (Although Wansing discuss a BHK-like interpretation for strong negation and its dual as well, I will concentrate on logics without them in this talk.) *Katsuhiko Sano "An `Impossibility' Theorem in Radical Inquisitive Semantics" An aim of this talk is to show that it is impossible to provide a `natural' Kripke semantics with radical inquisitive semantics, recently proposed by Jeroen Groenendijk and Floris Roelofsen. Inquisitive semantics is a new formal framework for the semantics of both declarative and interrogative sentences. One of the main features of this semantics is that we assume there is no type distinction between the declarative and the interrogative, but we provide both classical and inquisitive meanings with each sentence. For example, the declarative sentence `Taro will drink tea or coffee.' proposes two alternatives `Taro will drink tea' and `Taro will drink coffee'. Inquisitive meaning captures such information of the alternatives. In conservative (non-radical) inquisitive semantics (Groenendijk and Roelofsen 2009), intuitionistic Kripke semantics captures how our group knowledge increases though a conversation, and also allows us to derive the inquisitive meaning of a sentence from the classical meaning. In the example above, we could give a reply `Taro won't drink tea or coffee' to the speaker. In conservative inquisitive semantics, however, we cannot cover such a negative reaction. Radical inquisitive semantics is an extension of conservative one such that we can provide with each sentence the positive and negative inquisitive meanings as well as the classical meaning. My contribution of this talk is to establish that *any* `natural' Kripke semantics fails to capture a link between the classical meaning and the negative inquisitive meaning. *Masahiko Sato "Bootstrapping Mathematics" It is well-known that any formal mathematical system can be faithfully encoded within PRA (Primitive Recursive Arithmetic). It is also commonly accepted that any well-established part of mathematics can be presented as a formal system. Thus, it seems that we can bootstrap mathematics, within a computer, simply by implementing PRA in it. However, we will show that this view is too naiive both from computer science point of view and from foundational point of view. We also discuss an alternative approach to this problem by giving an overview of a proof assistant system we are developing. *Richard Dietz "Comparative Concepts" Comparative concepts (such as ‘greener than’ or ‘higher than’)are fundamental to our grasp of associated categorical concepts (‘green’, ‘high’, respectively). Some comparative concepts seem natural, whereas other ones seem rather gerrymandered---e.g., compare ‘x is greener than y’ and ‘x and y are such that either (i) x and y are inspected before midday and x is greener than y, or (ii) x and y are inspected after midday and x is bluer than y’. What kind of cognitive structures under your ability to order objects? And why do we order objects the way we do,and not in other ways? The aim of this talk is to outline an account of comparative concepts within a conceptual spaces framework. The account bears for one on the account of naturalness for comparative concepts.For another, it bears on the theory of gradable concepts, i.e., the type of categorical concepts expressed by gradable terms in natural language.The approach is novel in that it carries some basic assumptions from Peter Gärdenfors' conceptual spaces account of categorical concepts over to comparative concepts (in his monograph ‘Conceptual Spaces’ [2000]).The offered approach is more general both (i) in that it supplies a framework for motivating various types of categorisation rules for gradable concepts, and (ii) in that it gives a model that subsumes ungraded categorisation as a limiting case. *Conrad Asmus "Vagueness and Revision Sequences" Theories of truth and vagueness are closely connected; in this article, I draw another connection between these areas of research. Gupta and Belnap’s Revision Theory of Truth is converted into an approach to vagueness. I show how revision sequences from a general theory of definitions can be used to understand the nature of vague predicates. The revision sequences show how the meaning of vague predicates are interconnected with each other. The approach is contrasted with the similar supervaluationist approach. *Workshop organizer (please replace [at] to @): Yuko Murakami Shunsuke Yatabe ( shunsuke.yatabe[at]aist.go.jp ) Takuro Onishi ( takuro.onishi[at]gmail.com ) -- Shunsuke Yatabe <shunsuke.yatabe(a)aist.go.jp> AIST/CVS (National Institute of Advanced Industrial Science and Technology / Research Center for Verification and Semantics) tel: +81-6-4863-5031 fax: +81-6-4863-5052

1 0

PPL2012 プログラム決定＆参加案内
by Koji Nakazawa 19 Feb '12

19 Feb '12

（重複の場合はご容赦ください．）京都大学の中澤です． 3月に和歌山県白浜温泉で開催される　第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012) につきまして，プログラムが決定いたしましたのでお知らせします．参加登録の締切り（2月24日）が近づいております．　参加登録要領 http://ppl2012.cs.uec.ac.jp/registration.html をご参照の上，日本旅行の専用ページからご登録ください．皆様のご参加をお待ちしております．最新情報は引き続き下記webページにてお知らせします． -------------------------------------------------------------------------- 第14回プログラミングおよびプログラミング言語ワークショップ（PPL2012） http://ppl2012.cs.uec.ac.jp/ 主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2012年3月8日(木)〜3月10日(土) 会場: 和歌山県西牟婁郡白浜温泉むさし http://www.yado-musashi.co.jp/ PPL2012は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表が以下のカテゴリ別に行なわれます．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表 −−−−−−−−−− 3月8日(木) −−−−−−−−−− 14:15--14:20 オープニング 14:20--15:20 セッション1 (C1) Query-based RDF-object mapping with graph pattern matching Shunichi Amano, Futoshi Iwama, Hideki Tai, Hisashi Miyashita (IBM Research) (C1) XQueryプログラムに対するMacro Forest Transducersを用いた型検査機構白田靜哉(1), 中野圭介(2), 岩崎英哉(1) ((1)電気通信大学大学院情報理工学研究科, (2)電気通信大学先端領域研究センター) 15:40--16:40 セッション2 (招待講演) プログラム意味論・テンソル圏・量子トポロジー長谷川真人 (京都大学) 17:00--18:30 セッション3 (C2) A Modified GoI Interpretation for a Linear Functional Programming Language and its Adequacy 出典: 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011), LNCS6604, pp.320--334, 2011. Naohiko Hoshino (Research Institute for Mathematical Sciences, Kyoto University) (C2) Constructing Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell 出典: 11th International Symposium on Functional and Logic Programming (FLOPS 2012), to appear. Makoto Hamana (Department of Computer Science, Gunma University) (C1) 顕在的契約計算におけるアップキャスト除去関山太朗, 五十嵐淳 (京都大学大学院情報学研究科) 20:00--22:00 セッション4 (ポスター・デモ1) A Higher-order Distributed Calculus with Name Creation (ポスター) Adrien Pi\'{e}rard, Eijiro Sumii (Tohoku University) 対応表明つきプロトコル記述からSpiCAへの変換と真正性検証 (ポスター・デモ) 佐藤悠史, 住井英二郎 (東北大学) HTML5構文解析のプッシュダウンオートマトンを用いた検証 (ポスター) 森俊介, 南出靖彦 (筑波大学) 抽象DPLLのIsabelle/HOLによる形式化と検証 (ポスター) 武井裕也 (筑波大学) 文字列解析によるクロスサイトスクリプティング脆弱性検査の改良 (ポスター) 木村将人, 南出靖彦 (筑波大学) A Practical Generate-Test-and-Aggregate Framework on Hadoop (ポスター) 劉雨(1), 江本健斗(2), 胡振江(3) ((1)総合研究大学院大学, (2)東京大学, (3)国立情報学研究所) メタラムダ計算の定式化 (ポスター) 岩井亜里紗, 浅井健一 (お茶の水女子大学) 高階依存型理論を用いた自然言語の意味論構築に向けて (ポスター) 中野悠紀, 戸次大介 (お茶の水女子大学) 対称ラムダ計算の定式化 (ポスター) 新井祐美, 浅井健一 (お茶の水女子大学) js_of_ocamlによるMikiβの実装に向けて (ポスター・デモ) 中野祥, 浅井健一 (お茶の水女子大学) 豊穣圏によるメタラムダ計算の意味論 (ポスター) 増子萌, 戸次大介 (お茶の水女子大学) LMNtal コンパイラにおけるアトム再利用最適化の再設計と実装 (ポスター) 信夫裕貴, 上田和紀 (早稲田大学) ハイブリッドシステムモデリング言語HydLaにおける統合開発環境HIDEの構築 (ポスター・デモ) 櫻庭翔, 上田和紀 (早稲田大学) LMNtal処理系における自由リンク確認機能の実現手法 (ポスター) 谷口直輝, 目黒学, 上田和紀 (早稲田大学) ハイブリッド制約言語HydLaへの入出力機能の導入とその応用例 (ポスター・デモ) 和田亮, 竹口輝, 上田和紀 (早稲田大学) JavaScriptアプリケーションの対話的実行時開発環境 (ポスター) 吉永卓矢, 脇田建 (東京工業大学) 遅延スイープ法における局所性の改善 (ポスター) 金野千顕, 小宮常康 (電気通信大学) イベント駆動型プログラミングのためのストリームを導入したJavaScript拡張言語の設計 (ポスター) 雪本修一, 小宮常康 (電気通信大学) 例外処理を用いた継続導入におけるオーバーヘッドの軽減 (ポスター) 片桐国建, 小宮常康 (電気通信大学) 部分コンパクションの実行頻度と Evacuation Area 選択法の改良 (ポスター) 加藤瞬, 鵜川始陽, 岩崎英哉 (電気通信大学) サーバサイドJavaScript処理系の開発について (ポスター・デモ) 高田祥, 鵜川始陽, 中野圭介, 岩崎英哉 (電気通信大学) FMMへの木スケルトンの適用 (ポスター) 佐藤重幸, 岩崎英哉 (電気通信大学) X-PCF --- {0,1,⊥}-無限列を表現とした実数上の形式計算体系 (ポスター) 寺山慧, 立木秀樹 (京都大学) ジョブ並列スクリプト言語Xcryptの他言語対応に向けて (ポスター・デモ) 上野優, 平石拓, 岩下武史, 中島浩 (京都大学) Azucar: コンパクト順序符号化を用いたSAT型制約ソルバー (デモ) 丹生智也, 田村直之, 番原睦則 (神戸大学) 相互再帰的なクラス定義の型推論に関する一考察 (ポスター) 樗木辰哉, 廣瀬貴裕, 木山真人, 芦原評 (熊本大学) −−−−−−−−−− 3月9日(金) −−−−−−−−−− 9:00--10:00 セッション5 (招待講演) 大脳皮質の計算論細谷晴夫 (理化学研究所脳科学総合研究センター，科学技術振興機構さきがけ) 10:20--11:50 セッション6 (C2) Extractability as Deduction Theorem in Subdirectional Combinatory Logic 出典: 8th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS8), pp.80-93, 2011. Hiroko Ozaki, Daisuke Bekki (Ochanomizu University) (C1) Illative Combinatory Logic を用いた前提の定式化に向けて石下裕里, 戸次大介 (お茶の水女子大学大学院人間文化創成科学研究科) (C1) 一階述語条件論理とそのタブローシステム尾崎有梨, 戸次大介 (お茶の水女子大学) 13:30--14:30 セッション7 (C2) Predicate abstraction and CEGAR for higher-order model checking 出典: 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2011), pp.222-233, 2011. Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno (Tohoku University) (C2) Programming with Infinitesimals: A WHILE-Language for Hybrid System Modeling 出典: 38th International Colloquium on Automata, languages and Programming (ICALP 2011), Volume Part II, pp. 392--403, 2011. Kohei Suenaga(1), Ichiro Hasuo(2) ((1)JSPS Research Fellow, Kyoto University, (2)University of Tokyo) 14:50--16:20 セッション8 (C2) Generate, Test, and Aggregate --- A Calculation-based Framework for Systematic Parallel Programming with MapReduce 出典: 22nd European Symposium on Programming (ESOP 2012), to appear. Kento Emoto(1), Sebastian Ficsher(2), Zhenjiang Hu(2) ((1)University of Tokyo, (2)National Institute of Informatics) (C1) 並列木縮約による並列データフロー解析森畑明昌 (東北大学電気通信研究所) (C1) Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出姜帆(1,2), 田辺良則(2), 本位田真一(1,2) ((1)東京大学大学院情報理工学系研究科, (2)国立情報学研究所) 16:40-18:10 セッション9 (C1) コードシェーカ: コード配置効果を考慮した適正な性能評価システム松田友希(1), 八杉昌宏(1), 鵜川始陽(2) ((1)京都大学大学院情報学研究科, (2)電気通信大学情報理工学研究科) (C2) Do We Really Need to Extend Syntax for Advanced Modularity? 出典: Modularity Visions track, 11th International Conference on Aspect-Oriented Software Development (AOSD 12), to appear. Shigeru Chiba, Michihiro Horie, Kei Kanazawa, Fuminobu Takeyama, Yuuki Teramoto (Tokyo Institute of Technology) (C1) コンパイラの型推論を利用した型デバッグ手法の提案対馬かなえ, 浅井健一 (お茶の水女子大学) 20:00--22:00 セッション10 (ポスター・デモ2) 型付き関数型言語からシェルスクリプトへの外部関数インタフェース (ポスター・デモ) 菊池大志, 上野雄大, 森畑明昌, 大堀淳 (東北大学) 定理証明系Coqを用いたSibling Propertyとハフマン木との同値性の形式的証明 (ポスター) 須田啓司, 山本光晴 (千葉大学) Standard ML用エラー回復機能を持つ変数名補完の実装 (ポスター・デモ) 諏訪覚, 篠埜功 (芝浦工業大学) 仮想的なタグを用いた共用体入りプログラムの事前条件推定 (ポスター) 今井健男(1,2), 酒井政裕(1), 遠藤侑介(1), 萩谷昌己(2) ((1)東芝, (2)東京大学) プログラミング言語Egison (ポスター・デモ) 江木聡志 (東京大学) Coqによる関係データベースの形式化とHaskellへのプログラム抽出の可能性 (デモ) 中村宇佑 (東京大学) 3次元量子エンタングルメントのグラフによる分類 (ポスター) 本多健太郎 (東京大学) コード推薦システムの既存プログラムを用いた最適化 (ポスター) 村上直也, 増原英彦 (東京大学) GPU向けプログラムをRubyで記述できる言語処理系Ikra (ポスター・デモ) 西口裕介, 増原英彦 (東京大学) Webアプリケーション開発のための分散JavaScriptとそのアプリケーション (デモ) 加藤真人 (東京工業大学) 同期可能なコピー＆ペーストによるコード再利用のためのモジュール化 (ポスター) 寺本裕基, 武山文信, 千葉滋 (東京工業大学) モジュール機構Simplified Method Sheltersの提案とその効率の良い実装方法 (ポスター) 竹下若菜, 千葉滋 (東京工業大学) 同期を考慮したメソッドの自動的配置が可能な言語とそのHPCへの応用 (ポスター) 宗桜子, 千葉滋 (東京工業大学) ブロック単位のコードの再利用を可能とするメソッド内メソッド (ポスター) 平松俊樹 (東京工業大学) HPC向け実行時言語変換器WootinJの実装と可能性 (ポスター) 穂積俊平, 伊尾木将之, 千葉滋 (東京工業大学) ユーザ定義N項演算子により内部DSLを実現する言語ProteaJ (ポスター) 市川和央, 千葉滋 (東京工業大学) 家族継承の機能指向プログラミングへの導入 (ポスター) 武山文信, 千葉滋 (東京工業大学) Integrating events with methods by a single language construct (ポスター) YungYu Zhuan, Shigeru Chiba (Tokyo Institute of Technology) 述語論理計算を実現するデータフロー・ネットワーク (ポスター) 鈴木秀明(1), 吉田幹(2), 澤井秀文(1) ((1)（独）情報通信研究機構, (2)株式会社ビービーアール) KonohaScriptからJavaScriptへのソースコード変換機の設計 (ポスター) 志田駿介, 井出真広, 倉光君郎 (横浜国立大学) KonohaScriptを用いたJavaアプリケーションの実行時動作変更 (ポスター) 若松悠樹, 井出真広, 倉光君郎 (横浜国立大学) JSON形式を用いた大規模ライブラリのFFI作成フレームワークの提案 (ポスター) 小野田武朗, 五嶋壮晃, 倉光君郎 (横浜国立大学) D-Script フレームワーク：分散システムを統一的に管理，運用するためのフレームワーク (ポスター・デモ) 中田晋平(1), 菅谷みどり(1,2), 倉光君郎(1,2) ((1)横浜国立大学, (2)JST/CREST) Coqによる集合論と数学の実装 (ポスター・デモ) 佐藤雅大 (名古屋大学) エフェクトシステムの述語意味論 (ポスター) 勝股審也 (京都大学) Type-Based Safe Resource Deallocation for Shared-Memory Concurrency (ポスター) Ryota Fukuda, Kohei Suenaga, Atsushi Igarashi (Kyoto University) −−−−−−−−−− 3月10日(土) −−−−−−−−−− 9:00--10:00 セッション11 (C1) 永続性にもとづく項書き換えシステムの合流性証明鈴木翼, 青戸等人, 外山芳人 (東北大学電気通信研究所) (C1) 片側減少ダイアグラム法による項書き換えシステムの可換性証明法的場正樹, 青戸等人, 外山芳人 (東北大学電気通信研究所) 10:20--11:20 セッション12 (C2) Functional Programs as Compressed Data 出典: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp.121--130, 2012. Naoki Kobayashi, Kazutaka Matsuda, Ayumi Shinohara (Tohoku University) (C2) Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals 出典: ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation (PEPM 2012), pp.5--14, 2012. Kazutaka Matsuda(1), Kazuhiro Inaba(2), Keisuke Nakano(3) ((1)Tohoku University, (2)National Institute of Infomatics, (3)The University of Electro-Communications (The second author has moved to Google)) 11:20--12:00 クロージング

1 0

「論理・数学的論証と認知のダイナミクス」国際研究会（２月２５日慶応大三田キャンパス）のご案内
by Mitsu Okada 19 Feb '12

19 Feb '12

------------------------------------------------------------------------- 「論理・数学的論証と認知のダイナミクス」研究集会のご案内（２月２５日土曜日） ("Logical-Mathematical Proofs and Cognition" Meeting, 25th feb 2012) 慶應義塾大学三田キャンパス　Mita Campus, Keio University ************************************************************************** ２月２３日２４日の学際オントロジー国際集会の後の２月２５日に次のような会合を予定しています。参加自由です.　（topics: 論証のSurveyability, 幾何学的認知プロセスのｆMRI脳研究、図形推論の証明論、プラトン・テアイテトスとlogic of relativism） Up-dated information は次のURLに掲示いたします。 http://abelard.flet.keio.ac.jp/dolc12/ （重複して受け取られた方にお詫び申し上げます。慶応大哲学岡田光弘） PLACE ROOM 323 (2nd Floor) of the Graduate School Building, Mita Campus of Keio University (5 minutes walk from JR-Tamachi Station or Subway-Mita Station or Subway-Akabanebashi Station) 場所慶應義塾大学三田キャンパス　「大学院棟」２階３２３番教室 JR田町駅、地下鉄三田駅、地下鉄赤羽橋駅から徒歩約５分キャンパスマップ（Campus Map） http://www.keio.ac.jp/en/maps/mita.html ２３−２４日オントロジー会議と２５日論理学研究会の会場建物が異なりますのでご注意ください。 (Associated to the Interdisciplinary Ontology Meeting (23rd-34th Feb), an international Logic Meeting on demontrations/proofs (logical and mathematical) and cognition is scheduled, including the topics of surveyability of proofs, fMRI-brain study on geometrical processing、the logic of relativism and Theaetetus, diagrammatic proofs). また、２月２３日２４日に（分析形而上学、医学生命情報学、AI,　情報科学を含む）学際オントロジー会議を予定しています。（学際オントロジー会議のURL：、For the 23rd-24th Interdisciplinary Ontology, see http://abelard.flet.keio.ac.jp/ontology/index.php?InterOntology12）２０１２年２月２５日土曜日午前１０時から午後５時まで慶應義塾大学第３校舎（大学院棟）３階３２３番教室慶應義塾大学論理学とフォーマルオントロジーオープンリサーチセンター論理学部門主催 *****論理:数学的論証と認知のダイナミズム******* 数学の哲学、分析哲学、実験哲学、現象学、認知心理学、分析形而上学系、数学基礎論系を含むDiscussants,Main participantsをゲストにお招きしてインフォーマルな形で提題講演及びディスカッションを行います。提題者、参加者は次の方たちを含みます。 Berit Brogaard (Departments of Philosophy and Psychology, Center for Neurodynamics, University of Missouri, USA, Phenomenplogy, Cogmitive Science,) Mathieu Marion (Department of Philosophy, Universite de Quebec a Montreal, Logical Philosophy) Maureen Donnelly (Department of Philosophy, The University at Buffalo, Analytic metaphysics, Logic) Mark Ressler (Department of Philosophy, The University at Buffalo, Analytic metaphysics, Logic, others) Sam Sanders (currently visiting Department of Mathematics, Tohoku university, Foundations of mathematics, Non-standard analysis, etc) Hiroyuki Miyoshi (Department of Computer science, Kyoto Sangyo University, Informatics, Logic) and others Discussion-Coordinator　岡田光弘　（Mitsu Okada) 10:00AM 　Mathieu Marion （department of Philosophy, Universite de Quebec a Montreal, Canada) による提題、Surverability of mathematical proofs in Wittgenstein,） 12;30 PM-14:00PM Meeting Lunch 14:00PM Mark Ressler (Department of Philosophy, University of buffalo, USA) 　Logic of relativism １5:30PM Berit Brogaard (Berit Brogaard (Departments of Philosophy and Psychology, Center for Neurodynamics, University of Missouri, USA) Seeing mathematics: perceptual experience and brain activity in acquired synesthesia --------------------------------------------------------------------- ２月２５日のこの研究会の Up-dated information は次のURLに掲示しています。 http://abelard.flet.keio.ac.jp/dolc12/ 主催：　Open Research Centre for Logic and Formal Ontology, Keio University 責任者　岡田光弘 ------------------------------------------------------------------------- また２３日２４日のオントロジー学際会議のupdated情報はhttp://abelard.flet.keio.ac.jp/ontology/index.php?InterOntology12にあります。 ---------------------------------------------------------------------

1 0

Call for Papers: ICE 2012, Interaction and Concurrency Experiences
by Ichiro Hasuo 19 Feb '12

19 Feb '12

みなさま，東京大学の蓮尾です．ワークショップ ICE 2012 のご案内です．若手が集まってやっている印象です．また，査読の過程で「Wiki による，PC，査読者，筆者による議論」があります．どうか投稿・参加をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ------------------------------------------------------------------------------------- [- Apologies for multiple copies -] ICE 2012 5th Interaction and Concurrency Experience June 16, 2012, Stockholm, Sweden http://www.artist-embedded.org/artist/-ICE-2012-.html Satellite workshop of DisCoTec 2012 http://discotec.ict.kth.se/ === Highlights === - Invited talks: Marcello Bonsangue Ichiro Hasuo - Innovative selection procedure - Special issue of Scientific Annals of Computer Science (http://www.info.uaic.ro/bin/Annals/) === Important Dates === 30 March 2012................Abstract submission 04 April 2012................Full paper submission 18 April - 12 May 2012.......Reviews, rebuttal and PC discussion 16 May 2012..................Notification to authors 30 May 2012..................Camera-ready for pre-proceedings 16 June 2012.................ICE in Stockholm 15 Sept 2012.................Camera-ready for post-proceedings === Scope === Interaction and Concurrency Experiences (ICEs) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools and programming primitives for complex interactions. The general scope of the venue includes theoretical and applied aspects of interactions and the synchronization mechanisms used among components of concurrent/distributed systems, but every experience focuses on a different specific topic (see "Previous Editions" at the end of this call) related to several areas of computer science in the broad spectrum ranging from formal specification and analysis to studies inspired by emerging computational models. The theme of ICE 2012 is ***Distributed coordination, execution models, and resilient interaction***. Topics of interest include, but are not limited to: - Process algebra and coordination: transformation, analysis and implementation - Models for distributed coordination and semantics - Techniques and tools for specification, analysis, verification of resilient interaction - Languages, protocols and mechanisms for sound distributed coordination - Logics and types for interactions - Comparison among different coordination and/or execution models - Expressive power of coordination languages and execution models - Formal semantics of coordination languages - Formal verification of distributed coordinated architectures - Relating different semantic models for coordination languages === Selection Procedure === Since its 1st edition in 2008, the distinguishing feature of ICE has been an innovative paper selection mechanism based on an interactive discussion amongst authors and PC members. During the review phase, each submitted paper is published on a Wiki and associated with a discussion forum whose access will be restricted to the authors and all the PC members who do not have a conflict of interests with the paper. The PC members post comments/questions that the authors shall reply to. As witnessed by the past four editions of ICE, this procedure considerably improves the accuracy of the feedback from reviews, the fairness of the selection, the quality of camera-ready papers, and the discussion during the workshop. === The Public Wiki === After the notification, the accepted papers will be published on a public forum, in order to initiate public discussions that will trigger and stimulate the scientific debate at the workshop. We believe that this will drive the workshop discussions and let prospective participants interact with each other much earlier than in more traditional events. === Submission Guidelines === Papers must report previously unpublished work and not be simultaneously submitted to other conferences/workshops with refereed proceedings. The ICE 2012 post-proceedings will be published in Electronic Proceedings in Theoretical Computer Science (http://eptcs.org/). Submissions must be made electronically in PDF format via EasyChair (http://www.easychair.org/conferences/?conf=ice2012) and should not exceed 15 pages with the EPTCS style (http://style.eptcs.org/). Accepted papers must be presented at the workshop by one of the authors. === Special Issue === Full versions of the best papers selected by the PC will be invited to appear in a special issue of the journal of Scientific Annals of Computer Science (http://www.info.uaic.ro/bin/Annals/). Such contributions will be regularly peer-reviewed according to the standard journal policy, but they will be handled in a shorter time than regular submissions. === Program Committee === Lucia Acciai (University of Firenze, Italy) Luca Aceto (Reykjavik University, Iceland) Massimo Bartoletti (University of Cagliari, Italy) Simon Bliudze (EPFL, Switzerland) Laura Bocchi (University of Leicester, United Kingdom) Filippo Bonchi (CNRS, France) Roberto Bruni (University of Pisa, Italy) Marco Carbone (co-chair) Vincenzo Ciancia (University of Amsterdam, The Netherlands) Pierre-Malo Denielou (Imperial College, United Kingdom) Cinzia Di Giusto (CEA, France) Tobias Heindel (CEA, France) Tom Hirschowitz (CNRS, France) Bartek Klin (Warsaw University, Poland) Ivan Lanese (University of Bologna/INRIA, Italy) Alberto Lluch Lafuente (IMT Lucca, Italy) Bas Luttik (Technische Universiteit Eindhoven, The Netherlands) Manuel Mazzara (Newcastle University, United Kingdom) Mohammadreza Mousavi (Technische Universiteit Eindhoven, The Netherlands) Damien Pous (CNRS, France) Jens-Wolfhard Schicke-Uffmann (TU Braunschweig, Germany ) Alexandra Silva (co-chair) Ana Sokolova (University of Salzburg, Austria) Francesco Tiezzi (IMT Lucca, Italy) Emilio Tuosto (University of Leicester, United Kingdom) Erik de Vink (Technische Universiteit Eindhoven, The Netherlands) === ICEcreamers === - Marco Carbone (IT University of Copenhagen, Denmark; co-chair) - Ivan Lanese (University of Bologna/INRIA, Italy) - Alexandra Silva (Radboud University Nijmegen & CWI, The Netherlands; HasLab / INESC TEC, Portugal; co-chair) - Ana Sokolova (University of Salzburg, Austria) === Contact === ice2012(a)easychair.org === Previous editions === The previous four editions of ICE have been held on * July 6th, 2008 in Reykjavik, Iceland with focus on Synchronous and Asynchronous Interactions in Concurrent/ Distributed Systems, co-located with ICALP'08. The post-proceedings were published in ENTCS (vol.229-3). * August 31st, 2009 in Bologna, Italy with focus on Structured Interactions, co-located with CONCUR'09. The post-proceedings were published in EPTCS (vol.12) and a special issue of MSCS is in preparation. * June 10th, 2010 in Amsterdam, The Netherlands with focus on Guaranteed Interactions, co-located with DisCoTec'10. The post-proceedings were published in EPTCS (vol.38) and selected papers appeared in a joint special issue of SACS (with CAMPUS'10 and CS2BIO'10, Vol. XXI). * June 9th, 2011 in Reykjavik, Iceland with focus on Reliable and Contract-based Interactions, co-located with DisCoTec'11. The post-proceedings were published in EPTCS (vol.59) and a special issue of SACS is now in preparation.

1 0

佐藤雅彦先生最終講義の御案内
by Koji Nakazawa 16 Feb '12

16 Feb '12

logic-mlのみなさま，（重複の場合はご容赦ください）京都大学の中澤です．この3月をもって定年を迎えられる佐藤雅彦先生の最終講義が下記のとおり行なわれますので，この場をお借りしまして，お知らせいたします．最終講義および懇親会に関するお問合せ，登録のお申込は final-lec(a)sato.kuis.kyoto-u.ac.jp までお願いいたします． ---------------------------------------------------------------------- 各位小林茂夫教授・佐藤雅彦教授・後藤修教授最終講義および懇親会のご案内拝啓時下ますますご健勝のこととお喜び申し上げます。さてこの度、知能情報学専攻小林茂夫教授，佐藤雅彦教授，後藤修教授におかれましては、本年３月 31日をもって定年を迎えられ京都大学を退職されることとなりました。つきましては、三教授による最終講義および懇親会が行われますので、下記の通りご案内申し上げます。敬具記 1. 最終講義日時: 平成 24 年 3 月 16 日 (金) 午後 13:00 〜 18:00 会場: 京都大学百周年時計台記念館国際交流ホールI http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (3番の建物) 13:00〜14:30 佐藤雅彦教授「情報学の内と外〜世界と言語の関係〜」 14:45〜16:15 後藤修教授「ＤＮＡ＝高分子＋情報」 16:30〜18:00 小林茂夫教授「物理世界と感覚世界」 2. 懇親会日時: 平成 24 年 3 月 16 日 (金) 午後 18:45 〜 20:45 (受付: 18:15 〜) 会場: 京都大学百周年時計台記念館国際交流ホールIII http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm (3番の建物) 会費: 一般 8,000円，学生 4,000円 [事前登録] final-lec(a)sato.kuis.kyoto-u.ac.jp までお名前: ご所属: 佐藤教授最終講義 (ご出席・ご欠席) 後藤教授最終講義 (ご出席・ご欠席) 小林教授最終講義 (ご出席・ご欠席) 懇親会 (ご出席・ご欠席) をお知らせください． (事前登録は必須ではありませんが、特に懇親会に関しまして参加者数を把握するため、事前登録にご協力をお願い致します。) 平成24年1月吉日京都大学大学院情報学研究科知能情報学専攻長黒橋禎夫小林教授・佐藤教授・後藤教授最終講義および懇親会準備会 final-lec(a)sato.kuis.kyoto-u.ac.jp

1 0

CFP: 8th Scandinavian Logic Symposium
by Thomas Bolander 16 Feb '12

16 Feb '12

8th SCANDINAVIAN LOGIC SYMPOSIUM 20-21 August 2012 at Roskilde University, DENMARK First 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. Related events: A post-SLS tutorial day will be organized on August 22 Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, Denmark. URL: http://hylocore.ruc.dk/aiml2012/ . 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, and 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 To be announced 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. 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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml