wal.sh
home > events · Dec 22, 2025
conferencesfunctional-programmingclojurelispformal-methodsemacsracketsecurityindex

Technology Events and Conferences

Table of Contents

1. Upcoming

Next up: PLDI 2026 — June 15–19, Boulder CO.

1.1. Rest of 2026

  • Jun 15–19 — PLDI 2026 (Boulder CO) — ACM SIGPLAN PLDI; PAgE agentic-engineering workshop, EGRAPHS
  • Jul 6–10 — ACT 2026 (Tallinn, Estonia) — 9th Applied Category Theory conference
  • Jul 13 — FLOC 2026 (Federated Logic Conference) — umbrella for LICS, CAV, IJCAR, ITP
  • Jul 14–16 — RubyConf 2026 (Las Vegas NV) — Ruby Central's flagship; Matz, Dave Thomas, Ractors + MMTk + agent tracks
  • Jul 16–17 — Software Should Work 2026 (Columbia MO) — independent reliability conference; Kelley, Hipp, King, Wayne, Pizlo
  • Jul 19–23 — SIGGRAPH 2026 (Los Angeles CA) — 53rd ACM SIGGRAPH; neural rendering, world models, first Games Summit
  • Jul 20 — LICS 2026 — Logic in Computer Science
  • Jul 20–24 — SIGIR 2026 (Melbourne) — 49th ACM SIGIR; retrieval, ranking, RAG, ReNeuIR efficiency
  • Aug 3–6 — GopherCon 2026 (Seattle)
  • Aug 9–13 — KDD 2026 (Jeju, Korea) — ACM SIGKDD; datasets and benchmarks, applied data science
  • Aug 11–14 — Microsoft Frontier Transformation Week 2026 (digital, free) — Foundry Agent Service, Agent 365, Microsoft IQ; ACS + ASSERT as the correctness-adjacent surface
  • Aug 19 — ACM TechTalk: From Conventional LLMs to Reasoning Models to Agents (Virtual) — Sebastian Raschka; inference scaling, RL, agents
  • Aug 24–29 — ICFP 2026 (Indianapolis) — ICFP + miniKanren workshop; early registration ends Jul 24
  • Aug 25–28 — DocEng 2026 (Fribourg, Switzerland) — 26th ACM Symposium on Document Engineering
  • Aug 30–Sep 2 — ACM AI Leadership Summit 2026 (Atlanta GA) — inaugural; LeCun, Barto, Brooks, Randles; governance + agentic AI
  • Oct — SPLASH/ISSTA 2026 (Oakland CA) — OOPSLA, ISSTA
  • Sep 30–Oct 2 — Clojure/conj 2026 (Charlotte, NC) — the annual Clojure conference (Nubank)
  • Oct 21–23 — AGNTCON + MCPCon North America 2026 — inaugural LF AAIF + MCPCon US event; auth/identity (Aaron Parecki CIMD), provenance (Action State + AgentLedger), evals (EvalBench, MCPJam), MCP red-team (rug pulls, SSRF)
  • Dec — EmacsConf 2026 (Virtual) — GNU Emacs, Org mode

1.2. Later (2027+)

  • Jan 2027 — POPL 2027 (TBA) — 54th ACM SIGPLAN POPL; co-located CPP, VMCAI
  • Aug 8–12 2027 — SIGGRAPH 2027 (TBA) — 54th ACM SIGGRAPH

2. 2026 Events

2.1. Q1 2026

2.1.1. Lambda Days 2026 (February 2026, Krakow, Poland)

  • Functional programming across Clojure, Erlang, Haskell, Elixir
  • Cross-pollination of ideas in the FP community

2.1.2. BOB 2026 (March 2026, Berlin, Germany)

  • "Best of Breed" conference for developers and architects
  • Clojure, Haskell, and modern programming paradigms

2.2. Q2 2026

2.2.1. BugBash 2026 (April 22–24, Washington DC)

  • Antithesis-hosted software correctness conference (~200 curated)
  • Deterministic simulation testing, formal methods, CALM, Quint/TLA+
  • Speakers: Peter Alvaro, Nada Amin, Kyle Kingsbury, Ron Minsky, Will Wilson, Gabriela Moreira

