Difference between revisions of "Template:Main/Events"

Revision as of 17:47, 21 January 2023

Upcoming Events

28th ACM SIGPLAN International Conference on Functional Programming (ICFP): 2023-09-04 – 2023-09-09, Seattle, WA, USA

Theoretical Aspects of Software Engineering (TASE 2023): 2023-07-04 – 2023-07-06, Bristol, UK

Eelco Visser Commemorative Symposium: 2023-04-05, Delft, The Netherlands

BOB: 2023-03-17, Berlin, Germany

The 6th International Conference on Emerging Data and Industry (EDI40): 2023-03-15 – 2023-03-17, Leuven, Belgium

FOSDEM Haskell Devroom: 2023-02-04 – 2023-02-05, Brussels

Recent Events

Certified Programs and Proofs (CPP) 2023 (co-located with POPL 2023): 2023-01-16 – 2023-01-17, Boston, MA, USA

50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023): 2023-01-15 – 2023-01-21, Boston, MA, USA

24th International Symposium on Trends in Functional Programming (TFP 2023): 2023-01-13 – 2023-01-15, Boston, MA, USA

Trends in Functional Programming in Education (TFPIE): 2023-01-12, Boston, MA, USA

30th Netherlands Functional Programming Day: 2023-01-06, Eindhoven, The Netherlands

Workshop on Programming Languages and Analysis for Security (PLAS 2022): 2022-12-12, Virtual

Haskell eXchange: 2022-12-07 – 2022-12-09, London UK

Software Language Engineering (SLE) 2022: 2022-12-05 – 2022-12-10, Auckland, New Zealand

Haskell Symposium 2022: 2022-09-15 – 2022-09-16, Ljubljana, Slovenia

@@ Line 2: / Line 2: @@
 <div class="subtitle">Upcoming Events</div>
+; [https://icfp23.sigplan.org/ 28th ACM SIGPLAN International Conference on Functional Programming (ICFP)]
-;[https://zfoh.ch/zurihac2020/ ZuriHac 2020]
+: 2023-09-04 &ndash; 2023-09-09, Seattle, WA, USA
-:June 12-14, 2020, virtual, Internet
+; [https://bristolpl.github.io/tase2023/ Theoretical Aspects of Software Engineering (TASE 2023)]
-;[https://pldi20.sigplan.org PLDI 2020]
+: 2023-07-04 &ndash; 2023-07-06, Bristol, UK
-:June 15-19, 2020, virtual, Internet
+; [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium]
-;[https://yowconference.com/lambdajam/2020/ YOW! Lambda Jam 2020]
+: 2023-04-05, Delft, The Netherlands
-:July 22-24, 2020, virtual, Internet
-;[https://haskell.love Haskell Love Conference 2020]
+; [https://bobkonf.de/2023/en/cfc.html BOB]
+: 2023-03-17, Berlin, Germany
-:July 31-August 1, 2020, virtual, Internet
+; [http://cs-conferences.acadiau.ca/edi40-23/ The 6th International Conference on Emerging Data and Industry (EDI40)]
-;[https://icfp20.sigplan.org ICFP 2020]
+: 2023-03-15 &ndash; 2023-03-17, Leuven, Belgium
-:August 23-28, 2020, virtual, Internet
-;[https://icfp20.sigplan.org/home/haskellsymp-2020 Haskell Symposium 2020]
+; [https://mail.haskell.org/pipermail/haskell-cafe/2022-November/135674.html FOSDEM Haskell Devroom]
+: 2023-02-04 &ndash; 2023-02-05, Brussels
-:August 27-28, 2020, virtual, Internet
+<div class="subtitle">Recent Events</div>
-;[http://www.cse.chalmers.se/~abela/ppdp20/ PPDP 2020]
-:September 8-10, 2020, Bologna, Italy
+; [https://popl23.sigplan.org/home/CPP-2023 Certified Programs and Proofs (CPP) 2023] (co-located with POPL 2023)
-;[https://www.lambda.world Lambda World 2020]
+: 2023-01-16 &ndash; 2023-01-17, Boston, MA, USA
-:October 15-16, 2020, Cádiz, Spain
+; [https://popl23.sigplan.org/ 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)]
-;[https://lambdaconf.zohobackstage.com/LambdaConf2020 LambdaConf 2020]
+: 2023-01-15 &ndash; 2023-01-21, Boston, MA, USA
-:May 5-October 27, 2020, virtual, Internet
+; [https://trendsfp.github.io/ 24th International Symposium on Trends in Functional Programming (TFP 2023)]
-;[https://monadic.party Monadic Party 2020]
+: 2023-01-13 &ndash; 2023-01-15, Boston, MA, USA
-:October, 2020, Poznan, Poland
+; [https://wiki.tfpie.science.ru.nl/TFPIE2023 Trends in Functional Programming in Education (TFPIE)]
-;[https://conf.researchr.org/home/aplas-2020 APLAS 2020]
+: 2023-01-12, Boston, MA, USA
-:29 November-3 December, 2020, Fukuoka, Japan
+; [https://set.win.tue.nl/nl-fp-day-2023/ 30th Netherlands Functional Programming Day]
+: 2023-01-06, Eindhoven, The Netherlands
+; [https://plas2022.github.io/ Workshop on Programming Languages and Analysis for Security (PLAS 2022)]
-<div class="subtitle">Recent Events</div>
+: 2022-12-12, Virtual
-;[https://zfoh.ch/zurihac2019/ ZuriHac 2019]
-:June 14-16, 2019, Zurich, Switzerland
-;[https://icfp19.sigplan.org/home ICFP 2019]
+; [https://events.skillsmatter.com/haskellx2022 Haskell eXchange]
+: 2022-12-07 &ndash; 2022-12-09, London UK
-:August 19-21, 2019, Berlin, Germany
+; [http://www.sleconf.org/2022/ Software Language Engineering (SLE) 2022]
-;[https://icfp19.sigplan.org/home/haskellsymp-2019 Haskell Symposium 2019]
+: 2022-12-05 &ndash; 2022-12-10, Auckland, New Zealand
-:August 22-23, 2019, Berlin, Germany
-;[http://www.composeconference.org Compose :: Melbourne 2019]
+; [http://www.haskell.org/haskell-symposium/2022/ Haskell Symposium 2022]
+: 2022-09-15 &ndash; 2022-09-16, Ljubljana, Slovenia
-:September 2, 2019, Melbourne, Australia

Difference between revisions of "Template:Main/Events"

Revision as of 17:47, 21 January 2023

Navigation menu

Search