Logic-ml October 2011

17 participants
20 discussions

Kobe Colloquium on Logic, Statistics and Informatics Oct.18
by fuchino＠diamond.kobe-u.ac.jp 11 Oct '11

11 Oct '11

皆様渕野昌＠神戸大学システム情報学研究科です． 2011年10月18日（火）の 15：30 から以下ように Barcelona 大学の Joan Bagaria 教授による Omega-logic, the Omega-conjecture, and the Continuum Hypothesis に関する神戸情報数理コロキウムの講演を予定しております．講演者の Joan Bagaria 氏には，集合論の専門の方だけでなくロジック全般の general audience 向けの講演になるよう，お願いしてあります．興味のある方は御参加ください． o なお，同日の 14:00 からは Sam Sanders 氏（東北大学）の同コロキウムでの講演も予定されています． o また，この講演会の前日の 10月17日 (月) の午後には，Slawomir Solecki, S.M. Srivastava, Tamas Matrai 三氏の講演が同じ場所で予定されています (Fri, 7 Oct 2011 10:11:28 +0900 の logic mailing list の Joerg Brendle 氏による案内を参照) . ---------------------------------------------------------------------------------- 神戸情報数理コロキウム日時：2011年10月18日（火）15:30 〜 17:00 場所：神戸大学自然科学総合研究棟3号館4階421室（渕野グループ内プレゼンテーション室）講演者： Joan Bagaria (バルセロナ大学) 題目： Omega-logic, the Omega-conjecture, and the Continuum Hypothesis アブストラクト： Abstract: In 1990, W. Hugh Woodin introduced Omega-logic as an approach to truth in the universe of all sets inspired by recent work on large cardinals and determinacy. In Omega-logic statements are valid if, roughly, they hold in every forcing extension of the universe, or its sufficiently rich initial segments. Thus, Omega-logic is the logic of generic absoluteness. In these talks we will describe the basic features of Omega-logic, leading to the formulation of the Omega-conjecture and a discussion of its relevance in current set- theoretic research. In particular I shall focus on Woodin's arguments against the vagueness of the Continuum Hypothesis. -- best regards Saka\'e Fuchino (渕野昌) ------------------------------------------------------------------------- Kobe University Graduate School of System Informatics Rokko-dai 1-1, Nada, Kobe 657-8501 e-mail: fuchino(a)diamond.kobe-u.ac.jp web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/ -------------------------------------------------------------------------

1 0

公理的集合論集中講義
by Suzuki Toshio 09 Oct '11

09 Oct '11

