Formal Methods Wiki
Don't have an account?
Register
Register

Home

Back to page
View source
m (Protected "Formal Methods Wiki": Protect main page for safety [edit=sysop:move=sysop])
m (Removed old news)
Tag: sourceedit
 
(29 intermediate revisions by 2 users not shown)
Line 30: Line 30:
 
<mainpage-leftcolumn-start />
  
<mainpage-leftcolumn-start />
   
  +
{{HeadingA|Welcome}}
−
<div style="text-align:center;"><br /><big>'''Welcome to {{SITENAME}}'''</big><br />The wiki about [[formal methods]] set up by [[Jonathan Bowen]] that [[Help:Editing|anyone can edit]]
  
   
  +
<div style="text-align:center;">
⚫
[[Special:Statistics|{{NUMBEROFARTICLES}} articles]] since (Month) (Year)
  
  +
<big>This is the</big>
  +
<br />
  +
[[Image:FMWiki2.png|250px|'''{{SITENAME}}''']]
  +
<br />
  +
The wiki about [[formal methods]] set up by [[Jonathan Bowen]] that [[Help:Editing|anyone&nbsp;can&nbsp;edit]]. See&nbsp;[[Formal Methods Wiki announcement|announcement]].
  +
  +
'''Tip:''' If you [[Special:UserLogin|register with this website]] you will receive less advertisements.
  +
  ⚫
[[Special:Statistics|{{NUMBEROFARTICLES}} articles]] since February 2009
 
</div>
  
</div>
   
  +
<!--
  +
{{HeadingA|News - events}}
  +
-->
  +
<!--
  +
'''<big>[http://ictac2013.ecnu.edu.cn/ ICTAC 2013]</big> 10th International Colloquium on Theoretical Aspects of Computing''', {{wp|Shanghai}}, {{wp|China}}, 4-6 September 2013.
  +
<br/>
  +
'''<big>[https://www.cs.auckland.ac.nz/research/conferences/icfem2013/ ICFEM 2013]</big> 15th International Conference on Formal Engineering Methods''', {{wp|Queenstown, New Zealand}}, 29 October - 1 November 2013.
  +
<br/>
  +
'''<big>[https://www.cs.auckland.ac.nz/research/conferences/icfem2013/ FM 2014]</big> Formal Methods Symposium''', {{wp|Singapore}}, 14-16 May 2014.
  +
-->
  +
<!--
  +
[[Image:logo-fme.gif|48px|right|]]
  +
'''<big>[[FM2011]]</big>: 17th International Symposium on Formal Methods''', [[Lero]], {{wp|University of Limerick}}, {{wp|Limerick}}, {{wp|Republic of Ireland}}, 20–24&nbsp;June&nbsp;2011 (organized by [[Formal Methods Europe]]).
  +
-->
  +
<!--
  +
