[kisoron-ml] 【登録締切2月15日】 JAIST Logic Workshop Series 2015

[Hajime Ishihara]

皆様

以下のJAIST Logic Workshop Series 2015への参加登録の締切は

2月15日（日）

となっております。
ご参加をご予定の方はホームページから参加登録をお願いいたします。

皆様のご参加をお待ちしております。

問合せ先：
石原　哉・木原貴行・根元多佳子・横山啓太
北陸先端科学技術大学院大学 情報科学研究科
e-mail: jlws2015 at jaist.ac.jp

On 2014/10/22 10:46, Hajime Ishihara wrote:
> 皆様
>
> 来年3月に金沢で開催されるJAIST Logic Workshop Series 2015のお知らせです。
> ふるってご投稿・ご参加ください。
>
> 問合せ先：
> 石原　哉・木原貴行・根元多佳子・横山啓太
> 北陸先端科学技術大学院大学 情報科学研究科
> e-mail: jlws2015 at jaist.ac.jp
>
> --------------------------------------------------------
>
>                     *Call for Abstracts*
>
>          JAIST LOGIC WORKSHOP SERIES 2015
>               Constructivism and Computability
>
>                 2 March 2015 – 6 March 2015
>
>          Shiinoki Cultural Complex, Kanazawa, Japan
>
> http://www.jaist.ac.jp/is/labs/ishihara-lab/jlws2015/
>
> --------------------------------------------------------
> IMPORTANT DATES
>
> November 30      - deadline for abstract submissions
> December 25      - notification of accepted contributions
> February 15       - deadline for registrations
> March 2-6          - Constructivism and Computability workshop
>
> TUTORIALS
>
> * Giovanni Sambin (University of Padova)
> * Hideki Tsuiki (Kyoto University)
> * Stanley Wainer (University of Leeds)
>
> INVITED SPEAKERS
>
> * Ulrich Berger (Swansea University)
> * Takayuki Kihara (JAIST)
> * Graham Leigh (Vienna University of Technology)
> * Michael Rathjen (University of Leeds)
> * Masahiko Sato (Kyoto University)
> * Makoto Tatsuta (National Institute of Informatics)
>
> PROGRAM COMMITTEE
>
> * Toshiyasu Arai (Chiba University)
> * Andrej Bauer (University of Ljubljana)
> * Ulrich Berger (Swansea University)
> * Hajime Ishihara (co-chair, JAIST)
> * Masahiro Kumabe (Open University of Japan)
> * Erik Palmgren (Stockholm University)
> * Peter Schuster (University of Leeds)
> * Helmut Schwichtenberg (co-chair, LMU Munich)
> * Dieter Spreen (University of Siegen, UNISA Pretoria)
> * Kazuyuki Tanaka (Tohoku University)
>
> SUBMISSIONS
>
> Submissions of short abstracts (1 page in PDF format) are accepted 
> through
> easychair.org, see https://easychair.org/conferences/?conf=jlws2015
>
> DESCRIPTION
>
> JAIST Logic Workshop Series is a workshop series bringing together 
> researchers
> from mathematical logic and its application, especially to artificial 
> intelligence and
> software science. Each workshop has its own focus on a specific area 
> of research
> in mathematical logic and its application. Previous workshops have 
> been held in
> Kanazawa 2013, 2014 and 2014:
> http://www.jaist.ac.jp/~hirokawa/pr2013/
> http://www.jaist.ac.jp/~preining/wpp/
> http://www.jaist.ac.jp/~v-sano/jw2014/index.html
>
> In 2015, JAIST Logic Workshop Series focuses on “Constructivism and 
> Computability”
> aiming at interaction and knowledge transfer between constructive 
> mathematics and
> computability theory. The workshop is held being affiliated with EU 
> FP7 Marie Curie
> Actions IRSES projects COMPUTAL (http://computal.uni-trier.de/) and
> CORCON (http://corcon.net/), but is open to all researchers in the areas.
>
> SCOPE
>
> Constructive mathematics and computability, and related areas
> including but not limited to: intuitionistic logic and type theory,
> proof theory, constructive analysis and topology, program extraction
> from proofs, recursion theory, computable analysis and topology,
> classical/constructive reverse mathematics, algorithmic randomness,
> real number computation etc.
>
> LOCAL ORGANIZERS
>
> * Hajime Ishihara (JAIST)
> * Takayuki Kihara (JAIST)
> * Takako Nemoto (JAIST)
> * Keita Yokoyama (JAIST)
>
> The workshop is supported by:
>
> * Japan Advanced Institute of Science and Technology (JAIST)
>
> CO-LOCATED WORKSHOP
>
> * JSPS-NUS Joint Workshop in Mathematica Logic and Foundations of 
> Mathematics
> (6-7 March 2015, at the same venue)