Template:Main/Events: Difference between revisions

Latest revision as of 23:41, 8 April 2025

Upcoming Events

The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large (FUNARCH 2025): Co-located with ICFP 2025; 2025-10-17, Singapore

ACM SIGPLAN International Conference on Functional Programming (ICFP 2025): 2025-10-12 – 2025-10-18, Singapore

Haskell Symposium 2025 (SPLASH 2025): Co-located with ICFP 2025; 2025-10-16 – 2025-10-17, Singapore

18th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2025): Co-located with STAF 2025; 2025-06-12 – 2025-06-13, Koblenz, Germany

ZuriHac 2025: 2025-06-07 – 2025-06-09, Eastern Switzerland University of Applied Sciences, Rapperswil, Switzerland

Haskell Ecosystem Workshop and the Haskell Implementors' Workshop: Co-located with ZuriHac; 2025-06-05 – 2025-06-06, Eastern Switzerland University of Applied Sciences, Rapperswil, Switzerland

፨

Recent Events

Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25): 2025-04-07 – 2025-04-08, Västerås, Sweden

BOB Conference 2025: “What happens if we simply use what’s best?”; 2025-03-14, Berlin

Functional Conf 2025: 2025-01-24 – 2025-01-25, Online

27th Int'l Symp. on Practical Aspects of Declarative Languages (PADL 2025): Co-located with ACM POPL 2025; 2025-01-20 – 2025-01-21, Denver, Colorado, United States

52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025): 2025-01-19 – 2025-01-25, Denver, Colorado, United States

26th International Symposium on Trends in Functional Programming (TFP 2025): 2025-01-14 – 2025-01-16, Oxford, UK

Trends in Functional Programming in Education (TFPiE 2025): 2025-01-13, Oxford, UK

Functional Conf 2024: 2024-11-21 – 2024-11-23, Bengaluru, India

The 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024): 2024-10-22 – 2024-10-24, Kyoto, Japan

17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024): 2024-10-20 – 2024-10-21, Pasadena, California, United States

The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024) and affiliated events: 2024-09-02 – 2024-09-07, Milan, Italy

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

@@ Line 1: / Line 1: @@
 <!-- NOTE: When adding a new event, please also remove "Recent Events" older than 6 months. Please also keep this comment. -->
