[Caml-list] Call for Participation - CONCUR 2020 - 31th International Conference on Concurrency Theory part of QONFEST 2020 - ONLINE (Vienna, Austria) - September 1-4, 2020

CONCUR 2020 - Call for Participation

====================================

 

Early Registration Deadline: 13 August 2020

https://concur2020.forsyte.at

 

====================================

 

The 31th International Conference on Concurrency Theory (CONCUR) will be held online on 1-4 September 2020.

 

The purpose of the CONCUR conferences is to bring together researchers,

developers, and students in order to advance the theory of concurrency, and

promote its applications.

 

It is held as part of the QONFEST 2020, the umbrella conference comprising the joint international 2020 meetings alongside with several workshops and tutorials.

 

================

Keynote speakers

================

 

-Roderick Bloem - TU Graz (Austria)

 

-Thomas A. Henzinger - IST (Austria)

 

-Annabelle McIver - Macquarie University (Australia)

 

-Catuscia Palamidessi - INRIA Saclay and LIX (France)

 

================

High-quality papers

===================

 

CONCUR 2020 features 45 high-quality papers:

 

https://concur2020.forsyte.at/accepted.html

 

The program of CONCUR 2020 can be found at:

 

https://easychair.org/smart-program/CONCUR20

 

====================================

Co-located conferences and workshops

====================================

 

CONCUR 2020 is part of the umbrella conference QONFEST 2020 comprising the

joint international 2020 meetings CONCUR, FMICS, FORMATS, QEST, alongside with

tutorials and the workshops EXPRESS/SOS, FRIDA, SNR, TRENDS, and QAVS.

 

More details to be found at:

 

https://qonfest2020.github.io

 

and https://concur2020.forsyte.at/workshops.html

 

============

Registration

============

 

This year, the early registration fee (August 13, 2020) for the whole of

QONFEST is only 10 EUR. The early workshop registration fee is 5 EUR.  Late

registration is 50% more expensive (15 EUR and 8 EUR, respectively).

 

More information at:

 

https://qonfest2020.github.io/registration.html

 

==================

Organizing Committee

==================

 

QONFEST General Chair:

 

-Ezio Bartocci  (TU Wien, Austria)

 

Workshop Chair:

 

-Florian Zuleger (TU Wien, Austria)

 

Program Co-chairs:

 

-Igor Konnov (Informal Systems, Austria)

 

-Laura Kovacs (TU Wien, Austria)

 

[Caml-list] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation

Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 31st August and Tuesday 1st September 2020, online

https://msfp-workshop.github.io/msfp2020/

** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a
virtual meeting **

** Registration deadline: Tuesday 25th August **

CALL FOR PARTICIPATION

Registration
============

Register for participation here by Tuesday 25th August:

https://forms.gle/HNvFsxDKbGAvnv9x9

There is no registration fee.

Invited Speakers
================

Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France
Satnam Singh - Google Research, USA

The eighth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without temporal logic? Call-by-push-value without adjunctions? The
list goes on. This workshop is a forum for researchers who seek to
reflect mathematical phenomena in data and control.

The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS
2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.

Programme
=========

All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP
2020 was originally scheduled to be held).

Monday
------

13:00 Invited Speaker: Pierre-Marie Pedrot
All your base categories are belong to us: A syntactic model of
presheaves in type theory

14:00 break

14:30 Philippa Cowderoy
Information aware type systems and telescopic constraint trees

15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in
Cedille

15:30 break

16:00 Niels Voorneveld
From equations to distinctions: Two interpretations of effectful
computations
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
Unifying graded and parameterised monads

17:00 virtual pub

Tuesday
-------

13:00 Anne Baanen and Wouter Swierstra
Combining predicate transformer semantics for effects: a case study
in parsing regular languages
13:30 Oleg Grenrus
Shattered lens

14:00 break

14:30 Artjoms Sinkarovs
Multi-dimensional arrays with levels
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
Module theory and query processing

15:30 break

16:00 Invited speaker: Satnam Singh
Extracting low-level formally verified circuits from Cava in Coq

17:00 virtual pub

Program Committee
=================

Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK

Platforms
=========

* We will use Google Meet for presentations.

* If the number of participants is not too high then we will invite
all participants to use Google Meet if they wish.

* Regardless, we will also livestream talks via YouTube.

* Questions and general discussion will be handled through Zulip.

* We will use gather.town for "corridor chat".

Further details will be emailed to registered participants.

--
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

[Caml-list] Call for Tutorial Participation: ICFP 2020

CALL FOR TUTORIAL PARTICIPATION
ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming


August 23 - 28, 2020
Virtual
https://icfp20.sigplan.org/
Early Registration ends August 8!

The 25th ACM SIGPLAN International Conference on Functional Programming
will be held virtually on August 23-28, 2020.
ICFP provides a forum for researchers and developers to hear about the
latest work on the design, implementations, principles, and uses of
functional programming.

This year, ICFP features a wide variety of tutorials on topics related
to functional programming, including design, education, tools, and
more. Tutorials are available to all ICFP participants with
registration.

Tutorials occur before or after ICFP, co-located with the associated
workshops, on August 23 or August 27-28.

The schedule of ICFP Tutorials can be found at:
https://icfp20.sigplan.org/track/icfp-2020-tutorials#program


ICFP Early Registration ends on August 8th, and is available at:
https://icfp20.sigplan.org/attending/Registration

[Caml-list] Second Call for Participation: ICFP 2020

=====================================================================

Second Call for Participation

ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events

August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/

Early Registration ends August 8!

====================================================================

ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

Watch our new video, and Don't Stop ICFP:
https://www.youtube.com/watch?v=Fte5wwnwCws

Early Registration ends August 8th! Registration for students with an
ACM or SIGPLAN membership is free, and anyone can apply for a fee
waiver at:
https://icfp20.sigplan.org/attending/Registration

This year, the conference will be a virtual event. All activities will
take place online.

The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.

We've written a blog post about how conference mirroring will work for
ICFP: https://blog.sigplan.org/2020/08/04/come-to-virtual-icfp/

We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.

ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.

Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.

https://regmaster.com/2020conf/ICFP20/register.php

New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).


* Overview and affiliated events:
http://icfp20.sigplan.org/home

* Full Schedule:
https://icfp20.sigplan.org/program/program-icfp-2020

* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview

* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview

* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.

* Programming contest:
https://icfpcontest2020.github.io/

* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition

* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference

This year, there are 10 events co-located with ICFP:

* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)

### ICFP Organizers

General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)

Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)

[Caml-list] Second call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello,

Please, find below the second call for draft papers for IFL 2020.

Please forward these to anyone you think may be interested.

Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage

Publicity Chair of IFL

================================================================================

                                    IFL 2020

    32nd Symposium on Implementation and Application of Functional Languages


                                  venue: online
                             2nd - 4th September 2020

                 https://www.cs.kent.ac.uk/events/2020/ifl20/

================================================================================

### Scope

The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Post-symposium peer-review

Following IFL tradition, IFL 2020 will use a post-symposium review process to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will be
screened by the program chair to make sure that they are within the scope of
IFL. The draft papers will be made available to all participants at the
symposium. Each draft paper is presented by one of the authors at the symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty, originality, relevance, significance, and clarity, and will thereby determine whether the
paper is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.


### Important dates

Submission deadline of draft papers:           17 August 2020
Notification of acceptance for presentation:   19 August 2020
Registration deadline:                         31 August 2020
IFL Symposium:                                 2-4 September 2020
Submission of papers for proceedings:          7 December 2020
Notification of acceptance:                    3 February 2021
Camera-ready version:                          15 March 2021


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

              http://www.acm.org/publications/proceedings-template


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Programme committee