2.2.2. GitHub Copilot Dev Days – Boston (April 29, Cambridge MA)

  • AICamp at Microsoft NERD, three-hour program + community science fair
  • Copilot CLI tooling, agent harness surface, hands-on build session

2.2.3. Babashka Conf 2026 (May 8, Amsterdam)

  • Free community event at OBA Oosterdok (~50 attendees)
  • Keynote: David Nolen – More with Less
  • Babashka scripting, SCI, bb tasks/pods

2.2.4. Dutch Clojure Days 2026 (May 9, Weesp/Amsterdam)

  • 6th edition, free non-profit community event
  • Full talks + lightning talks; Borkent on async/await in ClojureScript
  • Partners: Exoscale, FreshCode, Nubank

2.2.5. ELS 2026 (May 11–12, Kraków, Poland)

  • European Lisp Symposium, 19th edition, single-track
  • MOP, codegen semantics, CL implementations (ECL, McCLIM)
  • Keynotes: François-René Rideau, Daniel Kochmański (x2)

2.2.6. Paris TypeScript #47 (May 2026, Paris)

  • Hosted by Takima, three 20-minute talks
  • Vite plugin pipeline, TS server plugins, tsgo/Corsa compiler shift

2.2.7. PyCon US 2026 (April-May 2026, TBA)

  • Python community's premier annual gathering
  • Machine learning, data science, web development

2.2.8. PLDI 2026 (June 15–19, Boulder CO)

  • ACM SIGPLAN, co-located with ISMM and LCTES
  • PAgE workshop (Principles of Agentic Engineering), EGRAPHS, SOAP
  • Tutorials: Nitro Isolation Engine, Oxidized OCaml, Mechanized Specifications

2.3. Q3 2026

2.3.1. ACT 2026 (July 6–10, Tallinn, Estonia)

  • 9th International Conference on Applied Category Theory, single track
  • 12 proceedings papers + 44 talks
  • Threads: categorical probability + belief, polynomial functors + lenses, quantum/ZX, compositional verification for control, categorical AI
  • Shared authors with LICS 2026: Heunen, Kaarsgaard, Lemonnier, Hefford, Capucci

2.3.2. RubyConf 2026 (July 14–16, Las Vegas NV)

  • Ruby Central's flagship annual conference at Red Rock Casino Resort
  • Opening keynote: Matz; closing keynote: Dave Thomas
  • Tracks: Ruby 4.0 (Core Set, Ractors, MMTk GC), AI-assisted Rails (Rojas/harnesses, Schirp/mutation testing), Hanami vs Rails, DragonRuby, JRuby, FFI
  • Jessica Kerr: Who are we Now? — programmer identity under agents

