[Caml-list] SBLP 2021 - First Call for Papers

[ Please distribute, apologies for multiple postings. ]

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

Call for Papers - XXV Brazilian Symposium on Programming Languages (SBLP 2021)


Online, September 27 - October 1, 2021

Conference website: http://cbsoft2021.joinville.udesc.br/sblp.php

Submission link:  https://easychair.org/conferences/?conf=sblp2021


SBLP 2021 is the 25th edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer Society (SBC) and constitutes a forum for researchers, students and professionals to present and discuss ideas and innovations in the design, definition, analysis, implementation and practical use of programming languages. SBLP's first edition was in 1996. Since 2010, it has been part of CBSoft, the Brazilian Conference on Software: Theory and Practice.

The symposium is planned to take place from September 27 to October 1, 2021, fully online.


Submission Guidelines
-------------------------------------------

Papers can be written in Portuguese or English. Submissions in English are encouraged because only accepted papers written in English will appear in the proceedings indexed in the ACM Digital Library. The acceptance of a paper implies that at least one of its authors will register for the symposium to present it. Papers must be original and not simultaneously submitted to another journal or conference.

SBLP 2021 will use a lightweight double-blind review process. The manuscripts should be submitted for review anonymously (i.e., without listing the author's names on the paper) and references to own work should be made in the third person.

Papers must be submitted electronically (in PDF format) via the Easychair System:

 https://easychair.org/conferences/?conf=sblp2021


The following paper categories are welcome (page limits include figures, references and appendices):

Full papers: up to 8 pages long in ACM 2-column conference format, available at

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

Full papers can be further specialized, at submission time, as Student papers (i.e., as papers describing research conducted mainly by a student at any level). Student papers will be subject to the exact same reviewing process and criteria, but may be entitled for an award (see below).

Short papers: up to 3 pages in the same format. Short papers can discuss new ideas which are at an early stage of development or can report partial results of on-going dissertations or theses.


Awards:

Two best paper awards will be attributed, distinguishing full paper submissions of the best:

  * student paper;

  * non-student paper.


List of Topics (related but not limited to the following)
-------------------------------------------

  * Programming paradigms and styles, scripting and domain-specific languages and support for real-time, service-oriented, multi-threaded, parallel, distributed, and quantum programming

  * Program generation and transformation

  * Formal semantics and theoretical foundations: denotational, operational, algebraic and categorical

  * Program analysis and verification, type systems, static analysis, and abstract interpretation

  * Programming language design and implementation, programming, language environments, compilation and interpretation techniques

  * Programming languages for the blockchain technology: design and implementation of Smart Contract languages, implementation of consensus protocols, language-based security and cryptographic primitives


Publication
-------------------------------------------

SBLP proceedings will be published in ACM's digital library. A selection of the best papers appearing in the 2019 and 2020 editions of SBLP have been invited to be extended and considered for publication in a special issue of the Journal of Computer languages (COLA), by Elsevier. We will approach COLA for a similar special issue regarding the 2021 edition of SBLP.


Important dates
-------------------------------------------

Abstract submission: 9 May, 2021

Paper submission: 16 May, 2021

Author notification: 09 July, 2021

Camera ready deadline: 23 July, 2021


Program Committee
-------------------------------------------

* Program Committee Chair:

- João Paulo Fernandes, Universidade do Porto, Portugal


* Publicity Chair:

- Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal


* Program Committee:

- Adrien Guatto, Université de Paris, CNRS, IRIF, France

- Alberto Pardo, Universidad de la República, Uruguay

- Alcides Fonseca, Universidade de Lisboa, Portugal

- Alejandro Díaz-Caro, Universidad Nacional de Quilmes & ICC (CONICET / UBA), Argentina

- Alex Kavvos, University of Bristol, UK

- Anderson Faustino da Silva, Universidade Estadual de Maringá, Brazil

- Andrei Rimsa, Centro Federal de Educação Tecnológica de Minas Gerais, Brazil

- Arthur Azevedo de Amorim, Boston University, Brazil

- Bruno Oliveira, University of Hong Kong, Hong Kong

- Caterina Urban, INRIA & École Normale Supérieure | Université PSL, France

- Cláudio Lourenço, Huawei Research, UK

- Cristiano Vasconcellos, Universidade do Estado de Santa Catarina, Brazil

- Dalvan Griebler, Pontifícia Universidade Católica do Rio Grande do Sul (PUCRS) / Sociedade Educacional Três de Maio (Setrem), Brazil

- Emmanuel Chailloux, Sorbonne Université, France

- Eric Van Wyk, University of Minnesota, USA

- Fernando Castor, Universidade Federal do Pernambuco, Brazil

- Fernando Pereira, Universidade Federal de Minas Gerais, Brazil

- Francisco Junior, Universidade Federal do Ceará, Brazil

- Francisco Sant'anna, Universidade do Estado do Rio de Janeiro, Brazil

- Jean-Christophe Filliâtre, CNRS/Université Paris-Saclay, France

- Léon Gondelman, University of Aarhus, Denmark

- Lourdes González Huesca, Universidad Nacional Autónoma de México, Mexico

- Luiz Fernandes, Pontifícia Universidade Católica do Rio Grande do Sul, Brazil

- Marcos Viera, Universidad de la República, Uruguay

- Mário Pereira, NOVA LINCS & Universidade Nova de Lisboa, Portugal

- Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina

- Noemi Rodriguez, Pontifícia Universidade Católica do Rio de Janeiro, Brazil

- Paul Leger, Universidad Católica del Norte, Chile

- Roberto Bigonha, Universidade Federal de Minas Gerais, Brazil

- Roberto Ierusalimschy, Pontifícia Universidade Católica do Rio de Janeiro, Brazil

- Rodrigo Ribeiro, Universidade Federal de Ouro Preto, Brazil

- Rui Pereira, HASLab/INESC Tec, Portugal

- Samuel Feitosa, Instituto Federal de Santa Catarina, Brazil

- Sérgio Medeiros, Universidade Federal do Rio Grande do Norte, Brazil

- Simão Melo de Sousa, NOVA-LINCS &  Universidade da Beira Interior, Portugal

- Stefania Dumbrava, École Nationale Supérieure d'Informatique pour l'industrie et l'Entreprise, France

- Stéphane Lengrand, Stanford Research Institute, USA


Contact
-------------------------------------------

All questions about submissions should be emailed to João Paulo Fernandes

(jpaulo@fe.up.pt)

[Caml-list] IFL2021 First call for papers

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

                                IFL 2021

    33rd Symposium on Implementation and Application of Functional Languages


                             venue: online
                          1 - 3 September 2021

                         https://ifl21.cs.ru.nl

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

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 2021 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.


Industrial track and topics of interest

This year's edition of IFL explicitly solicits original work concerning *applications*
of functional programming in industry and academia. These contributions will be reviewed by experts with an industrial background.

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
* testing and proofing
* virtual/abstract machine architectures
* validation, verification of functional programs
* tools and programming techniques
* applications of functional programming in the industry, including
** functional programming techniques for large applications
** successes of the application functional programming
** challenges for functional programming encountered
** any topic related to the application of functional programming that is interesting for the IFL community


Post-symposium peer-review

Following IFL tradition, IFL 2021 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 chairs 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. Moreover, the proceedings will also
be made publicly available as open access.


Important dates

Submission deadline of draft papers:           17 August 2021
Notification of acceptance for presentation:   19 August 2021
Registration deadline:                         30 August 2021
IFL Symposium:                                 1-3 September 2021
Submission of papers for proceedings:          6 December 2021
Notification of acceptance:                    3 February 2022
Camera-ready version:                          15 March 2022


### 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 2021 Chairs: Pieter Koopman and Peter Achten, Radboud University, The Netherlands

IFL Publicity chair: Pieter Koopman, Radboud University, The Netherlands

PC (under construction):
Peter Achten (co-chair)   - Radboud University, Netherlands
Thomas van Binsbergen     - University of Amsterdam, Netherlands
Edwin Brady               - University of St. Andrews, Scotland
Laura Castro              - University of A Coruña, Spain
Youyou Cong               - Tokyo Institute of Technology, Japan
Olaf Chitil               - University of Kent, England
Andy Gill                 - University of Kansas, USA
Clemens Grelck            - University of Amsterdam, Netherlands
John Hughes               - Chalmers University, Sweden
Pieter Koopman (co-chair) - Radboud University, Netherlands
Cynthia Kop               - Radboud University, Netherlands
Jay McCarthey             - University of Massachussetts Lowell, USA
Neil Mitchell             - Facebook, England
Jan De Muijnck-Hughes     - Glasgow University, Scotland
Keiko Nakata              - SAP Innovation Center Potsdam, Germany
Jurriën Stutterheim       - Standard Chartered, Singapore
Simon Thompson            - University of Kent, England
Melinda Tóth              - Eötvos Loránd University, Hungary
Phil Trinder              - Glasgow University, Scotland
Meng Wang                 - University of Bristol, England
Viktória Zsók             - Eötvos Loránd University, Hungary


Virtual symposium

Because of the Covid-19 pandemic, this year IFL 2021 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] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation

