Apache
tcp/443
GitHub.com
tcp/443 tcp/80
nginx
tcp/443 tcp/80
.DS_Store” is an abbreviation for “Desktop Services Store”. These files are created automatically by Apples “Finder” software (which is part of their OS).
They store information about the files within a folder, including display options of folders, such as icon positions and view settings.
It may happen that .DS_Store files inadvertently leak filenames such as database backups or private administration panels.
Severity: low
Fingerprint: 5f32cf5d6962f09c7cf176427cf176427ed359e349a4e1f849a4e1f849a4e1f8
Found 2 files trough .DS_Store spidering: /.BAK.htaccess /wp-config.php
Open service 104.198.0.102:443 · galois.com
2024-05-28 04:02
HTTP/1.1 200 OK Server: nginx Date: Tue, 28 May 2024 04:02:50 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74975 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.6 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · galois.com
2024-05-27 05:52
HTTP/1.1 200 OK Server: nginx Date: Mon, 27 May 2024 05:52:09 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74975 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.6 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · galois.com
2024-05-26 21:06
HTTP/1.1 200 OK Server: nginx Date: Sun, 26 May 2024 21:06:33 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74975 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.6 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · galois.com
2024-05-25 19:48
HTTP/1.1 200 OK Server: nginx Date: Sat, 25 May 2024 19:48:20 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74975 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.6 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · galois.com
2024-05-24 18:36
HTTP/1.1 200 OK Server: nginx Date: Fri, 24 May 2024 18:36:28 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74975 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 2 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.6 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · galois.com
2024-05-23 14:46
HTTP/1.1 200 OK Server: nginx Date: Thu, 23 May 2024 14:46:11 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 73969 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.6 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:80 · galois.com
2024-05-13 18:29
HTTP/1.1 301 Moved Permanently Server: nginx Date: Mon, 13 May 2024 18:29:15 GMT Content-Type: text/html Content-Length: 162 Connection: close Location: https://galois.com/ Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 104.198.0.102:443 · galois.com
2024-05-13 18:29
HTTP/1.1 200 OK Server: nginx Date: Mon, 13 May 2024 18:29:17 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74873 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 3 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.4 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · corp.galois.com
2024-05-13 18:25
HTTP/1.1 301 Moved Permanently Server: nginx Date: Mon, 13 May 2024 18:25:40 GMT Content-Type: text/html Content-Length: 162 Connection: close Location: https://galois.com/ Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 104.198.0.102:80 · corp.galois.com
2024-05-13 18:25
HTTP/1.1 301 Moved Permanently Server: nginx Date: Mon, 13 May 2024 18:25:37 GMT Content-Type: text/html Content-Length: 162 Connection: close Location: http://galois.com/ Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 198.12.158.141:443 · view.galois.com
2024-05-13 06:37
HTTP/1.1 200 OK Date: Mon, 13 May 2024 06:37:55 GMT Server: Apache Last-Modified: Tue, 14 Nov 2023 15:41:05 GMT Accept-Ranges: bytes Content-Length: 163 Cache-Control: no-cache, no-store, must-revalidate Pragma: no-cache Expires: 0 Connection: close Content-Type: text/html <html><head><META HTTP-EQUIV="Cache-control" CONTENT="no-cache"><META HTTP-EQUIV="refresh" CONTENT="0;URL=/cgi-sys/defaultwebpage.cgi"></head><body></body></html>
Open service 104.198.0.102:443 · galois.com
2024-05-13 00:44
HTTP/1.1 200 OK Server: nginx Date: Mon, 13 May 2024 00:44:23 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74873 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.4 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:80 · galois.com
2024-05-09 17:28
HTTP/1.1 301 Moved Permanently Server: nginx Date: Thu, 09 May 2024 17:28:10 GMT Content-Type: text/html Content-Length: 162 Connection: close Location: https://galois.com/ Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 104.198.0.102:443 · galois.com
2024-05-09 17:28
HTTP/1.1 200 OK Server: nginx Date: Thu, 09 May 2024 17:28:13 GMT Content-Type: text/html; charset=UTF-8 Content-Length: 74873 Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: HIT: 1 X-Cache-Group: iphone Page title: Galois: Trust in your most critical systems. <!DOCTYPE html> <!--[if lt IE 7]> <html class="no-js lt-ie9 lt-ie8 lt-ie7"> <![endif]--> <!--[if IE 7]> <html class="no-js lt-ie9 lt-ie8"> <![endif]--> <!--[if IE 8]> <html class="no-js lt-ie9"> <![endif]--> <!--[if gt IE 8]><!--> <html class="no-js"> <!--<![endif]--> <head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge,chrome=1"> <title>Galois: Trust in your most critical systems.</title> <meta name="viewport" content="width=device-width"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois/css/fonts.css"> <link rel="stylesheet" href="https://galois.com/wp-content/themes/galois-child/css/style.css"> <script src="https://galois.com/wp-content/themes/galois/js/vendor/modernizr-2.6.2-respond-1.1.0.min.js"></script> <link rel="icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <link rel="shortcut icon" href="https://galois.com/wp-content/themes/galois/images/favicon.ico" type="image/x-icon" /> <meta name='robots' content='index, follow, max-image-preview:large, max-snippet:-1, max-video-preview:-1' /> <!-- This site is optimized with the Yoast SEO plugin v22.4 - https://yoast.com/wordpress/plugins/seo/ --> <meta name="description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <link rel="canonical" href="https://galois.com/" /> <meta property="og:locale" content="en_US" /> <meta property="og:type" content="website" /> <meta property="og:title" content="Galois: Trust in your most critical systems." /> <meta property="og:description" content="Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques." /> <meta property="og:url" content="https://galois.com/" /> <meta property="og:site_name" content="Galois, Inc." /> <meta property="article:modified_time" content="2023-09-25T15:38:15+00:00" /> <meta property="og:image" content="http://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <meta property="og:image:width" content="2040" /> <meta property="og:image:height" content="1240" /> <meta property="og:image:type" content="image/jpeg" /> <meta name="twitter:card" content="summary_large_image" /> <meta name="twitter:image" content="https://galois.com/wp-content/uploads/2020/11/homepageheader-2020-v1.jpg" /> <script type="application/ld+json" class="yoast-schema-graph">{"@context":"https://schema.org","@graph":[{"@type":"WebPage","@id":"https://galois.com/","url":"https://galois.com/","name":"Galois: Trust in your most critical systems.","isPartOf":{"@id":"https://galois.com/#website"},"primaryImageOfPage":{"@id":"https://galois.com/#primaryimage"},"image":{"@id":"https://galois.com/#primaryimage"},"thumbnailUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","datePublished":"2014-05-22T21:20:37+00:00","dateModified":"2023-09-25T15:38:15+00:00","description":"Galois develops technology to guarantee the trustworthiness of systems where failure is unacceptable by applying cutting edge scientific techniques.","breadcrumb":{"@id":"https://galois.com/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https://galois.com/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https://galois.com/#primaryimage","url":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","contentUrl":"https://galois.com/wp-content/uploads/2020/10/fp-2020-v1.jpg","width":2040,"height":1240},{"@type":"BreadcrumbList","@id":"https://galois.com/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home"}]},{"@type":"WebSite","@id":"https://galois.com/#website","url":"https://galois.com/","name":"Galois, Inc.","description":"Advancing computer science.","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint",
Open service 104.198.0.102:443 · galois.com
2024-05-08 16:27
HTTP/1.1 200 OK Server: nginx Date: Wed, 08 May 2024 16:27:23 GMT Content-Type: text/html; charset=UTF-8 Transfer-Encoding: chunked Connection: close Vary: Accept-Encoding Vary: Accept-Encoding Vary: Accept-Encoding Link: <https://galois.com/wp-json/>; rel="https://api.w.org/" Link: <https://galois.com/wp-json/wp/v2/pages/12>; rel="alternate"; type="application/json" Link: <https://galois.com/>; rel=shortlink X-Powered-By: WP Engine X-Cacheable: SHORT Vary: Accept-Encoding,Cookie Cache-Control: max-age=600, must-revalidate Accept-Ranges: bytes X-Cache: MISS X-Cache-Group: iphone
Open service 2606:50c0:8003::153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230127-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.651870,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 43f908ee006bf1dbb54561feb17008cd05c414b3 Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 2606:50c0:8000::153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230089-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.610587,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: dea8a7171c40f32317ca7e6780c8ad57dbd5a3de Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 2606:50c0:8001::153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230110-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.733997,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 3a36932e0c452fe02e8031f7f293c6f8783606d8 Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 185.199.109.153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 8196:202B47:A377D8:AF0131:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-lcy-eglc8600038-LCY X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.665931,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: e7c4a23d734e33c79ca7fc39c3e3e70ee72cba15 Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 2606:50c0:8002::153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230088-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.549720,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 04c8f22e4326ffd9f1cce0eaba362b3b47404238 Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 2606:50c0:8001::153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230138-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.549630,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: bf19920880e4a8e71151d73f39dcdb2aa6406390 Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 185.199.111.153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-etou8220096-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.547472,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 8a4d24dfa87b49f407e1c6452c4372cfdc5fd92d Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 185.199.110.153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230153-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.547904,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: 4e3dc50f996a6da52ba0d8c7e7e537c3e1a34ddf Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 185.199.108.153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230062-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.687876,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 8fe65d7dd7280abc1234fc7867b3f905d7dabd91 Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 2606:50c0:8003::153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230064-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.656017,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 7599851432218bcdeaef0244b1cf6af5f93a8679 Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 185.199.110.153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230023-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.611350,VS0,VE3 Vary: Accept-Encoding X-Fastly-Request-ID: a86d23e69a94c2a325a957c16a8b61605f10f35b Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 185.199.111.153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230107-FRA X-Cache: HIT X-Cache-Hits: 2 X-Timer: S1714911520.608403,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: 1dc66ea4fc2ccce9768a3c1b5594b536e5813c57 Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 185.199.109.153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230070-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.549472,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: 0d4cc805cea7cf1e85ccf37e07c2a5bccdc40b24 Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 2606:50c0:8002::153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230067-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.644752,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 7864a74d8f791d45b2b260dc3d59a581ef2fd911 Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar
Open service 185.199.108.153:80 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 301 Moved Permanently Connection: close Content-Length: 162 Server: GitHub.com Content-Type: text/html Location: https://frida2020.galois.com/ X-GitHub-Request-Id: 8410:27F398:34CCA61:3651259:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230086-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.548623,VS0,VE1 Vary: Accept-Encoding X-Fastly-Request-ID: c65c2f86cce706ba15aaf79a1a9e8988da1159f6 Page title: 301 Moved Permanently <html> <head><title>301 Moved Permanently</title></head> <body> <center><h1>301 Moved Permanently</h1></center> <hr><center>nginx</center> </body> </html>
Open service 2606:50c0:8000::153:443 · frida2020.galois.com
2024-05-05 12:18
HTTP/1.1 200 OK Connection: close Content-Length: 20228 Server: GitHub.com Content-Type: text/html; charset=utf-8 Last-Modified: Mon, 07 Sep 2020 09:27:09 GMT Access-Control-Allow-Origin: * ETag: "5f55fced-4f04" expires: Sun, 05 May 2024 12:28:39 GMT Cache-Control: max-age=600 x-proxy-cache: MISS X-GitHub-Request-Id: 84B6:324D58:40BDB2E:42985F0:6637791F Accept-Ranges: bytes Date: Sun, 05 May 2024 12:18:39 GMT Via: 1.1 varnish Age: 0 X-Served-By: cache-fra-eddf8230054-FRA X-Cache: HIT X-Cache-Hits: 1 X-Timer: S1714911520.678463,VS0,VE2 Vary: Accept-Encoding X-Fastly-Request-ID: 759d0eec19dfcfc0110f20b48656268fd14320dc Page title: The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020 <!DOCTYPE html> <html lang="en"><head> <meta charset="utf-8"> <meta http-equiv="X-UA-Compatible" content="IE=edge"> <meta name="viewport" content="width=device-width, initial-scale=1"><!-- Begin Jekyll SEO tag v2.6.1 --> <title>The 7th Workshop on Formal Reasoning in Distributed Algorithms | FRIDA 2020</title> <meta name="generator" content="Jekyll v3.9.0" /> <meta property="og:title" content="The 7th Workshop on Formal Reasoning in Distributed Algorithms" /> <meta property="og:locale" content="en_US" /> <meta name="description" content="Website for the FRIDA 2020 workshop" /> <meta property="og:description" content="Website for the FRIDA 2020 workshop" /> <link rel="canonical" href="http://frida2020.galois.com/" /> <meta property="og:url" content="http://frida2020.galois.com/" /> <meta property="og:site_name" content="FRIDA 2020" /> <script type="application/ld+json"> {"@type":"WebSite","url":"http://frida2020.galois.com/","headline":"The 7th Workshop on Formal Reasoning in Distributed Algorithms","description":"Website for the FRIDA 2020 workshop","name":"FRIDA 2020","@context":"https://schema.org"}</script> <!-- End Jekyll SEO tag --> <link rel="stylesheet" href="/assets/main.css"><link type="application/atom+xml" rel="alternate" href="http://frida2020.galois.com/feed.xml" title="FRIDA 2020" /></head> <body><header class="site-header" role="banner"> <div class="wrapper"><a class="site-title" rel="author" href="/">FRIDA 2020</a><nav class="site-nav"> <input type="checkbox" id="nav-trigger" class="nav-trigger" /> <label for="nav-trigger"> <span class="menu-icon"> <svg viewBox="0 0 18 15" width="18px" height="15px"> <path d="M18,1.484c0,0.82-0.665,1.484-1.484,1.484H1.484C0.665,2.969,0,2.304,0,1.484l0,0C0,0.665,0.665,0,1.484,0 h15.032C17.335,0,18,0.665,18,1.484L18,1.484z M18,7.516C18,8.335,17.335,9,16.516,9H1.484C0.665,9,0,8.335,0,7.516l0,0 c0-0.82,0.665-1.484,1.484-1.484h15.032C17.335,6.031,18,6.696,18,7.516L18,7.516z M18,13.516C18,14.335,17.335,15,16.516,15H1.484 C0.665,15,0,14.335,0,13.516l0,0c0-0.82,0.665-1.483,1.484-1.483h15.032C17.335,12.031,18,12.695,18,13.516L18,13.516z"/> </svg> </span> </label> <div class="trigger"><a class="page-link" href="/">The 7th Workshop on Formal Reasoning in Distributed Algorithms</a></div> </nav></div> </header> <main class="page-content" aria-label="Content"> <div class="wrapper"> <div class="home"><h1 class="page-heading">The 7th Workshop on Formal Reasoning in Distributed Algorithms</h1><p>Dates: September 3rd to September 5th 2020</p> <p>Online workshop from 6pm to 8pm CEST (time in Vienna).</p> <p>The workshop is organized as part of <a href="http://qonfest2020.conf.tuwien.ac.at/">QONFEST 2020</a>, also hosting <a href="https://concur2020.forsyte.at/">CONCUR 2020</a>.</p> <p>Registration is required at <a href="https://qonfest2020.github.io/registration.html">https://qonfest2020.github.io/registration.html</a>. Workshop-only registration costs 5 Euros until August 13th and then 8 Euros.</p> <h2 id="news">News</h2> <ul> <li>September 7th 2020: <ul> <li>Video recordings of all the workshop talks are available on the <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/videos">QONFEST YouTube channel</a>. Find the corresponding links below in the program.</li> </ul> </li> <li>August 30st 2020: <ul> <li>Participants should have received participation information by email and on the QONFEST 2020 Slack workspace.</li> <li>Program update: On Friday, <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about “a semi-topological view of real-world consensus”. His formerly scheduled talk on (E)UTxO blockchains is <a href="https://www.youtube.com/watch?v=ssYC6Fa1in4">available on youtube</a>.</li> </ul> </li> <li>August 25th 2020: <ul> <li><del>Program update: <a href="http://gabbay.org.uk/">Murdoch James Gabbay</a> will talk about a mathematical analysis of the (E)UTxO blockchain ar