Logic-ml

9 participants
1781 discussions

PPL2011（2011年3月＠北海道），カテゴリ２および３の締切が間近です
by Kiyokuni Kawachiya 18 Jan '11

18 Jan '11

＊＊＊＊複数受け取られた方はご容赦ください＊＊＊＊日本IBMの河内谷と申します．この場を借りて，来年３月に北海道で開催される，第13回プログラミングおよびプログラミング言語ワークショップ (PPL2011) のご案内を再度させて頂きたく存じます．カテゴリ２とカテゴリ３はまだ申し込みが可能ですので，奮ってご応募ください．カテゴリ２（国外既発表論文）発表申込締切：1月24日(月) ※ 例年より早いのでご注意ください．カテゴリ３（ポスター・デモ発表）発表申込締切：2月 7日(月) なお，ワークショップへの参加申込は，1/21ごろから受付を開始する予定です． -------------------------------------------------------------------------- 第13回プログラミングおよびプログラミング言語ワークショップ（PPL2011） http://www.info.kochi-tech.ac.jp/ppl2011/ 論文募集主催: 日本ソフトウェア科学会プログラミング論研究会日程: 2011年3月9日(水)〜3月11日(金) 会場: 北海道札幌市定山渓ビューホテル http://www.jozankeiview.com/ PPL2011は，プログラミングおよびプログラミング言語に関する研究者が一堂に会し，最新の研究成果の発表，および新たな研究課題についての討論やアイディア交換等を行うことを目的とした，合宿形式のワークショップです．プログラミングおよびプログラミング言語の理論・設計・実装・処理系などに関する研究発表を，カテゴリ別に幅広く募集します．カテゴリ１: 国内外で未発表の論文の発表カテゴリ２: 国際会議・学術雑誌等で既発表であるが，国内では未発表の研究の紹介カテゴリ３: ポスター・デモ発表（既発表・未発表の別を問いません） ※ 今回はショートプレゼンテーションは行いませんカテゴリ１の採択論文の中から，特に独創的なアイディアや顕著な成果を含むものに対して論文賞を授与する予定です．また，ポスター・デモを含む全発表のなかから，聴衆の投票により，最も優秀なプレゼンテーションに発表賞（一般の部，学生の部）を授与する予定です．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- 査読付の国際会議または学術雑誌等で既発表であるが，国内では未発表な研究の紹介をする場です．採録決定済みの研究も含みます．PPLへの関連をもとに採録を判定いたします．カテゴリ３（ポスター・デモ発表） -------------------------------- ２時間程度のセッション内でのポスター発表またはデモ発表です．既発表・未発表の別を問いません．PPLへの関連をもとに採録を判定いたします．なお，PPL2011ではポスターやデモによる活発な意見交換を促進したいという観点から，ショートプレゼンテーションのセッションは設けません．招待講演 -------- 以下の２件の招待講演が予定されています．田中哲朗氏 (東京大学) 講演タイトル(予定)「将棋プログラムの大規模並列実行」照井一成氏 (京都大学) 講演タイトル(予定)「Linear logic and implicit computational complexity」 ====================================================================== 投稿・発表申込要領３つのカテゴリそれぞれに対して，投稿は以下のように行って下さい．最新の情報は上記Webページでご確認下さい．なお，PPL2011では，発表者の希望により発表の様子をインターネットでストリーミング放映することを検討しております．カテゴリ１（国内外未発表論文） ------------------------------ （投稿受付は終了しました）カテゴリ２（国外既発表論文） ---------------------------- 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年1月24日(月) 　※ カテゴリ２の申込締切が例年より早くなっていますのでご注意ください．原論文（ページ数不問，PostScriptもしくはPDF形式）とabstract（テキスト形式）を，著者名，所属，論文タイトル，原論文の出典（発表会議名，掲載済／予定の別等）と併せて上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月1日(火) 最終原稿提出締切：2011年2月14日(月) (注) カテゴリ２の申込締切が例年より早くなっています．２月初旬に採否が決定する国際会議については，あらかじめ別途，下記問い合わせ先までご相談ください． (注) Abstractは申込時点ではテキスト形式でお送りください．採択された場合の最終版はWebページに掲載の推奨スタイルファイルを使ったPDFがのぞましいです．カテゴリ３（ポスター・デモ発表） ------------------------------------------ 発表申込先：submission-ppl2011(a)pllab.is.ocha.ac.jp 発表申込締切：2011年2月7日(月) 著者名，所属，発表タイトル，発表概要（200〜300字程度），希望する発表形態（ポスター・デモの別），をテキスト形式で上記申込先宛にお送り下さい．申込後，翌日までに受付確認が届かない場合は，下記問い合わせ先までご連絡下さい．採否通知：2011年2月14日(月) 問い合わせ先：organizers-ppl2011(a)pllab.is.ocha.ac.jp ====================================================================== プログラム委員会浅井健一 (お茶の水女子大学) 磯部祥尚 (産業技術総合研究所) 稲葉一浩 (国立情報学研究所) 今井宜洋 (ITプランニング) 岩崎英哉 (電気通信大学) 馬谷誠二 (京都大学) 亀山幸義 (筑波大学) 河内谷清久仁 (日本IBM東京基礎研究所) 久野靖 (筑波大学) 中田景子 (Institute of Cybernetics) 中田秀基 (産業技術総合研究所) 蓮尾一郎 (京都大学・JSTさきがけ) 長谷川立 (東京大学) 番原睦則 (神戸大学) 廣川直 (北陸先端科学技術大学院大学) 森畑明昌 (東北大学) 横山大作 (東京大学) 実行委員会浅井健一 (お茶の水女子大学) [プログラム共同委員長] 河内谷清久仁 (日本IBM東京基礎研究所) [プログラム共同委員長] 松崎公紀 (高知工科大学) [実行委員長] --------------------------------------------------------------------------

