Logic-ml

9 participants
1781 discussions

SSLST 2011: 1st announcement
by "Carlos Martín Vide" 11 Jun '11

11 Jun '11

2011 INTERNATIONAL SUMMER SCHOOL IN LANGUAGE AND SPEECH TECHNOLOGIES (SSLST 2011) (formerly International PhD School in Language and Speech Technologies) Tarragona, Spain, August 29 – September 2, 2011 Organized by: Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University http://grammars.grlmc.com/sslst2011/ ****************************************** AIM: SSLST 2011 offers a broad and intensive series of lectures on language and speech technologies at different levels. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate their career in research. ADDRESSED TO: Undergraduate and graduate students from around the world. Most appropriate degrees include: Computer Science and Linguistics. Other students (for instance, from Mathematics, Electrical Engineering, or Philosophy) are welcome too. The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field. There will be no overlap in the schedule of the courses. COURSES AND PROFESSORS: Walter Daelemans (Antwerpen), Computational Stylometry [advanced, 4 hours] Robert Dale (Macquarie), Automated Writing Assistance: Grammar Checking and Beyond [intermediate, 8 hours] Christiane Fellbaum (Princeton), Computational Lexical Semantics [introductory/intermediate, 8 hours] Ralph Grishman (New York), Information Extraction [intermediate, 8 hours] Daniel Jurafsky (Stanford), Computational Extraction of Social and Interactional Meaning [introductory/advanced, 8 hours] Chin-Hui Lee (Georgia Tech), A Short Course on Digital Speech Processing and Applications [intermediate, 8 hours] Yuji Matsumoto (Nara), Syntax and Parsing: Phrase Structure and Dependency Parsing [introductory/intermediate, 8 hours] Diana Maynard (Sheffield), Text Mining [introductory/intermediate, 8 hours] Dan Roth (Urbana-Champaign), Predicting Structures in NLP: Constrained Conditional Models and Integer Linear Programming in NLP [intermediate/advanced, 8 hours] SCHOOL PAPER: On a voluntary basis, within 6 months after the end of the School, students will be expected to draft an individual or jointly-authored research paper on a topic covered during the classes under the guidance of the lecturing staff. REGISTRATION: It has to be done on line at http://grammars.grlmc.com/sslst2011/Registration.php FEES: They are variable, depending on the number of courses each student takes. The rule is: 1 hour = - 10 euros (for payments until June 5, 2011), - 15 euros (for payments after June 5, 2011). The fees must be paid to the School's bank account: Uno-e Bank (Julian Camarillo 4 C, 28037 Madrid, Spain): IBAN: ES3902270001820201823142 - Swift code: UNOEESM1 (account holder: Carlos Martin-Vide GRLMC) Please mention SSLST 2011 and your full name in the subject. An invoice will be provided on site. Bank transfers should not involve any expense for the School. People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is recommended to complete the registration and the payment earlier. ACCOMMODATION: Information about accommodation will be provided on the website of the School. CERTIFICATES: Students will be delivered a certificate stating the courses attended, their contents, and their duration. Those participants who will choose to be involved in a research paper will receive an additional certificate at the end of the task, independently on whether the paper will finally get published or not. IMPORTANT DATES: Announcement of the programme: April 21, 2011 Starting of the registration: April 25, 2011 Early registration deadline: June 5, 2011 Starting of the School: August 29, 2011 End of the School: September 2, 2011 QUESTIONS AND FURTHER INFORMATION: Florentina-Lilica Voicu: florentinalilica.voicu(a)urv.cat WEBSITE: http://grammars.grlmc.com/sslst2011/ POSTAL ADDRESS: SSLST 2011 Research Group on Mathematical Linguistics (GRLMC) Rovira i Virgili University Av. Catalunya, 35 43002 Tarragona, Spain Phone: +34-977-559543 Fax: +34-977-558386

1 0

Call for Participation: 12th Meeting on Mathematics of Language
by Makoto Kanazawa 10 Jun '11

10 Jun '11

