皆様、
千葉大学の新井敏康先生の講演のお知らせです。
どうぞふるってご参加ください。
問合せ先:
佐野 勝彦
北陸先端科学技術大学院大学 情報科学研究科
e-mail: v-sano(a)jaist.ac.jp
--------------------------------------------------
* JAIST Logic Seminar Series *
Date: Thursday 20th February 2014, 15:00-16:30
Place: Collaboration room 7 (I-56) (Access:
http://www.jaist.ac.jp/english/location/access.html)
Speaker: Prof. Toshiyasu ARAI (Chiba University)
Title: Proof search in intuitionistic logics
Abstract: Following G. Mints, we present a complete proof search in
multi-succedent sequent calculi for intuitionistic propositional and
pure predicate logic in the spirit of Schuette's schema.
皆様、
参加登録の締め切りが2月7日に迫って参りましたので、
再び案内をさせていただきます。
2月17日(月)~2月20日(木)に東京工業大学
Computability Theory and Foundations of Mathematics 2014
を開催致します。
研究集会のプログラムが
http://www.jaist.ac.jp/CTFM/CTFM2014/timetable.html
にてご覧いただけます。
宜しく参加をご検討ください。
横山
============================================================
Computability Theory and Foundations of Mathematics
(Tokyo Institute of Technology, Tokyo, Japan, February 17 - 20, 2014)
Conference webpage
http://www.jaist.ac.jp/CTFM/CTFM2014/index.html
Registration deadline: February 7.
Invited Speakers
Chong Chi Tat (National University of Singapore)
Damir Dzhafarov (University of Connecticut)
Cameron Freer (Massachusetts Institute of Technology and Analog
Devices Lyric Labs)
Hajime Ishihara (JAIST)
Akinori Kawachi (Tokyo Institute of Technology)
Akitoshi Kawamura (University of Tokyo)
Takayuki Kihara (JAIST)
Antonio Montalbán (University of California, Berkeley)
Ng Keng Meng (Nanyang Technological University)
Jan Reimann (Pennsylvania State University)
Paul Shafer (Ghent University)
Stephen G. Simpson (Pennsylvania State University)
Henry Towsner (University of Pennsylvania)
Wang Wei (Sun Yat-sen University)
Wu Guohua (Nanyang Technological University)
Organising Committee
Hajime Ishihara (JAIST)
Ryo Kashima (Tokyo Institute of Technology, local chair)
Sam Sanders (Ghent)
Stephen G. Simpson (Pennsylvania State University)
Kazuyuki Tanaka (Tohoku, chair)
Keita Yokoyama (JAIST)
Programme Committee
Kojiro Higuchi (Chiba)
Takayuki Kihara(JAIST)
Kenshi Miyabe(Tokyo)
Takako Nemoto(JAIST)
Sam Sanders (Ghent)
Takeshi Yamazaki (Tohoku)
Keita Yokoyama (JAIST, chair)
Keisuke Yoshii (Tohoku)
============================================================
どうぞよろしくお願い致します。
横山啓太
--
Keita Yokoyama
y-keita(a)jaist.ac.jp
logic-mlの皆様,
今年の論理学の大学会「Vienna Summer of Logic」のご案内をさせていただきます。
是非ご参加下さい。
プライニング・ノルベルト
北陸先端科学技術大学院大学
Kurt Gödel Society (KGS)
**Vienna Summer of Logic Announcement**
In the summer of 2014, Vienna will host the largest event in the history of
logic. The Vienna Summer of Logic (VSL) will consist of twelve large
conferences and numerous workshops, attracting an expected number of 2500
researchers from all over the world.
The conferences and workshops will deal with the main theme, logic, from
three important aspects: logic in computer science, mathematical logic and
logic in artificial intelligence.
This unique event will be organized by the Kurt Goedel Society at Vienna
University of Technology from July 9 to 24, 2014 (see website for more
details: http://vsl2014.at)
*Keynote Speakers*
The VSL keynote speakers are Franz Baader (Technische Universitaet Dresden),
Edmund Clarke (Carnegie Mellon University), Christos Papadimitriou (University
of California, Berkeley) and Alex Wilkie (University of Manchester).
Dana Scott (Carnegie Mellon University) will speak in the opening session.
*Logic in Computer Science / Federated Logic Conference (FLoC)*
- 26th International Conference on Computer Aided Verification (CAV)
- 27th IEEE Computer Security Foundations Symposium (CSF)
- 30th International Conference on Logic Programming (ICLP)
- 7th International Joint Conference on Automated Reasoning (IJCAR)
- 5th Conference on Interactive Theorem Proving (ITP)
- Joint meeting of the 23rd EACSL Annual Conference on Computer Science Logic
(CSL) and the 29th ACM/IEEE Symposium on Logic in Computer Science (LICS)
- 25th International Conference on Rewriting Techniques and Applications (RTA)
joint with the 12th International Conference on Typed Lambda Calculi and
Applications (TLCA)
- 17th International Conference on Theory and Applications of Satisfiability
Testing (SAT)
- FLoC Workshops
- FLoC Olympic Games (System Competitions)
*Mathematical Logic*
- Logic Colloquium 2014
- Logic, Algebra and Truth Degrees 2014
- The Infinity Workshop
- Kurt Goedel Fellowship Competition
*Logic in Artificial Intelligence*
- 14th International Conference on Principles of Knowledge Representation and
Reasoning (KR)
- 27th International Workshop on Description Logics (DL)
- 15th International Workshop on Non-Monotonic Reasoning (NMR)
- International Workshop on Knowledge Representation for Health Care 2014
(KR4HC)
*Kurt Goedel Research Prize Fellowship Competition*
At the Vienna Summer of Logic, the Kurt Goedel Society will award three
fellowship prizes endowed with 100.000 Euro each to the winners of the Kurt
Goedel Research Prize Fellowship Competition "Logical Mind: Connecting
Foundations and Technology."
*FLoC Olympic Games - Citius, Maius, Potentius*
The Federated Logic Conference (FLoC) 2014 will host the 1st FLoC Olympic
Games. Intended as a new FLoC tradition, the Games will bring together a
multitude of established solver competitions by different research communities.
In addition to the competitions, the Olympic Games will facilitate the exchange
of expertise between communities, and increase the visibility and impact of
state-of-the-art solver technology. The winners in the competition categories
will be awarded Kurt Goedel medals at the FLoC Olympic Games award ceremonies.
------------------------------------------------------------------------
PREINING, Norbert http://www.preining.info
JAIST, Japan TeX Live & Debian Developer
DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094
------------------------------------------------------------------------
Dear colleagues,
Next week on Friday we have a talk by Prof. Mingsheng Ying
(UT Sydney & Tsinghua). He visits us on the occasion of the
PhD defense of Takahiro Kubota (http://hagi.is.s.u-tokyo.ac.jp/~tk/)
which is on the same date, 13:00-15:00 in the same room.
Feel free to join us. See you there!
Best regards,
Ichiro Hasuo
http://www-mmm.is.s.u-tokyo.ac.jp/?plain=false&lang=en&pos=seminar
------------------------------
Fri 7 February 2014, 16:30-18:00
Mingsheng Ying <http://quantum-lab.org/mingsheng/> (University of
Technology Sydney & Tsinghua University)
Reachability Analysis of Quantum Markov Chains
理学部7号館2階 214教室 Room 214, School of Science Bldg. No. 7
アクセス: https://www-mmm.is.s.u-tokyo.ac.jp/indexj.html (一番下)
Access: http://www-mmm.is.s.u-tokyo.ac.jp/ (see bottom)
The talk will be based on our Concur'12 and Concur'13 papers, which study
verification of quantum systems, including quantum programs, modelled by
quantum Markov chains (qMCs). We consider three kinds of long-term
behaviour, namely reachability, repeated reachability and persistence, of
qMCs. As a stepping-stone, we introduce the notion of bottom strongly
connected component (BSCC) of a qMC and develop an algorithm for finding
BSCC decompositions of the state space of a qMC. As the major contribution,
several (classical) algorithms for computing the reachability, repeated
reachability and persistence probabilities of a qMC are presented, and
their complexities are analysed.
皆様,
2月21日,東京工業大学においてウィンタースクール,Sendai Logic School 2014 at Tokyo Techを開催いたします.
ウィンタースクールでは,逆数学及び関連分野で活躍する研究者によって,主に大学院生を対象にそれぞれの研究について講義をしていただきます.
より詳細な情報を以下に記載いたしますので,ご参加をご検討ただければと存じます.
Sendai Logic School 2014 at Tokyo Tech
日時:2月21日
場所:東京工業大学
テーマ:主に大学院生を対象とし,逆数学および関連分野で活躍する研究者に自身の研究について講演してもらいます.
講 演者(全4名, 順不同, 敬称略):Stephen G. Simpson(Penn State Univ.), Keng Meng Ng (Nanyang Tech. Univ.), Wei Wang (Sun Yat-sen Univ.), Paul Shafer (Ghent Univ.)
講演時間:一人一時間
講義形式の講演が終了後,ややインフォーマルな研究者同士のフリーディスカッションや,プロブレムセッションを予定しております.
事前登録は不要です.
詳細は以下のHPに随時更新していく予定です:
http://sendailogic.com/SLS2014/index.html
------------------------------
山崎 武
東北大学大学院理学研究科数学専攻
980-8578 仙台市青葉区荒巻字青葉6番3号
tel: 022-795-7704
e-mail: yamazaki(a)math.tohoku.ac.jp
The Sixth JSAI International Symposia on AI (JSAI-isAI 2014)
November 23 - 25, 2014
Sponsored by: The Japanese Society for Artificial Intelligence (JSAI)
Venue: Raiousha Building, Keio University, Kanagawa
http://www.ai-gakkai.or.jp/isai/
Call for Workshop Proposals
Submission deadline: March 23, 2014
Submit a proposal to "JSAI-isAI [at] ai-gakkai.or.jp" by e-mail
The sixth JSAI International Symposia on AI (JSAI-isAI) will take
place at Keio University, Kanagawa on November 23rd - 25th,
2014. JSAI-isAI is an event that hosts several international workshops
at the same location. This is in succession to the international
workshops co-located with JSAI annual conferences since 2001. JSAI
invites proposals for the sixth JSAI-isAI. JSAI-isAI brings together
a set of workshops at a common site, providing a unique and intimate
forum for colleagues in a given discipline. JSAI-isAI also provides an
important opportunity for AI researchers to get together and share
their knowledge. In previous symposia, selected papers were published
from Springer LNAI series (http://www.springer.com/series/1244).
Prospective workshop organizers should send a proposal (maximum three
pages) with the following sections to the JSAI-isAI 2014 Committee
(JSAI-isAI [at] ai-gakkai.or.jp).
- Title of the workshop
- Objectives, and scope
- Names and contacts of key organizers and a tentative list of the program
committee members.
- Expected number of papers, attendees, and preliminary workshop format.
Proposals will be reviewed by the JSAI-isAI 2014 Committee.
The form for workshop proposals is shown below.
------------------------------------------------------------
<Workshop Proposal Form>
Workshop title:
Abstract (within 400 words):
#Describe objective, scope
Expected number of papers:
Expected number of attendees:
Preliminary workshop format:
#Describe whether the workshop will include panels, posters, and etc.
Past experiences in JSAI-isAI (if any):
#Describe whether you have organized workshops in JSAI-isAI and how
#many participants you have got in the past
Information of Workshop leader (1)
Name:
Affiliation:
Postal address:
Telephone:
Fax
e-mail:
Experiences with conference/workshop (if any):
Information of Workshop co-leader (2) (if any)
Name:
Affiliation:
Postal address:
Telephone:
Fax
e-mail:
Experiences with conference/workshop (if any):
The tentative list of members in the program committee (3):
------------------------------------------------------------
Important Dates
Workshop Proposal Due : 23 March 2014
Workshop Notification : 9 April 2014
Release of Workshop Call for Paper : April 2014
Workshop Submission Deadline : August 2014
Workshop Author Notification : September 2014
Workshop Camera-ready : October 2014
Workshop Date : 23-25, November 2014
Notes
The organizers and chairs of the workshop shall have full control on
the call for papers, forming of program committees, review and
selection of papers as well as planning the workshop
program. Furthermore, the organizers and chairs of the workshop should
specify in the web page that the workshop is `with a support of The
Japanese Society for Artificial Intelligence' and `in association with
forth JSAI International Symposia on AI (JSAI-isAI 2014).'
The organizers and chairs of the workshop are also responsible for
preparing a short review of the workshop, to be printed in the journal
of JSAI.
---------