-<div class="subtitle">Upcoming Events</div>
+== Upcoming Events ==
-; [https://2024.splashcon.org/track/splash-2024-oopsla OOPSLA 2024]
+; [https://www.functional-architecture.org/events/funarch-2025/ The Third ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large (FUNARCH 2025)]
-: OOPSLA 2024 will be held as part of The ACM Conference on Systems, Programming, Languages, and Applications:  Software for Humanity (SPLASH'24)
+: Co-located with ICFP 2025
-: 2024-10-20 &ndash; 2024-10-25, Pasadena, California, United States
+: 2025-10-17, Singapore
-; [https://conf.researchr.org/home/flops-2024 17th International Symposium on Functional and Logic Programming (FLOPS 2024)]
-: 2024-05-15 &ndash; 2024-05-17, Kumamoto, Japan
-; [https://www.etaps.org/2024/ European joint conferences on theory and practice of software (ETAPS 2024)]
-: 2024-04-06 &ndash; 2024-04-11, Luxembourg City, Luxembourg
-; [https://www.etaps.org/2024/conferences/esop/ 33rd European Symposium on Programming (ESOP 2024)]
-: Co-located with ETAPS 2024
-: 2024-04-06 &ndash; 2024-04-11, Luxembourg City, Luxembourg
-; [https://bobkonf.de/2024/en/ BOB Conference 2024]
-: "What happens when we use what's best for a change?"
-: 2024-03-17, Berlin, Germany
-; [http://jfla.inria.fr/jfla2024.html Journées Francophones des Langages Applicatifs (JFLA 2024)]
-: Presentations are expected to be given in French.
-: 2024-01-30 &ndash; 2024-02-02, Abbaye de Saint-Jacut, Saint-Jacut-de-la-Mer, France
-; [https://popl24.sigplan.org/home/pepm-2024 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2024)]
-: Co-located with POPL 2024
-: 2024-01-16, London, United Kingdom
-; [https://popl24.sigplan.org/home/PADL-2024 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024)]
-: Co-located with ACM POPL 2024
-: 2024-01-15 &ndash; 2024-01-16, London, United Kingdom
-; [https://trendsfp.github.io/ 25th International Symposium on Trends in Functional Programming (TFP 2024)]
+; [https://icfp25.sigplan.org/ ACM SIGPLAN International Conference on Functional Programming (ICFP 2025)]
-: 2024-01-09 &ndash; 2024-01-12, South Orange, NJ, USA
+: 2025-10-12 &ndash; 2025-10-18, Singapore
-; [https://wiki.tfpie.science.ru.nl/TFPIE2024 Trends in Functional Programming in Education (TFPIE 2024)]
+; [https://conf.researchr.org/home/icfp-splash-2025/haskellsymp-2025 Haskell Symposium 2025 (SPLASH 2025)]
-: 2024-01-09 West Orange, NJ, USA, co-located with TFP 2024 at Seton Hall University
+: Co-located with ICFP 2025
+: 2025-10-16 &ndash; 2025-10-17, Singapore
-; [https://conf.researchr.org/home/aplas-2023 21st Asian Symposium on Programming Languages and Systems (APLAS 2023)]
+; [https://www.sleconf.org/2025/ 18th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2025)]
-: 2023-11-26 &ndash; 2023-11-29, Taipei, Taiwan
+: Co-located with STAF 2025
+: 2025-06-12 &ndash; 2025-06-13, Koblenz, Germany
-; [http://www.sleconf.org/2023/ 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023)]
+; [https://zfoh.ch/zurihac2025/ ZuriHac 2025]
-: Co-located with SPLASH 2023
+: 2025-06-07 &ndash; 2025-06-09, Eastern Switzerland University of Applied Sciences, Rapperswil, Switzerland
-: 2023-10-22 &ndash; 2023-10-27, Cascais, Lisbon, Portugal
-; [https://2023.splashcon.org/home/sas-2023 30th Static Analysis Symposium (SAS 2023)]
+; [https://haskell.foundation/events/2025-haskell-ecosystem-workshop.html Haskell Ecosystem Workshop] and the [https://haskell.foundation/events/2025-haskell-implementors-workshop.html Haskell Implementors' Workshop]
-: 2023-10-22 &ndash; 2023-10-27, Cascais, Lisbon, Portugal
+: Co-located with ZuriHac
+: 2025-06-05 &ndash; 2025-06-06, Eastern Switzerland University of Applied Sciences, Rapperswil, Switzerland
-; [https://lopstr.github.io/2023/ 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 &ndash; 2023-10-24, Cascais, Lisbon, Portugal
-; [https://ppdp2023.webs.upv.es 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 &ndash; 2023-10-23, Cascais, Lisbon, Portugal
 <p style="text-align: center; font-size: 2rem">
@@ Line 60: / Line 28: @@
 </p>
-<div class="subtitle">Recent Events</div>
+== Recent Events ==
-; [https://cmsb2023.uni.lu/ CMSB 2023: 21st Conference on Computational Methods in Systems Biology]
+; [https://conf.researchr.org/home/fsen-2025 Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25)]
-: 2023-09-13 &ndash; 2023-09-15, Luxembourg City, Luxembourg
+: 2025-04-07 &ndash; 2025-04-08, Västerås, Sweden
-; [http://www.haskell.org/haskell-symposium/2023/ Haskell Symposium 2023]
+; [https://bobkonf.de/2025/ BOB Conference 2025]
-: Co-located with the International Conference on Functional Programming (ICFP)
+: “What happens if we simply use what’s best?”
-: 2023-09-08 &ndash; 2023-09-09, Seattle, WA, USA
+: 2025-03-14, Berlin
-; [http://cs-conferences.acadiau.ca/icth-23/ The 13th International Conference on Current and Future Trends of Information and Communication Technologies in Healthcare (ICTH)]
+; [https://functionalconf.com/ Functional Conf 2025]
-: 2023-09-07 &ndash; 2023-09-09, Almaty, Kazakhstan
+: 2025-01-24 – 2025-01-25, Online
-; [http://cs-conferences.acadiau.ca/euspn-23/ The 14th International Conference on Emerging Ubiquitous Systems and Pervasive Networks (EUSPN)]
+; [https://popl25.sigplan.org/home/PADL-2025 27th Int'l Symp. on Practical Aspects of Declarative Languages (PADL 2025)]
-: 2023-09-07 &ndash; 2023-09-09, Almaty, Kazakhstan
+: Co-located with ACM POPL 2025
+: 2025-01-20 &ndash; 2025-01-21, Denver, Colorado, United States
-; [https://icfp23.sigplan.org/home/funarch-2023 The First ACM SIGPLAN Workshop on Functional Software Architecture - FP in the Large (FUNARCH 2023)]
+; [https://popl25.sigplan.org 52nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2025)]
-: Co-located with ICFP
+: 2025-01-19 &ndash; 2025-01-25, Denver, Colorado, United States
-: 2023-09-08 Seattle, WA, USA
-; [https://icfp23.sigplan.org/ 28th ACM SIGPLAN International Conference on Functional Programming (ICFP)]
+; [https://trendsfp.github.io/ 26th International Symposium on Trends in Functional Programming (TFP 2025)]
-: 2023-09-04 &ndash; 2023-09-09, Seattle, Washington, USA
+: 2025-01-14 &ndash; 2025-01-16, Oxford, UK
-; [https://icfp23.sigplan.org/home/hiw-2023 ACM SIGPLAN Haskell Implementors' Workshop]
+; [https://trendsfp.github.io/ Trends in Functional Programming in Education (TFPiE 2025)]
-: Co-located with ICFP
+: 2025-01-13, Oxford, UK
-: 2023-09-04, Seattle, Washington, United States
-; [https://icfp23.sigplan.org/home/erlang-2023 22nd ACM SIGPLAN Erlang Workshop @ ICFP (ERLANG 2023)]
+; [https://functionalconf.com Functional Conf 2024]
-: Co-located with ICFP
+: 2024-11-21 &ndash; 2024-11-23, Bengaluru, India
-: 2023-09-04, Seattle, Washington, USA
-; [https://icfp23.sigplan.org/home/hope-2023 The 11th ACM SIGPLAN Workshop on Higher-Order Programming with Effects (HOPE 2023)]
+; [https://conf.researchr.org/home/aplas-2024/ The 22nd Asian Symposium on Programming Languages and Systems (APLAS 2024)]
-: (the day before ICFP 2023)
+: 2024-10-22 &ndash; 2024-10-24, Kyoto, Japan
-: 2023-09-04, Seattle, Washington, USA
-; [https://icfp23.sigplan.org/home/tyde-2023 8th Workshop on Type-Driven Development (TyDe 2023)]
+; [https://www.sleconf.org/2024/index.html 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2024)]
-: Co-located with ICFP
+: 2024-10-20 &ndash; 2024-10-21, Pasadena, California, United States
-: 2023-09-04, Seattle, Washington, USA
-; [https://ifl23.github.io/ The 35th Symposium on Implementation and Application of Functional Languages (IFL 2023)]
+; [https://icfp24.sigplan.org The 29th ACM SIGPLAN International Conference on Functional Programming (ICFP 2024)] and affiliated events
-: 2023-08-29 &ndash; 2023-08-31, Braga, Portugal
+: 2024-09-02 &ndash; 2024-09-07, Milan, Italy
-; [http://cs-conferences.acadiau.ca/mobispc-23/ The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)]
+; [https://2024.splashcon.org/track/splash-2024-oopsla OOPSLA 2024]
-: 2023-07-24 &ndash; 2023-07-26, Halifax, Nova Scotia, Canada
+: 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 &ndash; 2024-10-25, Pasadena, California, United States
-; [http://cs-conferences.acadiau.ca/seit-23/ The 13th International Conference on Sustainable Energy Information Technology (SEIT)]
-: In Conjunction with MobiSPC
-: 2023-07-24 &ndash; 2023-07-26, Halifax, Nova Scotia, Canada
-; [https://bristolpl.github.io/tase2023/ Theoretical Aspects of Software Engineering (TASE 2023)]
-: 2023-07-04 &ndash; 2023-07-06, Bristol, UK
-; [http://www.afp.school Utrecht Summer School on Advanced Functional Programming 2023]
-: 2023-07-03 &ndash; 2023-07-07, Utrecht, the Netherlands
-; [https://www.cs.ubbcluj.ro/hlpp2023 16th International Symposium on High-Level Parallel Programming and Applications (HLPP 2023)]
-: 2023-06-29 &ndash; 2023-06-30, Cluj-Napoca, Romania
-; [https://www.cs.uoregon.edu/research/summerschool/summer23/ 21st annual Oregon Programming Languages Summer School (OPLSS 2023)]
-: 2023-06-26 &ndash; 2023-07-08, Eugene, Oregon, USA
-; [https://coalg.org/calco-mfps-2023/ 10th International Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)]
-: Co-located with MFPS XXXIX
-: 2023-06-19 &ndash; 2023-06-21, Bloomington, Indiana (USA) and online
-; [https://array23.hotcrp.com/ 9th International Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY 2023)]
-: Co-located with [https://pldi23.sigplan.org/ PLDI 2023]
-: 2023-06-17, Orlando, Florida
-; [https://types2023.webs.upv.es/ 29th International Conference on Types for Proofs and Programs (TYPES 2023)]
-: 2023-06-12 &ndash; 2023-06-15, Valencia, Spain
-; [https://www.sci.unich.it/hcvs23/ 10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)]
-: Co-located with ETAPS 2023
-: 2023-04-23, Paris, France