Difference between revisions of "Template:Main/Events"

From HaskellWiki
Jump to navigation Jump to search
(Events moved to "Recent Events")
(Added Utrecht Summer School on Advanced Functional Programming 2023)
(18 intermediate revisions by the same user not shown)
Line 1: Line 1:
 
<!-- NOTE: When adding a new event, please also remove "Recent Events" older than 6 months. Please also keep this comment. -->
  
<!-- 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>
  
<div class="subtitle">Upcoming Events</div>
  +
  +
; [http://www.sleconf.org/2023/ 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023)]
  +
: Co-located with SPLASH 2023
  +
: 2023-10-22 &ndash; 2023-10-27, Cascais, Lisbon, Portugal
  +
  +
; [https://2023.splashcon.org/home/sas-2023 30th Static Analysis Symposium (SAS 2023)]
  +
: 2023-10-22 &ndash; 2023-10-27, Cascais, Lisbon, Portugal
  +
  +
; [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
  +
  +
; [https://cmsb2023.uni.lu/ CMSB 2023: 21st Conference on Computational Methods in Systems Biology]
  +
: 2023-09-13 &ndash; 2023-09-15, Luxembourg City, Luxembourg
  +
  ⚫
; [http://www.haskell.org/haskell-symposium/2023/ Haskell Symposium 2023]
  +
: Co-located with the International Conference on Functional Programming (ICFP)
  +
: 2023-09-08 &ndash; 2023-09-09, Seattle, WA, USA
   
 
; [https://icfp23.sigplan.org/ 28th ACM SIGPLAN International Conference on Functional Programming (ICFP)]
  
; [https://icfp23.sigplan.org/ 28th ACM SIGPLAN International Conference on Functional Programming (ICFP)]
−
: 2023-09-04 &ndash; 2023-09-09, Seattle, WA, USA
 +
: 2023-09-04 &ndash; 2023-09-09, Seattle, Washington, USA
  +
  +
; [https://icfp23.sigplan.org/home/hiw-2023 ACM SIGPLAN Haskell Implementors' Workshop]
  +
: Co-located with ICFP
  +
: 2023-09-04, Seattle, Washington, United States
  +
  +
; [https://icfp23.sigplan.org/home/erlang-2023 22nd ACM SIGPLAN Erlang Workshop @ ICFP (ERLANG 2023)]
  +
: Co-located with ICFP
  +
: 2023-09-04, Seattle, Washington, USA
  +
  +
; [http://cs-conferences.acadiau.ca/mobispc-23/ The 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)]
  +
: 2023-07-24 &ndash; 2023-07-26, Halifax, Nova Scotia, Canada
  +
  +
; [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)]
  
; [https://bristolpl.github.io/tase2023/ Theoretical Aspects of Software Engineering (TASE 2023)]
 
: 2023-07-04 &ndash; 2023-07-06, Bristol, UK
  
: 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, 03 July – 07 July 2023
  +
  +
; [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://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
   
 
; [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium]
  
; [https://symposium.eelcovisser.org Eelco Visser Commemorative Symposium]
 
: 2023-04-05, Delft, The Netherlands
  
: 2023-04-05, Delft, The Netherlands
  +
  ⚫
<div class="subtitle">Recent Events</div>
   
 
; [https://bobkonf.de/2023/en/cfc.html BOB]
  
; [https://bobkonf.de/2023/en/cfc.html BOB]
Line 25: Line 85:
 
; [https://popl23.sigplan.org/ 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)]
  
; [https://popl23.sigplan.org/ 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)]
 
: 2023-01-15 &ndash; 2023-01-21, Boston, MA, USA
  
: 2023-01-15 &ndash; 2023-01-21, Boston, MA, USA
−  
⚫
<div class="subtitle">Recent Events</div>
  
   
 
; [https://trendsfp.github.io/ 24th International Symposium on Trends in Functional Programming (TFP 2023)]
  
; [https://trendsfp.github.io/ 24th International Symposium on Trends in Functional Programming (TFP 2023)]
Line 45: Line 103:
 
; [http://www.sleconf.org/2022/ Software Language Engineering (SLE) 2022]
  
; [http://www.sleconf.org/2022/ Software Language Engineering (SLE) 2022]
 
: 2022-12-05 &ndash; 2022-12-10, Auckland, New Zealand
  
: 2022-12-05 &ndash; 2022-12-10, Auckland, New Zealand
−  
⚫
; [http://www.haskell.org/haskell-symposium/2022/ Haskell Symposium 2022]
  
−
: 2022-09-15 &ndash; 2022-09-16, Ljubljana, Slovenia
  

Revision as of 03:27, 23 March 2023

Upcoming Events
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
CMSB 2023: 21st Conference on Computational Methods in Systems Biology
2023-09-13 – 2023-09-15, Luxembourg City, Luxembourg
Haskell Symposium 2023
Co-located with the International Conference on Functional Programming (ICFP)
2023-09-08 – 2023-09-09, 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 20th International Conference on Mobile Systems and Pervasive Computing (MobiSPC)
2023-07-24 – 2023-07-26, Halifax, Nova Scotia, Canada
The 13th International Conference on Sustainable Energy Information Technology (SEIT)
In Conjunction with 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, 03 July – 07 July 2023
16th International Symposium on High-Level Parallel Programming and Applications (HLPP 2023)
2023-06-29 – 2023-06-30, Cluj-Napoca, Romania
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
10th Workshop on Horn Clauses for Verification and Synthesis (HCVS)
Co-located with ETAPS 2023
2023-04-23, Paris, France
Eelco Visser Commemorative Symposium
2023-04-05, Delft, The Netherlands
Recent Events
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
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
Retrieved from "https://wiki.haskell.org/index.php?title=Template:Main/Events&oldid=65587"