Matthias.f

PLT Scheme contracts

Hello! I am interested in something you added here. However, the linked page contains a large number of papers, and it's not obvious which ones you are referring to. Can you help me find the right ones? I'd like to understand why Eiffel's contract system doesn't put the blame on the right party and/or doesn't give accurate explanations. Thanks! --Doradus 17:25, 15 December 2005 (UTC)

Looking for articles to work on?

Hello, Matthias.f. I'm SuggestBot, a Wikipedia bot that helps new members contribute to Wikipedia. You might like to edit these articles I picked for you based on things you've edited in the past. Check it out -- I hope you find it useful. -- SuggestBot 15:21, 20 January 2006 (UTC)

Notability of Shriram Krishnamurthi

A tag has been placed on Shriram Krishnamurthi, requesting that it be speedily deleted from Wikipedia. This has been done because the article appears to be about a person, group of people, band, club, company, or web content, but it does not indicate how or why the subject is notable: that is, why an article about that subject should be included in an encyclopedia. Under the criteria for speedy deletion, articles that do not assert the subject's importance or significance may be deleted at any time. Please see the guidelines for what is generally accepted as notable.

If you think that you can assert the notability of the subject, you may contest the deletion. To do this, add {{hangon}} on the top of the page (just below the existing speedy deletion or "db" tag) and leave a note on the article's talk page explaining your position. Please do not remove the speedy deletion tag yourself, but don't hesitate to add information to the article that would confirm the subject's notability under Wikipedia guidelines.

For guidelines on specific types of articles, you may want to check out our criteria for biographies, for web sites, for bands, or for companies. Feel free to leave a note on my talk page if you have any questions about this. -=# Amos E Wolfe ^talk #=- 15:06, 13 July 2007 (UTC)

Notability of Robert Bruce Findler

Hello, this is a message from an automated bot. A tag has been placed on Robert Bruce Findler, by Precious Roy (talk · contribs), another Wikipedia user, requesting that it be speedily deleted from Wikipedia. The tag claims that it should be speedily deleted because Robert Bruce Findler seems to be about a person, group of people, band, club, company, or web content, but it does not indicate how or why the subject is notable: that is, why an article about that subject should be included in an encyclopedia. Under the criteria for speedy deletion, articles that do not assert the subject's importance or significance may be deleted at any time. Please see the guidelines for what is generally accepted as notable.

To contest the tagging and request that administrators wait before possibly deleting Robert Bruce Findler, please affix the template {{hangon}} to the page, and put a note on its talk page. If the article has already been deleted, see the advice and instructions at WP:WMD. Feel free to leave a message on the bot operator's talk page if you have any questions about this or any problems with this bot, bearing in mind that this bot is only informing you of the nomination for speedy deletion; it does not perform any nominations or deletions itself. --Android Mouse Bot 2 15:26, 13 July 2007 (UTC)

Hi, Prof F. I see you've encountered one of the tedious-but-necessary aspects of Wikipedia. We get a lot of people creating articles about people who (to put it politely) are not notable outside their own circle of acquaintances, so our processes are designed to weed out such articles. We have various rules about which people are "Wikipedia:Notable"; the one for academics is here.

Although I haven't looked into REDEX yet, I believe that Prof Findler's work on REDEX makes him notable, in both the general sense and the Wikipedia-specific sense of that word. I've put a "{{hangon}} tag" on Robert Bruce Findler, and explained why at Talk:Robert Bruce Findler.

The article may get deleted anyway. The recommended action when that happens is to work on the article in a temporary page somewhere in "userspace" (Wikipedia pages whose names start with "User:"), then moving it into "mainspace". We could do the same with Shriram Krishnamurthi, if you want. I'd be glad to help. Cheers, CWC 17:35, 13 July 2007 (UTC)

Image copyright problem with Image:Htdp.jpg

Thanks for uploading Image:Htdp.jpg. You've indicated that the image is being used under a claim of fair use, but you have not provided an adequate explanation for why it meets Wikipedia's requirements for such images. In particular, for each page the image is used on, the image must have an explanation linking to that page which explains why it needs to be used on that page. Can you please check

• That there is a non-free use rationale on the image's description page for each article the image is used in.
• That every article it is used on is linked to from its description page.

This is an automated notice by FairuseBot. For assistance on the image use policy, see Wikipedia:Media copyright questions. --FairuseBot (talk) 17:35, 14 September 2008 (UTC)

Notability of Matthew Flatt

Hello, this is a message from an automated bot. A tag has been placed on Matthew Flatt, by another Wikipedia user, requesting that it be speedily deleted from Wikipedia. The tag claims that it should be speedily deleted because Matthew Flatt seems to be about a person, group of people, band, club, company, or web content, but it does not indicate how or why the subject is notable: that is, why an article about that subject should be included in an encyclopedia. Under the criteria for speedy deletion, articles that do not assert the subject's importance or significance may be deleted at any time. Please see the guidelines for what is generally accepted as notable.

To contest the tagging and request that administrators wait before possibly deleting Matthew Flatt, please affix the template {{hangon}} to the page, and put a note on its talk page. If the article has already been deleted, see the advice and instructions at WP:WMD. Feel free to contact the bot operator if you have any questions about this or any problems with this bot, bearing in mind that this bot is only informing you of the nomination for speedy deletion; it does not perform any nominations or deletions itself. To see the user who deleted the page, click here CSDWarnBot (talk) 12:50, 13 October 2008 (UTC)

Nomination of Robert Bruce Findler for deletion

A discussion is taking place as to whether the article Robert Bruce Findler is suitable for inclusion in Wikipedia according to Wikipedia's policies and guidelines or whether it should be deleted.

The article will be discussed at Wikipedia:Articles for deletion/Robert Bruce Findler until a consensus is reached, and anyone is welcome to contribute to the discussion. The nomination will explain the policies and guidelines which are of concern. The discussion focuses on high-quality evidence and our policies and guidelines.

Users may edit the article during the discussion, including to improve the article to address concerns raised in the discussion. However, do not remove the article-for-deletion template from the top of the article.

Since you have contributed to this article, I thought you might be interested. Dtm1234 (talk) 14:45, 21 June 2012 (UTC)