diff --git a/pages/consortium.html b/pages/consortium.html index 16c617726d..4fe25ffc8a 100644 --- a/pages/consortium.html +++ b/pages/consortium.html @@ -49,23 +49,20 @@
-
Support services for academics
+
Support services
-

Academic users can subscribe a package of support services: +

Partners can subscribe a package of support services:

- -

Partners declare a number of intensive users of Coq they represent, and the Consortium recommends a corresponding level of service (a number of engineer hours, which can be used for support or training). The cost corresponds to that specific level of service.

+

Academic partners are eligible to a 50% discount.

@@ -76,13 +73,13 @@ 4h/user/year @@ -93,13 +90,13 @@ 32h/year @@ -110,13 +107,13 @@ 36h/year @@ -127,13 +124,13 @@ 40h/year @@ -144,13 +141,13 @@ 50h/year
UsersEngineer hours1 year2 years3 years
- € 1000/user + € 2000/user - € 1800/user + € 3600/user - € 2400/user + € 4800/user
- € 8000 + € 16000 - € 14400 + € 28800 - € 19200 + € 38400
- € 9000 + € 18000 - € 16200 + € 32400 - € 21600 + € 43200
- € 10000 + € 20000 - € 18000 + € 36000 - € 24000 + € 48000
- € 12500 + € 25000 - € 22500 + € 45000 - € 30000 + € 60000
@@ -158,7 +155,7 @@
Note: this information is not contractual and may be subject to change.

- Our academic partners are currently: + Our partners are currently: