Gdementen

Welcome to the Wikipedia

Here are some links I thought useful:

Feel free to ask me anything the links and talk pages don't answer. You can sign your name by typing 4 tildes, likes this: ~~~~.

Be Bold!

Sam [Spade] 18:50, 18 Jul 2004 (UTC)

Talk page link in signature

If you go to "Preferences", there should be an option in "User data" that says "Your nickname (for signatures)". There, you can enter your signature, in my case including a link to my talk page. HTH. Best, [[User:Meelar|Meelar (talk)]] 21:52, 18 Jul 2004 (UTC)

Wikinations

Hello Gaëtan! You are Belgian and you like to contribute to Wikipedia, like me ? Then you may like to contribute to Wikinations.be too: it is a wiki site that collaboratively builds a practical encyclopedia of Belgium (in French for the moment). I just started this project, and I thought that you might be interested. So, see you soon over there ? (Sorry for the disturbance if you are not interested) Pcarbonn 09:18, 11 Nov 2004 (UTC)

About the CTL article

Salut Gaetan ! Bon je vais continuer en anglais car cette page est publique...

Thanks for creating the CTL article!! I see there has not been much consolidation done recently, and I am willing to help with that. Temporal logic is one of my (professional) research topics and I believe Wikipedia definitely needs a CTL entry. What are your plans for going on with this page?

I faced the problem of explaining CTL to non-experts when writing on temporal logics and model checking for the book Verification de logiciels : techniques et outils du model-checking. Here are some suggestions that come to mind regarding the Wikipedia article.

Rephrase the opening paragraph. No need to focus on synctactic issues here. Should be readable for people outside logic or computer science.
Describe the syntax in a more informal and narrative way. Use illustrative examples.
Have a short section on CTL model checking. Do not describe algorithms. Simply state the main result and explain that CTL is popular because of these results. Name tools like SMV. Plus a bit of history of model checking.
Have a short section on expressive power of CTL. Explain and illustrate what can be written in CTL, discuss limitations.

I believe the really technical details should not be found in the article, only in the references and links it gives.

What do you think? PhS

CTL

Latest comment: 16 years ago1 comment1 person in discussion

Hej Gaetan,

thanks for your effort of adding CTL to the Wikipedia.

I'm writing to you because I noticed that you use 'Computational Tree Logic' while CTL is in fact called 'Computation Tree Logic'. I already corrected this in the article, and also put a comment on the talks page.

Right now I'm trying to figure out how to change the name of the page itself. It really should be 'Computation Tree Logic'.

I will see what I can do to improve the CTL article.

Cweise (talk) 12:47, 9 September 2008 (UTC)Reply

Your account will be renamed

Hello,

The developer team at Wikimedia is making some changes to how accounts work, as part of our on-going efforts to provide new and better tools for our users like cross-wiki notifications. These changes will mean you have the same account name everywhere. This will let us give you new features that will help you edit and discuss better, and allow more flexible user permissions for tools. One of the side-effects of this is that user accounts will now have to be unique across all 900 Wikimedia wikis. See the announcement for more information.

Unfortunately, your account clashes with another account also called Gedeon. To make sure that both of you can use all Wikimedia projects in future, we have reserved the name Gedeon~enwiki that only you will have. If you like it, you don't have to do anything. If you do not like it, you can pick out a different name. If you think you might own all of the accounts with this name and this message is in error, please visit Special:MergeAccount to check and attach all of your accounts to prevent them from being renamed.

Your account will still work as before, and you will be credited for all your edits made so far, but you will have to use the new account name when you log in.

Sorry for the inconvenience.

Yours,
Keegan Peterzell
Community Liaison, Wikimedia Foundation

00:08, 20 March 2015 (UTC)

Add topic