*** REGISTRATION OPEN *** CALL FOR PARTICIPATION (early-bird registration deadline: July 1, 2011) 12th Meeting on Mathematics of Language Nara, Japan, September 6-8, 2011 http://sites.google.com/site/mol12nara/ Invited Speakers Kit Fine, New York University Andreas Maletti, University of Stuttgart Program available at http://sites.google.com/site/mol12nara/program Contact: mol12(a)googlegroups.com

1 0

数学基礎論サマースクールのご案内
by Ikuo Yoneda 06 Jun '11

06 Jun '11

【数学基礎論メーリングリスト加入の皆様へ】今夏は神戸大学において「モデル理論」をテーマにサマースクール開校となりました。よろしくお願い申し上げます。日程：平成２３年８月２９日（月）１３：３０〜８月３１日（水）１２：１０ＨＰ： http://kurt.scitec.kobe-u.ac.jp/~kikyo/LogicSummerSchool2011/ チュートリアルが沢山ございます。幅広い，ご参加，お待ちしております。連絡係米田郁生（徳山高専）

1 0

CFP: SAC 2012 track on Service Oriented Architectures and Programming (SOAP)
by Koji Hasebe 04 Jun '11

04 Jun '11

（重複して受け取られた場合はご容赦下さい。）来年3月にTrentoにて開催されるACM SACのトラック"Service Oriented Architectures and Programming (SOAP)"のCFPをお送り致します。多数の投稿をお待ちしております。長谷部浩二＠筑波大学コンピュータサイエンス専攻 ============================================== Call for Papers 27th Annual ACM Symposium on Applied Computing (SAC) http://www.acm.org/conferences/sac/sac2012/ Track on Service-Oriented Architectures and Programming (SOAP) Riva del Garda (Trento), Italy March 25-29, 2012 http://www.itu.dk/acmsac2012-soap/ ============================================== ACM SAC 2012 For the past twenty-seven years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world. SAC 2012 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by The Microsoft Research - University of Trento Centre for Computational and Systems Biology, Trento, Italy. SOAP TRACK: CALL FOR PAPERS Service-Oriented Programming (SOP) is quickly changing our vision of the Web, bringing a paradigmatic shift in the methodologies followed by programmers when designing and implementing distributed systems. Originally, the Web was mainly seen as a means of presenting information to a wide spectrum of people, but SOP is triggering a radical transformation of the Web towards a computational fabric where loosely coupled services interact publishing their interfaces inside dedicated repositories, where they can be discovered by other services and then invoked, abstracting from their actual implementation. Research on SOP is giving strong impetus to the development of new technologies and tools for creating and deploying distributed software. In the context of this modern paradigm we have to cope with an old challenge, like in the early days of Object-Oriented Programming when, until key features like encapsulation, inheritance, and polymorphism, and proper design methodologies were defined, consistency in the programming model definition was not achieved. The complex scenario of SOP needs to be clarified on many aspects, both from the engineering and from the foundational points of view. From the engineering point of view, there are open issues at many levels. Among others, at the system design level, both traditional approaches based on UML and approaches taking inspiration from business process modelling, e.g. BPMN, are used. At the composition level, although WS-BPEL is a de-facto industrial standard, other approaches are appearing, and both the orchestration and choreography views have their supporters. At the description and discovery level there are two separate communities pushing respectively the semantic approach (ontologies, OWL, ...) and the syntactic one (WSDL, ...). In particular, the role of discovery engines and protocols is not clear. In this respect we still lack adopted standards: UDDI looked to be a good candidate, but it is no longer pushed by the main corporations, and its wide adoption seems difficult. Furthermore, a new different implementation platform, the so-called REST services, is emerging and competing with classic Web Services. Finally, features like Quality of Service, security and dependability need to be taken seriously into account, and this investigation should lead to standard proposals. From the foundational point of view, formalists have discussed widely in the last years, and many attempts to use formal methods for specification and verification in this setting have been made. Session correlation, service types, contract theories and communication patterns are only a few examples of the aspects that have been investigated. Moreover, several formal models based upon automata, Petri nets and algebraic approaches have been developed. However most of these approaches concentrate only on a few features of Service-Oriented Systems in isolation, and a comprehensive approach is still far from being achieved. The Service-Oriented Architectures and Programming track aims at bringing together researchers and practitioners having the common objective of transforming SOP into a mature discipline with both solid scientific foundations and mature software engineering development methodologies supported by dedicated tools. In particular, we will encourage works and discussions about what SOP still needs in order to achieve its original goal. Major topics of interest will include: - Formal methods for specification of Web Services - Notations and models for Service Oriented Computing - Methodologies and tools for Service Oriented application design - Service Oriented Middlewares - Service Oriented Programming languages - Test methodologies for Service Oriented applications - Analysis techniques and tools - Service systems performance analysis - Industrial deployment of tools and methodologies - Standards for Service Oriented Programming - Service application case studies - Dependability and Web Services - Quality of Service - Security issues in Service Oriented Computing - Comparisons between different approaches to Services - Exception handling in composition languages - Trust and Web Services - Sustainability and Web Services, Green Computing - Adaptable Web Services - Software Product Lines for Services - Artificial Intelligence Techniques for Service-Oriented Computing IMPORTANT DATES (strict) August 31, 2011: Paper submissions October 12, 2011: Author notification November 2, 2011: Camera-Ready Copy March 25-29, 2012: Conference SUBMISSIONS Authors are invited to submit original unpublished papers. Submission of the same paper to multiple tracks is not allowed. Peer groups with expertise in the track focus area will double-blindly review submissions. Accepted papers will be published in the annual conference proceedings. SOAP track chairs will not submit to the track. Submissions from SOAP PC members and from PC members and track chairs of other SAC tracks are welcome. Submission guidelines can be found on SAC 2012 Website: http://www.acm.org/conferences/sac/sac2012/ Prospective papers should be submitted to the track using the provided automated submission system. Please pay attention to ensure anonimity of your submitted manuscript as detailed in the submission page so to allow for double-blind review. Papers not satisfying this constraint will be automatically rejected. The maximum length for papers is 8 pages. Accepted papers whose camera-ready version will exceed 6 pages will have to pay an extra charge. PC MEMBERS Faycal Abouzaid, University of Montreal (Canada) Maurice ter Beek, ISTI-CNR, Pisa (Italy) Jesper Bengtson, IT University of Copenhagen (Denmark) Roberto Bruni, University of Pisa (Italy) Nicola Dragoni, Technical University of Denmark (Denmark) Schahram Dustdar, Technical University of Vienna (Austria) Tim Hallwyl, Sirius IT (Denmark) Koji Hasebe, University of Tsukuba (Japan) Nickolas Kavantzas, ORACLE (USA) Marcello La Rosa, Queensland University of Technology (Australia) Francisco Martins, University of Lisbon (Portugal) Michele Mazzucco, University of Tartu (Estonia) Hernàn Melgratti, University of Buenos Aires (Argentina) Nicola Mezzetti, Engineering Ingegneria Informatica S.p.A. (Italy) Paolo Missier, Newcastle University (UK) Bardia Mohabbati, Simon Fraser University (Canada) Kévin Ottens, Klarälvdalens Datakonsult AB (Sweden) Rosario Pugliese, University of Firenze (Italy) Jean-Bernard Stefani, INRIA Grenoble (France) Emilio Tuosto, University of Leicester (UK) Mirko Viroli, University of Bologna (Italy) Olaf Zimmermann, IBM Research - Zurich (Switzerland) Sebastian Wieczorek, SAP (Germany) Peter Wong, Fredhopper - Amsterdam (Netherlands) TRACK CHAIRS Ivan Lanese lanese @ cs.unibo.it FOCUS Team, University of Bologna/INRIA, Italy Manuel Mazzara manuel.mazzara @ newcastle.ac.uk School of Computing Science, Newcastle university, UK Fabrizio Montesi fmontesi @ italianasoftware.com IT University of Copenhagen, Denmark / italianaSoftware s.r.l., Italy

