========================= 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@cs.ioc.ee