Template:Main Page/Community: Difference between revisions
imported>Ponsard No edit summary |
imported>Ponsard No edit summary |
||
| Line 3: | Line 3: | ||
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> | <div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF"> | ||
</noinclude> | </noinclude> | ||
[https://forge.pallavi.be/wiki/formalmethodevidence FAQ | [https://forge.pallavi.be/wiki/formalmethodevidence FAQ about the use and the impact of formal engineering methods in Industry] | ||
[[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop | [[Rodin Workshop 2010]] - Programme for Rodin 2010 Workshop | ||
Revision as of 20:34, 19 March 2011
Displayed as follow on the Main Page
FAQ about the use and the impact of formal engineering methods in Industry
Rodin Workshop 2010 - Programme for Rodin 2010 Workshop
Industry Challenges identifed at Dagstuhl refinement seminar 2009
Mailing lists - Rodin related mailing lists.
Rodin Platform Releases - Track releases.
Bugs and Feature Requests - Report a bug or request a new feature.
DEPLOY Plenary Meeting 2009 - Call for Papers
Rodin Workshop 2009 - Abstracts and slides from Rodin 2009 Workshop
Do not hesitate to improve this wiki. You may find some help within the following pages:
Wiki Help - Some technical documentation about this wiki.
Village Pump - Ask your questions and keep track of the main wiki events.
Recent Changes - Monitor the wiki activity.
Test Area - Wiki editing is simple. Try by yourself.