1 0

お詫びと訂正
by BEKKI Daisuke 16 Jan '11

16 Jan '11

　MLの皆様、　お茶の水女子大学の戸次です。先ほどメーリングリストに、すでに終了した研究会のご案内を誤って送付してしまいました。お詫び申し上げます。 _/ 戸次大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学理学部情報科学科 _/_/ bekki(a)is.ocha.ac.jp _/ http://www.is.ocha.ac.jp/‾bekki/

1 0

形式意味論研究会のご案内
by BEKKI Daisuke 16 Jan '11

16 Jan '11

（重複して受け取られた場合はご容赦ください）　以下の研究会を予定しています。参加費や事前登録等は不要ですので、興味をお持ちの方は、是非ご参加ください。講演者 Kristina Liefke氏 (Tilberg University) 日時 2011/1/13(木) 16:00-18:00 タイトル A Single-Type Semantics for Natural Language 概要 In this talk, I develop a single-type semantics for natural language along the lines explored by Partee (2006). Such a theory of meaning takes different semantic domains (e.g. individuals, propositions, worlds) to be constructed from a single basic type. I formalize Partee's hypothesis in a one-sort variant of Church's Simple Theory of Types (1940) and show that it models a standard fragment of English. I finish by assessing the semantics' relative merits and limitations. More than providing a fine-grained alternative to Montague's Intensional Logic that elucidates the relationship between different types of objects, the proposed theory constitutes a further step towards the unification of mathematical and empirical perspectives on meaning. Keywords: Single-type hypothesis, Data semantics, Montague grammar , Partial logic, Type theory. 参考文献 Church, Alonzo. 1940. "A Formulation of the Simple Theory of Types ", Journal of Symbolic Logic 5/2, 56-68. Montague, Richard. 1973. "The Proper Treatment of Quantification in Ordinary English", Formal Philosophy (Richmond Thomason, ed.), Yale UP, New Haven and London, 1976. Partee, Barbara. 2006. "Do We Need Two Basic Types?", Snippets: Special Issue in Honor of Manfred Krifka (Sigrid Beck and Hans- Martin Gaertner, eds.), Vol. 20, Berlin, 2009. 場所お茶の水女子大学理学部3号館209（以下の地図の建物20） http://www.ocha.ac.jp/access/campusmap_l.html 東京都文京区大塚2-1-1 丸ノ内線茗荷谷駅徒歩7分、または有楽町線護国寺駅徒歩7分）備考：お茶の水女子大学に入構する際には、守衛所にて身分証明書の提示を求められます。 _/ 戸次大介 _/_/ (BEKKI Daisuke) _/_/_/ お茶の水女子大学理学部情報科学科 _/_/ bekki(a)is.ocha.ac.jp _/ http://www.is.ocha.ac.jp/‾bekki/

