[Agda] Call for Participation: PPDP & LOPSTR 2021

[Niccolò Veltri]

=========================
PPDP 2021 | LOPSTR 2021
CALL FOR PARTICIPATION
=========================

23rd International Symposium on
Principles and Practice of Declarative Programming (PPDP 2021)

and

31st International Symposium on
Logic-based Program Synthesis and Transformation (LOPSTR 2021)

6–8 September 2021, Tallinn, Estonia, and online

PPDP website: http://imft.ftn.uns.ac.rs/PPDP2021

LOPSTR website: http://saks.iasi.cnr.it/lopstr21/

Joint PPDP/LOPSTR conference website: http://cs.ioc.ee/ppdp-lopstr21/

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

REGISTRATION for physical and online participation:

http://cs.ioc.ee/ppdp-lopstr21/regform.html

Physical registration is open until *August 18*.

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

Invited Speakers
----------------

Marko Gaboardi, Boston University (PPDP invited speaker)

Harald Søndergaard, University of Melbourne (joint PPDP-LOPSTR invited
speaker)

Stephen Wolfram, Wolfram Research (joint PPDP-LOPSTR invited speaker)

Bernardo Toninho, Luís Caires, and Frank Pfenning (10 year most
influential paper award, PPDP 2011)

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

About PPDP
----------

The PPDP 2021 symposium brings together researchers from the
declarative programming communities, including those working in the
functional, logic, answer-set, and constraint handling programming
paradigms. The goal is to stimulate research in the use of logical
formalisms and methods for analyzing, performing, specifying, and
reasoning about computations, including mechanisms for concurrency,
security, static analysis, and verification.

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

About LOPSTR
------------

The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development. LOPSTR
is open to contributions in logic-based program development in any
language paradigm. LOPSTR has a reputation for being a lively,
friendly forum for presenting and discussing work in progress. Formal
proceedings are produced only after the symposium so that authors can
incorporate this feedback in the published papers.

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

PPDP Program Committee
-----------------------------

Zena Ariola, University of Oregon, USA
Nick Benton, Facebook, UK (co-chair)
Małgorzata Biernacka, University of Wroclaw, Poland
James Cheney, The University of Edinburgh, UK
Stefania Dumbrava, ENSIIE Paris-Evry, France
Silvia Ghilezan, University of Novi Sad & Mathematical Institute SASA,
Serbia (co-chair)
Hugo Herbelin, INRIA, France
Cosimo Laneve, University of Bologna, Italy
Pierre Lescanne, ENS de Lyon, France
Ugo de’Liguoro, University of Torino, Italy
Francesca A. Lisi, University of Bari, Italy
Yanhong Annie Liu, Stony Brook University, USA
Elaine Pimentel, Federal University of Rio Grande do Norte, Brazil
Yukiyoshi Kameyama, University of Tsukuba, Japan
Petar Maksimović, Imperial College, London, UK
Yutaka Nagashima, Yale-NUS College, Singapore & University of
Innsbruck, Austria Aleksandar Nanevski, IMDEA Software Institute, Spain
Vivek Nigam, fortiss GmbH, Germany & Federal University of Paraíba,
Brazil Jorge A. Pérez, University of Groningen, The Netherlands
Sanjiva Prasad, Indian Institute of Technology Delhi, India
Alexis Saurin, CNRS, Université de Paris & INRIA , France
Tom Schrijvers, KU Leuven, The Netherlands
Paul Tarau, University of North Texas, USA
Tarmo Uustalu, Reykjavik University, Iceland & Tallinn University of
Technology, Estonia

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

LOPSTR Program Committee
-----------------------------

Roberto Amadini, University of Bologna, Italy
Sabine Broda, University of Porto, Portugal
Maximiliano Cristiá, CIFASIS-UNR, Argentina
Emanuele De Angelis, IASI-CNR, Italy (co-chair)
Włodzimierz Drabent, IPI PAN, Poland & Linköping University, Sweden
Catherine Dubois, ENSIIE-Samovar, France
Gregory Duck, National University of Singapore, Singapore
Fabio Fioravanti, University of Chieti-Pescara, Italy
Jeremy Gibbons, University of Oxford, UK
Gopal Gupta, University of Texas at Dallas, USA
Geoff Hamilton, Dublin City University, Ireland
Michael Hanus, Kiel University, Germany
Bishoksan Kafle, IMDEA Software Institute, Spain
Maja Kirkeby, Roskilde University, Denmark
Temur Kutsia, RISC J. Kepler University of Linz, Austria
Michael Leuschel, University of Düsseldorf, Germany
Pedro López-García, IMDEA Software Institute & CSIC, Spain
Jacopo Mauro, University of Southern Denmark, Denmark
Fred Mesnard, Université de la Réunion, France
Alberto Momigliano, University of Milano, Italy
Jorge A. Navas, SRI International, USA
Naoki Nishida, Nagoya University, Japan
Wim Vanhoof, University of Namur, Belgium (co-chair)
Alicia Villanueva, Universitat Politècnica de València, Spain

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

Local Organizers
-----------------------------

Niccolò Veltri, Tallinn University of Technology, Estonia (chair)
Tarmo Uustalu, Reykjavik University, Iceland & Tallinn University of
Technology, Estonia

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

Contact: ppdp-lopstr21 at cs.ioc.ee