Skip to content

Commit 21f2fe0

Browse files
sampsyosampsyo
committed
Announce
1 parent 34a5aa5 commit 21f2fe0

3 files changed

Lines changed: 127 additions & 0 deletions

File tree

‎_announce/2026-02-10-soap_2026.txt‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
---
2+
title: "Call for Papers: SOAP 2026 (15th Edition)"
3+
timestamp: "2/10/2026 11:29:46"
4+
deadline: "3/3/2026"
5+
---
6+
**Call for Papers: SOAP 2026 (15th Edition)**
7+
8+
We invite contributions from researchers and practitioners working with program analysis. We are particularly interested in exciting analysis framework ideas, innovative designs, and analysis techniques, including preliminary results or work in progress. We will also focus on the state of the practice for program analysis by encouraging submissions by industrial participants, including tool demonstration submissions. The workshop agenda will continue its tradition of lively discussions on extensions of existing frameworks, the development of novel analyses and tools, and how program analysis is used in real-world scenarios.
9+
10+
**Important dates:**
11+
Submission deadline: March 3, 2026
12+
Author notification: April 15, 2026
13+
Camera ready: April 25, 2026
14+
Workshop: June 16, 2026
15+
16+
Workshop website (CFP + updates): https://pldi26.sigplan.org/home/SOAP-2026
17+
Submission link: https://soap26.hotcrp.com/

‎_announce/2026-02-12-cp_2026.txt‎

Lines changed: 52 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,52 @@
1+
---
2+
title: "[CP@PLDI 2026] 2nd Workshop on Choreographic Programming"
3+
timestamp: "2/12/2026 13:35:20"
4+
deadline: "3/22/2026"
5+
---
6+
Choreographic Programming: Call for Contributions
7+
=================================================
8+
9+
Second International Workshop on Choreographic Programming co-located with PLDI 2026
10+
11+
One-day event, June 16th 2026, Boulder, Colorado, USA
12+
13+
https://pldi26.sigplan.org/home/cp-2026
14+
15+
Important dates
16+
---------------
17+
- Submission deadline: March 22nd, 2026 (AoE)
18+
- Notification to authors: May 3rd, 2026 (AoE)
19+
- Workshop day: June 16th, 2026
20+
21+
Theme and Topics
22+
----------------
23+
Choreographies are coordination plans for concurrent and distributed systems, which define the roles of the involved participants and how they are supposed to work together. In the paradigm of choreographic programming (CP), choreographies are programs that can be compiled to executable implementations.
24+
25+
CP originated primarily in the context of process calculi, with preliminary work done to establish its foundations and experiment with implementations. Recently, several proposals have shown that one can adapt CP to work in synergy with mainstream programming paradigms, such as object-oriented and functional programming. These works substantiate the interest of a growing community of researchers and practitioners in evolving CP into a mature paradigm, able to improve the productivity and reliability of programming concurrent and distributed systems.
26+
27+
The aim of this workshop is to catalyse the community around CP by soliciting contributions in the following topics:
28+
- Theory and models of choreographic programming.
29+
- Design and implementation of choreographic programming languages, encompassing both standalone and library-based implementations.
30+
- Design and implementation of runtime systems for choreographic programming.
31+
- Verification and testing of choreographic programs.
32+
- Type systems for choreographic languages.
33+
- Interactions with software engineering (e.g., software requirements, design, construction, testing, analysis, and maintenance and software development methodologies).
34+
- Fault tolerance and reliability in the context of choreographic programming.
35+
- Synergies and comparisons with adjacent approaches for concurrent and distributed programming (e.g., multitier programming).
36+
37+
Contributions and Evaluation
38+
----------------------------
39+
Contributions can be work in progress, scientific work published or submitted for publication, tutorials, or practical experience reports.
40+
41+
Submissions should be no more than 6 pages excluding bibliography, using the ACM Proceedings format. Templates for Microsoft Word and LaTeX can be found at the SIGPLAN author information page.
42+
43+
Submissions will be evaluated following a lightweight double-blind review process.
44+
45+
For further details, refer to the workshop website and for any further queries, please contact the chairs.
46+
47+
48+
Program Chairs
49+
--------------
50+
Andrew K. Hirsch, University at Buffalo, SUNY, US (akhirsch@buffalo.edu)
51+
Eva Graversen, Tallinn University of Technology, Estonia (eva.graversen@taltech.ee)
52+
Dan Plyukhin, University of Southern Denmark, Denmark (dplyukhin@imada.sdu.dk)

