{"id":695,"date":"2018-10-17T14:47:05","date_gmt":"2018-10-17T14:47:05","guid":{"rendered":"http:\/\/formalmethods2019.inesctec.pt\/?page_id=695"},"modified":"2020-12-12T21:13:54","modified_gmt":"2020-12-12T21:13:54","slug":"sponsor-fm19","status":"publish","type":"page","link":"http:\/\/formalmethods2019.inesctec.pt\/sponsor-fm19\/","title":{"rendered":"FM’19 Sponsors"},"content":{"rendered":"

<\/p>\n

FM’19 Sponsors<\/h3>\n

The corporations below have been so kind to sponsor FM’19<\/strong> – thanks!<\/p>\n

<\/span><\/div>\n

FM’19 specially sponsored by<\/h3>\n\n\n\n
<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Platinum<\/h3>\n\n\n\n
<\/a><\/td>\n<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Gold<\/h3>\n\n\n\n\n
<\/a><\/td>\n<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n
<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Silver<\/h3>\n\n\n\n\n
<\/a><\/td>\n<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n
<\/a><\/td>\n<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Bronze<\/h3>\n\n\n\n\n
<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n
<\/a><\/td>\n<\/a><\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Basic<\/h3>\n\n\n\n
<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Industry Tool Exhibitors<\/h3>\n\n\n\n
<\/a><\/td>\n<\/a><\/td>\n<\/a><\/td>\n<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

Other partnerships<\/h3>\n\n\n\n
<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

 <\/p>\n

<\/span><\/div>\n

How to Sponsor FM’19<\/h3>\n

\"\"<\/p>\n

The FM’19<\/strong> World Congress<\/em> expects participants from all over the world.<\/p>\n

Industry and organizations wishing to support FM’19<\/strong> will gain prestige and world-wide visibility by contributing to the world’s premier congress in formal methods. Also hosting a number of highly reputed co-located conferences and workshops, the world congress spreads over a variety of subjects relevant to computing as a whole.<\/p>\n

Sponsors generosity will help decreasing registration fees for students from all over the world wishing to attend the congress. By advertising their company sponsors may find potential new employees among them.<\/p>\n

The list below mentions five standard sponsorship modalities. Other opportunities for supporting FM’19<\/strong> are welcome, such as sponsoring a particular social event, an invited speaker, the welcome reception, student participation, or other ways of contributing to the congress.<\/p>\n

Questions about how to contribute to FM’19<\/strong> may be directed to the sponsorship chair, Dr. Ana Paiva<\/em>, at apaiva@fe.up.pt<\/a> or +351 220 413 318.<\/p>\n\n\n\n\n\n\n\n
Basic<\/em><\/strong><\/td>\n\u20ac500<\/td>\n\n
    \n
  • Logo + www link in the ‘Sponsors’ section of FM’19 main page<\/li>\n<\/ul>\n<\/td>\n<\/tr>\n
Bronze<\/em><\/strong><\/td>\n\u20ac1000<\/td>\nBasic<\/em> +<\/p>\n
    \n
  • Leaflet or other promotional material provided by sponsor in bag of every FM’19 participant<\/li>\n<\/ul>\n<\/td>\n<\/tr>\n
Silver<\/em><\/strong><\/td>\n\u20ac2000<\/td>\nBronze<\/em> +<\/p>\n
    \n
  • Ticket for either one conference or three one-day events (i-Day, workshop, tutorial, etc)<\/li>\n
  • Logo of sponsor to be interleaved in the electronic displays throughout the conferences<\/li>\n<\/ul>\n<\/td>\n<\/tr>\n
Gold<\/strong>
\n(see note below)<\/sub>
\n<\/em><\/td>\n		\u20ac6000<\/td>\nSilver<\/em> +<\/p>\n
    \n
  • Two additional tickets as above<\/li>\n
  • Stand \/ demonstration area in the lobby  (desk + chairs + power supply)<\/li>\n
  • Institutional video (max. 3 minutes) to be played during breaks (timesharing FM’19 announcements etc)<\/li>\n<\/ul>\n<\/td>\n<\/tr>\n
Platinum<\/strong>
\n(see note below)<\/sub>
\n<\/em><\/td>\n		\u20ac9000<\/td>\nGold<\/em> +<\/p>\n
    \n
  • Two more additional tickets as above<\/li>\n
  • Promotional info printed in badge ribbons of participants<\/li>\n
  • Room named after sponsor for the whole week<\/li>\n<\/ul>\n<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

    Notes<\/strong>:<\/p>\n

      \n
    1. In case of student sponsorship, item “logo of sponsor to be interleaved in the electronic displays throughout the conferences”<\/em> can be replaced by the right to address the sponsored students in person.<\/li>\n<\/ol>\n","protected":false},"excerpt":{"rendered":"

      FM’19 Sponsors The corporations below have been so kind to sponsor FM’19 – thanks! FM’19 specially sponsored by Platinum Gold Silver Bronze Basic Industry Tool Exhibitors Other partnerships   How …<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/695"}],"collection":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/comments?post=695"}],"version-history":[{"count":58,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/695\/revisions"}],"predecessor-version":[{"id":3843,"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/pages\/695\/revisions\/3843"}],"wp:attachment":[{"href":"http:\/\/formalmethods2019.inesctec.pt\/wp-json\/wp\/v2\/media?parent=695"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}