Kenichi Asai, Ochanomizu University, Japan
Olaf Chitil, University of Kent, United Kingdom (chair)
Martin Erwig, Oregon State University,United States
Daniel Horpacsi, Eotvos Lorand University, Hungary
Zhenjiang Hu, Peking University, China
Hans-Wolfgang Loidl, Heriot-Watt University, United Kingdom
Neil Mitchell, Facebook, UK
Marco T. Morazan, Seton Hall University, United States
Rinus Plasmeijer, Radboud University, Netherlands
Colin Runciman, University of York, United Kingdom
Mary Sheeran, Chalmers University of Technology, Sweden
Josep Silva, Universitat Politecnica de Valencia, Spain
Jurrien Stutterheim, Standard Chartered, Singapore
Josef Svenningsson, Facebook, UK
Peter Thiemann, University of Freiburg, Germany
Kanae Tsushima, National Institute of Informatics, Japan.
Marcos Viera, Universidad de la Republica, Montevideo, Uruguay
Janis Voigtlander, University of Duisburg-Essen, Germany

### Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2020 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.

[Caml-list] Call for Participation: ICFP 2020

=====================================================================

Call for Participation

ICFP 2020
25th ACM SIGPLAN International Conference on Functional Programming
and affiliated events

August 23 - August 28, 2020
Online
http://icfp20.sigplan.org/

Early Registration until August 8!
The ICFP Programming Contest starts on July 17!

=====================================================================

ICFP provides a forum for researchers and developers to hear
about the latest work on the design, implementations, principles, and
uses of functional programming. The conference covers the entire
spectrum of work, from practice to theory, including its peripheries.

This year, the conference will be a virtual event. All activities will
take place online. The ICFP Programming competition will be July 17th
through 20th, 2020!

The main conference will take place from August 24-26, 2020 during two
time bands. The first band will be 9AM-5:30PM New York, and will
include both technical and social activities. The second band will
repeat (with some variation) the technical program and social
activities 12 hours later, 9AM-5:30PM Beijing, the following day.

We're excited to announce our two invited speakers for 2020: Evan
Czaplicki, covering the Elm programming language and hard lessons
learned on driving adoption of new programming languages; and Audrey
Tang, Haskeller and Taiwan's Digital Minister, on how software
developers can contribute to fighting the pandemic.

ICFP has officially accepted 37 exciting papers, and (as a fresh
experiment this year) there will also be presentations of 8 papers
accepted recently to the Journal of Functional Programming. Co-located
symposia and workshops will take place the day before and two days
immediately after the main conference.

Registration is now open. The early registration deadline is August
8th, 2020. Registration is not free, but is significantly lower than
usual. Students who are ACM or SIGPLAN members may register for FREE
before the early deadline.

https://regmaster.com/2020conf/ICFP20/register.php

New this year: Attendees will be able to sign-up for the ICFP
Mentoring Program (either to be a mentor, receive mentorship or both).


* Overview and affiliated events:
http://icfp20.sigplan.org/home

* Accepted papers:
http://icfp20.sigplan.org/track/icfp-2020-papers#event-overview

* JFP Talks:
https://icfp20.sigplan.org/track/icfp-2020-jfp-talks#event-overview

* Registration is available via:
https://regmaster.com/2020conf/ICFP20/register.php
Early registration ends 8 August, 2020.

* Programming contest:
https://icfpcontest2020.github.io/
The Programming Contest begins July 17th!

* Student Research Competition:
https://icfp20.sigplan.org/track/icfp-2020-Student-Research-Competition

* Follow us on Twitter for the latest news:
http://twitter.com/icfp_conference

This year, there are 10 events co-located with ICFP:

* Erlang Workshop (8/23)
* Haskell Implementors' Workshop (8/28)
* Haskell Symposium (8/27-8/28)
* Higher-Order Programming with Effects (8/23)
* miniKanren Workshop (8/27)
* ML Family Workshop (8/27)
* OCaml Workshop (8/28)
* Programming Languages Mentoring Workshop (8/23)
* Scheme Workshop (8/28)
* Type-Driven Development (8/23)

### ICFP Organizers