1 0

AQIS2011のご案内
by Harumichi Nishimura 03 Jun '11

03 Jun '11

logic-ml の皆様，大阪府立大学の西村と申します．国際会議AQIS2011の御案内をさせていただきます．量子計算，量子論理など量子情報科学に興味をお持ちの方はぜひ参加の程ご検討いただければ幸いです．宜しくお願い致します．西村治道大阪府立大学理学系研究科〒599-8531 堺市中区学園町１−１ TEL: 072-254-9693 E-mail: hnishimura(a)mi.s.osakafu-u.ac.jp ============================================================ The 11th Asian Quantum Information Science Conference http://newton.kias.re.kr/aqis11 August 23 - 30, 2011 Tutorial: August 23, Main conference: August 24-27 Special Programs: August 28, A Satellite Workshop at KIAS, Seoul: August 29-30 Venue: Pukyong National University, Busan, Korea Organized by Korea Institute for Advanced Study (KIAS) Co-organized by Pukyong National University Important Dates: Submission deadline: June 20, 2011 Acceptance notification: July 17, 2011 Final draft: August 7, 2011 ============================================================ Apologies for cross-postings. Please send to interested colleagues and students. The 11th AQIS conference will be focused on new theoretical and experimental development in quantum information processing, communication and cryptography and on both physics and computing aspects of the field. Program is to consists of invited talks, selected presentations and posters, as well as tutorials and satellite workshops. Areas of coverage include (but are not limited to): -Quantum computation, programming, algorithms and complexity -Quantum information theory -Quantum decoherence fighting concepts, methods and tool -Quantum cryptography theory and experiments -Quantum communication experiments and theory -Quantum technologies (optics, NMR, solid states,...) -Quantum computers and processors design -Quantum information processing impacts on other sciences Social program will include excursion to the exciting Gyeongju that was the capital of Silla (ancient Korea) for 1000 years. Keynote Speakers: Gilles Brassard (University of Montreal) Yoshihisa Yamamoto (NII, Tokyo, Stanford University) Tutorial Lecturers: Andris Ambainis (University of Latvia, Riga) Jozef Gruska (Masaryk University, Brno) Barry Sanders (University of Calgary, Calgary) Invited Speakers: Charles Bennett (IBM, Yorktown Heights) Guoping Guo (University of Science and Technology of China, Hefei) Wu-Ming Liu (Chinese Academy of Sciences, Beijing) Mio Murao (University of Tokyo, Tokyo) Hyunchul Nha (Texas A&M University, Qatar) Rajiah Simon (Institute of Mathematical Sciences, Chennai) Shigeki Takeuchi (Osaka University, Osaka) Andreas Winter (University of Bristol, Bristol)[to be confirmed] Contact Information: Se-Wan Ji, Korea Institute for Advanced Study (KIAS) Hoegiro 87, Dongdaemun, SEOUL, KOREA [130-722] Tel: +82-2-958-3863 Fax: +82-2-958-3820 Email: aqis11(a)kias.re.kr Steering Committee Chair: Jozef Gruska (Masaryk University, Brno) Conference Chairs: Jaewan Kim (KIAS, Seoul) Hai-Woong Lee (KAIST, Daejeon) Program committee: Andris Ambainis (Co-Chair; University of Latvia, Riga) Almut Beige (U Leeds) Charles Bennett (IBM) Warwick Bowen (U Queensland) Giulio Chiribella (PI, Ontario) Sang Kyung Choi (KRISS) His-Sheng Goan (NTU) Andrew Greentree (U Melbourne) Guang-Can Guo (USTC, Hefei) Kazuo Iwama (Kyoto U) Hyunseok Jeong (Seoul Nat'l U) Jaewan Kim (Chair; KIAS) Kisik Kim (Inha U) Yoon Ho Kim (POSTECH) Julien Laurat (CNRS, Paris) Hai-Woong Lee (KAIST) Jinhyoung Lee (Hanyang U) Peter van Loock (Max-Planck Inst) Norbert Lutkenhaus (U Waterloo) Kae Nemoto (NII, Tokyo) Hyunchul Nha (Texas A&M U, Qatar) Franco Nori (RIKEN/U Michigan) Arun Pati (Inst Physics, Bhubaneswar) Martin B Plenio (U Ulm) Daowen Qiu (Zhongshan U, Guangzhou) Martin Roetteler (NEC Labs) Barry Sanders (U Calgary) Stephanie Wehner (CQT/NUS) Andreas Winter (U Bristol) Shigeru Yamashita (Ritsumeikan U) Bei Zeng (IQC, U Waterloo) Shengyu Zhang (CUHK, Hong Kong) Organizing Committee: Kyungsik Kim (Chair; Pukyong National University, Busan) Tae-Gon Noh (Kyungsung University, Busan) Sang Wook Kim (Pusan National University, Busan) Han Seb Moon (Pusan National University, Busan) Se-Wan Ji (KIAS, Seoul) Shigeru Yamashita (Ritsumeikan University, Nara) Sheng-Mei Zhao (NUPT, Nanjing) Jae-Weon Lee (Jungwon University, Goesan) ============================================================

