Skip to content

Commit 329b08c

Browse files
jcaillerjcailler
committed
150 wip
1 parent 69f3740 commit 329b08c

1 file changed

Lines changed: 100 additions & 25 deletions

File tree

‎aarnewsletter.html‎

Lines changed: 100 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -167,11 +167,13 @@ <h1><a href="http://www.aarinc.org/">
167167
<div id="toc">
168168
<ul class="toc">
169169
<li><a href="#Dowek">In Memoriam: Deepak Kapur</a></li>
170-
<li><a href="#herbrand">Announcement of the 2024 Herbrand Award</a></li>
171-
<li><a href="#mccune">Announcement of the 2024 McCune Award</a></li>
170+
<li><a href="#herbrand">Announcement of the 2026 Herbrand Award</a></li>
171+
<li><a href="#mccune">Announcement of the 2026 McCune Award</a></li>
172172
<li><a href="#newsecretary">New AAR and CADE Secretary</a></li>
173173
<li><a href="#election">Call for Nominations: CADE Trustees Elections</a></li>
174174
<li><a href="#ijcar2028">Proposals Solicited for Sites for IJCAR 2028</a></li>
175+
Warning: Heading "Registration deadlines" missing id
176+
Warning: Heading "Programme overview" missing id
175177
<li><a href="#floc-overview-title">FLoC 2026: Programme & Registration</a></li>
176178
<li><a href="#newsecretary">Book Announcement: Concise Introduction to Alternating-Time Temporal Logics</a></li>
177179
<li><a href="#awards-title">Awards</a>
@@ -219,8 +221,9 @@ <h1><a href="http://www.aarinc.org/">
219221
<li><a href="#fopss2026">FoPSS 2026: 6th Summer School on Foundations of Programming and Software Systems</a></li>
220222
<li><a href="#isr2026">ISR 2026: 15th International School on Rewriting</a></li>
221223
<li><a href="#movep26">MOVEP'26: 17th International School on Modeling and Verification of Parallel Processes</a></li>
222-
<li><a href="#splv2026">SPLV 2026: Scottish Programming Languages and Verification Summer School</a></li>
223224
<li><a href="#plss2026">PLS 2026: Summer School on Programming Languages, Logic, and Software Security</a></li>
225+
<li><a href="#splv2026">SPLV 2026: Scottish Programming Languages and Verification Summer School</a></li>
226+
<li><a href="#vtsa2026">VTSA 2026: 18th Summer School on Verification Technology, Systems and Applications</a></li>
224227
</ul>
225228
</li>
226229
<li><a href="#journal-title">Journal Special Issues</a>
@@ -242,7 +245,8 @@ <h1><a href="http://www.aarinc.org/">
242245
<li><a href="#job-lig-postdoc">Postdoctoral Position in Interactive Theorem Proving and Blockchain Technologies, LIG, Grenoble, France</a></li>
243246
<li><a href="#job-rennes-phd">PhD Position in Formal Verification of Distributed Systems using Reinforcement Learning, Mitsubishi Electric R&D Centre Europe & Inria Rennes, France</a></li>
244247
<li><a href="#job-aws-cambridge-intern-title">Internship in Formal Verification of Systems Software, AWS, Cambridge, UK</a></li>
245-
<li><a href="#job-nectry-title">Senior Software Engineer, Nectry, Remote</a>
248+
<li><a href="#job-nectry-title">Senior Software Engineer, Nectry, Remote</a></li>
249+
<li><a href="#job-mpi-aol-title">Postdoctoral Positions in Automated Reasoning, Max Planck Institute for Informatics, Saarbrücken, Germany</a>
246250
</li>
247251
</ul>
248252
</li>
@@ -1734,7 +1738,6 @@ <h3 id="sat-smt-ar-2026"><a href="https://sat-smt-ar-school.gitlab.io/www/2026/"
17341738
<p>More information is available on the school's <a href="https://sat-smt-ar-school.gitlab.io/www/2026/">web page</a>.</p>
17351739
</div>
17361740

1737-
17381741
<div id="schools-proofcomputation2026">
17391742
<h3 id="proofcomputation2026">
17401743
<a href="https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php">Autumn School "Proof and Computation"
@@ -1872,6 +1875,30 @@ <h3 id="movep26">
18721875
page</a>.</p>
18731876
</div>
18741877

