[logic-ml] 証明論と書換えに関するワークショップのご案内

[Nao Hirokawa]

皆様

３月４日〜８日に金沢市石川県立美術館で開催されます
「第３回 証明論と書換えに関するワークショップ」のご案内を致します。

このワークショップは証明論と計算論研究者の交流を目的とした
インフォーマルワークショップです。参加希望される方は廣川
<pr2013 at jaist.ac.jp> までご連絡下さい。

廣川

======================================================================
                           Call for Participants                    
                                 PR 2013                          

               3rd Workshop on Proof Theory and Rewriting

                       4 (Mon) - 8 (Fri) March, 2013
                             Kanazawa, Japan 
                http://www.jaist.ac.jp/~hirokawa/pr2013/
======================================================================

The workshop aims at bringing together researchers in proof theory and
rewriting to facilitate the exchange of ideas between these tightly 
connected fields. The workshop is organised as informal one, and not 
only presentations about published results but also about work in
progress are welcome. We welcome participants from all areas, but due
to space restrictions in the venue, we kindly ask to contact
Nao Hirokawa <pr2013 at jaist.ac.jp> beforehand.

Previous editions of the workshop were held in Obergurgl (2010) and
Obergurgl (2006).

SCOPE
 - proof theory and applications
 - classical logic, intuitionistic logic, linear logic
 - term rewriting, higher-order rewriting, graph rewriting
 - typed/untyped lambda calculi
 - complexity analysis, implicit computational complexity
 - decidability, computability
 - theorem proving
    ... 

VENUE
  Ishikawa Prefectural Museum of Art
  2-1 Dewa-machi, Kanazawa, Ishikawa, Japan


SPEAKERS
  Toshiyasu Arai (Chiba University)
  Martin Avanzini (University of Innsbruck)
  Matthias Baaz (University of Technology, Vienna)
  Arnold Beckmann (Swansea University)
  Josef Berger (University of Greifswald)
  Frederic Blanqui (INRIA-LIAMA)
  Guillaume Bonfante (LORIA)
  Ulrik Buchholtz
  Ugo Dal Lago (Bologna)
  Naohi Eguchi (Tohoku University)
  Nao Hirokawa (JAIST)
  Dieter Hofbauer (ASW BA Saarland)
  Martin Hofmann (LMU Muenchen)
  Jean-Pierre Jouannaud (Ecole Polytechnique)
  Ulrich Kohlenbach (TU Darmstadt)
  Gyesik Lee (Hankyong National University)
  Jean-Yves Marion (LORIA)
  Aart Middeldorp (University of Innsbruck)
  Georg Moser (University of Innsbruck)
  Keisuke Nakano (University of Electro-Communications, Tokyo)
  Erik Palmgren (Stockholm University)
  Michel Parigot (CNRS, Paris)
  Norbert Preining (JAIST)
  Sam Sanders (Ghent University)
  Masahiko Sato (Kyoto University)
  Helmut Schwichtenberg (LMU Muenchen)
  Christian Sternagel (JAIST)
  Kazushige Terui (Kyoto University)
  Toshihiko Uchida (SOKENDAI, Tokyo)
  Johannes Waldmann (HTWK Leipzig)
  Gunnar Wilken (OIST) 

ORGANISING COMMITTEE
  Nao Hirokawa (JAIST)
  Hajime Ishihara (JAIST)
  Georg Moser (University of Innsbruck)
  Mizuhito Ogawa (JAIST)
  Norbert Preining (JAIST)
  Satoshi Tojo (JAIST)