Rodin Workshop 2010

From Event-B
Revision as of 07:18, 17 November 2010 by imported>Stefan (→‎Wednesday 22nd September (Workshop Day 2))
Jump to navigationJump to search

Rodin User and Developer Workshop, University of Duesseldorf, 20-22 September 2010

Monday 20th September (Tutorial)

Tutorial "How to extend Rodin?" for developers (by Systerel).

The tutorial will be interactive, so please bring your laptop and keep your development environment up-to-date (Eclipse 3.6, Java 1.6, current Rodin source files).

  • 09h00 - 10h30
Creating a plug-in
Extending the database
Extending the structured editor
  • 10h30 - 11h00
Coffee break
  • 11h00 - 12h30
Extending the pretty print page
Providing help
Extending the Event-B explorer
  • 12h30 - 14h00
Lunch break
  • 14h00 - 15h30
Extending the static checker
Extending the proof obligation generator
  • 15h30 - 16h00
Coffee break
  • 16h00 - 17h00
Adding reasoners

Tuesday 21st September (Workshop Day 1)

Wednesday 22nd September (Workshop Day 2)

Registration

Registration page