jaist.ac.jp
Nao Hirokawa
http://www.jaist.ac.jp/~hirokawa
Nao Hirokawa (associate professor). School of Information Science. Japan Advanced Institute of Science and Technology. 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan. I-54a (on 5th floor of Information Science Building II). Term rewriting (confluence, termination, completion, strategies, unification, and complexity analysis). IFIP WG 1.6. Term 2-1: I217E: Functional Programming (Ishikawa). 4th Austria-Japan Summer Workshop on Term Rewriting. September 8-9, 2016 workshop. June 22, 2016 submission deadline.
termination-portal.org
News:Termination Competition 2013: June 24 - June 26 - Termination-Portal.org
http://www.termination-portal.org/wiki/News:Termination_Competition_2013:_June_24_-_June_26
News:Termination Competition 2013: June 24 - June 26. June 24 - June 26, 2013. The Termination Competition 2013. Took place "live" during the RTA conference. Retrieved from " http:/ www.termination-portal.org/mediawiki/index.php? Title=News:Termination Competition 2013: June 24 - June 26&oldid=1318. Termination Problems Data Base. Termination Tools Mailing List. This page was last modified on 3 July 2013, at 13:54. This page has been accessed 2,567 times. About Termination-Portal.org (Impressum).
personal.morris.umn.edu
Elena Machkasova, UMM
http://personal.morris.umn.edu/~elenam
Associate Professor in Computer Science. University of Minnesota, Morris. Division of Science and Mathematics. 600 E 4th St. Morris, MN 56267-2134. Fax: (320) 589-6371 (c/o Elena Machkasova). E-mail: elenam {at} morris {dot} umn {dot} edu. Office hours (Fall 2016): TBA or arrange by e-mail. My weekly schedule is on UMM Google Calendar. Clojure in Education (ClojurEd). Regional conference papers (co-authored and advised). Technical reports (UMM working papers series and other). My schedule on UMM calendar.