Within the last years tm has gained interest from a variety of researchers and users of different backgrounds. In an attempt to inform new users about existing tm applications this site aims to provide (an incomplete alphabetical) list of tm users and their comments. Known users range from research institutes over companies to individuals.

If you use tm and feel comfortable please contact us (feinerer at logic dot at) and send us your feedback! If you want to be included in this list, please provide information on your tm use case and/or comments and who you are (name, affiliation, academics/company/private use).