Template:Main/Events

Upcoming Events

OOPSLA 2024

OOPSLA 2024 will be held as part of The ACM Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH'24)

2024-10-20 – 2024-10-25, Pasadena, California, United States

17th International Symposium on Functional and Logic Programming (FLOPS 2024)

2024-05-15 – 2024-05-17, Kumamoto, Japan

European joint conferences on theory and practice of software (ETAPS 2024)

2024-04-06 – 2024-04-11, Luxembourg City, Luxembourg

33rd European Symposium on Programming (ESOP 2024)

Co-located with ETAPS 2024

2024-04-06 – 2024-04-11, Luxembourg City, Luxembourg

BOB Conference 2024

"What happens when we use what's best for a change?"

2024-03-17, Berlin, Germany

The 1st Workshop on Hardware Acceleration of Functional and Declarative Languages (HAFDAL '24)

Co-located with HPCA

2024-03-02 or 2024-03-03 Edinburgh, UK

Journées Francophones des Langages Applicatifs (JFLA 2024)

Presentations are expected to be given in French.

2024-01-30 – 2024-02-02, Abbaye de Saint-Jacut, Saint-Jacut-de-la-Mer, France

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)

Co-located with POPL 2024

2024-01-16, London, United Kingdom

26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)

Co-located with ACM POPL 2024

2024-01-15 – 2024-01-16, London, United Kingdom

Certified Programs and Proofs (CPP) 2024

Co-located with POPL 2024

2024-01-15 – 2024-01-16, London, United Kingdom

25th International Symposium on Trends in Functional Programming (TFP 2024)

2024-01-09 – 2024-01-12, South Orange, NJ, USA

Trends in Functional Programming in Education (TFPIE 2024)

2024-01-09 West Orange, NJ, USA, co-located with TFP 2024 at Seton Hall University

፨

Recent Events

21st Asian Symposium on Programming Languages and Systems (APLAS 2023)

2023-11-26 – 2023-11-29, Taipei, Taiwan

S-REPLS 13 / Fun in the Afternoon

Joint meeting on Programming Languages

2023-11-01 Engine Shed, Bristol BS1 6HQ, United Kingdom

16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023)

Co-located with SPLASH 2023

2023-10-22 – 2023-10-27, Cascais, Lisbon, Portugal

30th Static Analysis Symposium (SAS 2023)

2023-10-22 – 2023-10-27, Cascais, Lisbon, Portugal

33rd International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2023)

Co-located with PPDP 2023 as part of SPLASH 2023

2023-10-23 – 2023-10-24, Cascais, Lisbon, Portugal

25th International Symposium on Principles and Practice of Declarative Programming (PPDP 2023)

Part of SPLASH 2023 and co-located with LOPSTR 2023

2023-10-22 – 2023-10-23, Cascais, Lisbon, Portugal

Haskell Symposium 2023

Co-located with the International Conference on Functional Programming (ICFP)

2023-09-08 – 2023-09-09, Seattle, WA, USA

The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large (FUNARCH 2023)

Co-located with ICFP

2023-09-08 Seattle, WA, USA

28th ACM SIGPLAN International Conference on Functional Programming (ICFP)

2023-09-04 – 2023-09-09, Seattle, Washington, USA

ACM SIGPLAN Haskell Implementors' Workshop

Co-located with ICFP

2023-09-04, Seattle, Washington, United States

22nd ACM SIGPLAN Erlang Workshop @ ICFP (ERLANG 2023)

Co-located with ICFP

2023-09-04, Seattle, Washington, USA

The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2023)

(the day before ICFP 2023)

2023-09-04, Seattle, Washington, USA

8th Workshop on Type-Driven Development (TyDe 2023)

Co-located with ICFP

2023-09-04, Seattle, Washington, USA

The 35th Symposium on Implementation and Application of Functional Languages (IFL 2023)

2023-08-29 – 2023-08-31, Braga, Portugal

The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)

2023-07-24 – 2023-07-26, Halifax, Nova Scotia, Canada

Theoretical Aspects of Software Engineering (TASE 2023)

2023-07-04 – 2023-07-06, Bristol, UK

Utrecht Summer School on Advanced Functional Programming 2023

2023-07-03 – 2023-07-07, Utrecht, the Netherlands

16th International Symposium on High-Level Parallel Programming and Applications (HLPP 2023)

2023-06-29 – 2023-06-30, Cluj-Napoca, Romania

21st annual Oregon Programming Languages Summer School (OPLSS 2023)

2023-06-26 – 2023-07-08, Eugene, Oregon, USA

10th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)

Co-located with MFPS XXXIX

2023-06-19 – 2023-06-21, Bloomington, Indiana (USA) and online

9th International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY 2023)

Co-located with PLDI 2023

2023-06-17, Orlando, Florida

29th International Conference on Types for Proofs and Programs (TYPES 2023)

2023-06-12 – 2023-06-15, Valencia, Spain