FINAL CALL FOR PARTICIPATION

21st Midlands Graduate School in the Foundations of Computing Science
MGS 21
12-16 April 2021, virtually
https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html


OVERVIEW

The annual Midlands Graduate School in the Foundations of Computing
Science (MGS) offers an intensive programme of lectures on the
mathematical foundations of computing. It addresses first of all PhD
students in their first or second year, but is open to anyone
interested in its topics, from academia to industry and around the
world. The MGS has been run since 1999 and is hosted alternately by
the Universities of Birmingham, Leicester, Nottingham and Sheffield.
MGS 21 is its 21st incarnation. Information about previous events can
be found at the MGS web site

http://www.cs.nott.ac.uk/MGS


PROGRAMME

MGS 21 consists of eight courses, each with four or five hours of
lectures and a similar number of exercise sessions. Three courses are
introductory; one is given by an invited lecturer. These should be
attended by all participants. The remaining more advanced courses
should be selected based on interest. MGS 21 aims at a mix of
livestreamed and prerecorded lectures and livestreamed exercise
sessions, with additional social online events.

Invited lectures:

Monads and Interactions
Tarmo Uustalu, Reykjavik

Introductory courses:

Category Theory
Jacopo Emmenegger, Birmingham

Type Theory
Thorsten Altenkirch, Nottingham

Proof Theory
Anupam Das, Birmingham

Advanced courses:

Homotopy Type Theory
Nicolai Kraus, Nottingham

Inductive and Coinductive Reasoning with Isabelle/HOL
Andrei Popescu, Sheffield

Effects and Call-by-Push-Value
Paul Levy, Birmingham

Formal Modelling and Analysis of Concurrent Systems
Mohammad Mousavi, Leicester

In addition we are organising a session where participants can briefly
present and discuss their own research. A call will be made in March.


REGISTRATION

Participation at MGS 21 is free of charge, but selective. Requests
must be submitted online via

https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.html

Registration deadline is April 1.


ORGANISATION

Please direct all queries about MGS 21 to Georg Struth.

The Sheffield organisers are

Harsh Beohar (H.Beohar@sheffield.ac.uk)

Andrei Popescu (A.Popescu@sheffield.ac.uk)

Georg Struth (G.Struth@sheffield.ac.uk)