(* Apologies for any cross-postings. *)

皆様，

講演会のご案内です．

http://www.cs.gunma-u.ac.jp/~fujita/research/20160229Seminar.html

どうぞお気軽にお立ち寄りください．

問い合わせ先： 群馬大学　藤田 憲悦

****************************************************************************************************

+++ Computer Science Seminar in Kiryu +++

Programme

Monday, February 29, 2016

14:00—15:30 Lecture room J3 (the building no. 6), Kiryu campus, Gunma University

“Automating the First-Order Theory of Rewriting for Left-Linear Right-Ground Rewrite Systems”

Professor Aart Middeldorp (University of Innsbruck, Austria)

Abstract: The first-order theory of rewriting is decidable for finite left-linear right-ground rewrite systems. We present a new tool that implements the decision procedure, which is based on tree automata techniques, for this theory. The tool offers the possibility to synthesize rewrite systems that satisfy properties that are expressible in the first-order theory of rewriting. In the talk, which is based on joint work with Franziska Rapp, we explain the decision and synthesis algorithms and demonstrate the tool. No knowledge of term rewriting is assumed. ************************************************************************************************************

Access to Kiryu campus, Gunma University: http://www.st.gunma-u.ac.jp/other/14.html

Map of Kiryu campus: http://www.st.gunma-u.ac.jp/other/13.html

For more information, please contact at the following \beta-normal form: (\lambda X. [email protected])a

(Ken-etsu Fujita, Gunma University). ----------------------------------------------------------------------------------------------------------