https://lkovacs.com/events.html

1<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
2               "http://www.w3.org/TR/html4/strict.dtd">
3<html lang="en">
4<head><meta charset="utf-8">
5	<title>Selected List of Dissemination Events of APRe</title>
6</head>
7<body id="top">
8<h1>Dissemination Events of APRe</h1>
9
10<div><br />
11<strong>Automated Program Reasoning Group - APRe&nbsp;</strong></div>
12
13<div><a href="https://forsyte.at/">Formal Methods in Systems Engineering - FORSYTE</a></div>
14
15<div><a href="https://informatics.tuwien.ac.at/">Faculty of Informatics</a><br />
16<a href="https://www.tuwien.at/">TU Wien</a></div>
17
18<div></div>
19
20<div>Contact:<a href="http://lkovacs.com"> Laura Kov&aacute;cs</a></div>
21
22<div>
23<hr />
24<h2><strong>Selected Events:&nbsp;</strong></h2>
25
26<ul>
27	<li>
28	<p><a href="https://informatics.tuwien.ac.at/news/2833">Radical Software:Women, Art and Computing Symposiu</a>m,&nbsp;<a href="http://tuwien.ac.at">TU Wien</a>, February 28, 2025&nbsp;11-19, 2024</p>
29	</li>
30	<li>
31	<p><a href="./Events/apre24.html">APRe - Automated Reasoning workshop 2024</a>, ERC/WPI event, <a href="http://tuwien.ac.at">TU Wien</a>, April 11-19, 2024</p>
32	</li>
33	<li>
34	<p>SAT/SMT/CA workshop, <a href="http://tuwien.ac.at">TU Wien</a>, March 13-17, 2023</p>
35	</li>
36	<li>
37	<p><a href="./apre19.html">APRe - Automated Program Reasoning workshop 2019</a>&nbsp;, ERC/Wallenberg project event, <a href="http://tuwien.ac.at">TU Wien</a>, November 5-6, 2019</p>
38	</li>
39	<li><font size="3">The&nbsp;<a href="https://easychair.org/smart-program/Vampire2019/">Sixth Vampire workshop</a>, Lisbon, Portugal, July 7, 2019.</font></li>
40</ul>
41
42<ul>
43	<li><font size="3">The&nbsp;<a href="https://easychair.org/smart-program/FLoC2018/Vampire-index.html">Fifth Vampire workshop</a>, Oxford, UK, July 13, 2018.</font></li>
44</ul>
45
46<ul>
47	<li><font size="3">The&nbsp;<a href="https://easychair.org/smart-program/Vampire17/">Fourth Vampire workshop</a>, Gotenburg, Sweden, August 7, 2017.</font></li>
48</ul>
49
50<ul>
51	<li><font size="3">The&nbsp;<a href="http://www.cse.chalmers.se/~laurako/grants/kaw_induction.html">WAIT workshop</a>&nbsp;- The Third Workshop on Automated Inductive Theorem Proving, Vienna, Austria, November 17-18, 2016.</font></li>
52</ul>
53
54<ul>
55	<li><font size="3">The Wallenberg Academy Fellows Autumn meeting, Stockholm, Sweden, September 13, 2016.</font></li>
56</ul>
57
58<ul>
59	<li><font size="3">The&nbsp;<a href="http://easychair.org/smart-program/Vampire2016/Overview.html">Third Vampire workshop</a>, Coimbra, Portugal, July 2, 2016.</font></li>
60</ul>
61
62<ul>
63	<li><font size="3">Tutorial session on&nbsp;<a href="http://www.cse.chalmers.se/~laurako/links/PAD.html">SMT and Polynomial Arithmetic</a>, Chalmers, May 25-27, 2016.</font></li>
64</ul>
65
66<ul>
67	<li><font size="3">PhD course on&nbsp;<a href="http://www.cse.chalmers.se/~laurako/links/FOTP.html">First-Order Theorem Proving and Vampire</a>, Chalmers, April-May, 2016.</font></li>
68</ul>
69
70<ul>
71	<li><font size="3"><a href="http://www.cse.chalmers.se/~laurako/grants/kaw_vampire_meeting16.html">Vampire Developers&#39; Meeting,</a>&nbsp;Vienna, Austria, January 11-12, 2016.</font></li>
72</ul>
73
74<ul>
75	<li><font size="3"><a href="http://www.cse.chalmers.se/~laurako/grants/kaw_kickoff.html">TheProSE- Project Kick-off Workshop,</a>&nbsp;Gothenburg, Sweden, September 4, 2015.</font></li>
76</ul>
77
78<ul>
79	<li><font size="3">Wallenberg Academy Fellowship - Mentoring Workshop 2015, Stockholm, Sweden, September 8, 2015.</font></li>
80</ul>
81
82<p></p>
83</div>
84</body>
85</html>