Search results

Create the page "Community" on this wiki! See also the search results found.

• Main Page
  |title = Community |content = Main Page/Community
  2 KB (194 words) - 09:48, 19 May 2020
• Mailing lists
  [[Category:Community]]
  2 KB (223 words) - 09:23, 30 May 2013
• Modeling Feedback
  ...s a gathering of some modeling feedbacks, which may be useful to the whole community. They come from:
  1 KB (153 words) - 13:44, 28 October 2008
• Rodin Workshop 2020
  ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
  2 KB (303 words) - 14:32, 19 May 2020
• Rodin Workshop 2018 CFP
  users and developers of the Rodin toolset and to foster a broader community
  2 KB (294 words) - 09:58, 16 October 2017
• Rodin Workshop 2018
  users and developers of the Rodin toolset and to foster a broader community
  2 KB (356 words) - 12:46, 24 May 2018
• Rodin Workshop 2024
  users and developers of the Rodin toolset and to foster a broader community
  3 KB (368 words) - 12:49, 15 April 2024
• Sharing theories
  This page explains how to share your theories with the community and how to get theories developed by other people.
  2 KB (399 words) - 14:56, 14 June 2021
• Rodin Workshop 2023
  users and developers of the Rodin toolset and to foster a broader community
  3 KB (375 words) - 15:36, 26 May 2023
• Google Summer of Code 2009
  * First of all: get feedback on your proposal from the community. The devel [[Mailing lists|mailing list]] is a good channel for that. Ask a * We want you to work in the open, with our community. Get on the [[Mailing lists|mailing lists]], both to ask for help and to pr
  10 KB (1,629 words) - 12:50, 12 August 2009
• Rodin Workshop 2012
  ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
  4 KB (530 words) - 15:34, 23 March 2012
• ADVANCE D3.2 Language extension
  ...rting mathematical and proof extensions has been a longing for the Event-B community for considerable time. Serious considerations have been made to ensure any
  4 KB (642 words) - 08:33, 29 June 2012
• ADVANCE D3.3 Language extension
  ...rting mathematical and proof extensions has been a longing for the Event-B community for considerable time. Serious considerations have been made to ensure any
  4 KB (648 words) - 14:52, 7 October 2013
• Rodin Workshop 2009
  ...otential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers. For Rodin users the workshop provided an op
  5 KB (766 words) - 09:59, 21 September 2011
• Rodin Workshop 2021
  users and developers of the Rodin toolset and to foster a broader community
  4 KB (595 words) - 09:41, 29 June 2021
• Rodin Workshop 2013
  toolset and to foster a broader community of Rodin users and developers.
  4 KB (521 words) - 13:15, 13 June 2013
• Rodin Platform 3.5 Release Notes
  ...edback allowed us to greatly improve Rodin for the great good of the whole community. Ken was also the author of the [https://www3.hhu.de/stups/handbook/rodin/c
  8 KB (1,249 words) - 13:09, 11 September 2020
• Developer FAQ
  === What are the main community channels? ===
  15 KB (2,372 words) - 16:29, 19 May 2015
• Rodin Workshop 2016
  users and developers of the Rodin toolset and to foster a broader community
  5 KB (664 words) - 18:29, 6 June 2016
• Rodin Workshop 2014
  toolset and to foster a broader community of Rodin users and developers.
  8 KB (1,073 words) - 06:13, 24 June 2014
• DEPLOY Plenary Workshop 2009
  ...submit them again for educative or promotional purposes inside the DEPLOY community. Copyright is not an issue since the work will not be formally published an
  7 KB (1,003 words) - 20:08, 12 October 2009
• Current Developments
  .... ''Please contributes informations about your own development to keep the community informed''
  12 KB (1,869 words) - 16:35, 18 March 2014
• D45 General Platform Maintenance
  ...gration plugin, while increasing the visibility of ProR in the Open Source community. The move of ProR from the University of Düsseldorf to the Eclipse Founda ...lipse Foundation Project''' - we were actively establishing an open source community around ProR. By recruiting engaged partners early on, development progress
  35 KB (5,228 words) - 10:12, 23 April 2012
• ADVANCE D3.2 General Platform Maintenance
  The results of this work have been dicussed in the Rodin community and one of the proposed solution (a blockparser) has been selected to be im
  20 KB (3,030 words) - 13:18, 18 July 2012