Difference between revisions of "Template:Main/Events"
Jump to navigation
Jump to search
(indian-summer-cleanning-up) |
|||
(213 intermediate revisions by 53 users 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. --> |
||
− | '''Events''' |
||
+ | <div class="subtitle">Upcoming Events</div> |
||
− | <center> |
||
+ | |||
− | {| border="0" cellspacing="0" cellpadding="2" |
||
+ | ;[https://ifl21.cs.ru.nl IFL 2021] |
||
− | ! |
||
+ | :September 1-3, 2021, virtual, Internet |
||
− | ! |
||
+ | ; [https://haskell.love Haskell Love 2021] |
||
− | ! |
||
+ | :September 10, 2021, virtual, Internet |
||
− | |- |
||
+ | |||
− | | [http://cs.uni-muenster.de/vmcai09/index.php Verification, Model Checking and Abstract Interpretation] |
||
+ | <div class="subtitle">Recent Events</div> |
||
− | | Savannah/USA |
||
+ | |||
− | | Jan 18-20, 2009 |
||
+ | ;[https://zfoh.ch/zurihac2021/ ZuriHac 2021] |
||
− | |- |
||
+ | :June 18-20, 2021, virtual, Internet |
||
− | | [http://twelf.plparty.org/wiki/POPL_Tutorial Twelf Tutorial] |
||
+ | |||
− | | Savannah/USA |
||
+ | ;[https://functional-art.org/2021/ FARM 2021] |
||
− | | Jan 19, 2009 |
||
+ | :August 27, 2021, virtual, Internet |
||
− | |- |
||
+ | |||
− | | [http://www.cse.unsw.edu.au/~pls/damp09/ Declarative Aspects of Multicore Programming] |
||
+ | ;[https://icfp21.sigplan.org ICFP 2021] |
||
− | | Savannah/USA |
||
+ | :August 22-27, 2021, virtual, Internet |
||
− | | Jan 20, 2009 |
||
− | |- |
||
− | | [http://cs.utdallas.edu/padl09/ Practical Applications of Declarative Languages] |
||
− | | Savannah/USA |
||
− | | Jan 19-20, 2009 |
||
− | |- |
||
− | | [http://sneezy.cs.nott.ac.uk/darcs/plpv09/ Programming Languages meets Program Verification] |
||
− | | Savannah/USA |
||
− | | Jan 20, 2009 |
||
− | |- |
||
− | | [http://www.cs.ucsd.edu/popl/09/ POPL] |
||
− | | Savannah/USA |
||
− | | Jan 21-23, 2009 |
||
− | |- |
||
− | | [http://ttic.uchicago.edu/~amal/tldi2009/ Types in Language Design and Implementation] |
||
− | | Savannah/USA |
||
− | | Jan 24, 2009 |
||
− | |- |
||
− | | [http://www.starling-software.com/en/tsac.html Tokyo Society for the Application of Currying] |
||
− | | Tokyo/Japan |
||
− | | Jan 29, 2009 |
||
− | |- |
||
− | | [http://www.inf.elte.hu/english/conf/tfp_cefp_2009/Lapok/index.aspx Central European Functional Programming School (CEFP)] |
||
− | | Komarno/Slovakia |
||
− | | May 25-30, 2009 |
||
− | |- |
||
− | | [http://www.inf.elte.hu/english/conf/tfp_cefp_2009/Lapok/index.aspx Trends in Functional Programming (TFP)] |
||
− | | Komarno/Slovakia |
||
− | | Jun 2-4, 2009 |
||
− | |- |
||
− | | [http://www.cs.nott.ac.uk/~gmh/icfp09.html ICFP 2009 and Associated Events] |
||
− | | Edinburgh/UK |
||
− | | Aug 31-Sep 2, 2009 |
||
− | |- |
||
− | | [http://tltc.shu.edu/blogs/projects/IFL2009/ Implementation and Application of Functional Programming (IFL)] |
||
− | | South Orange/USA |
||
− | | Sep 23-25, 2009 |
||
− | |- |
||
− | |}</center> |
Revision as of 14:05, 25 August 2021
Upcoming Events
- IFL 2021
- September 1-3, 2021, virtual, Internet
- Haskell Love 2021
- September 10, 2021, virtual, Internet
Recent Events
- ZuriHac 2021
- June 18-20, 2021, virtual, Internet
- FARM 2021
- August 27, 2021, virtual, Internet
- ICFP 2021
- August 22-27, 2021, virtual, Internet