公理的集合論集中講義お世話になっております。首都大学東京の鈴木登志雄です。さて１１月に首都大で，筑波大学の塩谷先生に公理的集合論の集中講義をしていただきます。公式にオープンセミナーとうたっているわけではありませんが，当専攻ではこの種の集中講義に数名程度まで学外の院生等が聴きに来ても黙認する慣習のようです。東京での公理的集合論の講義は貴重な機会です。お近くに関心のありそうな方がいらっしゃいましたら、その方にお知らせいただければ幸いです。 %%%%%%% ここから＊＊担当者塩谷真弘先生（筑波大学数理物質科学研究科准教授）　＊＊授業科目名情報数理科学１ (Ｒ０５９），情報数理科学特論１(Ｒ０６０）タイトル定常集合の組み合わせ論場所　首都大学東京（南大沢キャンパス）８号館６階６１０時期第１回１１月１０日（木）　１４：４０－１６：４０第２回１１月１１日（金）　１３：００－１６：１０当専攻での連絡係鈴木登志雄 toshio-suzuki(a)tmu.ac.jp 概要非可算無限集合は、正則な濃度を持つとき、その部分集合に対してゆるい意味での「測度」が定義できることが知られている。定常集合とは、この「測度」が正の部分集合のことである。本講義では、定常集合の概念を用いて、正則非可算集合の組合せ論の基礎と若干の応用を論じる。 %%%%%%% ここまで首都大学東京南大沢キャンパスへの交通 http://www.tmu.ac.jp/university/campus_guide/access.html 同・構内図 http://www.tmu.ac.jp/university/campus_guide/map.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

数学基礎論若手の会 2011 (2nd announcement)
by SAKAI Hiroshi 07 Oct '11

07 Oct '11

皆様：神戸大学の酒井拓史と申します．以前，数学基礎論若手の会のアナウンスをさせていただきましたが，改めてアナウンスさせていただきます．現時点では参加・講演枠ともにかなりの余裕があります．皆さんの振ってのご参加・ご講演をお待ちしております．数学基礎論若手の会は，数学基礎論を専攻する学生と若手研究者の交流を目的とした，合宿形式の研究集会です．これから数学基礎論を勉強しようとしている学生さんの参加なども歓迎します．また講演はオリジナルの成果発表の他にも，研究の途中報告や内容紹介など幅広く募集しています．過去の若手の会の記録は以下のページでご覧いただけます： http://www.mi.s.osakafu-u.ac.jp/~kada/wakate/index.html 今年度の若手の会は下記の要領で開催します．ご質問等ありましたら，幹事の酒井までお気軽にご連絡ください．日程： 12月9日(金)午後〜 11日(日)午前場所：大阪府羽衣青少年センター http://www.osaka-yha.com/osakakokusai/ 幹事：酒井拓史 (神戸大学) hsakai(a)people.kobe-u.ac.jp ホームページ： http://www2.kobe-u.ac.jp/~hsakai/wakate2011/ [宿泊・食事] 宿泊と食事は会場併設の大阪国際ユースホステルを利用します．宿泊は12月9日(金)と10日(土)の2晩，食事は9日(金)の夕食から 11日(日)の朝食までの5食を下記料金で利用いただけます：宿泊： 1人1泊 2,800円 (6人部屋利用) 食事：朝食 630円，昼食 630円，夕食 1,050円 ※ 個室などを希望される方は，お早めに酒井までご連絡ください． ※ 夕食後に親睦会を予定しており，会費を別途 1,000円程度いただく予定です． [参加申し込み] 参加を希望される方は，幹事の酒井にメールにてお申し込みください． <申込締切> 11月6日(日) =========== 参加申し込みフォーム ============ 氏名：所属：職名・学年：参加希望日程：全日程参加 or ... 講演希望：希望する or 希望しない or 未定講演タイトル： (未定の場合は "未定" とご記入ください．) 講演時間： 30分程度 or 60分程度 or 未定宿泊： 9日(金)の夜 … ○ or × 10日(土)の夜 … ○ or × 食事： 9日(金)夕食 … ○ or × 10日(土)朝食 … ○ or × 10日(土)昼食 … ○ or × 10日(土)夕食 … ○ or × 11日(日)朝食 … ○ or × 質問・要望等： ============================================== 多くの方のご参加・ご講演をお待ちしております． --------------------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-242 address: 〒657-8501 神戸市灘区六甲台町 1-1 神戸大学システム情報学研究科 ---------------------------------------------

1 0

講演会のお知らせ (10/19)
by Yoshihiko Kakutani 07 Oct '11

07 Oct '11

みなさま以下の要領で講演会を開催いたします。事前の申込みなどは不要ですので、興味のある方は是非ご参集ください。日時: 2011年10月19日 15:00--16:00 場所: 東京大学本郷キャンパス理学部7号館 214号室 (http://www.u-tokyo.ac.jp/campusmap/cam01_06_06_j.html) 講演者: Zoltan Esik (University of Aizu and University of Szeged, Hungary) 題目: Aziomatizing fixed points with applications 概要: The semantics of recursion is usually described by fixed points of functions, functors, or other constructors. Several fundamental results in verious areas of computer science only depend on a few equational properties of the fixed-ponit operation. One would naturally like to have a complete description of *all* valid equations in the form of a system of axioms. In the talk, we review several such complete descriptions and mention some applications. ご不明な点などがございましたら、下記までご連絡ください。 -- 東京大学大学院情報理工学系研究科コンピュータ科学専攻角谷良彦 <kakutani(a)is.s.u-tokyo.ac.jp>

1 0

[CFP] IJCAR 2012
by Takahito Aoto 07 Oct '11

07 Oct '11

IJCAR 2012 の論文募集をご案内致します．ぜひ投稿をご検討いただけましたら幸いです．重複して受け取られた場合はご容赦ください． --- 青戸等人東北大学電気通信研究所 ----------------------------------------------------------------------- Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning Manchester, UK, June 26-July 1, 2012 http://ijcar.cs.manchester.ac.uk/ Important Dates (all in 2012): Abstract submission January 23 Final version due April 16 Paper submission January 30 Conference dates June 26-29 Notification March 26 Satellite events June 30-July 1 IJCAR is the premier international joint conference on all topics in automated reasoning. IJCAR 2012, the 6th International Joint Conference on Automated Reasoning, is a merger of leading events in automated reasoning: CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), FTP (International Workshop on First-order Theorem Proving), and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). Previous editions of IJCAR took place in Siena (2001), Cork (2004), Seattle (2006), Sydney (2008) and Edinburgh (2010), cf. http://www.ijcar.org/. IJCAR 2012 is held as part of the Alan Turing Year 2012 just after The Alan Turing Centenary Conference in Manchester. Scope: IJCAR 2012 invites submissions related to all aspects of automated reasoning, including foundations, implementations, and applications. Original research papers and descriptions of working automated deduction systems are solicited. Logics of interest include: propositional, first-order, classical, equational, higher-order, non-classical, constructive, modal, temporal, many-valued, substructural, description, metalogics, type theory, and set theory. Methods of interest include: tableaux, sequent calculi, resolution, model-elimination, connection method, inverse method, paramodulation, term rewriting, induction, unification, constraint solving, decision procedures, model generation, model checking, semantic guidance, interactive theorem proving, logical frameworks, AI-related methods for deductive systems, proof presentation, efficient datastructures and indexing, integration of computer algebra systems and automated theorem provers, and combination of logics or decision procedures. Applications of interest include: verification, formal methods, program analysis and synthesis, computer mathematics, declarative programming, deductive databases, knowledge representation, natural language processing, linguistics, robotics, and planning. Submission: Submission is electronic through https://www.easychair.org/?conf=ijcar2012. Authors are strongly encouraged to use LaTeX and the Springer llncs class file, which can be obtained from http://www.springer.de/comp/lncs/authors.html. The page limit is 15 pages for full papers and 7 pages for system descriptions. All papers will be evaluated according to originality, significance, technical quality, and readability. Submitted papers must be original and not submitted for publication elsewhere. For more details concerning submission see the conference web site. The proceedings of IJCAR 2012 will be published by Springer-Verlag in the LNAI/LNCS series. Student Travel Awards: Travel awards will be available to enable selected students to attend the conference. Details will be available in early 2012. Further Information: For further and up-to-date information about IJCAR 2012 visit http://ijcar.cs.manchester.ac.uk/. Program Chairs: Bernhard Gramlich (TU Wien) Dale Miller (INRIA Saclay -- Ile-de-France) Ulrike Sattler (Univ. of Manchester) -----------------------------------------------------------------------

1 0

Kobe Colloquium on Logic, Statistics and Informatics Oct. 17
by Joerg Brendle 07 Oct '11

07 Oct '11

Kobe Colloquium on Logic, Statistics and Informatics 以下の要領でセミナー（３つの発表）を開催します．日時：2011年10月17日（月）14:00-18:00 場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ========================================================================= 講演者：Slawomir Solecki (University of Illinois, USA) 題目：An abstract approach to finite Ramsey theory 時間：14:00-15:00 アブストラクト： I will present an abstract approach to fnite Ramsey theory. In the abstract context, I will isolate a pigeon-hole principle and prove that it implies a general Ramsey-type result. It turns out that the classical Ramsey theorem, the Hales-Jewett lemma (with Shelah's bounds), the Graham-Rothschild theorem, the versions of these results for partial functions are all iterative consequences of this general result. Moreover, using this approach, I will prove a new, self-dual Ramsey theorem, which naturally generalizes both the classical Ramsey theorem and the dual Ramsey theorem of Graham and Rothschild. ========================================================================= 講演者：S. M. Srivastava (Indian Statistical Institute, India) 題目：A result on Extensions of Translation Probabilities using Borel Selections 時間：15:30-16:30 アブストラクト： For a measurable space (Y, B), let P(Y, B) denote the set of all proba- bility measures on (Y, B). We equip P(Y, B) with the weak σ-algebra, i.e., the smallest σ-algebra on P(Y, B) making each µ → µ(B), B ∈ B, measurable. A transition probability is a measurable function P : (X, A) → P(Y, B), (X, A) a measurable space. In this talk, we shall present a proof of the following surprising the- orem. Theorem. Let Y be a Polish space and B a countably generated sub σ-algebra of the Borel σ-algebra BY of Y . The following conditions are equivalent: (a) For every measurable space (X, A), every transition probability P : (X, A) → P(Y, B) can be extended to a transition probability Q : (X, A) → P(Y, BY ). (b) The statement (a) only for X Polish and A = BX , the Borel σ-algebra of X. This is one of the series of results proved on transition probabilities needed to develop a stochastic analogue of modal logic jointly with E. E. Doberkat, Dortmund, Germany. ========================================================================= 講演者：Tamas Matrai 題目：On typical properties of Hilbert space operators 時間：17:00-18:00 アブストラクト： What are the typical properties of Hilbert space operators in the sense of Baire category? Or, at least, is Baire category a useful tool for studying operators? The answer to these questions, obviously, may depend on the underlying topology. So in collaboration with Tanja Eisner, we investigated the typical behavior of Hilbert space operators in the norm topology and in four important separable topologies (a property Φ of operators is typical if the operators satisfying Φ form a co-meager set). We obtained that in the separable topologies, from the point of view of Baire category, the theory of Hilbert space operators reduces to the theories of very particular classes of operators, e.g. unitary operators, positive self-adjoint operators or even one single operator. In the norm topology, the theory of Hilbert space operators does not trivialize; however, this topology is so ﬁne that every property we studied, e.g. various mapping and spectral properties, holds for a non- meager set of operators. In a sense, our results outline some limitations of Baire category methods in operator theory. ========================================================================= 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． http://www.kobe-u.ac.jp/info/access/rokko/rokkodai-dai2.htm 連絡先：ブレンドレヨーグ brendle(a)kurt.scitec.kobe-u.ac.jp

1 0

准教授公募：名古屋大学大学院情報科学研究科（量子情報数理）
by Masanao Ozawa 04 Oct '11

04 Oct '11

皆様、名古屋大学大学院情報科学研究科の教員公募情報をお知らせします． http://www.is.nagoya-u.ac.jp/admin/common/news/45/keisankisuuri.pdf 関係諸方面へ周知のため，参加されているメーリングリストやお心当たりの方に転送していただければ幸いです．　　　　　　　　　　　　　　　　　　　　記　１．公募対象：准教授１名　　　　　　　　（名古屋大学大学院情報科学研究科・計算機数理科学専攻情報数理モデル　　　　　　　　論講座）　２．専門分野：量子情報数理（量子情報・量子計算の数学的解明において先端的な研究　　　　　　　　に積極的に取り組む，あるいは，積極的に新分野開拓に取り組む優秀な方）　３．担当科目：大学院情報科学研究科・情報文化学部における情報数理関連科目，　　　　　　　　および全学共通教育科目（線形代数学，微分積分学など）　４．応募資格：博士の学位を有すること　５．着任予定時期：2012年4月1日　　６．提出書類: 　（１）履歴書　（２）研究業績リスト　A：査読付学術論文(査読付国際会議報告集論文を含む)，　　　 B：著書，C：学会発表，D：その他，などを区別して記述すること，掲載・発表　　　　予定のものはその旨を示す文書のコピー等を添付すること　（３）5編程度の主要な論文の別刷あるいはそのコピー，プレプリント　（４）これまでの研究内容と今後の研究計画（A4用紙2枚程度，主要な論文におけ　　　　る研究成果を引用して記載すること）　（５）教育に関する実績と抱負（A4用紙1枚程度）　（６）その他，受賞歴，学会活動，競争的研究資金獲得状況など選考にあたって参考　　　　となる資料　（７）応募者の業績について照会可能な方２名の氏名と連絡先　７．応募期限: 2011年11月15日（火）必着　８．書類提出先および問い合わせ先: 　　　　　　　　〒464-8601　名古屋市千種区不老町 A4-2 (780) 　　　　　　　　名古屋大学大学院情報科学研究科　　　　　　　　計算機数理科学専攻長　小澤　正直　　　　　　　　e-mail: dept-chair“at”cm.is.nagoya-u.ac.jp 　　　封筒に「計算機数理科学専攻教員応募書類在中」と朱書し，国内郵便の場合は簡易　　　書留で郵送して下さい。　９．提出書類は本選考のみに使用し，他の目的には使用しません。また，返却しません。１０．選考の過程で講演をお願いすることがあります。１１．詳細はhttp://www.is.nagoya-u.ac.jp/ をご覧ください。１２．本学では採用に際して男女共同参画に配慮しております。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　以上本メールのお問い合わせ先：名古屋大学大学院情報科学研究科計算機数理科学専攻情報数理モデル論講座小澤正直 -- Masanao Ozawa Graduate School of Information Science Nagoya University Chikusa-ku, Nagoya 464-8601, JAPAN Email: ozawa(a)is.nagoya-u.ac.jp Phone & Fax: +81-52-789-3075

1 0

Re: [logic-ml] Workshop on linear logic (financial support still available!)
by Kazushige TERUI 04 Oct '11

04 Oct '11

みなさま度々失礼いたします。先日来ご案内させていただいております線型論理ワークショップについてですが、予算にまだ余裕があります。旅費補助をご希望の方は、大学院生・研究者の別に関わりなく、ぜひご応募ください。 ※講演の締切は１０月１７日（月）とさせていただきます。照井一成＠京都大学 Financial support for PhD students/researchers is still available. Please do not hesitate to contact me if you are thinking of participating in the workshop on linear logic. ----------------------------------------- (English version below) 10月中旬より京都大学客員教授としてJean-Yves Girard氏が京都に滞在されます。またフランス・イタリアの線型論理グループから若手研究者・学生の訪問が予定されております。それに伴いまして、下記の要領にて線型論理ワークショップを開催したいと思います。どうぞ参加・講演をご検討いただければと思います。 * 旅費援助を希望の方は10月3日（月）まで　講演希望の方は10月17日（月）までに下記のフォームを　お送りください。日時：2011年11月7日（月）−11日（金）（ただし11日はディスカッション・学生セッションの予定）場所：京都大学理学部3号館110号室内容：Girard氏による4回の講義および　　　一般参加者の講演・ディスカッションテーマ：＊相互作用の幾何＊トレース付きモノイダル圏＊陰計算量理論＊その他線型論理および周辺の話題フランス・イタリアからの参加者： Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris)、他参加費：無料旅費：若干の旅費援助が可能です。ご相談ください。 ※必ずしもご希望に添えない場合があることをご了承ください。名称：RIMS共同研究集会「相互作用の幾何・トレース付きモノイダル圏・非明示的計算量」参加ご希望の方は下記のフォームを terui(a)kurims.kyoto-u.ac.jp までお送りください。 ------------------------------------- １．お名前・所属・身分２．参加日程：11月?日から〜11月?日まで３．講演を希望する・しない講演希望の場合、時間（30分・45分）４．旅費補助を希望する・しない　　旅費希望の場合、滞在日程 -------------------------------------- Workshop on Linear Logic On occasion of Dr. Jean-Yves Girard's visit to Kyoto (as well as other researchers from Europe), we plan to organize an informal workshop on linear logic (including 4 lectures by J.-Y. Girard) in the coming November. Your participation and talk contribution would be welcome. Dates: 7th - 11th November, 2011 (11th is reserved for free discussion and student session) Location: Department of Mathematics, Kyoto University Topics: Geometroy of interaction, traced monoidal categories, implicit computational complexity and any other topics related to linear logic and associated fields. Participants from Europe: Ugo Dal Lago (Bologne) Etienne Duchesne (Marseille) Claudia Faggian (Paris) Marco Gaboardi (Bologne) Jean-Yves Girard (Marseille) Stefano Guerrini (Paris) Damiano Mazza (Paris) Michele Pagani (Paris), and others. * Some limited amount of travel support is available. If you want to participate in the workshop, please send the form below to terui(a)kurims.kyoto-u.ac.jp by: 3rd October (if you wish financial support) 17th October (if you contribute a talk). ----- Registration form 1. Name, Affiliation, Position 2. Period of your participation: ?th - ?th November 3. Do you want to give a talk? If so, how long (30min or 45min)? 4. Do you wish financial support for your travel? If so, tell us your arrival and departure dates. ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/ ------------------------------------------ Kazushige TERUI Research Institute for Mathematical Sciences, Kyoto University. Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN. Phone: +81-75-753-7235 Fax: +81-75-753-7276 terui(a)kurims.kyoto-u.ac.jp http://www.kurims.kyoto-u.ac.jp/~terui/

1 0

准教授公募：名古屋大学大学院情報科学研究科（量子情報数理）
by Masanao Ozawa 03 Oct '11

03 Oct '11

1 0

MSFP 2012: Call for Papers
by Ichiro Hasuo 01 Oct '11

01 Oct '11

みなさま，こんにちは！東京大学の蓮尾と申します．来年3月，ETAPS 附設ワークショップ MSFP 2011 のご案内です．関数型プログラミングにおける，モナドに代表されるような数学的構造がトピックです．どうか投稿をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/~ichiro/ ========================================== Fourth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING 25 March, Tallinn, Estonia A satellite workshop of ETAPS 2012 http://cs.ioc.ee/msfp/msfp2012/ The fourth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without arrows? Call-by-push-value without adjunctions? Type theory without universes? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. Important Dates: ================ Submission of papers: 16 December 2011 Notification: 20 January 2012 Final versions due: 3 Feburary 2012 Workshop: 25 March 2012 Invited Speakers: ================= To be arranged. Submission: =========== Papers must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. There is no specific page limit, but authors should strive for brevity. Accepted regular papers will be published in the Electronic Proceedings in Theoretical Computer Science (EPTCS). After the workshop, there might be an opportunity to publish selected papers in a journal special issue. All submissions must be in PDF format and use the EPTCS style files. Submissions can be made through the EasyChair website, at http://www.easychair.org/conferences/?conf=msfp2012 ETAPS: ====== European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of six main annual conferences (one of them, POST, being new in 2012), accompanied by satellite workshops. ETAPS 2012 is the fifteenth event in the series. http://www.etaps.org/2012 Host City: ========== Tallinn, a city of 412,000 people, is the capital and largest city of Estonia, a small EU member country in Northern Europe, bordering Russia to the East and Latvia to the south. Located in the north of the country, on the southern shores of the Gulf of Finland, opposite Helsinki in Finland, Tallinn is most well known for its picturesque medieval Old Town, a UNESCO World Heritage site. But it also has a vivid cultural scene, outperforming most European centres of similar size. In 2011, Tallinn, along with Turku in Finland, is the Cultural Capital of Europe. Tallinn is easy to travel to. Estonia is part of Schengen and the Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is only 4km from the city centre. Programme Committee: ==================== * James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia * Paul Blain Levy (co-chair), University of Birmingham, UK * Thorsten Altenkirch, University of Nottingham, UK * Robert Atkey, University of Strathclyde, Glasgow, UK * Nils Anders Danielsson, Chalmers University and University of Gothenburg, Sweden * Martin Escardo, University of Birmingham, UK * Ichiro Hasuo, University of Tokyo, Japan * Ralf Hinze, University of Oxford, UK * Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK * Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA * Ulrich Schoepp, LMU Munich, Germany * Alex Simpson, University of Edinburgh, UK * Matthieu Sozeau, INRIA, Paris, France * Sam Staton, University of Cambridge, UK Further Information: ==================== For more information about the workshop, go to: http://cs.ioc.ee/msfp/msfp2012/ With any other questions please do not hesitate to contact the co-chairs at msfp2012(a)easychair.org. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml October 2011