1 0

ESSLLI 2011 Early-Bird Registration Extended Deadline
by Makoto Kanazawa 01 Jun '11

01 Jun '11

Apologies if you receive multiple copies of this message. Please distribute it to colleagues and students. *********************************************************************** DEADLINE EXTENSION FOR EARLY-BIRD REGISTRATION FOR ESSLLI 2011 Meeting: 23rd European Summer School in Logic, Language and Information (ESSLLI) Date: 01-Aug-2011 - 12-Aug-2011 Location: Ljubljana, Slovenia Contact Email: esslli2011(a)gmail.com Meeting URL: http://esslli2011.ijs.si/ Early registration deadline: 15-06-2011 *********************************************************************** *Meeting Descriptrmation (ESSLLI) has been organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers foundational, introductory and advanced courses, as well as workshops, covering a wide variety of topics within the three areas of interest: Language and Computation, Language and Logic, and Logic and Computation. Previous summer schools have been highly successful, attracting up to 500 students from Europe and elsewhere. The school has developed into an important meeting place and forum for discussion for students and researchers interested in the interdisciplinary study of Logic, Language and Information. During two weeks, around 50 courses and 10 workshops are offered to the attendants, each of 1.5 hours per day during a five days week, with up to seven parallel sessions. ESSLLI also includes a student session (papers and posters by students only, 1.5 hour per day during the two weeks) and four evening lectures by senior scientists in the covered areas. In 2011, ESSLLI will held in Ljubljana, Slovenia and will be organized by the Slovenian Language Technologies Society (SDJT), the Jožef Stefan Institute (IJS) and The Faculty of Mathematics and Physics (FMF) in Ljubljana, Slovenia. Chair of the Program Committee is Makoto Kanazawa (National Institute of Informatics, Japan), and Chair of the Organizing Committee is Darja Fišer (The University of Ljubljana, Slovenia). To contact the ESSLLI 2011 Organizing Committee, write to: esslli2011(a)gmail.com . *Summer School Programme* http://esslli2011.ijs.si/?page_id=897 *Online Registration Form* http://esslli2011.ijs.si/?page_id=12 *Programme Committee* Chair: Makoto Kanazawa (National Institute of Informatics, Tokyo) Local Co-chair: Andrej Bauer (University of Ljubljana) Area Specialists: Language and Computation: - Markus Egg (Humboldt-Universität zu Berlin) - Aline Villavicencio (Federal University of Rio Grande do Sul, Brazil) Language and Logic: - Hans-Christian Schmitz (Fraunhofer FIT, Sankt Augustin) - Louise McNally (UPF, Barcelona) Logic and Computation: - Ralph Matthes (IRIT, CNRS and University of Toulouse) - Eric Pacuit (Center for Logic and Philosophy of Science, Tilburg *Organizing Committee* Chair: Darja Fišer (University of Ljubljana) Committee Members: - Špela Vintar (University of Ljubljana) - Senja Pollak (University of Ljubljana) - Mihael Arčan (DERI, National University of Ireland, Galway) - Andrej Bauer (University of Ljubljana) - Boštjan Bajec (University of Ljubljana) - Monika Kropej (Jožef Stefan Institute) - Špela Sitar (Jožef Stefan Institute) - Mitja Jermol (Jožef Stefan Institute)