1 0

Talk by Susumu Nishimura, Thursday next week (20 Jan)
by Ichiro Hasuo 14 Jan '11

14 Jan '11

Dear colleagues, Next week Thu 20 Jan, from 11.00am, our colleague Susumu Nishimura from Dept. Math., Kyoto Univ. is making a talk on his recent work. No registration necessary. See you there! Best regards, Ichiro Hasuo --- RIMS-CS website http://www.kurims.kyoto-u.ac.jp/~cs/ ===== Speaker: Susumu Nishimura (Dept. Math., Kyoto Univ.) Title: Calculating Tree Navigation with Symmetric Relational Zipper Date: 11.00 - 12.00, Thursday 20 January 2011 Place: Room 478, "Research Bldg. No. 2 (Sougou Kenkyu 2-Goukan)" http://www.kyoto-u.ac.jp/en/access/campus/main.htm (Next to our CS Lab) 総合研究2号館 478号室 (CS室のとなりです) http://www.kyoto-u.ac.jp/ja/access/campus/map6r_y.htm Abstract: Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language that locates particular nodes in a given document structure. In this talk, a calculational method for deriving certain equalities of XPath expressions is presented. Tree navigation operations in XPath expressions, making the symmetries of those operations explicit. By exploiting the symmetry, certain equalities that are useful for optimizing XPath evaluation are derided by simple calculation. The point-free, algebraic reasoning on relations not only leads to a concise justification of some known results but also establishes equations over XPath expressions with negative predicates and those beyond XPath expressibility. This is joint work with Yuta Ikeda.

1 0

東北大学ロジックセミナー
by YOKOYAMA Keita 13 Jan '11

13 Jan '11

皆様，東北大学の横山です．以下の日程でロジックセミナーを行いますので，ご興味のある方は是非ご参加ください．日時：10月29日(金) 場所：東北大学北青葉山キャンパス理学総合棟1201号室１４：４５〜１５：１５木原貴行（東北大学理学研究科）タイトル：Effectiveness for planar dendrites and dendroids １５：３０〜池上大祐（ヘルシンキ大学）タイトル：Infinite games with imperfect information セミナーの詳細につきましては， http://www.math.tohoku.ac.jp/~y-keita/friday-seminar/friday-seminar.html をご参照ください．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 y-keita(a)math.tohoku.ac.jp

1 4

「計算による数理科学の展開 2011」のお知らせ
by SAKAI Hiroshi 05 Jan '11

05 Jan '11

皆様：神戸大学の酒井拓史と申します．神戸大学で開催される研究集会「計算による数理科学の展開 2011」のお知らせをさせていただきます：計算による数理科学の展開 2011 日時：１月７日(金)〜８日(土) 場所：神戸大学理学部 B428 教室 Web page： http://www.math.kobe-u.ac.jp/cm/koen/2011-01-07.html この研究集会は，"計算の理論と実践", "計算による発見と検証" をキーワードに, 招待講演者の講演を中心として年に一度開催されます．今年は，京都大学の佐藤雅彦先生が招待講演者の一人になっておられ，７日(金)の午後2時40分から "Formalization of Mathematics" と題してご講演をされます．ご興味をお持ちの方は是非お越しください． ----------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -----------------------------------

1 0

Kobe Colloquium (talk by Sam Sanders)
by Makoto Kikuchi 29 Dec '10

