-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
108 lines (108 loc) · 6.61 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
<!DOCTYPE html>
<!--
Template Name: Sparked
Author: <a href="http://www.os-templates.com/">OS Templates</a>
Author URI: http://www.os-templates.com/
Licence: Free to use under our free template licence terms
Licence URI: http://www.os-templates.com/template-terms
-->
<html>
<head>
<title>WASPI'18</title>
<meta charset="utf-8">
<link href="layout/styles/layout.css" rel="stylesheet" type="text/css" media="all">
</head>
<body id="top">
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<div class="wrapper row1">
<nav id="mainav" class="clear">
<ul class="clear">
<li class="active"><a href="index.html">Home</a></li>
<li><a href="cfp.html">CFP</a></li>
<li><a href="dates.html">Important Dates</a></li>
<li><a href="submission.html">Submissions</a></li>
<li><a href="organization.html">Organization</a></li>
</ul>
</nav>
</div>
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<div class="wrapper row2">
<header id="header" class="clear">
<!-- ################################################################################################ -->
<div id="logo">
<h1><a href="index.html">Workshop on<br/>Automated Specification Inference<br/>(WASPI)</a></h1>
<p>Friday, November 9, 2018 - co-located with <a href="https://conf.researchr.org/home/fse-2018">ESEC/FSE 2018</a></p>
</div>
<!-- ################################################################################################ -->
</header>
</div>
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!--
<div class="wrapper row3">
<div id="slider">
<img src="images/slider/1.png" alt="">
<img src="images/slider/2.png" alt="">
<img src="images/slider/3.png" alt="">
</div>
</div>
-->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<div class="wrapper row4">
<main id="container" class="clear">
<!-- container body -->
<!-- ########################################################################################## -->
<h2 class="font_xxl center">The 1<sup>st</sup> International Workshop on Automated Specification Inference</h2>
<p>
Specifications provide programmers with the confidence their implementations are correct. Formal specifications can even automatically verify the code and specification are consistent, providing additional guarantees. However, most programmers do not write such specifications as it is either too hard, too time consuming, or requires expertise not widely available. Tools and techniques have been developed over time to (semi)automate the generation of such specifications, to varying success.
</p>
<p>
The International Workshop on Automated Specification Inference (WASPI) provides a venue for researchers and practitioners to come together and discuss the current state of the art of and challenges to specification inference techniques and tools. For example, how do we infer more complex and usable specifications? How do we increase the accuracy of the inference techniques? How do we encourage practitioners to use the inference tools and techniques more than they currently do? The goal of this workshop is to identify the most pressing open problems facing specification inference researchers and provide a solid direction toward solving those problems.
</p>
<h1>Important Dates</h1>
<table>
<tr><th style="text-align: right;">Submissions due:</th><td><del>July 27, 2018</del> August 8, 2018</td></tr>
<tr><th style="text-align: right;">Author Notification:</th><td><del>August 24, 2018</del></td></tr>
<tr><th style="text-align: right;">Camera-ready due:</th><td>September 14, 2018</td></tr>
</table>
<!-- ########################################################################################## -->
<!-- / container body -->
<div class="clear"></div>
</main>
</div>
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<div class="wrapper row5">
<footer id="footer" class="clear">
<!-- ################################################################################################ -->
<div class="clear">
Contact: <span class="icon-envelope-alt"></span> <script type="text/javascript"><!--
document.write('<a href="mailto:' + (['rdyer', 'bgsu.edu'].join('@'))
+ '">' + (['rdyer', 'bgsu.edu'].join('@')) + '<\/a>');
// --></script>
<ins><noscript><div><code>rdyer (at) bgsu (dot) edu</code></div></noscript></ins>
</div>
<!-- ################################################################################################ -->
</footer>
</div>
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<!-- ################################################################################################ -->
<div class="wrapper row6">
<div id="copyright" class="clear">
<!-- ################################################################################################ -->
<p class="fl_left">Copyright © 2018 - All Rights Reserved</p>
<p class="fl_right">Template by <a target="_blank" href="http://www.os-templates.com/" title="Free Website Templates">OS Templates</a></p>
<!-- ################################################################################################ -->
</div>
</div>
</body>
</html>