1878+
<div id="schools-plss2026">
1879+
<h3 id="plss2026">
1880+
<a href="https://conferences.au.dk/pls">PLS 2026: Summer School on Programming Languages, Logic, and Software
1881+
Security</a>
1882+
</h3>
1883+
<div class="details">August 10–14, 2026, Aarhus, Denmark</div>
1884+
<p>
1885+
The summer school offers intensive courses by leading researchers covering foundational and applied topics
1886+
at the intersection of programming languages, formal methods, and software security. It is aimed at PhD
1887+
students and advanced B.Sc./M.Sc. students active in the areas of programming languages, logic, semantics,
1888+
and software security.
1889+
</p>
1890+
<p>Courses and Speakers:</p>
1891+
<ul>
1892+
<li>Bas Spitters: The Rocq Proof Assistant and Gen-AI Tools for Formalization of Mathematics</li>
1893+
<li>Lars Birkedal and Amin Timany: Higher-Order Concurrent Separation Logic</li>
1894+
<li>Daniel Gratzer: Introduction to Type Theory</li>
1895+
<li>Aslan Askarov: Language-Based Security</li>
1896+
<li>Anders Møller: Program Analysis</li>
1897+
</ul>
1898+
<p>Application deadline is <b>June 7, 2026</b> (AoE).</p>
1899+
<p>More information is available on the school's <a href="https://conferences.au.dk/pls">web page</a>.</p>
1900+
</div>
1901+
18751902
<div id="schools-splv2026">
18761903
<h3 id="splv2026">
18771904
<a href="https://spli.scot/splv/2026-glasgow/">SPLV 2026: Scottish Programming Languages and Verification
@@ -1906,31 +1933,47 @@ <h3 id="splv2026">
19061933
</p>
19071934
</div>
19081935

1909-
<div id="schools-plss2026">
1910-
<h3 id="plss2026">
1911-
<a href="https://conferences.au.dk/pls">PLS 2026: Summer School on Programming Languages, Logic, and Software
1912-
Security</a>
1936+
<div id="schools-vtsa2026">
1937+
<h3 id="vtsa2026">
1938+
<a href="http://www.mpi-inf.mpg.de/vtsa26/">VTSA 2026: 18th Summer School on Verification Technology, Systems and Applications</a>, call for participation
19131939
</h3>
1914-
<div class="details">August 10–14, 2026, Aarhus, Denmark</div>
1940+
<div class="details">August 24–28, 2026, Saarbrücken, Germany</div>
1941+
19151942
<p>
1916-
The summer school offers intensive courses by leading researchers covering foundational and applied topics
1917-
at the intersection of programming languages, formal methods, and software security. It is aimed at PhD
1918-
students and advanced B.Sc./M.Sc. students active in the areas of programming languages, logic, semantics,
1919-
and software security.
1943+
The Summer School on Verification Technology, Systems and Applications (VTSA) is organized by the Max-Planck-Institute
1944+
for Informatics Saarbrücken in cooperation with the University of Liège, Inria Nancy – Grand Est, and the University
1945+
of Luxembourg.
19201946
</p>
1921-
<p>Courses and Speakers:</p>
1947+
1948+
<p>The following speakers have accepted
1949+
to give courses at VTSA 2026:</p>
19221950
<ul>
1923-
<li>Bas Spitters: The Rocq Proof Assistant and Gen-AI Tools for Formalization of Mathematics</li>
1924-
<li>Lars Birkedal and Amin Timany: Higher-Order Concurrent Separation Logic</li>
1925-
<li>Daniel Gratzer: Introduction to Type Theory</li>
1926-
<li>Aslan Askarov: Language-Based Security</li>
1927-
<li>Anders Møller: Program Analysis</li>
1951+
<li>Maria Paola Bonacina: Reasoning about Data Structures with CDSAT</li>
1952+
<li>Mathias Fleury: SAT Solving: 30 Years of CDCL, 20 Years of Proofs, 15 Years of Inprocessing, 3 Years of User Propagator</li>
1953+
<li>Mikoláš Janota: SMT Solving and Challenges and Opportunities</li>
1954+
<li>Cynthia Kop: Open-world Termination Analysis in a Small Functional Language</li>
1955+
<li>Christoph Scholl: Fully Automatic Formal Verification of Arithmetic Circuits</li>
19281956
</ul>
1929-
<p>Application deadline is <b>June 7, 2026</b> (AoE).</p>
1930-
<p>More information is available on the school's <a href="https://conferences.au.dk/pls">web page</a>.</p>
1931-
</div>
19321957

