DELETE FROM KEYWORDS WHERE ID_DOMAINE=11893367DoneDoneDone
URL:fm2015.ifi.uio.no
Connection: Keep-Alive
Date: Thu, 31 Oct 2024 06:17:38 GMT
Keep-Alive: timeout=5, max=100
Content-Length: 37946
Content-Type: text/html
Last-Modified: Mon, 30 Apr 2018 09:09:37 GMT
Accept-Ranges: bytes
ETag: "943a-56b0d36853640"
Server: Apache/2.4.57 (Red Hat Enterprise Linux) OpenSSL/3.0.7 mod_fcgid/2.3.9
Vary: cookie
Status => 200
<!DOCTYPE html>
<!--[if IE 7]>
<html class="ie ie7" lang="en-US">
<![endif]-->
<!--[if IE 8]>
<html class="ie ie8" lang="en-US">
<![endif]-->
<!--[if !(IE 7) & !(IE 8)]><!-->
<html lang="en-US">
<!--<![endif]-->
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width">
<title>FM 2015 | 20th International Symposium on Formal Methods</title>
<link rel="profile" href="http://gmpg.org/xfn/11">
<link rel="pingback" href="http://fm2015.ifi.uio.no/xmlrpc.php">
<!--[if lt IE 9]>
<script src="http://fm2015.ifi.uio.no/wp-content/themes/twentyfourteen/js/html5.js"></script>
<![endif]-->
<link rel='dns-prefetch' href='http://fonts.googleapis.com/' />
<link rel='dns-prefetch' href='http://s.w.org/' />
<link rel="alternate" type="application/rss+xml" title="FM 2015 » Feed" href="feed/index.html" />
<link rel="alternate" type="application/rss+xml" title="FM 2015 » Comments Feed" href="comments/feed/index.html" />
<link rel="alternate" type="application/rss+xml" title="FM 2015 » 20th International Symposium on Formal Methods Comments Feed" href="20th-international-symposium-on-formal-methods/feed/index.html" />
<script type="text/javascript">
window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/2\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/2\/svg\/","svgExt":".svg","source":{"concatemoji":"http:\/\/fm2015.ifi.uio.no\/wp-includes\/js\/wp-emoji-release.min.js?ver=4.6.1"}};
!function(a,b,c){function d(a){var c,d,e,f,g,h=b.createElement("canvas"),i=h.getContext&&h.getContext("2d"),j=String.fromCharCode;if(!i||!i.fillText)return!1;switch(i.textBaseline="top",i.font="600 32px Arial",a){case"flag":return i.fillText(j(55356,56806,55356,56826),0,0),!(h.toDataURL().length<3e3)&&(i.clearRect(0,0,h.width,h.height),i.fillText(j(55356,57331,65039,8205,55356,57096),0,0),c=h.toDataURL(),i.clearRect(0,0,h.width,h.height),i.fillText(j(55356,57331,55356,57096),0,0),d=h.toDataURL(),c!==d);case"diversity":return i.fillText(j(55356,57221),0,0),e=i.getImageData(16,16,1,1).data,f=e[0]+","+e[1]+","+e[2]+","+e[3],i.fillText(j(55356,57221,55356,57343),0,0),e=i.getImageData(16,16,1,1).data,g=e[0]+","+e[1]+","+e[2]+","+e[3],f!==g;case"simple":return i.fillText(j(55357,56835),0,0),0!==i.getImageData(16,16,1,1).data[0];case"unicode8":return i.fillText(j(55356,57135),0,0),0!==i.getImageData(16,16,1,1).data[0];case"unicode9":return i.fillText(j(55358,56631),0,0),0!==i.getImageData(16,16,1,1).data[0]}return!1}function e(a){var c=b.createElement("script");c.src=a,c.type="text/javascript",b.getElementsByTagName("head")[0].appendChild(c)}var f,g,h,i;for(i=Array("simple","flag","unicode8","diversity","unicode9"),c.supports={everything:!0,everythingExceptFlag:!0},h=0;h<i.length;h++)c.supports[i[h]]=d(i[h]),c.supports.everything=c.supports.everything&&c.supports[i[h]],"flag"!==i[h]&&(c.supports.everythingExceptFlag=c.supports.everythingExceptFlag&&c.supports[i[h]]);c.supports.everythingExceptFlag=c.supports.everythingExceptFlag&&!c.supports.flag,c.DOMReady=!1,c.readyCallback=function(){c.DOMReady=!0},c.supports.everything||(g=function(){c.readyCallback()},b.addEventListener?(b.addEventListener("DOMContentLoaded",g,!1),a.addEventListener("load",g,!1)):(a.attachEvent("onload",g),b.attachEvent("onreadystatechange",function(){"complete"===b.readyState&&c.readyCallback()})),f=c.source||{},f.concatemoji?e(f.concatemoji):f.wpemoji&&f.twemoji&&(e(f.twemoji),e(f.wpemoji)))}(window,document,window._wpemojiSettings);
</script>
<style type="text/css">
img.wp-smiley,
img.emoji {
display: inline !important;
border: none !important;
box-shadow: none !important;
height: 1em !important;
width: 1em !important;
margin: 0 .07em !important;
vertical-align: -0.1em !important;
background: none !important;
padding: 0 !important;
}
</style>
<link rel='stylesheet' id='twentyfourteen-lato-css' href='http://fonts.googleapis.com/css?family=Lato%3A300%2C400%2C700%2C900%2C300italic%2C400italic%2C700italic&subset=latin%2Clatin-ext' type='text/css' media='all' />
<link rel='stylesheet' id='genericons-css' href='wp-content/themes/twentyfourteen/genericons/genericons.css%3Fver=3.0.3.css' type='text/css' media='all' />
<link rel='stylesheet' id='twentyfourteen-style-css' href='wp-content/themes/twentyfourteen-child/style.css%3Fver=4.6.1.css' type='text/css' media='all' />
<!--[if lt IE 9]>
<link rel='stylesheet' id='twentyfourteen-ie-css' href='http://fm2015.ifi.uio.no/wp-content/themes/twentyfourteen/css/ie.css?ver=20131205' type='text/css' media='all' />
<![endif]-->
<link rel='stylesheet' id='cleverness_todo_list_frontend-css' href='wp-content/plugins/cleverness-to-do-list/css/cleverness-to-do-list-frontend.css%3Fver=3.4.2.css' type='text/css' media='all' />
<link rel='stylesheet' id='jquery.ui.theme-css' href='wp-content/plugins/cleverness-to-do-list/css/jquery-ui-fresh.css%3Fver=3.4.2.css' type='text/css' media='all' />
<link rel='stylesheet' id='tablepress-default-css' href='wp-content/plugins/tablepress/css/default.min.css%3Fver=1.6.1.css' type='text/css' media='all' />
<style id='tablepress-default-inline-css' type='text/css'>
.tablepress-id-7 .column-1{width:4em;text-align:right}.tablepress-id-7 .column-2{width:6em}.tablepress-id-7 .column-3{width:6em}.tablepress-id-7 .column-4{width:6em}.tablepress-id-7 .column-5{width:6em}.tablepress-id-7 .column-6{width:6em}.tablepress-id-7 .column-7{width:6em}.tablepress-id-7 .column-8{width:8em}.tablepress-id-7 .row-2 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-2 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-2 .column-4{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-5{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-6{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-7{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-8{background-color:#a7c8db}.tablepress-id-7 .row-4 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-4 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-4 .column-4{background-color:#d1d6e7}.tablepress-id-7 .row-4 .column-5{background-color:#d1d6e7}.tablepress-id-7 .row-4 .column-6{background-color:#d1d6e7}.tablepress-id-7 .row-4 .column-7{background-color:#FFF4E6}.tablepress-id-7 .row-4 .column-8{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-6 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-6 .column-4{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-5{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-6{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-7{background-color:#FFF4E6}.tablepress-id-7 .row-6 .column-8{background-color:#d1d6e7}.tablepress-id-7 .row-8 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-8 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-8 .column-4{background-color:#a7c8db}.tablepress-id-7 .row-8 .column-5{background-color:#d1d6e7}.tablepress-id-7 .row-8 .column-6{background-color:#a7c8db}.tablepress-id-7 .row-8 .column-7{background-color:#a7c8db}.tablepress-id-7 .row-8 .column-8{background-color:#d1d6e7}.tablepress-id-7 .row-9 .column-3{background-color:#FFF4E6}.tablepress-id-9 .row-1 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-1 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-4 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-4 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-10 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-10 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-15 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-15 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-3 .column-1{background-color:#FFF4E6}.tablepress-id-9 .row-3 .column-2{background-color:#FFF4E6}.tablepress-id-9 .row-9 .column-1{background-color:#FFF4E6}.tablepress-id-9 .row-9 .column-2{background-color:#FFF4E6}.tablepress-id-9 .row-14 .column-1{background-color:#FFF4E6}.tablepress-id-9 .row-14 .column-2{background-color:#FFF4E6}
</style>
<link rel='stylesheet' id='counterize_stylesheet-css' href='wp-content/plugins/counterize/counterize.css.php%3Fver=4.6.1.css' type='text/css' media='all' />
<script type='text/javascript' src='wp-includes/js/jquery/jquery.js%3Fver=1.12.4'></script>
<script type='text/javascript' src='wp-includes/js/jquery/jquery-migrate.min.js%3Fver=1.4.1'></script>
<script type='text/javascript' src='wp-content/plugins/counterize/counterize.js.php%3Fver=4.6.1'></script>
<link rel='https://api.w.org/' href='wp-json/index.html' />
<link rel="EditURI" type="application/rsd+xml" title="RSD" href="xmlrpc.php%3Frsd" />
<link rel="wlwmanifest" type="application/wlwmanifest+xml" href="wp-includes/wlwmanifest.xml" />
<meta name="generator" content="WordPress 4.6.1" />
<link rel="canonical" href="index.html" />
<link rel='shortlink' href='index.html' />
<link rel="alternate" type="application/json+oembed" href="wp-json/oembed/1.0/embed%3Furl=http:%252F%252Ffm2015.ifi.uio.no%252F" />
<link rel="alternate" type="text/xml+oembed" href="wp-json/oembed/1.0/embed%3Furl=http:%252F%252Ffm2015.ifi.uio.no%252F&format=xml" />
<style id="fourteen-colors" type="text/css">/* Custom Contrast Color */
.site:before,
#secondary,
.site-header,
.site-footer,
.menu-toggle,
.featured-content,
.featured-content .entry-header,
.slider-direction-nav a,
.ie8 .featured-content,
.ie8 .site:before {
background-color: #f5f5f5;
}
.grid .featured-content .entry-header,
.ie8 .grid .featured-content .entry-header {
border-color: #f5f5f5;
}
.slider-control-paging a:before {
background-color: rgba(255,255,255,.33);
}
.hentry .mejs-mediaelement,
.hentry .mejs-container .mejs-controls {
background: #f5f5f5;
}
.site-description,
.secondary-navigation a,
.widget,
.widget a,
.widget-title,
.widget-title a,
.widget_calendar caption,
.site-header a,
.site-title a,
.site-title a:hover,
.menu-toggle:before,
.site-footer,
.site-footer a,
.featured-content a,
.featured-content .entry-meta,
.slider-direction-nav a:before,
.hentry .mejs-container .mejs-controls .mejs-time span,
.hentry .mejs-controls .mejs-button button {
color: #2b2b2b;
}
@media screen and (min-width: 783px) {
.primary-navigation ul ul a {
color: #fff;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation ul ul a,
.secondary-navigation li:hover > a,
.secondary-navigation li.focus > a {
color: #fff;
}
}
.widget_calendar tbody a,
.site-footer .widget_calendar tbody a,
.slider-direction-nav a:hover:before {
color: #fff;
}
.slider-control-paging a:before {
background-color: rgba(0, 0, 0, .33);
}
.featured-content {
background-image: url(wp-content/plugins/fourteen-colors/pattern-dark-inverse.svg);
}
.site-navigation li,
#secondary,
.secondary-navigation,
.secondary-navigation li,
.widget table,
.widget th,
.widget td,
.widget_archive li,
.widget_categories li,
.widget_links li,
.widget_meta li,
.widget_nav_menu li,
.widget_pages li,
.widget_recent_comments li,
.widget_recent_entries li,
.widget_categories li ul,
.widget_nav_menu li ul,
.widget_pages li ul,
.widget abbr[title] {
border-color: rgba(0, 0, 0, .2);
}
.widget input,
.widget textarea {
background-color: rgba(0, 0, 0, .02);
border-color: rgba(0, 0, 0, .2);
color: #000;
}
.widget input:focus, .widget textarea:focus {
border-color: rgba(0, 0, 0, 0.4);
}
.widget_twentyfourteen_ephemera .entry-meta a {
color: rgba(0, 0, 0, 0.7);
}
.widget_twentyfourteen_ephemera > ol > li {
border-bottom-color: rgba(0, 0, 0, 0.2);
}
#supplementary + .site-info {
border-top: 1px solid rgba(0, 0, 0, 0.2);
}
.hentry .mejs-controls .mejs-time-rail .mejs-time-total,
.hentry .mejs-controls .mejs-horizontal-volume-slider .mejs-horizontal-volume-total {
background: rgba(0,0,0,.3);
}
.hentry .mejs-controls .mejs-horizontal-volume-slider .mejs-horizontal-volume-current {
background-color: #2b2b2b;
}
/* Override the site title color option with an over-qualified selector, as the option is hidden. */
h1.site-title a {
color: #2b2b2b;
}
.menu-toggle:active,
.menu-toggle:focus,
.menu-toggle:hover {
background-color: #ffffff;
}
/* Custom accent color. */
button,
.button,
.contributor-posts-link,
input[type="button"],
input[type="reset"],
input[type="submit"],
.search-toggle,
.hentry .mejs-controls .mejs-time-rail .mejs-time-current,
.hentry .mejs-overlay:hover .mejs-overlay-button,
.widget button,
.widget .button,
.widget input[type="button"],
.widget input[type="reset"],
.widget input[type="submit"],
.widget_calendar tbody a,
.content-sidebar .widget input[type="button"],
.content-sidebar .widget input[type="reset"],
.content-sidebar .widget input[type="submit"],
.slider-control-paging .slider-active:before,
.slider-control-paging .slider-active:hover:before,
.slider-direction-nav a:hover,
.ie8 .primary-navigation ul ul,
.ie8 .secondary-navigation ul ul,
.ie8 .primary-navigation li:hover > a,
.ie8 .primary-navigation li.focus > a,
.ie8 .secondary-navigation li:hover > a,
.ie8 .secondary-navigation li.focus > a {
background-color: #ba3434;
}
.site-navigation a:hover {
color: #ba3434;
}
::-moz-selection {
background: #ba3434;
}
::selection {
background: #ba3434;
}
.paging-navigation .page-numbers.current {
border-color: #ba3434;
}
@media screen and (min-width: 782px) {
.primary-navigation li:hover > a,
.primary-navigation li.focus > a,
.primary-navigation ul ul {
background-color: #ba3434;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation li:hover > a,
.secondary-navigation li.focus > a,
.secondary-navigation ul ul {
background-color: #ba3434;
}
}
.contributor-posts-link,
button,
.button,
input[type="button"],
input[type="reset"],
input[type="submit"],
.search-toggle:before,
.hentry .mejs-overlay:hover .mejs-overlay-button,
.widget button,
.widget .button,
.widget input[type="button"],
.widget input[type="reset"],
.widget input[type="submit"],
.widget_calendar tbody a,
.widget_calendar tbody a:hover,
.site-footer .widget_calendar tbody a,
.content-sidebar .widget input[type="button"],
.content-sidebar .widget input[type="reset"],
.content-sidebar .widget input[type="submit"],
button:hover,
button:focus,
.button:hover,
.button:focus,
.widget a.button:hover,
.widget a.button:focus,
.widget a.button:active,
.content-sidebar .widget a.button,
.content-sidebar .widget a.button:hover,
.content-sidebar .widget a.button:focus,
.content-sidebar .widget a.button:active,
.contributor-posts-link:hover,
.contributor-posts-link:active,
input[type="button"]:hover,
input[type="button"]:focus,
input[type="reset"]:hover,
input[type="reset"]:focus,
input[type="submit"]:hover,
input[type="submit"]:focus,
.slider-direction-nav a:hover:before {
color: #fff;
}
@media screen and (min-width: 782px) {
.primary-navigation ul ul a,
.primary-navigation li:hover > a,
.primary-navigation li.focus > a,
.primary-navigation ul ul {
color: #fff;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation ul ul a,
.secondary-navigation li:hover > a,
.secondary-navigation li.focus > a,
.secondary-navigation ul ul {
color: #fff;
}
}
/* Generated variants of custom accent color. */
a,
.content-sidebar .widget a {
color: #ba3434;
}
.contributor-posts-link:hover,
.button:hover,
.button:focus,
.slider-control-paging a:hover:before,
.search-toggle:hover,
.search-toggle.active,
.search-box,
.widget_calendar tbody a:hover,
button:hover,
button:focus,
input[type="button"]:hover,
input[type="button"]:focus,
input[type="reset"]:hover,
input[type="reset"]:focus,
input[type="submit"]:hover,
input[type="submit"]:focus,
.widget button:hover,
.widget .button:hover,
.widget button:focus,
.widget .button:focus,
.widget input[type="button"]:hover,
.widget input[type="button"]:focus,
.widget input[type="reset"]:hover,
.widget input[type="reset"]:focus,
.widget input[type="submit"]:hover,
.widget input[type="submit"]:focus,
.content-sidebar .widget input[type="button"]:hover,
.content-sidebar .widget input[type="button"]:focus,
.content-sidebar .widget input[type="reset"]:hover,
.content-sidebar .widget input[type="reset"]:focus,
.content-sidebar .widget input[type="submit"]:hover,
.content-sidebar .widget input[type="submit"]:focus,
.ie8 .primary-navigation ul ul a:hover,
.ie8 .primary-navigation ul ul li.focus > a,
.ie8 .secondary-navigation ul ul a:hover,
.ie8 .secondary-navigation ul ul li.focus > a {
background-color: #d75151;
}
.featured-content a:hover,
.featured-content .entry-title a:hover,
.widget a:hover,
.widget-title a:hover,
.widget_twentyfourteen_ephemera .entry-meta a:hover,
.hentry .mejs-controls .mejs-button button:hover,
.site-info a:hover,
.featured-content a:hover {
color: #d75151;
}
a:active,
a:hover,
.entry-title a:hover,
.entry-meta a:hover,
.cat-links a:hover,
.entry-content .edit-link a:hover,
.post-navigation a:hover,
.image-navigation a:hover,
.comment-author a:hover,
.comment-list .pingback a:hover,
.comment-list .trackback a:hover,
.comment-metadata a:hover,
.comment-reply-title small a:hover,
.content-sidebar .widget a:hover,
.content-sidebar .widget .widget-title a:hover,
.content-sidebar .widget_twentyfourteen_ephemera .entry-meta a:hover {
color: #d75151;
}
.page-links a:hover,
.paging-navigation a:hover {
border-color: #d75151;
}
.entry-meta .tag-links a:hover:before {
border-right-color: #d75151;
}
.page-links a:hover,
.entry-meta .tag-links a:hover {
background-color: #d75151;
}
@media screen and (min-width: 782px) {
.primary-navigation ul ul a:hover,
.primary-navigation ul ul li.focus > a {
background-color: #d75151;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation ul ul a:hover,
.secondary-navigation ul ul li.focus > a {
background-color: #d75151;
}
}
button:active,
.button:active,
.contributor-posts-link:active,
input[type="button"]:active,
input[type="reset"]:active,
input[type="submit"]:active,
.widget input[type="button"]:active,
.widget input[type="reset"]:active,
.widget input[type="submit"]:active,
.content-sidebar .widget input[type="button"]:active,
.content-sidebar .widget input[type="reset"]:active,
.content-sidebar .widget input[type="submit"]:active {
background-color: #eb6565;
}
.site-navigation .current_page_item > a,
.site-navigation .current_page_ancestor > a,
.site-navigation .current-menu-item > a,
.site-navigation .current-menu-ancestor > a {
color: #eb6565;
}
</style> <style>@media screen and (min-width: 783px){.primary-navigation{float: right;margin-left: 20px;}a { transition: all .5s ease; }}</style>
<style>.site {margin: 0 auto;max-width: 1260px;width: 100%;}.site-header{max-width: 1260px;}
@media screen and (min-width: 1110px) {.archive-header,.comments-area,.image-navigation,.page-header,.page-content,.post-navigation,.site-content .entry-header,
.site-content .entry-content,.site-content .entry-summary,.site-content footer.entry-meta{padding-left: 55px;}}</style>
<style>
.site-content .entry-header,.site-content .entry-content,.site-content .entry-summary,.site-content .entry-meta,.page-content
{max-width: 700px;}.comments-area{max-width: 700px;}.post-navigation, .image-navigation{max-width: 700px;}</style>
<style>.hentry{max-width: 1038px;}
img.size-full,img.size-large,.wp-post-image,.post-thumbnail img,.site-content .post-thumbnail img{max-height: 572px;}
</style>
<style>
.slider .featured-content .hentry{max-height: 500px;}.slider .featured-content{max-width: 1600px;
margin: 0px auto;}.slider .featured-content .post-thumbnail img{max-width: 1600px;width: 100%;}
.slider .featured-content .post-thumbnail{background:none;}.slider .featured-content a.post-thumbnail:hover{background-color:transparent;}
</style>
<!-- Dynamic Widgets by QURL - http://www.qurl.nl //-->
</head>
<!DOCTYPE html>
<!--[if IE 7]>
<html class="ie ie7" lang="en-US">
<![endif]-->
<!--[if IE 8]>
<html class="ie ie8" lang="en-US">
<![endif]-->
<!--[if !(IE 7) & !(IE 8)]><!-->
<html lang="en-US">
<!--<![endif]-->
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width">
<title>FM 2015 | 20th International Symposium on Formal Methods</title>
<link rel="profile" href="http://gmpg.org/xfn/11">
<link rel="pingback" href="http://fm2015.ifi.uio.no/xmlrpc.php">
<!--[if lt IE 9]>
<script src="http://fm2015.ifi.uio.no/wp-content/themes/twentyfourteen/js/html5.js"></script>
<![endif]-->
<link rel='dns-prefetch' href='http://fonts.googleapis.com/' />
<link rel='dns-prefetch' href='http://s.w.org/' />
<link rel="alternate" type="application/rss+xml" title="FM 2015 » Feed" href="feed/index.html" />
<link rel="alternate" type="application/rss+xml" title="FM 2015 » Comments Feed" href="comments/feed/index.html" />
<link rel="alternate" type="application/rss+xml" title="FM 2015 » 20th International Symposium on Formal Methods Comments Feed" href="20th-international-symposium-on-formal-methods/feed/index.html" />
<script type="text/javascript">
window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/2\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/2\/svg\/","svgExt":".svg","source":{"concatemoji":"http:\/\/fm2015.ifi.uio.no\/wp-includes\/js\/wp-emoji-release.min.js?ver=4.6.1"}};
!function(a,b,c){function d(a){var c,d,e,f,g,h=b.createElement("canvas"),i=h.getContext&&h.getContext("2d"),j=String.fromCharCode;if(!i||!i.fillText)return!1;switch(i.textBaseline="top",i.font="600 32px Arial",a){case"flag":return i.fillText(j(55356,56806,55356,56826),0,0),!(h.toDataURL().length<3e3)&&(i.clearRect(0,0,h.width,h.height),i.fillText(j(55356,57331,65039,8205,55356,57096),0,0),c=h.toDataURL(),i.clearRect(0,0,h.width,h.height),i.fillText(j(55356,57331,55356,57096),0,0),d=h.toDataURL(),c!==d);case"diversity":return i.fillText(j(55356,57221),0,0),e=i.getImageData(16,16,1,1).data,f=e[0]+","+e[1]+","+e[2]+","+e[3],i.fillText(j(55356,57221,55356,57343),0,0),e=i.getImageData(16,16,1,1).data,g=e[0]+","+e[1]+","+e[2]+","+e[3],f!==g;case"simple":return i.fillText(j(55357,56835),0,0),0!==i.getImageData(16,16,1,1).data[0];case"unicode8":return i.fillText(j(55356,57135),0,0),0!==i.getImageData(16,16,1,1).data[0];case"unicode9":return i.fillText(j(55358,56631),0,0),0!==i.getImageData(16,16,1,1).data[0]}return!1}function e(a){var c=b.createElement("script");c.src=a,c.type="text/javascript",b.getElementsByTagName("head")[0].appendChild(c)}var f,g,h,i;for(i=Array("simple","flag","unicode8","diversity","unicode9"),c.supports={everything:!0,everythingExceptFlag:!0},h=0;h<i.length;h++)c.supports[i[h]]=d(i[h]),c.supports.everything=c.supports.everything&&c.supports[i[h]],"flag"!==i[h]&&(c.supports.everythingExceptFlag=c.supports.everythingExceptFlag&&c.supports[i[h]]);c.supports.everythingExceptFlag=c.supports.everythingExceptFlag&&!c.supports.flag,c.DOMReady=!1,c.readyCallback=function(){c.DOMReady=!0},c.supports.everything||(g=function(){c.readyCallback()},b.addEventListener?(b.addEventListener("DOMContentLoaded",g,!1),a.addEventListener("load",g,!1)):(a.attachEvent("onload",g),b.attachEvent("onreadystatechange",function(){"complete"===b.readyState&&c.readyCallback()})),f=c.source||{},f.concatemoji?e(f.concatemoji):f.wpemoji&&f.twemoji&&(e(f.twemoji),e(f.wpemoji)))}(window,document,window._wpemojiSettings);
</script>
<style type="text/css">
img.wp-smiley,
img.emoji {
display: inline !important;
border: none !important;
box-shadow: none !important;
height: 1em !important;
width: 1em !important;
margin: 0 .07em !important;
vertical-align: -0.1em !important;
background: none !important;
padding: 0 !important;
}
</style>
<link rel='stylesheet' id='twentyfourteen-lato-css' href='http://fonts.googleapis.com/css?family=Lato%3A300%2C400%2C700%2C900%2C300italic%2C400italic%2C700italic&subset=latin%2Clatin-ext' type='text/css' media='all' />
<link rel='stylesheet' id='genericons-css' href='wp-content/themes/twentyfourteen/genericons/genericons.css%3Fver=3.0.3.css' type='text/css' media='all' />
<link rel='stylesheet' id='twentyfourteen-style-css' href='wp-content/themes/twentyfourteen-child/style.css%3Fver=4.6.1.css' type='text/css' media='all' />
<!--[if lt IE 9]>
<link rel='stylesheet' id='twentyfourteen-ie-css' href='http://fm2015.ifi.uio.no/wp-content/themes/twentyfourteen/css/ie.css?ver=20131205' type='text/css' media='all' />
<![endif]-->
<link rel='stylesheet' id='cleverness_todo_list_frontend-css' href='wp-content/plugins/cleverness-to-do-list/css/cleverness-to-do-list-frontend.css%3Fver=3.4.2.css' type='text/css' media='all' />
<link rel='stylesheet' id='jquery.ui.theme-css' href='wp-content/plugins/cleverness-to-do-list/css/jquery-ui-fresh.css%3Fver=3.4.2.css' type='text/css' media='all' />
<link rel='stylesheet' id='tablepress-default-css' href='wp-content/plugins/tablepress/css/default.min.css%3Fver=1.6.1.css' type='text/css' media='all' />
<style id='tablepress-default-inline-css' type='text/css'>
.tablepress-id-7 .column-1{width:4em;text-align:right}.tablepress-id-7 .column-2{width:6em}.tablepress-id-7 .column-3{width:6em}.tablepress-id-7 .column-4{width:6em}.tablepress-id-7 .column-5{width:6em}.tablepress-id-7 .column-6{width:6em}.tablepress-id-7 .column-7{width:6em}.tablepress-id-7 .column-8{width:8em}.tablepress-id-7 .row-2 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-2 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-2 .column-4{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-5{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-6{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-7{background-color:#a7c8db}.tablepress-id-7 .row-2 .column-8{background-color:#a7c8db}.tablepress-id-7 .row-4 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-4 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-4 .column-4{background-color:#d1d6e7}.tablepress-id-7 .row-4 .column-5{background-color:#d1d6e7}.tablepress-id-7 .row-4 .column-6{background-color:#d1d6e7}.tablepress-id-7 .row-4 .column-7{background-color:#FFF4E6}.tablepress-id-7 .row-4 .column-8{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-6 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-6 .column-4{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-5{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-6{background-color:#d1d6e7}.tablepress-id-7 .row-6 .column-7{background-color:#FFF4E6}.tablepress-id-7 .row-6 .column-8{background-color:#d1d6e7}.tablepress-id-7 .row-8 .column-2{background-color:#FFF4E6}.tablepress-id-7 .row-8 .column-3{background-color:#FFF4E6}.tablepress-id-7 .row-8 .column-4{background-color:#a7c8db}.tablepress-id-7 .row-8 .column-5{background-color:#d1d6e7}.tablepress-id-7 .row-8 .column-6{background-color:#a7c8db}.tablepress-id-7 .row-8 .column-7{background-color:#a7c8db}.tablepress-id-7 .row-8 .column-8{background-color:#d1d6e7}.tablepress-id-7 .row-9 .column-3{background-color:#FFF4E6}.tablepress-id-9 .row-1 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-1 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-4 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-4 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-10 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-10 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-15 .column-1{background-color:#a7c8db}.tablepress-id-9 .row-15 .column-2{background-color:#a7c8db}.tablepress-id-9 .row-3 .column-1{background-color:#FFF4E6}.tablepress-id-9 .row-3 .column-2{background-color:#FFF4E6}.tablepress-id-9 .row-9 .column-1{background-color:#FFF4E6}.tablepress-id-9 .row-9 .column-2{background-color:#FFF4E6}.tablepress-id-9 .row-14 .column-1{background-color:#FFF4E6}.tablepress-id-9 .row-14 .column-2{background-color:#FFF4E6}
</style>
<link rel='stylesheet' id='counterize_stylesheet-css' href='wp-content/plugins/counterize/counterize.css.php%3Fver=4.6.1.css' type='text/css' media='all' />
<script type='text/javascript' src='wp-includes/js/jquery/jquery.js%3Fver=1.12.4'></script>
<script type='text/javascript' src='wp-includes/js/jquery/jquery-migrate.min.js%3Fver=1.4.1'></script>
<script type='text/javascript' src='wp-content/plugins/counterize/counterize.js.php%3Fver=4.6.1'></script>
<link rel='https://api.w.org/' href='wp-json/index.html' />
<link rel="EditURI" type="application/rsd+xml" title="RSD" href="xmlrpc.php%3Frsd" />
<link rel="wlwmanifest" type="application/wlwmanifest+xml" href="wp-includes/wlwmanifest.xml" />
<meta name="generator" content="WordPress 4.6.1" />
<link rel="canonical" href="index.html" />
<link rel='shortlink' href='index.html' />
<link rel="alternate" type="application/json+oembed" href="wp-json/oembed/1.0/embed%3Furl=http:%252F%252Ffm2015.ifi.uio.no%252F" />
<link rel="alternate" type="text/xml+oembed" href="wp-json/oembed/1.0/embed%3Furl=http:%252F%252Ffm2015.ifi.uio.no%252F&format=xml" />
<style id="fourteen-colors" type="text/css">/* Custom Contrast Color */
.site:before,
#secondary,
.site-header,
.site-footer,
.menu-toggle,
.featured-content,
.featured-content .entry-header,
.slider-direction-nav a,
.ie8 .featured-content,
.ie8 .site:before {
background-color: #f5f5f5;
}
.grid .featured-content .entry-header,
.ie8 .grid .featured-content .entry-header {
border-color: #f5f5f5;
}
.slider-control-paging a:before {
background-color: rgba(255,255,255,.33);
}
.hentry .mejs-mediaelement,
.hentry .mejs-container .mejs-controls {
background: #f5f5f5;
}
.site-description,
.secondary-navigation a,
.widget,
.widget a,
.widget-title,
.widget-title a,
.widget_calendar caption,
.site-header a,
.site-title a,
.site-title a:hover,
.menu-toggle:before,
.site-footer,
.site-footer a,
.featured-content a,
.featured-content .entry-meta,
.slider-direction-nav a:before,
.hentry .mejs-container .mejs-controls .mejs-time span,
.hentry .mejs-controls .mejs-button button {
color: #2b2b2b;
}
@media screen and (min-width: 783px) {
.primary-navigation ul ul a {
color: #fff;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation ul ul a,
.secondary-navigation li:hover > a,
.secondary-navigation li.focus > a {
color: #fff;
}
}
.widget_calendar tbody a,
.site-footer .widget_calendar tbody a,
.slider-direction-nav a:hover:before {
color: #fff;
}
.slider-control-paging a:before {
background-color: rgba(0, 0, 0, .33);
}
.featured-content {
background-image: url(wp-content/plugins/fourteen-colors/pattern-dark-inverse.svg);
}
.site-navigation li,
#secondary,
.secondary-navigation,
.secondary-navigation li,
.widget table,
.widget th,
.widget td,
.widget_archive li,
.widget_categories li,
.widget_links li,
.widget_meta li,
.widget_nav_menu li,
.widget_pages li,
.widget_recent_comments li,
.widget_recent_entries li,
.widget_categories li ul,
.widget_nav_menu li ul,
.widget_pages li ul,
.widget abbr[title] {
border-color: rgba(0, 0, 0, .2);
}
.widget input,
.widget textarea {
background-color: rgba(0, 0, 0, .02);
border-color: rgba(0, 0, 0, .2);
color: #000;
}
.widget input:focus, .widget textarea:focus {
border-color: rgba(0, 0, 0, 0.4);
}
.widget_twentyfourteen_ephemera .entry-meta a {
color: rgba(0, 0, 0, 0.7);
}
.widget_twentyfourteen_ephemera > ol > li {
border-bottom-color: rgba(0, 0, 0, 0.2);
}
#supplementary + .site-info {
border-top: 1px solid rgba(0, 0, 0, 0.2);
}
.hentry .mejs-controls .mejs-time-rail .mejs-time-total,
.hentry .mejs-controls .mejs-horizontal-volume-slider .mejs-horizontal-volume-total {
background: rgba(0,0,0,.3);
}
.hentry .mejs-controls .mejs-horizontal-volume-slider .mejs-horizontal-volume-current {
background-color: #2b2b2b;
}
/* Override the site title color option with an over-qualified selector, as the option is hidden. */
h1.site-title a {
color: #2b2b2b;
}
.menu-toggle:active,
.menu-toggle:focus,
.menu-toggle:hover {
background-color: #ffffff;
}
/* Custom accent color. */
button,
.button,
.contributor-posts-link,
input[type="button"],
input[type="reset"],
input[type="submit"],
.search-toggle,
.hentry .mejs-controls .mejs-time-rail .mejs-time-current,
.hentry .mejs-overlay:hover .mejs-overlay-button,
.widget button,
.widget .button,
.widget input[type="button"],
.widget input[type="reset"],
.widget input[type="submit"],
.widget_calendar tbody a,
.content-sidebar .widget input[type="button"],
.content-sidebar .widget input[type="reset"],
.content-sidebar .widget input[type="submit"],
.slider-control-paging .slider-active:before,
.slider-control-paging .slider-active:hover:before,
.slider-direction-nav a:hover,
.ie8 .primary-navigation ul ul,
.ie8 .secondary-navigation ul ul,
.ie8 .primary-navigation li:hover > a,
.ie8 .primary-navigation li.focus > a,
.ie8 .secondary-navigation li:hover > a,
.ie8 .secondary-navigation li.focus > a {
background-color: #ba3434;
}
.site-navigation a:hover {
color: #ba3434;
}
::-moz-selection {
background: #ba3434;
}
::selection {
background: #ba3434;
}
.paging-navigation .page-numbers.current {
border-color: #ba3434;
}
@media screen and (min-width: 782px) {
.primary-navigation li:hover > a,
.primary-navigation li.focus > a,
.primary-navigation ul ul {
background-color: #ba3434;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation li:hover > a,
.secondary-navigation li.focus > a,
.secondary-navigation ul ul {
background-color: #ba3434;
}
}
.contributor-posts-link,
button,
.button,
input[type="button"],
input[type="reset"],
input[type="submit"],
.search-toggle:before,
.hentry .mejs-overlay:hover .mejs-overlay-button,
.widget button,
.widget .button,
.widget input[type="button"],
.widget input[type="reset"],
.widget input[type="submit"],
.widget_calendar tbody a,
.widget_calendar tbody a:hover,
.site-footer .widget_calendar tbody a,
.content-sidebar .widget input[type="button"],
.content-sidebar .widget input[type="reset"],
.content-sidebar .widget input[type="submit"],
button:hover,
button:focus,
.button:hover,
.button:focus,
.widget a.button:hover,
.widget a.button:focus,
.widget a.button:active,
.content-sidebar .widget a.button,
.content-sidebar .widget a.button:hover,
.content-sidebar .widget a.button:focus,
.content-sidebar .widget a.button:active,
.contributor-posts-link:hover,
.contributor-posts-link:active,
input[type="button"]:hover,
input[type="button"]:focus,
input[type="reset"]:hover,
input[type="reset"]:focus,
input[type="submit"]:hover,
input[type="submit"]:focus,
.slider-direction-nav a:hover:before {
color: #fff;
}
@media screen and (min-width: 782px) {
.primary-navigation ul ul a,
.primary-navigation li:hover > a,
.primary-navigation li.focus > a,
.primary-navigation ul ul {
color: #fff;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation ul ul a,
.secondary-navigation li:hover > a,
.secondary-navigation li.focus > a,
.secondary-navigation ul ul {
color: #fff;
}
}
/* Generated variants of custom accent color. */
a,
.content-sidebar .widget a {
color: #ba3434;
}
.contributor-posts-link:hover,
.button:hover,
.button:focus,
.slider-control-paging a:hover:before,
.search-toggle:hover,
.search-toggle.active,
.search-box,
.widget_calendar tbody a:hover,
button:hover,
button:focus,
input[type="button"]:hover,
input[type="button"]:focus,
input[type="reset"]:hover,
input[type="reset"]:focus,
input[type="submit"]:hover,
input[type="submit"]:focus,
.widget button:hover,
.widget .button:hover,
.widget button:focus,
.widget .button:focus,
.widget input[type="button"]:hover,
.widget input[type="button"]:focus,
.widget input[type="reset"]:hover,
.widget input[type="reset"]:focus,
.widget input[type="submit"]:hover,
.widget input[type="submit"]:focus,
.content-sidebar .widget input[type="button"]:hover,
.content-sidebar .widget input[type="button"]:focus,
.content-sidebar .widget input[type="reset"]:hover,
.content-sidebar .widget input[type="reset"]:focus,
.content-sidebar .widget input[type="submit"]:hover,
.content-sidebar .widget input[type="submit"]:focus,
.ie8 .primary-navigation ul ul a:hover,
.ie8 .primary-navigation ul ul li.focus > a,
.ie8 .secondary-navigation ul ul a:hover,
.ie8 .secondary-navigation ul ul li.focus > a {
background-color: #d75151;
}
.featured-content a:hover,
.featured-content .entry-title a:hover,
.widget a:hover,
.widget-title a:hover,
.widget_twentyfourteen_ephemera .entry-meta a:hover,
.hentry .mejs-controls .mejs-button button:hover,
.site-info a:hover,
.featured-content a:hover {
color: #d75151;
}
a:active,
a:hover,
.entry-title a:hover,
.entry-meta a:hover,
.cat-links a:hover,
.entry-content .edit-link a:hover,
.post-navigation a:hover,
.image-navigation a:hover,
.comment-author a:hover,
.comment-list .pingback a:hover,
.comment-list .trackback a:hover,
.comment-metadata a:hover,
.comment-reply-title small a:hover,
.content-sidebar .widget a:hover,
.content-sidebar .widget .widget-title a:hover,
.content-sidebar .widget_twentyfourteen_ephemera .entry-meta a:hover {
color: #d75151;
}
.page-links a:hover,
.paging-navigation a:hover {
border-color: #d75151;
}
.entry-meta .tag-links a:hover:before {
border-right-color: #d75151;
}
.page-links a:hover,
.entry-meta .tag-links a:hover {
background-color: #d75151;
}
@media screen and (min-width: 782px) {
.primary-navigation ul ul a:hover,
.primary-navigation ul ul li.focus > a {
background-color: #d75151;
}
}
@media screen and (min-width: 1008px) {
.secondary-navigation ul ul a:hover,
.secondary-navigation ul ul li.focus > a {
background-color: #d75151;
}
}
button:active,
.button:active,
.contributor-posts-link:active,
input[type="button"]:active,
input[type="reset"]:active,
input[type="submit"]:active,
.widget input[type="button"]:active,
.widget input[type="reset"]:active,
.widget input[type="submit"]:active,
.content-sidebar .widget input[type="button"]:active,
.content-sidebar .widget input[type="reset"]:active,
.content-sidebar .widget input[type="submit"]:active {
background-color: #eb6565;
}
.site-navigation .current_page_item > a,
.site-navigation .current_page_ancestor > a,
.site-navigation .current-menu-item > a,
.site-navigation .current-menu-ancestor > a {
color: #eb6565;
}
</style> <style>@media screen and (min-width: 783px){.primary-navigation{float: right;margin-left: 20px;}a { transition: all .5s ease; }}</style>
<style>.site {margin: 0 auto;max-width: 1260px;width: 100%;}.site-header{max-width: 1260px;}
@media screen and (min-width: 1110px) {.archive-header,.comments-area,.image-navigation,.page-header,.page-content,.post-navigation,.site-content .entry-header,
.site-content .entry-content,.site-content .entry-summary,.site-content footer.entry-meta{padding-left: 55px;}}</style>
<style>
.site-content .entry-header,.site-content .entry-content,.site-content .entry-summary,.site-content .entry-meta,.page-content
{max-width: 700px;}.comments-area{max-width: 700px;}.post-navigation, .image-navigation{max-width: 700px;}</style>
<style>.hentry{max-width: 1038px;}
img.size-full,img.size-large,.wp-post-image,.post-thumbnail img,.site-content .post-thumbnail img{max-height: 572px;}
</style>
<style>
.slider .featured-content .hentry{max-height: 500px;}.slider .featured-content{max-width: 1600px;
margin: 0px auto;}.slider .featured-content .post-thumbnail img{max-width: 1600px;width: 100%;}
.slider .featured-content .post-thumbnail{background:none;}.slider .featured-content a.post-thumbnail:hover{background-color:transparent;}
</style>
<!-- Dynamic Widgets by QURL - http://www.qurl.nl //-->
</head>
FM 2015 | 20th International Symposium on Formal Methods
Recherche META Description de la page
Recherche META Keywords de la page
UPDATE DOMAINES SET server='Apache/2.4.57 (Red Hat Enterprise Linux) OpenSSL/3.0.7 mod_fcgid/2.3.9',redirection='',Status='200',err='',[TITRE]=N'FM 2015 | 20th International Symposium on Formal Methods',[DESCRIPTION]=N'',[KEYWORDS]=N'' WHERE id=11893367
-2147217833 Les données de chaîne ou binaires seront tronquées.FM 2015 | 20th International Symposium on Formal Methods
0. FM (2)--------->0
1. 2015 (4)--------->0
2. | (1)--------->0
3. 20th (4)--------->0
4. International (13)--------->0
5. Symposium (9)--------->0
6. on (2)--------->0
7. Formal (6)--------->0
8. Methods (7)--------->0
INSERT INTO KEYWORDS (keyword,id_domaine) VALUES (N'FM',11893367),(N'2015',11893367),(N'|',11893367),(N'20th',11893367),(N'International',11893367),(N'Symposium',11893367),(N'on',11893367),(N'Formal',11893367),(N'Methods',11893367)