-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathpublications-and-workshops.html
More file actions
372 lines (327 loc) · 21.4 KB
/
Copy pathpublications-and-workshops.html
File metadata and controls
372 lines (327 loc) · 21.4 KB
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
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
<!DOCTYPE html>
<html lang="en" data-content_root="./">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Publications and workshops — The ABS Language documentation</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=5ecbeea2" />
<link rel="stylesheet" type="text/css" href="_static/basic.css?v=b08954a9" />
<link rel="stylesheet" type="text/css" href="_static/alabaster.css?v=3cb1bcfc" />
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=fd6eb6e6"></script>
<script src="_static/sphinx_highlight.js?v=6ffebe34"></script>
<link rel="canonical" href="https://abs-models.org/publications-and-workshops.html" />
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Contact" href="contact.html" />
<link rel="prev" title="Glossary" href="manual/glossary.html" />
<link rel="stylesheet" href="_static/custom.css" type="text/css" />
</head><body>
<div class="document">
<div class="documentwrapper">
<div class="bodywrapper">
<div class="body" role="main">
<section id="publications-and-workshops">
<h1>Publications and workshops<a class="headerlink" href="#publications-and-workshops" title="Link to this heading">¶</a></h1>
<p>This page lists ABS workshops and selected research papers on the
development and usage of the ABS modeling language and analysis tools.</p>
<section id="abs-workshops">
<h2>ABS workshops<a class="headerlink" href="#abs-workshops" title="Link to this heading">¶</a></h2>
<ul class="simple">
<li><p><strong>2025</strong> APM Workshop 2025: October 1-3, 2025, Porto,
Portugal. <a class="reference external" href="https://apm-workshop.github.io/2025/">https://apm-workshop.github.io/2025/</a></p></li>
<li><p><strong>2024</strong> APM Workshop 2024: October 02-04, 2024, Turin,
Italy. <a class="reference external" href="https://edkamb.github.io/APM_24/">https://edkamb.github.io/APM_24/</a></p></li>
<li><p><strong>2023</strong> Fifth International ABS Workshop: October 04-06, 2023,
Lyon, France. <a class="reference external" href="https://edkamb.github.io/ABS_23/">https://edkamb.github.io/ABS_23/</a></p></li>
<li><p><strong>2021</strong> Fourth International ABS Workshop: August 26–August 27,
2021, Virtual.
<a class="reference external" href="https://formbar.raillab.de/en/abs-workshop-2021/">https://formbar.raillab.de/en/abs-workshop-2021/</a></p></li>
<li><p><strong>2019</strong> Third International ABS Workshop: May 13–May 15, 2019,
Amsterdam, The Netherlands.
<a class="reference external" href="https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools">https://www.cwi.nl/research/groups/formal-methods/events/third-international-workshop-on-the-abs-modeling-language-and-tools</a></p></li>
<li><p><strong>2018</strong> Second International ABS Workshop: May 28–May 30, 2018,
Darmstadt, Germany. <a class="reference external" href="https://formbar.raillab.de/en/abs2018/">https://formbar.raillab.de/en/abs2018/</a></p></li>
<li><p><strong>2017</strong> First International ABS Workshop: May 31–June 2, 2017,
Oslo, Norway.</p></li>
</ul>
</section>
<section id="case-studies">
<h2>Case studies<a class="headerlink" href="#case-studies" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">G. Turin, A. Borgarelli, S. Donetti, F. Damiani, E. B. Johnsen,
and S. L. Tapia Tarifa.</div>
<div class="line"><em>Predicting resource consumption of Kubernetes container systems
using resource models</em></div>
<div class="line">Journal of Systems and Software, Volume 203, September 2023.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1016/j.jss.2023.111750">10.1016/j.jss.2023.111750</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/23-jss/">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">J-C Lin, M-C Lee, I. C. Yu, and E. B. Johnsen.</div>
<div class="line"><em>A configurable and executable model of Spark Streaming on Apache YARN</em></div>
<div class="line">International Journal of Grid and Utility Computing. Volume 11(2). Indescience, 2020.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1504/IJGUC.2020.105531">10.1504/IJGUC.2020.105531</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/20-ijguc/20-ijguc.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. Kamburjan, R. Hähnle, and S. Schön</div>
<div class="line"><em>Formal modeling and analysis of railway operations with active objects</em></div>
<div class="line">Science of Computer Programming. Volume 166. Elsevier, 2018.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1016/j.scico.2018.07.001">10.1016/j.scico.2018.07.001</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. Albert, F. de Boer, R. Hähnle, E. B. Johnsen, R. Schlatte, S. L. Tapia Tarifa, and P. Y. H. Wong.</div>
<div class="line"><em>Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS</em></div>
<div class="line">Service Oriented Computing and Applications 8 (4):323-339, 2014.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/s11761-013-0148-0">10.1007/s11761-013-0148-0</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/14-soca/14-soca.pdf">preprint</a>.</div>
</div>
</li>
</ul>
</section>
<section id="language-development">
<h2>Language development<a class="headerlink" href="#language-development" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">L. Tveito, E. B. Johnsen, and R. Schlatte.</div>
<div class="line"><em>Global Reproducibility through Local Control for Distributed Active Objects</em></div>
<div class="line">In Proc. 23th International Conference on Fundamental Approaches to Software Engineering (FASE 2020), LNCS 12076. Springer , 2020.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1007/978-3-030-45234-6_7">10.1007/978-3-030-45234-6_7</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/20-fase/20-fase.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">R. Schlatte, E. B. Johnsen, J. Mauro, S. L. Tapia Tarifa, and I. C. Yu.</div>
<div class="line"><em>Release the Beasts: When Formal Methods Meet Real World Data</em></div>
<div class="line">Festschrift Farhad Arbab, LNCS 10865. Springer , 2018.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/978-3-642-25271-6_8">10.1007/978-3-642-25271-6_8</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/18-farhad/18-farhad.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. Kamburjan.</div>
<div class="line"><em>From post-conditions to post-region invariants: deductive verification of hybrid objects</em></div>
<div class="line">In 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021). ACM , 2021.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1145/3447928.3456633">10.1145/3447928.3456633</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. B. Johnsen, R. Hähnle, J. Schäfer, R. Schlatte, and M. Steffen.</div>
<div class="line"><em>ABS: A Core Language for Abstract Behavioral Specification</em></div>
<div class="line">In Proc. 9th Intl. Symp. on Formal Methods for Components and Objects (FMCO 2010), LNCS 6957. Springer , 2011.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/978-3-642-25271-6_8">10.1007/978-3-642-25271-6_8</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/10-fmco/10-fmco.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. B. Johnsen, R. Schlatte, and S. L. Tapia Tarifa.</div>
<div class="line"><em>Integrating Deployment Architecture and Resource Consumption in Timed Object-Oriented Models</em></div>
<div class="line">Journal of Logical and Algebraic Methods in Programming 84(1): 67-91, 2015.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1016/j.jlamp.2014.07.001">10.1016/j.jlamp.2014.07.001</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/15-jlamp1/15-jlamp1.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, and S. L. Tapia Tarifa.</div>
<div class="line"><em>User-defined schedulers for real-time concurrent objects</em></div>
<div class="line">Innovations Syst Softw Eng 9(1): 29-43 (2013).</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1007/s11334-012-0184-5">10.1007/s11334-012-0184-5</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/13-isse/13-isse.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">F. Damiani, R. Hähnle, E. Kamburjan, M. Lienhardt.</div>
<div class="line"><em>A Unified and Formal Programming Model for Deltas and Traits</em></div>
<div class="line">Proc. 20th International Conference on Fundamental Approaches to Software Engineering (FASE 2017), LNCS 10202. Springer, 2017.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1007/978-3-662-54494-5_25">10.1007/978-3-662-54494-5_25</a>. Download a [postprint <<a class="reference external" href="http://hdl.handle.net/2318/1633390">http://hdl.handle.net/2318/1633390</a>>`__.</div>
</div>
</li>
</ul>
</section>
<section id="software-product-lines">
<h2>Software product lines<a class="headerlink" href="#software-product-lines" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">F. Damiani, R. Hähnle, E. Kamburjan, M. Lienhardt, and L. Paolini.</div>
<div class="line"><em>Variability modules</em></div>
<div class="line">Journal of Systems and Software, Volume 195, January 2023.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1016/j.jss.2022.111510">10.1016/j.jss.2022.111510</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">F. Damiani, M. Lienhardt, R. Muschevici, I. Schaefer.</div>
<div class="line"><em>An Extension of the ABS Toolchain with a Mechanism for Type Checking SPLs</em></div>
<div class="line">Proc. 13th International Conference on Integrated Formal Methods (IFM 2017), LNCS 10510. Springer, 2017.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1007/978-3-319-66845-1_8">10.1007/978-3-319-66845-1_8</a>. Download a [postprint <<a class="reference external" href="http://hdl.handle.net/2318/1649744">http://hdl.handle.net/2318/1649744</a>>`__.</div>
</div>
</li>
</ul>
</section>
<section id="deductive-verification">
<h2>Deductive verification<a class="headerlink" href="#deductive-verification" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">E. Kamburjan, C. C. Din, R. Hähnle and E. B. Johnsen.</div>
<div class="line"><em>Behavioral Contracts for Cooperative Scheduling</em></div>
<div class="line">In Deductive Software Verification: Future Perspectives, LNCS 12345. Springer, 2020.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1007/978-3-030-64354-6_4">10.1007/978-3-030-64354-6_4</a>. Download a <a class="reference external" href="https://ebjohnsen.org/publication/20-key2/20-key2.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">C. C. Din, R. Bubel and R. Hähnle.</div>
<div class="line"><em>KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS</em></div>
<div class="line">In Proc. 25th Intl. Conf. on Automated Deduction (CADE 2015), LNCS 9195. Springer, 2015.</div>
<div class="line">DOI:[10.1007/978-3-319-21401-6_35 <http://doi.org/10.1007/978-3-319-21401-6_35>`__. Download a <a class="reference external" href="http://envisage-project.eu/wp-content/uploads/2014/12/KeYABS-CADE15.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">C. C. Din, S. L. Tapia Tarifa, R. Hähnle and E. B. Johnsen.</div>
<div class="line"><em>History-Based Specification and Verification of Scalable Concurrent and Distributed Systems</em></div>
<div class="line">In Proc. 17th Intl. Conf. on Formal Engineering Method (ICFEM 2015), LNCS 9407. Springer, 2015.</div>
<div class="line">DOI: <a class="reference external" href="http://doi.org/10.1007/978-3-319-25423-4_14">10.1007/978-3-319-25423-4_14</a>. Download a <a class="reference external" href="http://envisage-project.eu/wp-content/uploads/2014/12/ICFEM_2015_submission_59.pdf">preprint</a>.</div>
</div>
</li>
</ul>
</section>
<section id="analysis">
<h2>Analysis<a class="headerlink" href="#analysis" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">C. Laneve, M. Lienhardt, K. I Pun, and G. Román-Díez.</div>
<div class="line"><em>Time analysis of actor programs</em></div>
<div class="line">Journal of Logical and Algebraic Methods in Programming, Volume 105, Elsevier, 2019.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1016/j.jlamp.2019.02.007">10.1016/j.jlamp.2019.02.007</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">A. Garcia, C. Laneve, and M. Lienhardt.</div>
<div class="line"><em>Static analysis of cloud elasticity</em></div>
<div class="line">Science of Computer Programming, Volume 147, Elsevier, 2017.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1016/j.scico.2017.03.008">10.1016/j.scico.2017.03.008</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. Albert, P. Arenas, A. Flores-Montoya, S. Genaim, M. Gómez-Zamalloa, E. Martin-Martin, G. Puebla, and G. Román-Díez.</div>
<div class="line"><em>SACO: Static Analyzer for Concurrent Objects</em></div>
<div class="line">In Proc. 20th Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). LNCS 8413, Springer, 2014.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/978-3-642-54862-8_46">10.1007/978-3-642-54862-8_46</a>. Download a <a class="reference external" href="http://eprints.ucm.es/36623/1/SACO%20static%20analyzer%20for%20concurrent.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">E. Giachino, C. Laneve, and M. Lienhardt.</div>
<div class="line"><em>A Framework for Deadlock Detection in ABS</em></div>
<div class="line">Journal of Software and Systems Modeling, Volume 15(4), Springer, 2015.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/s10270-014-0444-y">10.1007/s10270-014-0444-y</a>.</div>
</div>
</li>
</ul>
</section>
<section id="abs-tools">
<h2>ABS tools<a class="headerlink" href="#abs-tools" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan and S. Lizeth Tapia Tarifa</div>
<div class="line"><em>The ABS simulator toolchain</em></div>
<div class="line">Science of Computer Programming. Volume 233. Elsevier, 2022.</div>
<div class="line">DOI: <a class="reference external" href="https://doi.org/10.1016/j.scico.2022.102861">10.1016/j.scico.2022.102861</a>.</div>
</div>
</li>
</ul>
</section>
<section id="code-generation-from-abs">
<h2>Code generation from ABS<a class="headerlink" href="#code-generation-from-abs" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">B. Nobakht and F. S. de Boer.</div>
<div class="line"><em>Programming with Actors in Java 8</em></div>
<div class="line">In Proc. of the 6th Intl. Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA’14). LNCS 8803. Springer, 2014.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/978-3-662-45231-8_4">10.1007/978-3-662-45231-8_4</a>. Download a <a class="reference external" href="http://envisage-project.eu/wp-content/uploads/2015/02/paper-j8-isola.pdf">preprint</a>.</div>
</div>
</li>
</ul>
</section>
<section id="model-based-deployment-and-monitoring">
<h2>Model-based deployment and monitoring<a class="headerlink" href="#model-based-deployment-and-monitoring" title="Link to this heading">¶</a></h2>
<ul>
<li><div class="line-block">
<div class="line">R. Hähnle and E. B. Johnsen.</div>
<div class="line"><em>Designing Resource-Aware Cloud Applications</em></div>
<div class="line">IEEE Computer 48 (6), 2015.</div>
<div class="line">DOI: <a class="reference external" href="http://doi.ieeecomputersociety.org/10.1109/MC.2015.172">10.1109/MC.2015.172</a>. Download a <a class="reference external" href="http://envisage-project.eu/wp-content/uploads/2013/09/ResourceAwareApplicationsForTheCloud_Preprint.pdf">preprint</a>.</div>
</div>
</li>
<li><div class="line-block">
<div class="line">B. Nobakht, S. de Gouw and F.S. de Boer.</div>
<div class="line"><em>Formal Verification of Service Level Agreements Through Distributed Monitoring</em></div>
<div class="line">In Proc. 4th European Conf. on Service Oriented and Cloud Computing (ESOCC 2015). LNCS 9306, Springer, 2015.</div>
<div class="line">DOI: <a class="reference external" href="http://dx.doi.org/10.1007/978-3-319-24072-5_9">10.1007/978-3-319-24072-5_9</a>. Download a <a class="reference external" href="http://envisage-project.eu/wp-content/uploads/2015/09/paper-esocc.pdf">preprint</a>.</div>
</div>
</li>
</ul>
</section>
</section>
</div>
</div>
</div>
<div class="sphinxsidebar" role="navigation" aria-label="Main">
<div class="sphinxsidebarwrapper">
<p class="logo">
<a href="index.html">
<img class="logo" src="_static/ABS_logo_colors.png" alt="Logo" />
</a>
</p>
<p class="blurb">A timed actor-based modeling language</p>
<p>
<iframe src="https://ghbtns.com/github-btn.html?user=abstools&repo=abstools&type=watch&count=true&size=large&v=2"
allowtransparency="true" frameborder="0" scrolling="0" width="200px" height="35px"></iframe>
</p>
<search id="searchbox" style="display: none" role="search">
<div class="searchformwrapper">
<form class="search" action="search.html" method="get">
<input type="text" name="q" aria-labelledby="searchlabel" autocomplete="off" autocorrect="off" autocapitalize="off" spellcheck="false" placeholder="Search"/>
<input type="submit" value="Go" />
</form>
</div>
</search>
<script>document.getElementById('searchbox').style.display = "block"</script><h3>Navigation</h3>
<ul class="current">
<li class="toctree-l1"><a class="reference internal" href="overview.html">Overview</a></li>
<li class="toctree-l1"><a class="reference internal" href="getting-started/getting-started.html">Getting started</a></li>
<li class="toctree-l1"><a class="reference internal" href="examples/index.html">Examples</a></li>
<li class="toctree-l1"><a class="reference internal" href="manual/index.html">ABS language manual</a></li>
<li class="toctree-l1 current"><a class="current reference internal" href="#">Publications and workshops</a><ul>
<li class="toctree-l2"><a class="reference internal" href="#abs-workshops">ABS workshops</a></li>
<li class="toctree-l2"><a class="reference internal" href="#case-studies">Case studies</a></li>
<li class="toctree-l2"><a class="reference internal" href="#language-development">Language development</a></li>
<li class="toctree-l2"><a class="reference internal" href="#software-product-lines">Software product lines</a></li>
<li class="toctree-l2"><a class="reference internal" href="#deductive-verification">Deductive verification</a></li>
<li class="toctree-l2"><a class="reference internal" href="#analysis">Analysis</a></li>
<li class="toctree-l2"><a class="reference internal" href="#abs-tools">ABS tools</a></li>
<li class="toctree-l2"><a class="reference internal" href="#code-generation-from-abs">Code generation from ABS</a></li>
<li class="toctree-l2"><a class="reference internal" href="#model-based-deployment-and-monitoring">Model-based deployment and monitoring</a></li>
</ul>
</li>
<li class="toctree-l1"><a class="reference internal" href="contact.html">Contact</a></li>
<li class="toctree-l1"><a class="reference internal" href="acknowledgments.html">Acknowledgments</a></li>
</ul>
<div class="relations">
<h3>Related Topics</h3>
<ul>
<li><a href="index.html">Documentation overview</a><ul>
<li>Previous: <a href="manual/glossary.html" title="previous chapter">Glossary</a></li>
<li>Next: <a href="contact.html" title="next chapter">Contact</a></li>
</ul></li>
</ul>
</div>
</div>
</div>
<div class="clearer"></div>
</div>
<div class="footer">
©CC-BY-SA 3.0.
|
Powered by <a href="https://www.sphinx-doc.org/">Sphinx 9.0.4</a>
& <a href="https://alabaster.readthedocs.io">Alabaster 1.0.0</a>
|
<a href="_sources/publications-and-workshops.rst.txt"
rel="nofollow">Page source</a>
</div>
</body>
</html>