User contributions
Jump to navigation
Jump to search
- 12:45, 13 July 2010 diff hist -18 Bhaskar Prasad Rimal Typo corrections current
- 12:40, 13 July 2010 diff hist +19 N Category:Central London New category current
- 12:40, 13 July 2010 diff hist +20 N Category:Cambridge New category current
- 12:39, 13 July 2010 diff hist -12 Category:England New category current
- 12:38, 13 July 2010 diff hist +5 Category:United Kingdom Redirect current
- 12:37, 13 July 2010 diff hist +27 N Category:England New category
- 12:36, 13 July 2010 diff hist +20 N Category:London New category current
- 12:36, 13 July 2010 diff hist +20 N Category:Oxford New category current
- 12:32, 13 July 2010 diff hist +20 N Category:Job New category current
- 12:30, 13 July 2010 diff hist +22 Category:World Added category current
- 12:29, 13 July 2010 diff hist +22 N 4th International Symposium on Intelligent Distributed Computing IDC 2010 4th International Symposium on Intelligent Distributed Computing IDC 2010 moved to IDC 2010: Short name to match other events current
- 12:29, 13 July 2010 diff hist 0 m IDC 2010 4th International Symposium on Intelligent Distributed Computing IDC 2010 moved to IDC 2010: Short name to match other events
- 01:52, 13 July 2010 diff hist 0 FM Typo correction current
- 01:51, 13 July 2010 diff hist +16 Nm International Symposium on Formal Methods Redirect current
- 01:50, 13 July 2010 diff hist 0 m FM 2008 Typo correction
- 01:50, 13 July 2010 diff hist 0 FM 2011 Typo correction
- 01:37, 13 July 2010 diff hist +47 N Content Redirect current
- 01:35, 13 July 2010 diff hist +22 Category:Forum Added category current
- 01:33, 13 July 2010 diff hist 0 m FM 2011 FM2011 moved to FM 2011: Spacing to match other conferences
- 01:33, 13 July 2010 diff hist +222 FM 2008 Added intro, "see also" section
- 01:28, 13 July 2010 diff hist +35 N FME Redirect current
- 01:27, 13 July 2010 diff hist +28 N Jonathan P. Bowen Redirect current
- 01:25, 13 July 2010 diff hist +91 FM Added external links section
- 01:22, 13 July 2010 diff hist +62 Category:Conference series Updated intro, categories
- 01:20, 13 July 2010 diff hist -1 Category:Event series Narrowed category
- 01:18, 13 July 2010 diff hist +61 FM Updated intro, categories
- 01:17, 13 July 2010 diff hist +16 N International Symposium of Formal Methods International Symposium of Formal Methods moved to FM: Short form like others current
- 01:17, 13 July 2010 diff hist 0 m FM International Symposium of Formal Methods moved to FM: Short form like others
- 01:15, 13 July 2010 diff hist +22 Category:Science Added category
- 01:13, 13 July 2010 diff hist +33 N Category:Formal methods Added category
- 01:12, 13 July 2010 diff hist +29 FM 2011 Added category
- 01:09, 13 July 2010 diff hist +22 Category:Event series Added category
- 01:07, 13 July 2010 diff hist +20 N Category:Project New category
- 01:07, 13 July 2010 diff hist +22 Category:Tool Added category
- 01:05, 13 July 2010 diff hist +22 Category:Person Added category
- 01:04, 13 July 2010 diff hist +20 N Category:Series New category current
- 01:04, 13 July 2010 diff hist +151 Nm FM New page
- 01:03, 13 July 2010 diff hist +51 N Category:Content New category current
- 01:02, 13 July 2010 diff hist +20 N Category:Organization New category
- 00:48, 13 July 2010 diff hist +8 N File:Logo-fme.gif FME logo current
- 00:35, 13 July 2010 diff hist +23 FM 2011 Typo correction, bold text
- 00:34, 13 July 2010 diff hist +7,133 N FM 2011 New entry
- 00:17, 13 July 2010 diff hist +12 N File:FM 2011 Logo.jpg FM 2011 logo current
- 00:15, 13 July 2010 diff hist +418 N Jonathan Bowen New page current
- 23:54, 12 July 2010 diff hist +23 N File:Jonathan Bowen.jpg Prof. Jonathan P. Bowen current
- 23:52, 12 July 2010 diff hist +61 N User:Jpbowen New page current
