Foundations of Software Science and Computation Structures

October 08, 2022

FoSSaCS: International Conference on Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Editors

Mikołaj Bojańczyk

Alex Simpson

FoSSaCS 2019

Download book PDF

Latest articles from : Book

Comments

No comments

Post a Comment

Reading Mode :

Font Size

lines height

window['__wavt'] = 'AOuZoY47W64gxqDCDjW8oMXFkwvbxvhIsQ:1701451174158';_WidgetManager._Init('//www.blogger.com/rearrange?blogID\x3d3764158921867722197','//www.journalsfinder.com/2020/06/foundations-of-software-science-and.html','3764158921867722197'); _WidgetManager._SetDataContext([{'name': 'blog', 'data': {'blogId': '3764158921867722197', 'title': 'journalsfinder', 'url': 'https://www.journalsfinder.com/2020/06/foundations-of-software-science-and.html', 'canonicalUrl': 'https://www.journalsfinder.com/2020/06/foundations-of-software-science-and.html', 'homepageUrl': 'https://www.journalsfinder.com/', 'searchUrl': 'https://www.journalsfinder.com/search', 'canonicalHomepageUrl': 'https://www.journalsfinder.com/', 'blogspotFaviconUrl': 'https://www.journalsfinder.com/favicon.ico', 'bloggerUrl': 'https://www.blogger.com', 'hasCustomDomain': true, 'httpsEnabled': true, 'enabledCommentProfileImages': true, 'gPlusViewType': 'FILTERED_POSTMOD', 'adultContent': false, 'analyticsAccountNumber': '', 'encoding': 'UTF-8', 'locale': 'en', 'localeUnderscoreDelimited': 'en', 'languageDirection': 'ltr', 'isPrivate': false, 'isMobile': false, 'isMobileRequest': false, 'mobileClass': '', 'isPrivateBlog': false, 'isDynamicViewsAvailable': true, 'feedLinks': '\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22journalsfinder - Atom\x22 href\x3d\x22https://www.journalsfinder.com/feeds/posts/default\x22 /\x3e\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/rss+xml\x22 title\x3d\x22journalsfinder - RSS\x22 href\x3d\x22https://www.journalsfinder.com/feeds/posts/default?alt\x3drss\x22 /\x3e\n\x3clink rel\x3d\x22service.post\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22journalsfinder - Atom\x22 href\x3d\x22https://www.blogger.com/feeds/3764158921867722197/posts/default\x22 /\x3e\n\n\x3clink rel\x3d\x22alternate\x22 type\x3d\x22application/atom+xml\x22 title\x3d\x22journalsfinder - Atom\x22 href\x3d\x22https://www.journalsfinder.com/feeds/6224030272537718080/comments/default\x22 /\x3e\n', 'meTag': '', 'adsenseClientId': 'ca-pub-3012689591656200', 'adsenseHostId': 'ca-host-pub-1556223355139109', 'adsenseHasAds': true, 'adsenseAutoAds': true, 'boqCommentIframeForm': true, 'loginRedirectParam': '', 'view': '', 'dynamicViewsCommentsSrc': '//www.blogblog.com/dynamicviews/4224c15c4e7c9321/js/comments.js', 'dynamicViewsScriptSrc': '//www.blogblog.com/dynamicviews/20dab6d510b63eb9', 'plusOneApiSrc': 'https://apis.google.com/js/platform.js', 'disableGComments': true, 'interstitialAccepted': false, 'sharing': {'platforms': [{'name': 'Get link', 'key': 'link', 'shareMessage': 'Get link', 'target': ''}, {'name': 'Facebook', 'key': 'facebook', 'shareMessage': 'Share to Facebook', 'target': 'facebook'}, {'name': 'BlogThis!', 'key': 'blogThis', 'shareMessage': 'BlogThis!', 'target': 'blog'}, {'name': 'Twitter', 'key': 'twitter', 'shareMessage': 'Share to Twitter', 'target': 'twitter'}, {'name': 'Pinterest', 'key': 'pinterest', 'shareMessage': 'Share to Pinterest', 'target': 'pinterest'}, {'name': 'Email', 'key': 'email', 'shareMessage': 'Email', 'target': 'email'}], 'disableGooglePlus': true, 'googlePlusShareButtonWidth': 0, 'googlePlusBootstrap': '\x3cscript type\x3d\x22text/javascript\x22\x3ewindow.___gcfg \x3d {\x27lang\x27: \x27en\x27};\x3c/script\x3e'}, 'hasCustomJumpLinkMessage': false, 'jumpLinkMessage': 'Read more', 'pageType': 'item', 'postId': '6224030272537718080', 'postImageThumbnailUrl': 'https://1.bp.blogspot.com/-dyw5oiO_oZA/XvhtXNn1s3I/AAAAAAAANEA/RvXatFOzKRkLOvntkKJpygJiAHpBCuPUQCLcBGAsYHQ/s72-c/FoSSaCS.jpg', 'postImageUrl': 'https://1.bp.blogspot.com/-dyw5oiO_oZA/XvhtXNn1s3I/AAAAAAAANEA/RvXatFOzKRkLOvntkKJpygJiAHpBCuPUQCLcBGAsYHQ/s320/FoSSaCS.jpg', 'pageName': 'Foundations of Software Science and Computation Structures', 'pageTitle': 'journalsfinder: Foundations of Software Science and Computation Structures', 'metaDescription': ''}}, {'name': 'features', 'data': {}}, {'name': 'messages', 'data': {'edit': 'Edit', 'linkCopiedToClipboard': 'Link copied to clipboard!', 'ok': 'Ok', 'postLink': 'Post Link'}}, {'name': 'template', 'data': {'name': 'custom', 'localizedName': 'Custom', 'isResponsive': true, 'isAlternateRendering': false, 'isCustom': true}}, {'name': 'view', 'data': {'classic': {'name': 'classic', 'url': '?view\x3dclassic'}, 'flipcard': {'name': 'flipcard', 'url': '?view\x3dflipcard'}, 'magazine': {'name': 'magazine', 'url': '?view\x3dmagazine'}, 'mosaic': {'name': 'mosaic', 'url': '?view\x3dmosaic'}, 'sidebar': {'name': 'sidebar', 'url': '?view\x3dsidebar'}, 'snapshot': {'name': 'snapshot', 'url': '?view\x3dsnapshot'}, 'timeslide': {'name': 'timeslide', 'url': '?view\x3dtimeslide'}, 'isMobile': false, 'title': 'Foundations of Software Science and Computation Structures', 'description': '', 'featuredImage': 'https://1.bp.blogspot.com/-dyw5oiO_oZA/XvhtXNn1s3I/AAAAAAAANEA/RvXatFOzKRkLOvntkKJpygJiAHpBCuPUQCLcBGAsYHQ/s320/FoSSaCS.jpg', 'url': 'https://www.journalsfinder.com/2020/06/foundations-of-software-science-and.html', 'type': 'item', 'isSingleItem': true, 'isMultipleItems': false, 'isError': false, 'isPage': false, 'isPost': true, 'isHomepage': false, 'isArchive': false, 'isLabelSearch': false, 'postId': 6224030272537718080}}, {'name': 'widgets', 'data': [{'title': 'BlogArchive', 'type': 'BlogArchive', 'sectionId': 'sitting', 'id': 'BlogArchive400'}, {'title': 'BlogLabels', 'type': 'Label', 'sectionId': 'sitting', 'id': 'Label400'}, {'title': '\u0627\u0644\u0635\u0641\u062d\u0627\u062a', 'type': 'PageList', 'sectionId': 'pages', 'id': 'PageList1'}, {'title': 'journalsfinder (Header)', 'type': 'Header', 'sectionId': 'logo', 'id': 'Header1'}, {'title': '\u0627\u0644\u0642\u0627\u0626\u0645\u0629 \u0627\u0644\u0631\u0626\u064a\u0633\u064a\u0629', 'type': 'LinkList', 'sectionId': 'menu', 'id': 'LinkList22'}, {'title': 'Hot News', 'type': 'HTML', 'sectionId': 'shreeta5bar', 'id': 'HTML300'}, {'title': 'Hide sidepar from post', 'type': 'HTML', 'sectionId': 'TopPost-sc', 'id': 'HTML3'}, {'title': 'Scopus', 'type': 'HTML', 'sectionId': 'TopPost-sc', 'id': 'HTML4'}, {'title': 'Engineering', 'type': 'HTML', 'sectionId': 'Postnw1', 'id': 'HTML7'}, {'title': 'Computer Science', 'type': 'HTML', 'sectionId': 'Postnw2', 'id': 'HTML6'}, {'title': 'Mathematics', 'type': 'HTML', 'sectionId': 'Postnw3', 'id': 'HTML8'}, {'title': 'Journals', 'type': 'HTML', 'sectionId': 'Postcs1', 'id': 'HTML9'}, {'title': 'Blog Posts', 'type': 'Blog', 'sectionId': 'Tempnec', 'id': 'Blog1', 'posts': [{'id': '6224030272537718080', 'title': 'Foundations of Software Science and Computation Structures', 'featuredImage': 'https://1.bp.blogspot.com/-dyw5oiO_oZA/XvhtXNn1s3I/AAAAAAAANEA/RvXatFOzKRkLOvntkKJpygJiAHpBCuPUQCLcBGAsYHQ/s320/FoSSaCS.jpg', 'showInlineAds': true}], 'headerByline': {'regionName': 'header1', 'items': [{'name': 'share', 'label': ''}, {'name': 'timestamp', 'label': '-'}]}, 'footerBylines': [{'regionName': 'footer1', 'items': [{'name': 'comments', 'label': 'comments'}]}, {'regionName': 'footer2', 'items': [{'name': 'labels', 'label': ''}]}], 'allBylineItems': [{'name': 'share', 'label': ''}, {'name': 'timestamp', 'label': '-'}, {'name': 'comments', 'label': 'comments'}, {'name': 'labels', 'label': ''}]}, {'title': '\u0645\u064a\u0632\u0629 \u062c\u062f\u0648\u0644 \u0627\u0644\u062a\u0646\u0642\u0644', 'type': 'HTML', 'sectionId': 'AddOns', 'id': 'HTML1'}, {'title': '\u0645\u064a\u0632\u0629 \u0634\u0627\u0647\u062f \u0627\u064a\u0636\u0627', 'type': 'HTML', 'sectionId': 'AddOns', 'id': 'HTML2'}, {'title': '\u0646\u0645\u0648\u0630\u062c \u0627\u0644\u0627\u062a\u0635\u0627\u0644', 'type': 'ContactForm', 'sectionId': 'AddOns', 'id': 'ContactForm200'}, {'title': 'Medicine', 'type': 'HTML', 'sectionId': 'Postcs5', 'id': 'HTML11'}, {'title': 'Free Journals', 'type': 'LinkList', 'sectionId': 'sidepar', 'id': 'LinkList1'}, {'title': 'Social', 'type': 'LinkList', 'sectionId': 'sidepar', 'id': 'LinkList4'}, {'title': '', 'type': 'PopularPosts', 'sectionId': 'sidepar', 'id': 'PopularPosts2', 'posts': [{'title': 'Acta Anesthesiologica Belgica', 'id': 7581700161808984315}, {'title': 'Sopus indexed journals - A -', 'id': 3982811780881944703}, {'title': 'Scopus Indexed Journals - J -', 'id': 7052521204852331502}, {'title': 'Scopus indexed medical journals list ', 'id': 4683253222136336831}, {'title': 'Scopus Journals', 'id': 3540292529472764197}]}, {'type': 'AdSense', 'sectionId': 'sidepar', 'id': 'AdSense1'}, {'title': '', 'type': 'HTML', 'sectionId': 'sidepar', 'id': 'HTML14'}, {'title': 'Labels', 'type': 'Label', 'sectionId': 'sidepar', 'id': 'Label1'}, {'title': 'Scopus', 'type': 'HTML', 'sectionId': 'sidepar', 'id': 'HTML15'}, {'title': 'JournalsFinder Search', 'type': 'BlogSearch', 'sectionId': 'BotPostsc', 'id': 'BlogSearch1'}, {'title': 'Publishers', 'type': 'HTML', 'sectionId': 'BotPostsc', 'id': 'HTML12'}]}]); _WidgetManager._RegisterWidget('_BlogArchiveView', new _WidgetInfo('BlogArchive400', 'sitting', document.getElementById('BlogArchive400'), {'languageDirection': 'ltr', 'loadingMessage': 'Loading\x26hellip;'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label400', 'sitting', document.getElementById('Label400'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PageListView', new _WidgetInfo('PageList1', 'pages', document.getElementById('PageList1'), {'title': '\u0627\u0644\u0635\u0641\u062d\u0627\u062a', 'links': [{'isCurrentPage': false, 'href': 'https://www.journalsfinder.com/', 'title': 'Home'}], 'mobile': false, 'showPlaceholder': false, 'hasCurrentPage': false}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HeaderView', new _WidgetInfo('Header1', 'logo', document.getElementById('Header1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList22', 'menu', document.getElementById('LinkList22'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML300', 'shreeta5bar', document.getElementById('HTML300'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML3', 'TopPost-sc', document.getElementById('HTML3'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML4', 'TopPost-sc', document.getElementById('HTML4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML7', 'Postnw1', document.getElementById('HTML7'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML6', 'Postnw2', document.getElementById('HTML6'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML8', 'Postnw3', document.getElementById('HTML8'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML9', 'Postcs1', document.getElementById('HTML9'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogView', new _WidgetInfo('Blog1', 'Tempnec', document.getElementById('Blog1'), {'cmtInteractionsEnabled': false, 'lightboxEnabled': true, 'lightboxModuleUrl': 'https://www.blogger.com/static/v1/jsbin/2258190084-lbx.js', 'lightboxCssUrl': 'https://www.blogger.com/static/v1/v-css/3268905543-lightbox_bundle.css'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML1', 'AddOns', document.getElementById('HTML1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML2', 'AddOns', document.getElementById('HTML2'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_ContactFormView', new _WidgetInfo('ContactForm200', 'AddOns', document.getElementById('ContactForm200'), {'contactFormMessageSendingMsg': 'Sending...', 'contactFormMessageSentMsg': 'Your message has been sent.', 'contactFormMessageNotSentMsg': 'Message could not be sent. Please try again later.', 'contactFormInvalidEmailMsg': 'A valid email address is required.', 'contactFormEmptyMessageMsg': 'Message field cannot be empty.', 'title': '\u0646\u0645\u0648\u0630\u062c \u0627\u0644\u0627\u062a\u0635\u0627\u0644', 'blogId': '3764158921867722197', 'contactFormNameMsg': 'Name', 'contactFormEmailMsg': 'Email', 'contactFormMessageMsg': 'Message', 'contactFormSendMsg': 'Send', 'contactFormToken': 'AOuZoY7fKZSoLmDQcPM62kg8wdcnMSi5NQ:1701451174159', 'submitUrl': 'https://www.blogger.com/contact-form.do'}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML11', 'Postcs5', document.getElementById('HTML11'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList1', 'sidepar', document.getElementById('LinkList1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LinkListView', new _WidgetInfo('LinkList4', 'sidepar', document.getElementById('LinkList4'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_PopularPostsView', new _WidgetInfo('PopularPosts2', 'sidepar', document.getElementById('PopularPosts2'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_AdSenseView', new _WidgetInfo('AdSense1', 'sidepar', document.getElementById('AdSense1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML14', 'sidepar', document.getElementById('HTML14'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_LabelView', new _WidgetInfo('Label1', 'sidepar', document.getElementById('Label1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML15', 'sidepar', document.getElementById('HTML15'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_BlogSearchView', new _WidgetInfo('BlogSearch1', 'BotPostsc', document.getElementById('BlogSearch1'), {}, 'displayModeFull')); _WidgetManager._RegisterWidget('_HTMLView', new _WidgetInfo('HTML12', 'BotPostsc', document.getElementById('HTML12'), {}, 'displayModeFull'));