1958+
<p>Participation is free (except for travel and accommodation costs)
1959+
and open to anybody holding at least a bachelor degree or equivalent
1960+
in computer science. It includes the lectures, daily coffee breaks
1961+
and lunches as well as a school dinner. Attendance is limited
1962+
to 40 participants.</p>
1963+
1964+
<p>
1965+
Please apply electronically by sending an email
1966+
to <a href="mailto:jmueller@mpi-inf.mpg.de">Jennifer Müller</a> with: a one-page CV, an application letter explaining your interest in the school and your
1967+
experience in the area, a copy of your bachelor's certificate (or equivalent or a more significant
1968+
certificate), and
1969+
optionally a short statement if you wish to contribute to the student sessions.
1970+
</p>
19331971

1972+
<p>The application deadline is <b>July 5, 2026</b> (AoE). Notification of
1973+
acceptance will be given by July 10, 2026.</p>
1974+
1975+
<p>More information is available on the school's <a href="http://www.mpi-inf.mpg.de/vtsa26/">web page</a>.</p>
1976+
</div>
19341977

19351978
</div>
19361979

@@ -2163,8 +2206,8 @@ <h3 id="job-ruc-assprof">Assistant Professor of Computer Science, Roskilde Unive
21632206
society,
21642207
social entrepreneurship, urban planning, computer science, digitalization, healthcare, welfare studies, etc.
21652208
The
2166-
position is linked to the research group <a href="https://forskning.ruc.dk/en/organisations/programmering-logik-og-intelligente-systemer">Programming,
2167-
Logic, and Intelligent Systems</a> (PLIS). In PLIS, basic research in
2209+
position is linked to the research group Programming,
2210+
Logic, and Intelligent Systems (PLIS). In PLIS, basic research in
21682211
computer science is combined with innovative applications. The research in the PLIS group concerns the
21692212
following topics:
21702213
</p>
@@ -2408,6 +2451,38 @@ <h3 id="job-nectry-title">Senior Software Engineer, Nectry, Remote</h3>
24082451
</p>
24092452
</div>
24102453

2454+
<div id="job-mpi-aol">
2455+
<h3 id="job-mpi-aol-title">Postdoctoral Positions in Automated Reasoning, Max Planck Institute for Informatics, Saarbrücken, Germany</h3>
2456+
2457+
<p>
2458+
The Automation of Logic research group,
2459+
led by Christoph Weidenbach at the Max Planck Institute for Informatics in Saarbrücken, Germany, is inviting
2460+
applications for two postdoctoral researcher positions. Successful candidates are expected to conduct research in
2461+
automated reasoning, including areas such as SAT solving, theory reasoning, SMT, first-order logic (FOL) reasoning, and
2462+
formal verification.
2463+
</p>
2464+
2465+
<p>
2466+
The positions are available for a duration of two to six years, with a negotiable start date.
2467+
</p>
2468+
2469+
<p>One of the positions
2470+
is a non-tenured professor development position: depending on qualifications and performance, the successful
2471+
candidate may be promoted to a position equivalent to Assistant Professor in the Department of Computer Science at
2472+
Saarland University, including the right to supervise PhD students.
2473+
</p>
2474+
2475+
<p> The positions do not include mandatory teaching
2476+
duties; however, opportunities for teaching at the Master's level are available. The Automation of Logic group
2477+
maintains strong ties with the automated reasoning group of Stephan Merz at INRIA Nancy, providing further
2478+
opportunities for collaboration and joint research.
2479+
</p>
2480+
2481+
<p>
2482+
Applications, including a CV, as well as inquiries, should be sent to
2483+
<a href="mailto:jmueller@mpi-inf.mpg.de">Jennifer Müller</a>.
2484+
</p>
2485+
</div>
24112486

24122487
</div>
24132488

0 commit comments

Comments
 (0)