1<!DOCTYPE html> 2<html lang="en-GB"> 3<head> 4 <title>Become a Member · Formal Methods Europe</title> 5 <meta name="generator" content="Hugo 0.154.5"> 6 <meta charset="utf-8"> 7 <meta name="viewport" content="width=device-width, initial-scale=1, maximum-scale=1"> 8 <meta name="author" content="Einar Broch Johnsen"> 9 10 <meta name="description" content=""> 11 12 13 <link rel="canonical" href="https://www.fmeurope.org/feature/become_a_member/"/> 14 <link rel="icon" href="https://www.fmeurope.org/favicon.ico"> 15 <link rel="apple-touch-icon" href="https://www.fmeurope.org/apple-touch-icon.png"/> 16 <link rel="stylesheet" href="https://www.fmeurope.org/css/style.css"> 17 <link rel="stylesheet" href="https://www.fmeurope.org/css/font-awesome.min.css"> 18 <link rel="stylesheet" href="https://www.fmeurope.org/css/monokai.css"> 19 <link rel="stylesheet" href="https://www.fmeurope.org/fancybox/jquery.fancybox.css"> 20 21 <link rel="stylesheet" href="https://www.fmeurope.org/css/fme.css"> 22 23 <link href='https://fonts.googleapis.com/css?family=Open+Sans:400italic,400,600' rel='stylesheet' type='text/css'> 24 <link href='https://fonts.googleapis.com/css?family=Source+Code+Pro' rel='stylesheet' type='text/css'> 25 26 <link rel="stylesheet" href="https://www.fmeurope.org/css/fme.css"> 27 <link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/font-awesome/6.7.2/css/all.min.css" type="text/css" media="screen"> 28 29
29<script async data-id="101497088" src="//static.getclicky.com/js"></script>
29 30 <noscript><p><img alt="Clicky" width="1" height="1" src="//in.getclicky.com/101497088ns.gif" /></p></noscript> 31 32 33 34 35 36
36<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script>
36 37</head> 38<body> 39<div class="container"> 40 41 42<div id="container"> 43 <header id="header"> 44 <div id="header-main" class="header-inner"> 45 <div class="outer"> 46 <a href="https://www.fmeurope.org/" id="logo"> 47 48 <i class="logo" style="background-image: url('https://www.fmeurope.org/images/fme.png')"></i> 49 50 <span class="site-title">Formal Methods Europe</span> 51 </a> 52 <nav id="main-nav"> 53 <ul> 54 55 <li class="dropdown"> 56 57 <a href="" class="main-nav-link dropbtn">About FME <span class="caret"><i class="fa fa-caret-down"></i></span></a> 58 <ul class="dropdown-content"> 59 60 <li><a href="/about/" class="main-nav-link">What is FME?</a></li> 61 62 <li><a href="/contact/" class="main-nav-link">Contact</a></li> 63 64 <li><a href="/feature/become_a_member/" class="main-nav-link">Become A Member</a></li> 65 66 <li><a href="/board/" class="main-nav-link">Board Members</a></li> 67 68 <li><a href="/advisoryboard/" class="main-nav-link">Advisory Board</a></li> 69 70 <li><a href="/minutes/" class="main-nav-link">Minutes</a></li> 71 72 <li><a href="/documents/" class="main-nav-link">Documents</a></li> 73 74 </ul> 75 76 </li> 77 78 <li class="dropdown"> 79 80 <a href="" class="main-nav-link dropbtn">Committees <span class="caret"><i class="fa fa-caret-down"></i></span></a> 81 <ul class="dropdown-content"> 82 83 <li><a href="/awardscommittee/" class="main-nav-link">Awards Committee</a></li> 84 85 <li><a href="/book-review/" class="main-nav-link">Book Review Committee</a></li> 86 87 <li><a href="/communications/" class="main-nav-link">Communications Committee</a></li> 88 89 <li><a href="/industry/" class="main-nav-link">Industry Committee</a></li> 90 91 <li><a href="/teaching/" class="main-nav-link">Teaching Committee</a></li> 92 93 </ul> 94 95 </li> 96 97 <li class="dropdown"> 98 99 <a href="" class="main-nav-link dropbtn">Formal Methods <span class="caret"><i class="fa fa-caret-down"></i></span></a> 100 <ul class="dropdown-content"> 101 102 <li><a href="/formalmethods/" class="main-nav-link">What are Formal Methods?</a></li> 103 104 <li><a href="/choosingaformalmethod/" class="main-nav-link">Choosing a Formal Method</a></li> 105 106 <li><a href="/industry/tool-support/" class="main-nav-link">FM Tool Support</a></li> 107 108 <li><a href="/industry/producers/" class="main-nav-link">FM Companies</a></li> 109 110 <li><a href="/industry/users/" class="main-nav-link">Commercial FM Use</a></li> 111 112 </ul> 113 114 </li> 115 116 <li class="dropdown"> 117 118 <a href="" class="main-nav-link dropbtn">Events <span class="caret"><i class="fa fa-caret-down"></i></span></a> 119 <ul class="dropdown-content"> 120 121 <li><a href="/feature/upcoming_conferences/" class="main-nav-link">Upcoming Events</a></li> 122 123 <li><a href="/symposia/" class="main-nav-link">FM Symposia</a></li> 124 125 <li><a href="/formalise/" class="main-nav-link">FormaliSE</a></li> 126 127 <li><a href="/fmtea/" class="main-nav-link">FMTea</a></li> 128 129 <li><a href="/industry/infm/" class="main-nav-link">InFM</a></li> 130 131 <li><a href="/codeofconduct/" class="main-nav-link">Code of Conduct</a></li> 132 133 <li><a href="/codeofdiversity/" class="main-nav-link">Code of Diversity</a></li> 134 135 </ul> 136 137 </li> 138 139 <li class="dropdown"> 140 141 <a href="/awards/" class="main-nav-link">FME Awards</a> 142 143 </li> 144 145 <li class="dropdown"> 146 147 <a href="" class="main-nav-link"></a> 148 149 </li> 150 151 </ul> 152 </nav> 153 <nav id="sub-nav"> 154 <div class="profile" id="profile-nav"> 155 <a id="profile-anchor" href="javascript:;"><img class="avatar" src="https://www.fmeurope.org/images/fme.png"><i class="fa fa-caret-down"></i></a> 156 </div> 157 </nav> 158 <div id="search-form-wrap"> 159 <form action="//google.com/search" method="get" accept-charset="UTF-8" class="search-form"> 160 <input type="search" name="q" class="search-form-input" placeholder="Search"> 161 <button type="submit" class="search-form-submit"> 162 </button> 163 <input type="hidden" name="sitesearch" value="https://www.fmeurope.org/" /> 164 </form> 165 </div> 166 </div> 167 </div> 168 <div id="main-nav-mobile" class="header-sub header-inner"> 169 <table class="menu outer"> 170 <tbody> 171 <tr> 172 173 174 175 <td><a class="main-nav-link" href="">About FME</a></td> 176 177 <td><a class="main-nav-link" href="">Committees</a></td> 178 179 <td><a class="main-nav-link" href="">Formal Methods</a></td> 180 181 <td><a class="main-nav-link" href="">Events</a></td> 182 183 <td><a class="main-nav-link" href="/awards/">FME Awards</a></td> 184 185 <td><a class="main-nav-link" href=""></a></td> 186 187 188 189 <td> 190 <form action="//google.com/search" method="get" accept-charset="UTF-8" class="search-form"> 191 <input type="search" name="q" class="search-form-input" placeholder="Search"> 192 <input type="hidden" name="sitesearch" value="https://www.fmeurope.org/" /> 193 </form> 194 </td> 195 </tr> 196 </tbody> 197 </table> 198 </div> 199</header> 200 201 202 <div class="outer"> 203 204 <section id="main"> 205 206 <article id="page-undefined" class="article article-type-page" itemscope="" itemprop="blogPost"> 207 <div class="article-inner"> 208 209 210 <header class="article-header"> 211 <a href="https://www.fmeurope.org/feature/become_a_member/"> 212 <h1 class="article-title" itemprop="name"> 213 Become a Member 214 </h1> 215 </a> 216 <div class="article-meta"> 217 218 219 220 221 222 </div> 223</header> 224 225 <div class="article-entry" itemprop="articleBody"> 226 <h2 id="become-a-member-of-fme">Become a Member of FME</h2> 227<p>You can <strong>become a member</strong> by filling in the <a href="https://tally.so/r/dWdORN" title="Become a member of FME!">membership application 228form.</a></p> 229<p><img src="/images/qr-code.png" width="200"> <p 230style="text-align: center;"><b>Join FME!</b></p></p> 231<p>FME is a not-for-profit association run by a group of volunteers that form the <a href="http://www.fmeurope.org/?page_id=373">FME board</a>. <strong>We encourage you to become a member and get involved with FME!</strong> Currently there is no membership fee.</p> 232<p>FMEâs aim is to encourage formal methods research and application. We</p> 233<ul> 234<li><strong>stimulate the use of formal methods in industry</strong>, and</li> 235<li><strong>
235promote international co-operation among researchers and users of formal methods</strong>, in order to exchange ideas, to identify common interests and to make links between research and areas of application.</li> 236</ul> 237<p>Our activities include the dissemination of research findings and industrial experience though our symposia and sponsored events; the development of information resources for educators; and a networking function for commercial practitioners.</p> 238<p>The members of FME are drawn equally from academic institutes and commercial companies. There are two different types of members:</p> 239<ul> 240<li><strong>ordinary members</strong>, intended for individuals interested in the activities of FME and who wish to contribute to the goals of FME.</li> 241<li><strong>constitutional members</strong>, intended for organisations that are interested in the activities of FME and that wish to contribute to the goals of FME.</li> 242</ul> 243 244 </div> 245 <footer class="article-footer"> 246 247 248 249 250 251 252 253 254 <a data-url="https://www.fmeurope.org/feature/become_a_member/" data-id="4b1b298721bfd1f055f691b2f723f85f" class="article-share-link"> 255 <i class="fa fa-share"></i> 256 Share 257 </a> 258 259 260
260<script> 261 (function ($) { 262 263 if (typeof(__SHARE_BUTTON_BINDED__) === 'undefined' || !__SHARE_BUTTON_BINDED__) { 264 __SHARE_BUTTON_BINDED__ = true; 265 } else { 266 return; 267 } 268 $('body').on('click', function() { 269 $('.article-share-box.on').removeClass('on'); 270 }).on('click', '.article-share-link', function(e) { 271 e.stopPropagation(); 272 273 var $this = $(this), 274 url = $this.attr('data-url'), 275 encodedUrl = encodeURIComponent(url), 276 id = 'article-share-box-' + $this.attr('data-id'), 277 offset = $this.offset(), 278 box; 279 280 if ($('#' + id).length) { 281 box = $('#' + id); 282 283 if (box.hasClass('on')){ 284 box.removeClass('on'); 285 return; 286 } 287 } else { 288 var html = [ 289 '<div id="' + id + '" class="article-share-box">', 290 '<input class="article-share-input" value="' + url + '">', 291 '<div class="article-share-links">', 292 '<a href="https://twitter.com/intent/tweet?url=' + encodedUrl + '" class="fa fa-twitter article-share-twitter" target="_blank" title="Twitter"></a>', 293 '<a href="https://www.facebook.com/sharer.php?u=' + encodedUrl + '" class="fa fa-facebook article-share-facebook" target="_blank" title="Facebook"></a>', 294 '<a href="http://pinterest.com/pin/create/button/?url=' + encodedUrl + '" class="fa fa-pinterest article-share-pinterest" target="_blank" title="Pinterest"></a>', 295 '<a href="https://plus.google.com/share?url=' + encodedUrl + '" class="fa fa-google article-share-google" target="_blank" title="Google+"></a>', 296 '</div>', 297 '</div>' 298 ].join(''); 299 300 box = $(html); 301 302 $('body').append(box); 303 } 304 305 $('.article-share-box.on').hide(); 306 307 box.css({ 308 top: offset.top + 25, 309 left: offset.left 310 }).addClass('on'); 311 312 }).on('click', '.article-share-box', function (e) { 313 e.stopPropagation(); 314 }).on('click', '.article-share-box-input', function () { 315 $(this).select(); 316 }).on('click', '.article-share-box-link', function (e) { 317 e.preventDefault(); 318 e.stopPropagation(); 319 320 window.open(this.href, 'article-share-box-window-' + Date.now(), 'width=500,height=450'); 321 }); 322 })(jQuery); 323 </script>
323 324</footer> 325 326 </div> 327</article> 328 329 330 331 </section> 332 333 334 <aside id="sidebar"> 335 336<div class="widget-wrap"> 337 <h3 class="widget-title"> 338 Recents 339 </h3> 340 <div class="widget"> 341 <ul id="recent-post"> 342 343 <li> 344 <div class="item-thumbnail"> 345 <a href="https://www.fmeurope.org/2026/06/10/fourth-fme-lucas-award-to-barthe-crespo-and-kunz/" class="thumbnail"> 346 347 <span class="thumbnail-image thumbnail-none"></span> 348 349 </a> 350 </div> 351 <div class="item-inner"> 352 353 354 <p class="item-category"> 355 356 <a class="article-category-link" href="https://www.fmeurope.org/categories/symposia"> 357 symposia 358 </a> 359 </p> 360 361 362 <p class="item-title"><a href="https://www.fmeurope.org/2026/06/10/fourth-fme-lucas-award-to-barthe-crespo-and-kunz/" class="title">Fourth FME Lucas Award to Barthe, Crespo and Kunz</a></p> 363 <p class="item-date"> 364 <time datetime="2026-06-10 09:49:20 +0200 CEST" itemprop="datePublished">2026-06-10</time> 365 </p> 366 </div> 367 </li> 368 369 <li> 370 <div class="item-thumbnail"> 371 <a href="https://www.fmeurope.org/2026/05/20/fm4all-guidelines-for-teaching-formal-methods/" class="thumbnail"> 372 373 <span class="thumbnail-image thumbnail-none"></span> 374 375 </a> 376 </div> 377 <div class="item-inner"> 378 379 380 <p class="item-category"> 381 382 <a class="article-category-link" href="https://www.fmeurope.org/categories/news"> 383 news 384 </a> 385 </p> 386 387 388 <p class="item-title"><a href="https://www.fmeurope.org/2026/05/20/fm4all-guidelines-for-teaching-formal-methods/" class="title">FM4All: Guidelines for Teaching Formal Methods</a></p> 389 <p class="item-date"> 390 <time datetime="2026-05-20 22:42:26 +0100 +0100" itemprop="datePublished">2026-05-20</time> 391 </p> 392 </div> 393 </li> 394 395 <li> 396 <div class="item-thumbnail"> 397 <a href="https://www.fmeurope.org/2026/05/15/fme-annual-general-meeting-2026/" class="thumbnail"> 398 399 <span class="thumbnail-image thumbnail-none"></span> 400 401 </a> 402 </div> 403 <div class="item-inner"> 404 405 406 <p class="item-category"> 407 408 <a class="article-category-link" href="https://www.fmeurope.org/categories/meetings"> 409 meetings 410 </a> 411 </p> 412 413 414 <p class="item-title"><a href="https://www.fmeurope.org/2026/05/15/fme-annual-general-meeting-2026/" class="title">FME Annual General Meeting 2026</a></p> 415 <p class="item-date"> 416 <time datetime="2026-05-15 16:49:20 +0200 CEST" itemprop="datePublished">2026-05-15</time> 417 </p> 418 </div> 419 </li> 420 421 <li> 422 <div class="item-thumbnail"> 423 <a href="https://www.fmeurope.org/2026/05/13/formalise-2026-report/" class="thumbnail"> 424 425 <span class="thumbnail-image thumbnail-none"></span> 426 427 </a> 428 </div> 429 <div class="item-inner"> 430 431 432 <p class="item-category"> 433 434 <a class="article-category-link" href="https://www.fmeurope.org/categories/news"> 435 news 436 </a> 437 </p> 438 439 440 <p class="item-title"><a href="https://www.fmeurope.org/2026/05/13/formalise-2026-report/" class="title">FormaliSE 2026 Report</a></p> 441 <p class="item-date"> 442 <time datetime="2026-05-13 10:35:17 +0200 CEST" itemprop="datePublished">2026-05-13</time> 443 </p> 444 </div> 445 </li> 446 447 <li> 448 <div class="item-thumbnail"> 449 <a href="https://www.fmeurope.org/2026/04/10/conference-rankings-and-the-fm-symposium/" class="thumbnail"> 450
451 <span class="thumbnail-image thumbnail-none"></span> 452 453 </a> 454 </div> 455 <div class="item-inner"> 456 457 458 <p class="item-category"> 459 460 <a class="article-category-link" href="https://www.fmeurope.org/categories/news"> 461 news 462 </a> 463 </p> 464 465 466 <p class="item-title"><a href="https://www.fmeurope.org/2026/04/10/conference-rankings-and-the-fm-symposium/" class="title">Conference Rankings and the FM Symposium</a></p> 467 <p class="item-date"> 468 <time datetime="2026-04-10 10:35:17 +0200 CEST" itemprop="datePublished">2026-04-10</time> 469 </p> 470 </div> 471 </li> 472 473 </ul> 474 </div> 475</div> 476 477 478 479<div class="widget-wrap"> 480 <h3 class="widget-title"> 481 482 </h3> 483 <div class="widget"> 484 <ul id="feature-post"> 485 486 <li> 487 <div class="item-thumbnail"> 488 <a href="https://www.fmeurope.org/feature/become_a_member/" class="thumbnail"> 489 490 <span style="background-image:url(https://www.fmeurope.org/images/qr-code.png)" alt="Become a Member" class="thumbnail-image"></span> 491 492 </a> 493 <div class="item-inner"> 494 <p class="item-title"><a href="https://www.fmeurope.org/feature/become_a_member/" class="title">Become a Member</a></p> 495 </div> 496 </div> 497 </li> 498 499 <li> 500 <div class="item-thumbnail"> 501 <a href="https://www.fmeurope.org/feature/upcoming_conferences/" class="thumbnail"> 502 503 <span style="background-image:url(https://www.fmeurope.org/images/conferencesFM14.jpg)" alt="Become a Member" class="thumbnail-image"></span> 504 505 </a> 506 <div class="item-inner"> 507 <p class="item-title"><a href="https://www.fmeurope.org/feature/upcoming_conferences/" class="title">Upcoming Formal Methods Events</a></p> 508 </div> 509 </div> 510 </li> 511 512 </ul> 513 </div> 514</div> 515 516 517 518 519 520 521 522 523 524 <div id="toTop" class="fa fa-angle-up"></div> 525</aside> 526 527 528 </div> 529</div> 530 531<footer id="footer"> 532 <div class="outer"> 533 <div id="footer-info" class="inner"> 534 © 2026 535 Formal Methods Europe 536 [<a href="/documents/fme-privacy-statement-v10.pdf">Privacy notice</a>] 537 </div> 538 </div> 539</footer> 540 541
542<script src="https://www.fmeurope.org/fancybox/jquery.fancybox.pack.js"></script>
vendor: 1 bytes, line 542
542
543<script src="https://www.fmeurope.org/js/script.js"></script>
vendor: 1 bytes, line 543
543
544<script src="https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/highlight.min.js"></script>
544 545 546
547<script>hljs.initHighlightingOnLoad();</script>
547 548 549
550<script type="text/x-mathjax-config"> 551MathJax.Hub.Config({ 552 tex2jax: { 553 inlineMath: [['$','$'], ['\\(','\\)']]} 554 }); 555</script>
vendor: 1 bytes, line 555
555
556<script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
556 557 558 559 560 561</body> 562</html>
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.