General Chair: Stephanie Weirich (University of Pennsylvania, USA)
Program Chair: Adam Chlipala (MIT, USA)

Artifact Evaluation Co-Chairs: Brent Yorgey (Hendrix College, USA)
Ben Lippmeier (Ghost Locomotion, Australia)
Industrial Relations Chair: Alan Jeffrey (Mozilla Research, USA)
Programming Contest Organizer: Igor Lukanin (Kontur, Russia)
Publicity and Web Chair: Sam Tobin-Hochstadt (Indiana University, USA)
Student Research Competition Chair: Youyou Cong (Tokyo Institute of Technology, Japan)
Workshops Co-Chair: Jennifer Hackett (University of Nottingham, UK)
Leonidas Lampropoulos (University of Pennsylvania, USA)
Video Chair: Leif Andersen (Northeastern University, USA)
Student Volunteer Co-Chair: Hanneli Tavante (McGill University, Canada)
Victor Lanvin (IRIF, Université Paris Diderot, France)

[Caml-list] First call for draft papers for IFL 2020 (Implementation and Application of Functional Languages)

Hello,

Please, find below the final call for draft papers for IFL 2020.

Please forward these to anyone you think may be interested.

Apologies for any duplicates you may receive.

best regards,
Jurriaan Hage

Publicity Chair of IFL

================================================================================

                                                   IFL 2020

    32nd Symposium on Implementation and Application of Functional Languages


                                               venue: online
                                   2nd - 4th September 2020

                         https://www.cs.kent.ac.uk/events/2020/ifl20/

================================================================================

### Scope

The goal of the IFL symposia is to bring together researchers actively engaged
in the implementation and application of functional and function-based
programming languages. IFL 2020 will be a venue for researchers to present and
discuss new ideas and concepts, work in progress, and publication-ripe results
related to the implementation and application of functional languages and
function-based programming.

Topics of interest to IFL include, but are not limited to:

- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialisation
- run-time code generation
- partial evaluation
- (abstract) interpretation
- meta-programming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications


### Post-symposium peer-review

Following IFL tradition, IFL 2020 will use a post-symposium review process to
produce the formal proceedings.

Before the symposium authors submit draft papers. These draft papers will be
screened by the program chair to make sure that they are within the scope of
IFL. The draft papers will be made available to all participants at the
symposium. Each draft paper is presented by one of the authors at the symposium.

After the symposium every presenter is invited to submit a full paper,
incorporating feedback from discussions at the symposium. Work submitted to IFL
may not be simultaneously submitted to other venues; submissions must
adhere to ACM SIGPLAN's republication policy. The program committee will
evaluate these submissions according to their correctness, novelty, originality,

relevance, significance, and clarity, and will thereby determine whether the
paper is accepted or rejected for the formal proceedings. We plan to publish
these proceedings in the International Conference Proceedings Series of the
ACM Digital Library, as in previous years.


### Important dates

Submission deadline of draft papers:           17 August 2020
Notification of acceptance for presentation:   19 August 2020
Registration deadline:                         31 August 2020
IFL Symposium:                                 2-4 September 2020
Submission of papers for proceedings:          7 December 2020
Notification of acceptance:                    3 February 2021
Camera-ready version:                          15 March 2021


### Submission details

All contributions must be written in English. Papers must use the ACM two
columns conference format, which can be found at:

              http://www.acm.org/publications/proceedings-template


### Peter Landin Prize

The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honoured article is selected by the program committee
based on the submissions received for the formal review process. The prize
carries a cash award equivalent to 150 Euros.


### Organisation

IFL 2020 Chair: Olaf Chitil, University of Kent, UK

IFL Publicity chair: Jurriaan Hage, Utrecht University, The Netherlands

### Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2020 will be an online event,
consisting of paper presentations, discussions and virtual social gatherings.
Registered participants can take part from anywhere in the world.


### Acknowledgments

This call-for-papers is an adaptation and evolution of content from previous
instances of IFL. We are grateful to prior organisers for their work, which
is reused here.