[[Image:new2.gif|!]] Next [[ABZ]] conference: [http://abzconference.org/ ABZ 2010], {{wp|Orford, Quebec}}, {{wp|Canada}}, 23–25&nbsp;February&nbsp;2010.
  +
  +
Sadly, '''[[Peter Landin]]''', {{wp|functional programming}} and {{wp|denotational semantics}} pioneer, and inventor of the term "{{wp|syntactic sugar}}", died on 3rd June 2009.
  +
-->
   
 
{{HeadingA|Contents &nbsp; <small>([[Special:AllPages|view all pages]])</small>}}
  
{{HeadingA|Contents &nbsp; <small>([[Special:AllPages|view all pages]])</small>}}
Line 40: Line 68:
 
{{col-begin}}
  
{{col-begin}}
 
{{col-2}}
  
{{col-2}}
  +
<!-- [[Image:New2.gif|32px|left]] -->
−
; New articles
  
  +
; Selected information
 
* [[Formal methods]]
  
* [[Formal methods]]
  +
* [[B-Method]]
 
* [[Z notation]]
  
* [[Z notation]]
 
* [[Z Word Tools]]
  
* [[Z Word Tools]]
−
* ...
  
   
 
{{col-2}}
  
{{col-2}}
  +
; [[Image:VL.png|32px|right]] Virtual Library
−
; Formal Methods virtual&nbsp;library
  
  +
* [[Meetings]]
 
* [[Projects]]
  
* [[Projects]]
 
* [[Repositories]]
  
* [[Repositories]]
 
* [[Who's who]]
  
* [[Who's who]]
  +
* [[Safety-critical systems]]
−
* ...
  
   
 
{{col-end}}
  
{{col-end}}
  +
<!--
  ⚫
{{HeadingA|What's new on the {{SITENAME}}}}
  +
-->
  +
<!--
  +
;23 June 2010 — [[FM2011]] information
  +
: 17th International Symposium on Formal Methods.
   
  +
;22 January 2010 — [[:Category:Z book|Material for a Z course and book]]
⚫
{{HeadingA|What's new on {{SITENAME}}}}
  
  +
: are now freely available on this wiki.
   
−
;27 February 2009 - launch of the Formal Methods Wiki
 +
;27 February 2009 — launch of the Formal Methods Wiki
−
:This wiki is for information on [[formal methods]]. It is planned that information from the {{wp|Virtual Library}} formal methods pages will be transferred to this wiki.
 +
: This wiki is for information on [[formal methods]]. It is planned that information from the {{wp|Virtual Library}} formal methods pages will be transferred to this wiki.
   
  +
;26 March 2009 — [[Formal Methods Wiki announcement]]
  +
: The FM Wiki was announced on formal methods-related mailing lists and [http://groups.google.com/ newsgroups].
  +
-->
 
<!--
  
<!--
 
;Date/title
  
;Date/title
Line 66: Line 106:
   
 
{{HeadingA|Helping out}}
  
{{HeadingA|Helping out}}
−  
−
To write a new article, just enter the article title in the box below.
  
−  
−
<inputbox>
  
−
type=create
  
⚫
width=24
  
⚫
break=no
  
⚫
buttonlabel=Create new article
  
−
</inputbox>
  
   
 
; Not sure where to start?
  
; Not sure where to start?
Line 82: Line 113:
   
 
; Adding content
  
; Adding content
−
* Every wiki has two list of articles that need help called '''[[:Category:Article stubs|"Stubs"]]''' and '''[[Special:Wantedpages|"Wanted Articles"]]'''. Don't be shy, get in there.
+
* Every wiki has two list of articles that need help called '''[[:Category:Article stubs|"Stubs"]]''' and '''[[Special:Wantedpages|"Wanted Pages"]]'''. Improving or adding these is especially appreciated.
−
* Uploading [[:Category:Images|images]] is another really easy way to help out - see the '''[[Special:Upload]]''' page!
 +
* Uploading [[:Category:Images|images]] (photographs, logos, etc.) is another easy way to help out — see the '''[[Special:Upload]]''' page!
 
* You can find a list of useful templates on [[:Category:Templates]], some of which are documented on the '''[[Project:Templates|templates project page]]'''.
  
* You can find a list of useful templates on [[:Category:Templates]], some of which are documented on the '''[[Project:Templates|templates project page]]'''.
   
−
; Talk and more...
 +
; Discussion and collaboration…
−
* Check out the '''[[Project:Community Portal|community portal]]''' to see what the community is working on, to give feedback or just to say hi.
 +
* See the '''[[Project:Community Portal|community portal]]''' to discover what people are working on, to give feedback or just to say hello.
−
* Or head on over to the '''[[Forum:Index|forums]]''' and coordinate with the community on editing, projects, and more.
 +
* Or look at the '''[[Forum:Index|forums]]''' and coordinate with others on editing, projects, etc.
   
 
<mainpage-endcolumn />
  
<mainpage-endcolumn />
Line 98: Line 129:
 
{{HeadingB|Featured information}}
  
{{HeadingB|Featured information}}
   
−
[[Image:Jonathan Bowen.jpg|thumb|left|80px|<small>''[[Jonathan Bowen|J.P. Bowen]]''</small>]]
 +
[[Image:Jonathan Bowen.jpg|thumb|left|80px|<small>''[[J.P. Bowen]]''</small>]]
 
''This wiki has been set up by [[Jonathan Bowen]] with the aim of allowing the [[formal methods]] community to add content that may be too detailed or technical for [[Wikipedia]].''
  
''This wiki has been set up by [[Jonathan Bowen]] with the aim of allowing the [[formal methods]] community to add content that may be too detailed or technical for [[Wikipedia]].''
  +
{{clr}}
   
−
<br clear="all" />
  
 
{{HeadingB|Featured article}}
  
{{HeadingB|Featured article}}
   
 
<!-- [[Image:Feature.png|100px]] -->
  
<!-- [[Image:Feature.png|100px]] -->
 
''See the excellent [[Z Word Tools]] for writing [[Z notation]] using {{wp|Microsoft Word}} by {{wp|J. Anthony Hall|Anthony Hall}}.''
  
''See the excellent [[Z Word Tools]] for writing [[Z notation]] using {{wp|Microsoft Word}} by {{wp|J. Anthony Hall|Anthony Hall}}.''
  +
  +
{{HeadingB|Start an article}}
  +
  +
The quickest way to add information is to enter a title in the box below. As a minimum, include brief information and a {{wp|URL}} hyperlink to further information on the web. Do not worry too much about the entry, since you and others can improve it further later.
  +
  +
<createbox>
  ⚫
width=24
  ⚫
break=no
  ⚫
buttonlabel=Create new article
  +
</createbox>
  +
  +
Alternatively, see a list of '''[[Special:WantedPages|wanted pages]]'''. Please feel free to select any of these and start an article on that subject if you know something about it or can provide a {{wp|URL}} hyperlink to additional information.
   
 
<mainpage-endcolumn />
  
<mainpage-endcolumn />
Line 112: Line 155:
 
__NOTOC__ <!-- This removes the table of contents -->
  
__NOTOC__ <!-- This removes the table of contents -->
 
__NOEDITSECTION__ <!-- This removes the section edit links -->
  
__NOEDITSECTION__ <!-- This removes the section edit links -->
−  
 
[[Category:Browse]]
  
[[Category:Browse]]
 
[[Category:Categories| ]]
  
[[Category:Categories| ]]
 
[[Category:Content| ]]
  
[[Category:Content| ]]
  +
[[Category:2009]]

Latest revision as of 12:32, 14 April 2016

Welcome

This is the
Formal Methods Wiki
The wiki about formal methods set up by Jonathan Bowen that anyone can edit. See announcement.

Tip: If you register with this website you will receive less advertisements.

133 articles since February 2009


Contents   (view all pages)

Selected information
VL
Virtual Library

Helping out

Not sure where to start?
Adding content
Discussion and collaboration…
  • See the community portal to discover what people are working on, to give feedback or just to say hello.
  • Or look at the forums and coordinate with others on editing, projects, etc.

Featured information

Jonathan Bowen

J.P. Bowen

This wiki has been set up by Jonathan Bowen with the aim of allowing the formal methods community to add content that may be too detailed or technical for Wikipedia.

Featured article

See the excellent Z Word Tools for writing Z notation using Microsoft Word↑ by Anthony Hall↑.

Start an article

The quickest way to add information is to enter a title in the box below. As a minimum, include brief information and a URL↑ hyperlink to further information on the web. Do not worry too much about the entry, since you and others can improve it further later.

<createbox> width=24 break=no buttonlabel=Create new article </createbox>

Alternatively, see a list of wanted pages. Please feel free to select any of these and start an article on that subject if you know something about it or can provide a URL↑ hyperlink to additional information.


Community content is available under CC-BY-SA unless otherwise noted.