1 0

東北大学ロジックセミナー(6/3)
by higurashi3873＠yahoo.co.jp 27 May '11

27 May '11

皆様，東北大学の堀畑佳宏です．下記の日程でロジックセミナーを行いますので，興味のある方はぜひご参加ください．日時：6月3日(金)，16時から場所：東北大学北青葉山キャンパス理学総合棟1201号室発表者：Sam Sanders　（Ghent university，東北大学大学院）タイトル： Nonstandard Analysis: a new way to compute アブストラクト： The notion of computability (in principle) is central to topics like e.g. Recursion Theory and Erret Bishop's Constructive Analysis. In contrast, the notion of computability has not been studied intensively in the context Nonstandard Analysis. Bishop even notoriously derided Nonstandard Analysis for its `lack of computational content'. Today, we set the historical record straight. We introduce `$\omega$-invariance' a new notion of computability based on Nonstandard Analysis. We show that $\omega$-invariance has the usual properties of computability and even derive several results from Constructive Reverse Mathematics. セミナーの詳細につきましては，下記をご参照ください． https://sites.google.com/site/sendailogichomepage/ 堀畑　佳宏 -- -- 東北大学大学院　理学研究科数学専攻　博士後期課程三年 E-mail: sa6m31(a)math.tohoku.ac.jp E-mail: higurashi3873(a)yahoo.co.jp

1 0

CFP: LENLS 8 (Logic and Engineering of Natural Language Semantics 8)
by BEKKI Daisuke 26 May '11

26 May '11

（重複して受け取られた場合はご容赦ください）今年の１２月に高松で開催される LENLS8 国際ワークショップのCFPをお送りします。多数の投稿をお待ちしています。戸次大介（お茶の水女子大学） [Apologies for multiple copies] ================================================================= FIRST CALL FOR PAPERS Logic and Engineering of Natural Language Semantics 8 (LENLS8) Workshop Site : "Sunport Hall Takamatsu", Takamatsu 2-1, Sunport, Takamatsu-shi, Kagawa-ken, Japan Dates : December 1-2, 2011 Contact Person: Alastair Butler Contact Email : lenls8(a)easychair.org Website : http://www.is.ocha.ac.jp/‾bekki/lenls/ ================================================================= Chair: Alastair Butler (JST/Tohoku University) Invited Speaker(s): - Kentaro Inui (Tohoku University) - TBA LENLS is an annual international workshop focusing on formal semantics and pragmatics. It will be held as one of the workshops of JSAI isAI 2011, sponsored by The Japan Society for Artificial Intelligence (JSAI). Call For Papers 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- and utility-theoretic approaches) - Substructural expansion of Lambek Lambda Calculi - Many-valued/Fuzzy and other non-classical logics and natural language This year we especially welcome submissions connected to the theme of "Where is dynamic semantics now?". Flavours of dynamic semantics (world updating, assignment changing, etc.) have been broadly applied to solve problems in linguistics (notably anything related to anaphora) and philosophy (e.g., foundational issues of context, the role of variables) and have prompted the development of a diverse range of frameworks with replicable formal results. However in recent years direct appeals to the dynamic metaphor have been waning, as has the explicit development of novel systems, or even refinements to or mergings of older systems. Has dynamic semantics been so successful in solving its problems that all that remains for discussion are implementational differences among established parameters, or have debates simply shifted to new issues? Either way now seems an apt time to take stock and question where the decades of research have taken us and where we might hope this legacy to send us in the future. Submissions: Abstracts (4-6 pages, including figures, bibliography, possible apendices) must be submitted electronically in PDF format at: https://www.easychair.org/conferences/?conf=lenls8 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 : August 31, 2011 Notification of acceptance : September 30, 2011 Deadline for camera-ready copy : October 15, 2011 Deadline for onsite registration: November 12, 2011 LENLS8: December 01-02, 2011 Organizing Committee: Alastair Butler (Chair) Daisuke Bekki Eric McCready Yoshiki Mori Yasuo Nakayama Katsuhiko Yabushita Tomoyuki Yamada Shunsuke Yatabe Kei Yoshimoto

1 0

名古屋大学大学院多元数理科学研究科教員公募
by Jacques Garrigue 26 May '11

26 May '11

logic-mlの皆様、名古屋大学大学院多元数理科学研究科で教員の公募を行っています。広い分野での応募を期待していますので、よろしくお願いします。 Jacques Garrigue ====================================================================== 2011年5月24日関係各位名古屋大学大学院多元数理科学研究科教員の公募について名古屋大学大学院多元数理科学研究科　准教授・助教選考委員会委員長　納谷　信　このたび本研究科におきましては、下記要領で教員公募を行うことになりました。つきましては貴関係者にお知らせいただくともに、適任者をご存じの場合には、応募をお勧め下さるようお願い申し上げます。記職名及び人数:　准教授もしくは助教若干名学位取得後10年以内（学位取得見込みを含む）であることが望ましい研究分野:　数学および数理科学採用予定日:　2011年10月1日以降できるだけ早い時期応募期限:　2011年7月1日(金)必着必要書類: 応募用紙 (ウェッブページよりダウンロードし、必要事項を記入してください) 履歴書研究業績リスト主要論文解説研究計画書過去の教育経験 (TAなどの経験を含む) 及び教育についての考え方を述べた書類主要論文およびプレプリントのコピー業績について照会できる方3名の氏名と連絡先　　照会先が海外在住の場合は推薦書を依頼して下さい。応募方法の詳細: 　下記ウェッブページを参照のこと http://www.math.nagoya-u.ac.jp/ja/job/ その他:　本学では、男女共同参画を積極的に推進しています。問い合わせ先:　納谷　信(ap-search-2011(a)math.nagoya-u.ac.jp) 以上

1 0

$BCLOC2q$N$40FFb(B [Prof. Yde Venema, 5/25]
by Hasegawa Masahito 23 May '11

23 May '11

$B3'MM!"(B $B:#=5$N?eMK!J#57n#2#5F|!K$K!"5~ETBg3X?tM}2r@O8&5f=j$G0J2<$NCLOC2q$,3+:E(B $B$5$l$^$9!#9V1i<T$O!"8=:_5R0w65<x$H$7$F?tM}8&$KBZ:_$5$l$F$$$k!"%"%`%9%F(B $B%k%@%`Bg$N(BYde Venema$B$5$s$G$9!#$I$&$>$4MhD0$/$@$5$$!#(B $BD9C+@n???M(B $B5~ETBg3X?tM}2r@O8&5f=j(B -- $BCLOC2q$N$40FFb(B $BF|;~(B: $B!!(B5$B7n(B 25$BF|(B($B?e(B) 16:30-17:30 $B>l=j(B: $B!!?tM}8&(B110$B9f<<(B (16:00$B$h$j(B1$B3,%m%S!<$G(Btea) $B9V1i<T(B: Yde Venema $B;a(B $B=jB0(B: $B!!5~Bg!&?tM}8&(B & University of Amsterdam $BBjL\(B: Coalgebra, its Logic, and some of its Mathematical Environments Abstract: Computers and other electronic equipment are becoming more and prominent, both in our daily life, and in society as a whole. When we are confronted with undesired or incomprehensible behavior of for instance our mobile phone, we will naively start reasoning about the system, modelling it as a state-based evolving system, that we can only observe as a black box. Clearly, when it comes to specifying and reasoning about the behavior of critical software systems, a sophisticated mathematical theory is needed. The theory of coalgebra, which has emerged from theoretical computer science in the last two decades, provides a general, mathematical framework for reasoning about such state-based evolving systems. It combines mathematical simplicity with wide applicability, due to its categorical foundations: many features such as input/output, nondeterminism, probability, and interaction can be encoded in the coalgebraic type which formally is a functor over Set (or some other base category). Coalgebra allows us to give precise mathematical definitions of notions such as behavior or observational equivalence of systems. Logic naturally enters the picture since we want to specify and reason about behavior in a formal way. In the talk, we will give a very informal introduction and motivation of coalgebra and coalgebraic logic. We then briefly explain the dualities between algebra and coalgebra, and discuss the principle of coinduction. In the second part of the talk we describe some of the mathematical environments of the theory, and sketch how ideas from coalgebraic logic can be used to generalize results in topology (the Vietoris construction) and automata theory (Rabin's Theorem). $BCLOC2q$N0FFb!'(B http://www.kurims.kyoto-u.ac.jp/ja/seminar/danwakai.html $B?tM}2r@O8&5f=j$X$N%"%/%;%9!'(B http://www.kurims.kyoto-u.ac.jp/ja/access-01.html --

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Logic-ml