|
new file 100644
|
|
|
<!DOCTYPE html>
|
|
|
<html lang="en" prefix="og: http://ogp.me/ns# fb: https://www.facebook.com/2008/fbml">
|
|
|
<head>
|
|
|
<title>Software Engineering and Formal Methods 2020 - SEFM 2020</title>
|
|
|
<!-- Using the latest rendering mode for IE -->
|
|
|
<meta http-equiv="X-UA-Compatible" content="IE=edge">
|
|
|
<meta charset="utf-8">
|
|
|
<meta name="viewport" content="width=device-width, initial-scale=1.0">
|
|
|
<link rel="shortcut icon" href="/favicon.ico?v=2" />
|
|
|
|
|
|
|
|
|
<link rel="canonical" href="/pages/software-engineering-and-formal-methods-2020.html">
|
|
|
|
|
|
<meta name="author" content="Michael Guravage" />
|
|
|
<meta name="description" content="Welcome to SEFM 2020" />
|
|
|
|
|
|
<meta property="og:site_name" content="SEFM 2020" />
|
|
|
<meta property="og:type" content="article"/>
|
|
|
<meta property="og:title" content="Software Engineering and Formal Methods 2020"/>
|
|
|
<meta property="og:url" content="/pages/software-engineering-and-formal-methods-2020.html"/>
|
|
|
<meta property="og:description" content="Welcome to SEFM 2020" />
|
|
|
|
|
|
|
|
|
|
|
|
<!-- Bootstrap -->
|
|
|
<link rel="stylesheet" href="/theme/css/bootstrap.min.css" type="text/css"/>
|
|
|
<link href="/theme/css/font-awesome.min.css" rel="stylesheet">
|
|
|
|
|
|
<link href="/theme/css/pygments/native.css" rel="stylesheet">
|
|
|
<link rel="stylesheet" href="/theme/css/style.css" type="text/css"/>
|
|
|
<link href="/static/css/custom.css" rel="stylesheet">
|
|
|
|
|
|
|
|
|
|
|
|
</head>
|
|
|
<body>
|
|
|
|
|
|
<div class="navbar navbar-default navbar-fixed-top" role="navigation">
|
|
|
<div class="container">
|
|
|
<div class="navbar-header">
|
|
|
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".navbar-ex1-collapse">
|
|
|
<span class="sr-only">Toggle navigation</span>
|
|
|
<span class="icon-bar"></span>
|
|
|
<span class="icon-bar"></span>
|
|
|
<span class="icon-bar"></span>
|
|
|
</button>
|
|
|
<a href="/" class="navbar-brand">
|
|
|
SEFM 2020 </a>
|
|
|
</div>
|
|
|
<div class="collapse navbar-collapse navbar-ex1-collapse">
|
|
|
<ul class="nav navbar-nav">
|
|
|
<li><a href="/pages/call-for-papers.html">
|
|
|
Call for Papers
|
|
|
</a></li>
|
|
|
<li><a href="/pages/committees.html">
|
|
|
Committees
|
|
|
</a></li>
|
|
|
<li><a href="/pages/programme.html">
|
|
|
Programme
|
|
|
</a></li>
|
|
|
<li><a href="/pages/registration.html">
|
|
|
Registration
|
|
|
</a></li>
|
|
|
<li><a href="/pages/venu.html">
|
|
|
Venu
|
|
|
</a></li>
|
|
|
<li><a href="/pages/workshops.html">
|
|
|
Workshops
|
|
|
</a></li>
|
|
|
</ul>
|
|
|
<ul class="nav navbar-nav navbar-right">
|
|
|
</ul>
|
|
|
</div>
|
|
|
<!-- /.navbar-collapse -->
|
|
|
</div>
|
|
|
</div> <!-- /.navbar -->
|
|
|
|
|
|
<!-- Banner -->
|
|
|
<!-- End Banner -->
|
|
|
|
|
|
<!-- Content Container -->
|
|
|
<div class="container">
|
|
|
<div class="row">
|
|
|
<div class="col-sm-9">
|
|
|
<section id="content" class="body">
|
|
|
<h1 class="entry-title">Software Engineering and Formal Methods 2020</h1>
|
|
|
|
|
|
<div class="entry-content">
|
|
|
<h5>Welcome to SEFM 2020</h5>
|
|
|
</div>
|
|
|
</section>
|
|
|
</div>
|
|
|
<div class="col-sm-3" id="sidebar">
|
|
|
<aside>
|
|
|
<!-- Sidebar -->
|
|
|
<section class="well well-sm">
|
|
|
<ul class="list-group list-group-flush">
|
|
|
|
|
|
<!-- Sidebar/Links -->
|
|
|
<li class="list-group-item">
|
|
|
<h4><i class="fa fa-external-link-square fa-lg"></i><span class="icon-label">Links</span></h4>
|
|
|
<ul class="list-group" id="links">
|
|
|
<li class="list-group-item">
|
|
|
<a href="https://cwi.nl" target="_blank"><img src="https://www.cwi.nl/logo.png" width="150px"></a>
|
|
|
</li>
|
|
|
<li class="list-group-item">
|
|
|
<a href="https://www.cwi.nl/research/groups/formal-methods" target="_blank">CWI Formal Methods Group</a>
|
|
|
</li>
|
|
|
</ul>
|
|
|
</li>
|
|
|
<!-- End Sidebar/Links -->
|
|
|
</ul>
|
|
|
</section>
|
|
|
<!-- End Sidebar --> </aside>
|
|
|
</div>
|
|
|
</div>
|
|
|
</div>
|
|
|
<!-- End Content Container -->
|
|
|
|
|
|
<footer>
|
|
|
<div class="container">
|
|
|
<hr>
|
|
|
<div class="row">
|
|
|
<div class="col-xs-10">© Centrum Wiskunde en Informatica - F.S. de Boer
|
|
|
<!-- · Powered by <a href="https://github.com/getpelican/pelican-themes/tree/master/pelican-bootstrap3" target="_blank">pelican-bootstrap3</a>, -->
|
|
|
<!-- <a href="http://docs.getpelican.com/" target="_blank">Pelican</a>, -->
|
|
|
<!-- <a href="http://getbootstrap.com" target="_blank">Bootstrap</a> -->
|
|
|
<!-- -->
|
|
|
</div>
|
|
|
<div class="col-xs-2"><p class="pull-right"><i class="fa fa-arrow-up"></i> <a href="#">Back to top</a></p></div>
|
|
|
</div>
|
|
|
</div>
|
|
|
</footer>
|
|
|
<script src="/theme/js/jquery.min.js"></script>
|
|
|
|
|
|
<!-- Include all compiled plugins (below), or include individual files as needed -->
|
|
|
<script src="/theme/js/bootstrap.min.js"></script>
|
|
|
|
|
|
<!-- Enable responsive features in IE8 with Respond.js (https://github.com/scottjehl/Respond) -->
|
|
|
<script src="/theme/js/respond.min.js"></script>
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
</body>
|
|
|
</html>
|
|
\ No newline at end of file
|