PageSourceSearch

https://fmeurope.org/feature/become_a_member/

html fmeurope.org collected 2026-10-02 06:52:40 UTC 21,471 bytes, 562 lines download raw bytes

1<!DOCTYPE html>
2<html lang="en-GB">
3<head>
4    <title>Become a Member &middot; 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 &#43;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 &#43;0100 &#43;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 &#43;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 &#43;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 &#43;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      &copy; 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.