29 Dec '10

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でコロクウィウムを開催します。日時：2011年1月20日（木）15:30 〜場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループプレゼンテーション室）講演者：Sam Sanders（東北大学）題目：A copy of several Reverse Mathematics アブストラクト： Reverse Mathematics (RM) is a program in the foundations of mathematics initiated by Friedman ([1, 2]) and developed extensively by Simpson ([4]). The aim of RM is to determine which minimal axioms prove theorems of ordinary mathematics. The main theme of RM is that a theorem of ordinary mathematics is either provable in RCA_0, or the theorem is equivalent to either WKL_0, ACA_0, ATR_0 or Π^1_1-CA_0. This equivalence is proved in RCA_0, the ‘base theory’ of RM. Moreover, each of these systems corresponds to a well-known foundational program in mathematics. Nonstandard Analysis has played an important role in RM ([3, 5]). We are interested in RM where equality is replaced by the relation ≈, i.e. equality up to infinitesimals. We obtain a ‘copy’ of the RM of WKL_0 and ACA_0 in a weak system of Nonstandard Analysis. Surprisingly, the same system is also a ‘copy’ of Constructive Reverse Mathematics. Our results have applications in Physics, Theoretical Computer Science, and the Philosophy of Science. References [1] Harvey Friedman, Some systems of second order arithmetic and their use, Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), vol. 1, Canad. Math. Congress, 1975, pp. 235–242. [2] Harvey Friedman, Systems of second order arithmetic with restricted induction I & II, Journal of Symbolic Logic, vol. 41 (1976), pp. 557–559. [3] H. Jerome Keisler, Nonstandard arithmetic and reverse mathematics, Bulletin of Symbolic Logic, vol. 12 (2006), no. 1, pp. 100–125. [4] Stephen G. Simpson, Subsystems of second order arithmetic, Perspectives in Mathematical Logic, Springer–Verlag, Berlin, 1999. [5] Kazuyuki Tanaka, The self-embedding theorem of WKL_0 and a non- standard method, Annals of Pure and Applied Logic, vol. 84 (1997), pp. 41–49. 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：菊池誠　mkikuchi(a)kobe-u.ac.jp

1 0

The 45th MLG Meeting: Program
by Takahiro Seki 26 Dec '10

26 Dec '10

第45回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はご容赦ください。) 　新潟大学の関です。　2010年度MLG数理論理学研究集会（第45回）を下記の要領で開催します。　講演・宿泊の申し込みは締め切りましたが，参加することは可能です。なお，その場合，事前の申し込みは不要ですが，参加費（会場代）1,500円をいただきます。 =============================== 　第45回 MLG 研究集会開催要領 =============================== 　日時: 2011 年 1 月 6 日(木) 14:00 ～ 1 月 8 日(土) 12:20 　場所: KKR湯沢ゆきぐに（ＪＲ上越新幹線越後湯沢駅西口より徒歩約8分）　　　　〒949-6101 新潟県南魚沼郡湯沢町湯沢2574 　　　　URL : http://www.kkryuzawa.com/ 　MLG45ホームページ：　http://math.ed.niigata-u.ac.jp/~seki/MLG45/ 　講演プログラム： 1月6日（木） 14:00～14:10　開会・事務連絡 14:10～14:50　関　隆宏（新潟大学）　On Halldén-completeness of relevant modal logics 14:50～15:30　角谷良彦（東京大学）　Curry-Howard correspondence with modalities based on Kripke semantics 15:50～16:30　岩波　克（東京工業大学）　直観主義二階命題論理の性質について 16:30～17:10　金子　守（筑波大学）　A measure of inference in classical and intuitionistic logics (with N.-Y. Suzuki) 1月7日（金） 9:00～ 9:40　竹村　亮（慶應義塾大学）　オイラー図推論の証明論的分析：自然演繹への翻訳と正規形証明 9:40～10:20　照井一成（京都大学）　　未　定 10:30～11:10　倉橋太志（神戸大学）　一階述語証明可能性論理における２つの意味論について 11:10～11:50　佐々木克巳（南山大学）　様相論理Grzにおける標準形の論理式とexactモデル 13:00～13:40　丸山善宏（京都大学）　Duality, monad, and topological category: Concrete-categorical investigation into algebraic-logical structures 13:40～14:20　横山啓太（東北大学）　Reverse mathematics in several frameworks 14:30～15:10　髙野道夫（新潟大学）　真理値が集合である２値論理 15:20～16:00　古森雄一（千葉大学）　変数を区別しないときの述語論理の正規化定理 16:00～16:40　小野寛晰（北陸先端科学技術大学院大学）　　未　定 1月8日（土） 9:20～10:00　松尾亮太（名古屋大学）　繰り返しゲームにおける複雑な戦略 10:00～10:40　鈴木信行（静岡大学）　ゲーム理論に由来する直観主義的多様相述語論理およびそのKripke型意味論 10:50～11:30　鹿島　亮（東京工業大学）　Canonical models for some modal logics 11:30～12:10　志村立矢（日本大学）　Some cut-free multi-modal logics 12:10～12:20　事務連絡・閉会 --- 関　隆宏新潟大学企画戦略本部評価センター Tel : 025-262-6088 Fax : 025-262-6248 E-mail : tseki(a)adm.niigata-u.ac.jp