2.3.3. Software Should Work 2026 (July 16–17, Columbia MO)

  • Independent single-track reliability conference at The Tiger Hotel
  • Organized by Isaac Van Doren; sponsored by Antithesis, RWX
  • Speakers: Andrew Kelley (Zig), Richard Hipp (SQLite), Alexis King (Parse-Don't-Validate), Hillel Wayne (Practical TLA+), Filip Pizlo (Fil-C), Marianne Bellotti, Lorin Hochstein, Richard Feldman (Roc)
  • Lightning: Helwer (TLA+ vs Go/Rust concurrency checkers)

2.3.4. SIGGRAPH 2026 (July 19–23, Los Angeles CA)

  • 53rd annual ACM SIGGRAPH; LA Convention Center; chair Chris Redmann
  • Keynotes: Disney Research (Smoot), NVIDIA (neural rendering / world models), Bolt Graphics, Tripo AI
  • Technical Papers chair Mirela Ben-Chen; Best Paper: Robust Planar Maps for 3D Vectorization (CMU)
  • First year with a dedicated Games Summit; SIGGRAPH 2027 is August 8–12

2.3.5. SIGIR 2026 (July 20–24, Melbourne)

  • 49th ACM SIGIR; Melbourne Convention and Exhibition Centre; second SIGIR in Melbourne (first was 1998)
  • Keynotes: Bhaskar Mitra (independent), Cécile Paris (CSIRO), Ji-Rong Wen (Renmin University)
  • 51 oral sessions; six tutorials Monday, nine workshops Friday
  • Relevant workshops: ReNeuIR (efficiency), AgentSearch, VulGen (generative-IR vulnerabilities)

2.3.6. GopherCon 2026 (August 3–6, Seattle)

  • US Go conference at Seattle Convention Center Summit
  • Pre-conference workshops, 150+ talk submissions, lightning talks
  • Go runtime underpins Prometheus, Grafana, Kubernetes, Docker, Terraform

2.3.7. KDD 2026 (August 9–13, Jeju, Korea)

  • ACM SIGKDD; International Convention Center Jeju
  • Tracks: Research, Applied Data Science, Datasets and Benchmarks, AI for Sciences, Blue Sky Ideas
  • Artifact badging — one of the few ACM venues with formal reproducibility apparatus
  • Keynotes and chairs not yet announced

2.3.8. ACM TechTalk: From Conventional LLMs to Reasoning Models to Agents (August 19, Virtual)

  • ACM Learning Webinar; speaker Sebastian Raschka (rasbt), free, recording posted after
  • Reasoning models vs conventional LLMs: inference scaling + training (RL, distillation)
  • Second half: agent components — plan, tool use, evaluate intermediate results, recover
  • Backed by open code: rasbt/reasoning-from-scratch

2.3.9. ICFP 2026 (August 24–29, Indianapolis)

  • ACM SIGPLAN, International Conference on Functional Programming
  • Keynotes: Edward Lee (deterministic concurrency), Lindsey Kuper (interpreters), Daan Leijen (effects + reference counting)
  • miniKanren workshop: relational programming, program synthesis
  • Co-chairs: Chris Martens (Northeastern), William E. Byrd (UAB)
  • Early registration ends July 24, 2026

2.3.10. DocEng 2026 (August 25–28, Fribourg, Switzerland)

  • 26th ACM Symposium on Document Engineering; Pérolles Campus
  • Theme: Document Engineering in the Era of AI and Sustainability
  • Documents as structured, multifaceted information objects — the architecture this site uses
  • Detailed program expected early August

2.3.11. ACM AI Leadership Summit 2026 (August 30 – September 2, Atlanta GA)

  • ACM-wide summit: frontier models, responsible AI, agentic AI, creative arts, workforce
  • Doctoral Consortium at Georgia Tech (Aug 30); main sessions at Hyatt Regency
  • Sep 2: Agentic AI track + ACM SIGs Day; schedule not yet published

2.3.12. RustConf 2026 (TBA)

  • Rust programming language conference
  • Systems programming, WebAssembly, embedded

2.3.13. Strange Loop (ended 2023)

  • Final edition held September 2023, St. Louis
  • Multi-paradigm conference, permanently concluded

2.4. Q4 2026

2.4.1. SPLASH/ISSTA 2026 (October 3-9, 2026, Oakland, CA)

  • Systems, Programming, Languages, and Applications
  • Co-located with ISSTA 2026 (Software Testing and Analysis)
  • OOPSLA, Doctoral Symposium, REBASE industry track
  • Venue: Oakland Marriott City Center

2.4.2. Clojure/conj 2026 (Sep 30 – Oct 2, 2026, Charlotte, NC)

  • Primary annual Clojure conference (16th; Nubank, hybrid)
  • Lisp, functional programming, data-oriented design

2.4.3. EmacsConf 2026 (December 2026, Virtual)

  • Annual conference for Emacs users and developers
  • GNU Emacs, Emacs Lisp, Org mode

3. 2025 Events

3.1. Q1 2025

3.1.1. POPL 2025 (January 19-25, 2025, Denver, CO)

  • ACM SIGPLAN Conference on Programming Language Principles
  • LLM/AI systems verification, WebAssembly, probabilistic programming
  • Co-located: CPP, VMCAI, WAW workshop
  • See: popl-2025 notes

3.2. Q2 2025

3.2.1. dotJS 2025 (April 3, 2025, Paris)

  • JavaScript conference at Folies Bergère
  • AI Integration, local-first web, runtime advancements
  • Ryan Dahl special announcement (Node.js/Deno creator)
  • See: dotjs-2025 notes

3.2.2. GrafanaCon 2025 (April 2025)

  • Observability, Mimir architecture, k6 load testing
  • OpenTelemetry instrumentation
  • See: grafanacon-2025 notes

3.2.3. TLA+ @ ETAPS 2025 (May 4, 2025, Hamilton, Ontario)

  • TLA+ Community Event co-located with ETAPS
  • Formal specification, distributed systems verification
  • Industrial case studies and academic research
  • See: tla-etaps-2025 notes

3.2.4. GDG Cloud Boston: AI Agents (June 3, 2025, Cambridge, MA)

  • Building Production-Ready AI Agents with Gemini 2.5
  • Google ADK, A2A Protocol, Vertex AI deployment
  • Workshop at Google Cambridge
  • See: gdg-cloud-boston-agents-2025

3.3. Q3 2025

3.3.1. GraphQLConf 2025 (September 7-10, 2025, Amsterdam)

  • 100+ sessions, 77+ speakers from 32+ companies
  • Federation, AI/LLMs with GraphQL, scaling patterns
  • Meta Instagram REST→GraphQL migration case study
  • See: graphqlconf-2025 schedule explorer

3.3.2. SquiggleConf 2025 (September 18-19, 2025, Boston)

  • Developer tooling conference at New England Aquarium
  • Go, TypeScript, Rust, and Zig dev tools
  • See: squiggleconf-2025 notes

3.4. Q4 2025

3.4.1. RacketCon 2025 (October 4-5, 2025, Boston)

  • Cloudflare DNS verification with Rosette keynote
  • Compositional OO prototypes, formal methods
  • 310 planned experiments across 20 tracks
  • See: racketcon-2025 experiments

3.4.2. GitHub Universe 2025 (October 2025, TBA)

4. Past Events (Selected)

4.1. 2024

4.1.1. EmacsConf 2024 (December 7-8, 2024, Virtual)

  • Emacs 30 features, Rust core experiments
  • Org mode future, accessibility improvements
  • 31 talks, 10.7 hours of content

4.1.2. RacketCon 2024 (October 5-6, 2024)

  • Celebrating 40 years of Racket/Scheme
  • Keynote by Hal Abelson & Gerald Sussman

4.1.3. Clojure/conj 2024 (October 23-25, 2024, Durham, NC)

  • Transactor performance, ML model deployment
  • RDF and LLMs, Portal visual tools

4.1.4. SPLASH 2024 (October 20-25, 2024, Pasadena, CA)

  • Interview with Alan Kay
  • LLM-integrated static analysis
  • "Discovering Your Software Umwelt"

4.1.5. DEF CON 32 (August 2024) - Hacking conference

4.1.6. CP 2024: Choreographic Programming (June 24, 2024, Copenhagen)

  • Workshop co-located with PLDI 2024; organizers Giallorenzo, Kuper, Peressotti
  • Keynote: Fabrizio Montesi, "Choreographic Programming: its essence, beauty, and necessity"
  • Klor brought choreographies to Clojure as a plain library (Lugović, Jongmans)
  • Library-level session: Klor (Clojure), ChoRus and Suki (Rust)

4.1.7. Smalltalk Conferences 2024 (July-November 2024)

  • European Smalltalk User Group 30th anniversary
  • Pharo, Squeak, GemStone presentations

4.1.8. AWS Infrastructure Day 2024 - Cloud computing

4.1.9. Google I/O Extended Boston 2024 - Android, AI/ML

4.2. 2023

5. Recurring Events

Event Focus Typical Time
Lambda Days Functional Programming February
BOB Modern Programming March
PyCon Python April-May
GopherCon Go Summer
RustConf Rust Summer
SPLASH PL Research October
Clojure/conj Clojure October
EmacsConf Emacs December
DEF CON Security August

6. Boston-area Events

  • Boston Clojure Group - Regular meetups
  • DevOpsDays Boston - DevOps practices
  • Boston Python - Python community
  • Papers We Love Boston - Academic papers