‎_announce/2026-02-13-ssft_2026.txt‎

Lines changed: 58 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,58 @@
1+
---
2+
title: "Fifteenth Summer School on Formal Techniques, May 23 - 29, 2026, Menlo College, Atherton, California"
3+
timestamp: "2/13/2026 1:14:38"
4+
start: "5/23/2026"
5+
end: "5/29/2026"
6+
---
7+
Fifteenth Summer School on Formal Techniques, May 23 - 29, 2026
8+
(https://SSFT-SRI.github.io)
9+
Menlo College, Atherton, California
10+
11+
Techniques based on formal logic, such as model checking, satisfiability, static analysis, and
12+
automated theorem proving, are finding a broad range of applications in modeling, analysis,
13+
verification, and synthesis. This school, the fifteenth in the series, focuses on the principles
14+
and practice of formal techniques, with a strong emphasis on the hands-on use and development of
15+
this technology. It primarily targets graduate students and young researchers who are interested in
16+
studying and using formal techniques in their research. A prior background in formal methods is
17+
helpful but not required. Participants at the school can expect to have a seriously fun time
18+
experimenting with the tools and techniques presented in the lectures during the laboratory
19+
sessions. The main lectures run from Monday May 25 to Fri May 29. They are preceded by a
20+
background course "Speaking Logic" on May 23/24.
21+
22+
===================================================================
23+
Title: Compilers for Quantum Computers
24+
Speaker: Prof. Aws Albarghouti, University of Wisconsin-Madison
25+
===================================================================
26+
Title: Analyzing Cryptographic Protocols with Tamarin
27+
Speaker: Prof. Dr. Cas Cremers, CISPA Helmholtz Center for Information Security
28+
===================================================================
29+
Title: Developing and Proving Algorithms with PVS
30+
Speaker: Dr. Cesar Munoz, NASA Langley Research Center
31+
===================================================================
32+
Title: Privacy-Preserving Reasoning
33+
Speaker: Prof. Ruzica Piskac, Yale University
34+
===================================================================
35+
Title: Verifying Rust code with Verus
36+
Speaker: Dr. Chris Hawblitzel, Microsoft Research
37+
===================================================================
38+
The program also features invited talks from distinguished speakers (to be announced) and the
39+
background "Speaking Logic" course taught by Natarajan Shankar (SRI) and Stephane Graham-Lengrand (SRI).
40+
===================================================================
41+
42+
The 2026 Summer School on Formal Techniques will take place in a hybrid mode: the lectures and labs
43+
will be live-streamed and recorded. We strongly encourage in-person participation so that you can
44+
benefit from interactions outside the classroom. We have funding from NSF to cover
45+
transportation/food/lodging expenses for selected US-based students. Non-student and non-US
46+
in-person participants are expected to cover their own transportation and will be charged a fee
47+
(around $150/day) to cover the cost of food and lodging.
48+
49+
The registration link is at the URL: https://SSFT-SRI.github.io.
50+
51+
Applicants are urged to submit their applications as early as possible (no later than March 31,
52+
2026), since there are only a limited number of spaces available. Those needing invitation letters
53+
for visa purposes should complete their applications as early as possible. We strongly encourage
54+
the participation of women and under-represented minorities in the summer school. The Summer School
55+
follows the Title IX Sexual Misconduct & Sexual Harassment Policy & Procedures spelled out at
56+
https://menlo.edu/title-ix/.
57+
58+

0 commit comments

Comments
 (0)