1 0

[TACL 2011] First call for papers
by tacl2011＠lif.univ-mrs.fr 24 Dec '10

24 Dec '10

Dear colleague, please, find below the TACL 2011 first call for papers. We strongly hope to meet you in Marseilles during next July. Best regards, Luigi Santocanale, Yves Lafont, Nicola Olivetti, TACL 2011 local organisers =============================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) =============================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ The Fifth International Conference on Topology, Algebra and Categories in Logic is dedicated to the memory of Leo Esakia (1934-2010). Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------- Contributed presentations will be of two types: o 20 minutes long presentations in parallel sessions and o featured, 30 minutes long, plenary presentations. The submission of an abstract will be required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure will be made available soon. Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr ===============================================================================

1 0

[TACL 2011] First call for papers
by Hiroakira Ono 21 Dec '10

21 Dec '10

= = = = = = = ======================================================================== TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2011) = = = = = = = ======================================================================== 26-30 July 2011 Universités Aix-Marseille I-II-III, France http://www.lif.univ-mrs.fr/tacl2011/ Scope ----- Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and model theory. The program of the conference TACL 2011 will focus on three interconnecting mathematical themes central to the semantical study of logics and their applications: algebraic, categorical, and topological methods. This is the fifth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL). Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009). Featured topics --------------- Contributed talks can deal with any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science. This includes, but is not limited to, the following areas: * Algebraic structures in CS * Algebraic logic * Coalgebra * Categorical methods in logic * Domain theory * Fuzzy and many-valued logics * Lattice theory * Lattices with operators * Modal logics * Non-classical logics * Ordered topological spaces * Ordered algebraic structures * Pointfree topology * Proofs and Types * Residuated structures * Semantics * Stone-type dualities * Substructural logics * Topological semantics of modal logic Submissions ----------- Contributed presentations will be of two types: 20 minutes long presentations in parallel sessions and featured, 30 minutes long, plenary presentations. The submission of an abstract of 1-4 pages is required to be selected for a contributed presentation of either kind. While preference will be given to new work, results that have already been published or presented elsewhere will also be considered. More information on the submission procedure is available on the conference website. Important dates --------------- April 18, 2011: Abstract submission deadline May 20, 2011: Notification to authors July 26-30, 2011: Conference Program Committee ----------------- Guram Bezhanishvili, New Mexico State University Petr Cintula, Academy of Sciences of the Czech Republic Thierry Coquand, University of Gothenburg Mai Gehrke, Radboud University, Nijmegen Silvio Ghilardi, Università degli Studi di Milano Rob Goldblatt, Victoria University, Wellington Martin Hyland, King's College, Cambridge Ramon Jansana, Universitat de Barcelona Achim Jung (PC co-chair), University of Birmingham Alexander Kurz, University of Leicester Yves Lafont, Université Aix-Marseille II Tadeusz Litak, University of Leicester Paul-André Melliès, CNRS Paris Diderot George Metcalfe, Universität Bern Nicola Olivetti, Université Aix-Marseille III Hiroakira Ono, Japan Advanced Institute of Science and Technology Luigi Santocanale, Université Aix-Marseille I Kazushige Terui, Kyoto University Costantine Tsinakis, Vanderbilt University Yde Venema (PC co-chair), University of Amsterdam Friedrich Wehrung, Université de Caen Michael Zakharyaschev, University of London More Information ---------------- If you have any queries please send them to the conference email address: tacl2011(a)lif.univ-mrs.fr Luigi Santocanale, Yves Lafont, Nicola Olivetti, TACL 2011 local organisers ============================================================

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml