Logic-ml

9 participants
1781 discussions

情報処理学会_2012年度第4回プログラミング研究会(2013/01)_発表募集
by suzuki 25 Oct '12

25 Oct '12

logic-mlのみなさま：複数受け取られた場合はご容赦ください。島根大学の鈴木です．この場を借りて2012年度第4回情報処理学会プログラミング研究発表会の発表募集のご案内をさせて頂きたく存じます．プログラミング研究会(PRO)は，・プログラミング言語の設計，処理系の実装・プログラミングの理論，基本概念・プログラミング環境，支援システム・プログラミング方法論，パラダイム・これらを応用したシステムの開発事例・その他，プログラミングに関する面白い話題を対象とした研究発表の場で，1998年度から毎年3-4回のペースで論文誌を発行しています．PRO論文誌は研究会と密接にリンクしており，研究会で発表されたもののうちあらかじめ論文投稿を希望し，論文原稿を提出されているものが査読の対象となっています (論文誌投稿を希望しない発表も歓迎します)．おおむね研究会から3週間で論文の採否が決定されるという迅速さも大きな特徴です． 2013年1月の研究会も多くの発表ならびに論文投稿をお待ちしております．参加費は無料です．申込締切は11月12日月曜日(投稿締切は12月14日金曜日)です．よろしくご検討ください．なお，多数の発表申込みがある場合には，発表をお断りすることがございますので，お早めにお申し込みください．また，今回も和文として投稿された論文の英語化を支援する試みを実施します．和文原稿にて採録を判断し，(著者が希望する場合は) 採録決定後に英語化していただいてから掲載致します．この英語化に関する詳細については， http://millsmess.cs.uec.ac.jp/pro/2011-5/english-paper-encouragement.html をご覧ください． 2012年第4回プログラミング研究会(PRO92)発表募集日程: 2013年1月15日(火)・16日(水) 会場: AiAiひろば（鹿児島県奄美市）　　　〒894-0027 鹿児島県奄美市名瀬末広町14-10 発表申込締切: 2012年11月12日(月) 投稿論文原稿提出締切: 2012年12月14日(金) 申込先：鈴木貢 (島根大) 　　　　E-mail: suzuki [at] cis.shimane-u.ac.jp 案内ページ: http://glab.cis.shimane-u.ac.jp/ipsj-pro/pro2012-4/ ・申込みに当たっての注意はプログラミング研究会のページ http://www.ipsj.or.jp/sig/pro/ をご参照ください．・申込みの際には整理のために，Subject欄に以下をご指定頂けると助かります．「PRO2012-4_発表申込み」（カッコ不要）・できるだけE-mailでお願いします．・申込み後3日以内に返信がない場合はご連絡下さい．・11月4日に島根大が停電を予定していますので，その日を避けてご連絡を頂けますようお願いいたします．

1 0

Dr. Sylvain Salvati Lecture at NII Logic Seminar
by Makoto Tatsuta 24 Oct '12

24 Oct '12

Dr. Sylvain Salvati Lecture at NII Logic Seminar Date: October 31, 2012, 13:30--15:30 Place: National Institute of Informatics, Lecture Room 1208 (12th floor) 場所: 国立情報学研究所 12階 1208室 (半蔵門線,都営地下鉄三田線・新宿線神保町駅または東西線竹橋駅より徒歩5分) (地図 http://www.nii.ac.jp/introduce/access1-j.shtml) Speaker: Dr. Sylvain Salvati (INRIA Bordeaux Sud-Ouest) Title: Myhill-Nerode, Loader, Urzyczyn and logical relations Abstract: When trying to define a notion of recognizability on languages over a particular class of structures, it is customary to prove an equivalence between a class of machines and congruences of finite index on those structures. Such equivalences can be coined as "Myhill-Nerode theorems". This talk is going to be centered on such an equivalence concerning languages of simply typed lambda-terms. Here machines are type-checkers based on "uniform intersection types" and finite index congruences are "extensional finite models" of the lambda-calculus. The use of logical relations give a nice way of proving that uniform intersection types and extensional finite models allow to define exactly the same sets of lambda-terms. This result relates two important results of the literature on lambda-calculus: the undecidability of lambda-definability in finite standard models by Loader (2001) and the undecidability of the inhabitation problem for intersection types by Urzyczyn (1999). It shows in particular that these two problems are turing-equivalent, and provides a refinement of Urzyczyn's result. (Joint work with Giulio Mazonetto, Mai Gehrke and Henk Barendregt) 問合せ先: 金沢誠 (国立情報学研究所) e-mail: kanazawa(a)nii.ac.jp

1 0

東北大学ロジックセミナーのご案内(9月2日)
by Naohi Eguchi 23 Oct '12

23 Oct '12

Logic-ml の皆様，東北大学の江口と申します．以下の要領で東北大学ロジックセミナー(田中・山崎研究室) を開催いたします．ご興味のある方は是非参加をご検討ください．日時　平成24年9月2日(金)16時から．場所　東北大学北青葉山キャンパス理学総合棟1201号室．講演者　新井敏康　(千葉大学大学院理学研究科) タイトル　Proof theory of indescribable cardinals アブストラクト I will explain how to lift up the ordinal analyses to set theories of indescribable cardinals. This yields a proof-theoretic reduction of the existence of a $\Pi^{1}_{n+1}$-indescribable cardinal to iterations of $\Pi^{1}_{n}$-indescribabilities over ZF+V=L. 東北大学ロジックセミナーの情報は東北大学ロジックグループのホームページからもご覧いただけます． https://sites.google.com/site/sendailogichomepage/ 江口直日 -- 江口直日東北大学大学院理学研究科数学専攻産学官連携研究員 980-8578 宮城県仙台市青葉区荒巻字青葉6ー3 E-mail: eguchi(a)math.tohoku.ac.jp

1 1

JAIST 多次元セミナー（１１月）
by Hiroakira Ono 16 Oct '12

16 Oct '12

　　　　　JAIST 多次元セミナーの開催について下記のとおり北陸先端科学技術大学院大学先端融合領域研究院主催による多次元セミナーを開催します。 (I)　1. 日　　時　平成24年11月9日 (金) 15:15〜16:45 　　2. 場　　所　JAIST 知識科学研究科講義棟1階　 K-1,2 　　3. 講演者　Sebastiaan A. Terwijn 　　　 Department of Mathematics, Radboud University Nijmegen 　　4. 講演題目 Information distance ============= (II)　1. 日　　時　平成24年11月13日（火） 13:15〜15:00 　　2. 場　　所　JAIST 知識科学研究科講義棟2階　 K-3,4 　　3. 講演者　Rosalie Iemhoff 　　　 Department of Philosophy, Utrecht University 　　4. 講演題目 Substitutions and rules ============== なおすでにお知らせしましたように、つぎの講演が１日にあります。　　1. 日　　時　平成24年11月1日 (木) 15:00〜16:30 　　2. 場　　所　JAIST 知識科学研究科講義棟2 階　中講義室　　3. 講演者　Melvin Fitting 　　　 Department of Mathematics and Computer Science Lehman College, City University of New York 　　4. 講演題目　Tableau/Sequent Duality ============== これらの講演のアブストラクトは以下をご覧下さい　　http://www.jaist.ac.jp/rcis/seminars また講演会場については以下をご覧下さい　　　http://www.jaist.ac.jp/general_info/access/index.html 　　　北陸先端科学技術大学院大学先端融合領域研究院　　小野　寛晰、ノルベルト　プライニング　　 http://www.jaist.ac.jp/rcis/en _______________________________________________ Logic-ml mailing list Logic-ml(a)fos.kuis.kyoto-u.ac.jp http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/logic-ml

1 0

RTA 2013: First Call for Papers
by Nao Hirokawa 15 Oct '12

15 Oct '12

皆様 RTA 2013 の論文募集をご案内致します。今回の RTA はオランダ Eindhoven で行われ、TLCA 2013 との共催となっています。ぜひ投稿をご検討下さい。廣川　直 (JAIST) ************************************************************************* RTA 2013: FIRST CALL FOR PAPERS 24th International Conference on Rewriting Techniques and Applications June 24 - 26, 2013 Eindhoven, The Netherlands collocated with TLCA 2013 as part of RDP 2013 http://www.win.tue.nl/rdp2013/ ************************************************************************* abstract submission February 1 2013 paper submission February 5 2013 rebuttal period March 18-21 2013 notification April 4 2013 final version April 26 2013 ************************************************************************* The 24th International Conference on Rewriting Techniques and Applications (RTA 2013) is organized as part of the Federated Conference on Rewriting, Deduction, and Programming (RDP 2013), together with the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013), and several workshops. RDP 2013 will be held at the Eindhoven University of Technology in the Netherlands. *** TOPICS OF INTEREST *** RTA is the major forum for the presentation of research on all aspects of rewriting. Typical areas of interest include (but are not limited to): Applications: case studies; analysis of cryptographic protocols; rule-based (functional and logic) programming; symbolic and algebraic computation; SMT solving; theorem proving; system synthesis and verification; proof checking; reasoning about programming languages and logics; program transformation; XML queries and transformations; systems biology; homotopy theory; implicit computational complexity; Foundations: equational logic; universal algebra; rewriting logic; rewriting models of programs; matching and unification; narrowing; completion techniques; strategies; rewriting calculi; constraint solving; tree automata; termination; complexity; modularity; Frameworks: string, term, and graph rewriting; lambda-calculus and higher-order rewriting; constrained rewriting/deduction; categorical and infinitary rewriting; stochastic rewriting; net rewriting; binding techniques; Petri nets; higher-dimensional rewriting; Implementation: implementation techniques; parallel execution; rewrite and completion tools; certification of rewriting properties; abstract machines; explicit substitutions; automated (non)termination and confluence provers; automated complexity analysis. *** PUBLICATION *** The proceedings of RTA 2013 will be published by LIPIcs (Leibniz International Proceedings in Informatics). LIPIcs is open access, meaning that publications will be available online and free of charge, and authors keep the copyright for their papers. LIPIcs publications are indexed in DBLP. For more information about LIPIcs please consult: <http://www.dagstuhl.de/en/publications/lipics> *** SUBMISSION GUIDELINES *** Submissions must be - original and not submitted for publication elsewhere, - written in English, - a research paper, or a problem set, or a system description, - in pdf prepared with pdflatex using the LIPIcs stylefile: <http://drops.dagstuhl.de/styles/lipics/lipics-authors.tgz>, - at most 10 pages for system description, at most 15 pages for the other two types of submissions - submitted electronically through the EasyChair system at: <https://www.easychair.org/conferences/?conf=rta2013>. The page limit and the deadline for submission are strict. Additional material for instance proof details, may be given in an appendix which is not subject to the page limit. However, submissions must be self-contained within the respective page limit; reading the appendix should not be necessary to assess the merits of a submission. *** PROGRAMME COMMITTEE CHAIR *** Femke van Raamsdonk (VU University Amsterdam, The Netherlands) *** PROGRAMME COMMITTEE *** Eduardo Bonelli, National University of Quilmes Byron Cook, Microsoft Research Cambridge Stephanie Delaune, ENS Cachan Gilles Dowek, Inria Paris-Rocquencourt Maribel Fernandez, King's College London Nao Hirokawa, JAIST Ishikawa Delia Kesner, University Paris-Diderot Helene Kirchner, Inria Paris-Rocquencourt Barbara Koenig, University Duisburg Essen Temur Kutsia, Johannes Kepler University Linz Aart Middeldorp, University of Innsbruck Vincent van Oostrom, Utrecht University Femke van Raamsdonk, VU University Amsterdam Kristoffer Rose, IBM Research New York Manfred Schmidt-Schauss, Goethe University Frankfurt Peter Selinger, Dalhousie University Paula Severi, University of Leicester Aaron Stump, The University of Iowa Tarmo Uustalu, Institute of Cybernetics Tallinn Roel de Vrijer, VU University Amsterdam Johannes Waldmann, HTWK Leipzig Hans Zantema, Eindhoven University of Technology *** CONFERENCE CHAIR *** Hans Zantema (Eindhoven University of Technology, The Netherlands) *** STEERING COMMITTEE *** Mauricio Ayala-Rincon, Brasilia University Frederic Blanqui, INRIA Tsinghua University Beijing Salvador Lucas, Technical University of Valencia Georg Moser, University of Innsbruck Masahiko Sakai, Nagoya University Sophie Tison, University of Lille *** FURTHER INFORMATION *** Questions related to submission, reviewing, and programme should be sent to the programme committee chair Femke van Raamsdonk, email femke at few.vu.nl.

1 0

Call for Participation: APLAS and CPP 2012
by Atsushi Igarashi 15 Oct '12

15 Oct '12

logic-ml の皆様， 12月に京都で開催される APLAS と CPP という国際会議の参加募集案内を送らせて頂きます。沢山のご参加をお待ちしております。五十嵐淳 & Jacques Garrigue ====================================================================== CALL FOR PARTICIPATION The 10th Asian Symposium on Programming Languages and Systems (APLAS2012) and The 2nd International Conference on Certified Programs and Proofs (CPP2012) Kyoto, Japan December 11-15, 2012 http://aplas12.kuis.kyoto-u.ac.jp/ (APLAS) http://cpp12.kuis.kyoto-u.ac.jp/ (CPP) APLAS aims at stimulating programming language research by providing a forum for the presentation of latest results and the exchange of ideas in topics concerned with programming languages and systems. APLAS is based in Asia, but is an international forum that serves the worldwide programming language community. CPP is a new international forum on theoretical and practical topics in all areas, including computer science, mathematics and education, that consider certification as a essential paradigm for their work. The 10th APLAS and 2nd CPP will be held together in Kyoto, Japan from December 11 to 15, 2012. The five-day event includes, five invited talks, and two conferences. The common registration site for both conferences is now open at: https://v3.apollon.nta.co.jp/aplas12_cpp12/ Early Registration (until November 10, 2012) Regular | Student -----------------------+----------- APLAS+CPP: JPY 54000 | JPY 36000 APLAS only: JPY 31000 | JPY 22000 CPP only: JPY 31000 | JPY 22000 Venue APLAS and CPP will take place at the Kyoto International Community House, nearby the touristic area of Okazaki, inside Kyoto. Kyoto International Community House 2-1 Torii-cho, Awataguchi, Sakyo-ku, Kyoto 606-8536 Invited Speakers o Jan Vitek (Purdue University) "Planet Dynamic or: How I Learned to Stop Worrying and Love Reflection" o Greg Morrisett (Harvard University) “Scalable Formal Machine Models” o Xavier Leroy (INRIA) “Mechanized Semantics for Compiler Verification” o Gilles Barthe (IMDEA) "Automation in computer-aided cryptography: proofs, attacks and designs" o Naoki Kobayashi (University of Tokyo) "Program Certification by Higher-Order Model Checking" For detailed conference programs, see - http://aplas12.kuis.kyoto-u.ac.jp/program.html - http://cpp12.kuis.kyoto-u.ac.jp/program.html

1 0

セミナー案内
by KASHIMA Ryo 12 Oct '12

12 Oct '12

数理論理学セミナーのご案内日時：12月22日(木)17時から場所：東京工業大学大岡山西８号館W棟11階 W1101セミナー室会場までの交通案内はこちらから： http://www.titech.ac.jp/about/campus/index.html 話者：藤原誠（東北大学）題目：結婚定理の逆数学概要： 1972年にManasterとRosensteinは可算版結婚定理を再帰理論的に分析し、通常の可算版結婚定理は計算可能には成立しないことを示した。一方、1983年にKiersteadは拡張Hall条件を導入し、計算可能に成立する結婚定理を得た。本発表では、拡張Hall条件を用いて考え得るあらゆる結婚定理の複雑さを逆数学的に分析する。また、Kiersteadとは別の観点から、計算可能に成立する結婚定理について考察する。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp ＃＃＃木曜夕方を中心に不定期的にセミナーを開催しています＃＃＃＃＃＃詳細はお問い合わせください＃＃＃

1 1

国際会議TQC2013のご案内
by NISHIMURA Harumichi 12 Oct '12

12 Oct '12

logic-mlの皆様，名古屋大学の西村と申します．東京大学の村尾先生のご依頼により，量子情報科学の国際会議TQC2013の告知を投稿させていただきます．よろしくお願いいたします．名古屋大学大学院情報科学研究科西村治道 --以下告知-- ------- Dear Friends, The 8th Conference on the Theory of Quantum Computation, Communication and Cryptography will be held at the University of Guelph, 21st--23rd May 2013. http://www.uoguelph.ca/quigs/tqc2013/index.html There are some interesting news about TQC! The proceedings consisting of accepted papers and a selection of posters will be published electronically in the LIPIcs (Leibniz International Proceedings in Informatics) series. The LIPIcs series guarantees perennial, free and easy electronic access, while the authors will retain the rights over their work (Attribution 3.0 Unported (CC BY 3.0)). Notice that abstract material can be published elsewhere after TQC. For further information please visit http://www.uoguelph.ca/quigs/tqc2013/en/submissions.html Here are the important dates: Submission deadline: *** February 05, 2013 (23:59h in any time zone) *** Notification of acceptance/rejection: March 15, 2013 Registration deadline: April 20, 2013 Short abstracts submission: May 5, 2013 Conference: May 21-23, 2013 Proceedings submission (final version of accepted papers): July 03, 2013 It would be great if you could forward this email to your students/colleagues at your home institution. Please accept our apologies if you receive multiple copies of this message. Best wishes, The TQC2013 Committees tqc2013(a)gmail.com

1 0

教員公募（JAIST 情報科学研究科）
by Nao Hirokawa 11 Oct '12

11 Oct '12

皆様 JAIST 情報科学研究科の教員公募のご案内を致します。案内は以下の PDF からも入手可能です: http://www.jaist.ac.jp/jimu/syomu/koubo/pdf/is_20121005.pdf 廣川直 (JAIST) - - - - 北陸先端科学技術大学院大学情報科学研究科ソフトウェア科学領域募集人員　　助教１名専門分野及び関連する主な業務・研究：ソフトウェア検証分野に関する研究・教育：検証論分野担当教員と協力して、博士前期・　後期課程学生を指導。情報科学研究科の導入講義の　一部を担当。応募資格　採用時に博士の学位を有する方。学生の指導に熱意　を有し、数理論理や形式言語等の基礎理論のソフト　ウェア検証への（ツール実装を含む）応用に意欲を　もって研究を推進する方。国際的な共同研究の推進　に意欲を持つ方。英語を使ってのグローバルコミュ　ニケーション能力のある方（日本語能力は必須とし　ない）。本学では、教員の選考に際して機会均等、　多様性が重要と考え、女性や外国人の採用を積極的　に進めています。着任時期　　平成25年4月1日提出書類１．履歴書(写真添付)および学位証明書の写し、２．研究業績リスト（国際論文誌、査読付国際会議、　　国内論文誌、研究会・国内シンポジウム等の発表　　論文、著書、特許、その他に区別し、新しいもの　　から順番に列記）、３．主要論文の別刷りまたはコピー（3編）、４．主たる研究概要（2000字程度)、５．研究、教育に関連するその他の活動（学術雑誌の　　編集委員、国際会議のプログラム委員等学術的貢　　献や標準化等の社会貢献など、また、受賞、研究　　費調達状況など選考の参考になる事項、過去に担　　当した講義等）、６．今後5年間の研究計画 (2000字程度)、７．教育に対する抱負 (2000字程度)、８．応募者本人の連絡先（郵便宛先と電子メールアド　　レス）、９．推薦書2通、または意見を伺える方2名の氏名・所　　属と連絡先（e-mail）応募締切　　平成24年11月30日当日消印可送付先　　　〒923-1292 石川県能美市旭台1-1 　　　　　　北陸先端科学技術大学院大学　　　　　　情報科学研究科長　浅野　哲夫 ※「教員応募書類在中（ソフトウェア科学領域・助教）」　と朱書して、簡易書留にて郵送のこと。 ※ Eメールにより提出された書類は受け付けません。照会先　情報科学研究科　（共通事務管理課共通事務第二係研究科長秘書）　Tel: 0761-51-1155 　Fax: 0761-51-1149 　e-mail: is-dean(a)jaist.ac.jp その他　本学に関する情報については、 http://www.jaist.ac.jp/index-jp.html をご覧ください。

1 0

CALCO 2013: First Call for Papers
by Ichiro Hasuo 08 Oct '12

08 Oct '12

みなさま，こんにちは！東京大学の蓮尾です．国際会議 CALCO 2013 の案内をお送りします．トピックは代数・余代数・形式検証の理論一般，開催地はポーランド・ワルシャワ，締切は来年2月です．どうか投稿をご検討ください．それでは！蓮尾一郎 http://www-mmm.is.s.u-tokyo.ac.jp/ ---------- Forwarded message ---------- [Apologies for multiple copies] ========================================================================= FIRST CALL FOR PAPERS: CALCO 2013 5th International Conference on Algebra and Coalgebra in Computer Science September 3 - 6, 2013 Warsaw, Poland http://coalg.org/calco13/ ========================================================================= Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 ========================================================================= -- SCOPE -- CALCO aims to bring together researchers and practitioners with interests in foundational aspects, and both traditional and emerging uses of algebra and coalgebra in computer science. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009) and Winchester (UK, 2011). The fifth edition will be held in Warsaw, the capital of Poland. -- INVITED SPEAKERS -- N.N. -- TOPICS OF INTEREST -- We invite submissions of technical papers that report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. We encourage submissions in topics included or related to those listed below. * Abstract models and logics - Automata and languages - Categorical semantics - Modal logics - Relational systems - Graph transformation - Term rewriting - Adhesive categories * Specialised models and calculi - Hybrid, probabilistic, and timed systems - Calculi and models of concurrent, distributed, mobile, and context-aware computing - General systems theory and computational models (chemical, biological, etc.) * Algebraic and coalgebraic semantics - Abstract data types - Inductive and coinductive methods - Re-engineering techniques (program transformation) - Semantics of conceptual modelling methods and techniques - Semantics of programming languages * System specification and verification - Algebraic and coalgebraic specification - Formal testing and quality assurance - Validation and verification - Generative programming and model-driven development - Models, correctness and (re)configuration of hardware/middleware/architectures, - Process algebra -- NEW TOPICS -- This edition of CALCO will feature two new topics, and submission of papers on these topics is especially encouraged. * Corecursion in Programming Languages - Corecursion in logic / constraint / functional / answer set programming - Corecursive type inference - Coinductive methods for proving program properties - Implementing corecursion - Applications * Algebra and Coalgebra in quantum computing - Categorical semantics for quantum computing - Quantum calculi and programming languages - Foundational structures for quantum computing - Applications of quantum algebra -- SUBMISSION GUIDELINES -- Prospective authors are invited to submit full papers in English presenting original research. Submitted papers must be unpublished and not submitted for publication elsewhere. Experience papers are welcome, but they must clearly present general lessons learned that would be of interest and benefit to a broad audience of both researchers and practitioners. As with previous editions, the proceedings will be published in the Springer LNCS series. Final papers should be no more than 15 pages long in the format specified by Springer (see http://www.springer.de/comp/lncs/authors.html). It is recommended that submissions adhere to that format and length. Submissions that are clearly too long may be rejected immediately. Proofs omitted due to space limitations may be included in a clearly marked appendix. Both an abstract and the full paper must be submitted by their respective submission deadlines. -- BEST PAPER AND BEST PRESENTATION AWARDS -- For the first time, this edition of CALCO will feature two kinds of awards: a best paper award whose recipients will be selected by the PC before the conference and a best presentation award, elected by the participants. -- IMPORTANT DATES -- Abstract submission: February 22, 2013 Paper submission: March 1, 2013 Author notification: May 6, 2013 Final version due: June 3, 2013 -- PROGRAMME COMMITTEE -- Luca Aceto - Reykjavik University, Iceland Jiri Adamek - TU Braunschweig, D Lars Birkedal - IT University of Copenhagen, DK Filippo Bonchi - CNRS, ENS-Lyon, F Corina Cirstea - University of Southhampton, UK Bob Coecke - University of Oxford, UK Andrea Corradini - University of Pisa, I Mai Gehrke - Université Paris Diderot - Paris 7, F H. Peter Gumm - Philipps University Marburg, D Gopal Gupta - University of Texas at Dallas, USA Ichiro Hasuo - Tokyo University, Japan Reiko Heckel - University of Leicester, UK (cochair) Bart Jacobs - Radboud University Nijmegen, NL Ekaterina Komendantskaya - University of Dundee, Scotland, UK Barbara König - University of Duisburg-Essen, D José Meseguer - University of Illinois, Urbana-Champaign, USA Marino Miculan - University of Udine, I Stefan Milius - TU Braunschweig, D (cochair) Larry Moss - Indiana University, Bloomington, USA Till Mossakowski - DFKI Lab Bremen and University of Bremen, D Prakash Panangaden - McGill University, Montreal, Canada Dirk Pattinson - Imperial College London, UK Dusko Pavlovic - Royal Holloway, University of London, UK Daniela Petrisan - University of Leicester, UK John Power - University of Bath, UK Jan Rutten - CWI Amsterdam and Radboud University Nijmegen, NL Lutz Schröder - Friedrich-Alexander Universität Erlangen-Nürnberg, D Monika Seisenberger - Swansea University, UK Sam Staton - University of Cambridge, UK Alexandra Silva - Radboud University Nijmegen and CWI Amsterdam, NL Pawel Sobocinski - University of Southampton, UK Yde Venema - University of Amsterdam, NL Uwe Wolter - University of Bergen, NO -- ORGANISING COMMITTEE -- Bartek Klin (University of Warsaw, Poland) Andrzej Tarlecki (University of Warsaw, Poland) -- LOCATION -- Warsaw, the capital of Poland, is a lively city with many historic monuments and sights, but also with a thriving business district. It is easily accessible via two airports: the main Chopin Airport, used by most international carriers, and the recently open Warsaw Modlin Airport (30 minutes away by rail), used by budget airlines. -- SATELLITE WORKSHOPS -- CALCO 2013 will be preceded by the CALCO Early Ideas Workshop, chaired by Monika Seisenberger (Swansea University). The workshop is dedicated to presentation of work in progress and original research proposals. PhD students and young researchers are particularly encouraged to contribute. A workshop dedicated to tools based on algebraic and/or coalgebraic principles, CALCO Tools, will be held alongside the main conference, chaired by Lutz Schröder (Friedrich Alexander Universität Erlangen-Nürnberg). Papers of this workshop will be included in the CALCO proceedings. -- FURTHER INFORMATION -- Queries related to submission, reviewing, and programme should be sent to the relevant conference or workshop chairs. Queries related to the organisation should be emailed to calco2013(a)mimuw.edu.pl . [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml