COST Action CA20111 EuroProofNet
Open call for Short-Term Scientific Missions (STSMs)
Dear Action members,
The next STSM deadline is:
1st July 2022
Notification: 8th July. We are especially looking for applications from WG4
on the construction, management and (re)use of big libraries of formal
proofs
*What is an STSM?* A Short-Term Scientific Mission (STSM) is a research
visit of an individual researcher from a country participating in the
Action in a different country also participating in the Action. We
encourage STSMs, as they are an effective way of starting and maintaining
collaborations.
Find all the details concerning application on
https://europroofnet.github.io/grants . Write an email to us if you have
any questions.Best wishes,
Danijela Simic and Ambrus Kaposi
EuroProofNet STSM Coordinators
Dear friends of GHC,
this year’s Haskell Symposium will host a special “GHC Proposals
session” where current, future and past GHC Proposals can be presented
and discussed:
https://icfp22.sigplan.org/home/haskellsymp-2022#GHC-Proposals-Session
I invite all GHC Proposal authors (or otherwise interested party) who
are in Ljubljana to present your ideas and plans; just e-mail me if you
want a slot.
I also invite everyone else – users, developers, educators – to join
the session for the discussions of these proposals. Your chance to get
your voice heard, and not just your writing on GitHub!
Cheers,
Joachim
--
Joachim Breitner
mail(a)joachim-breitner.de
http://www.joachim-breitner.de/
Certified Programs and Proofs (CPP) is an international conference on
practical
and theoretical topics in all areas that consider formal verification and
certification as an essential paradigm for their work. CPP spans areas of
computer science, mathematics, logic, and education.
CPP 2023 (https://popl23.sigplan.org/home/CPP-2023) will be held on 16-17
January 2023 and will be co-located with POPL 2023 in Boston, Massachusetts,
United States. CPP 2023 is sponsored by ACM SIGPLAN, in cooperation with ACM
SIGLOG.
CPP 2023 will welcome contributions from all members of the community.
The CPP
2023 organizers will strive to enable both in-person and remote
participation,
in cooperation with the POPL 2023 organizers.
IMPORTANT DATES
* Abstract Submission Deadline: 14 September 2022 at 23:59 AoE (UTC-12h)
* Paper Submission Deadline: 21 September 2022 at 23:59 AoE (UTC-12h)
* Notification (tentative): 21 November 2022
* Camera Ready Deadline (tentative): 12 December 2022
* Conference: 16-17 January 2023
Deadlines expire at the end of the day, anywhere on earth. Abstract and
submission deadlines are strict and there will be no extensions.
DISTINGUISHED PAPER AWARDS
Around 10% of the accepted papers at CPP 2023 will be designated as
Distinguished Papers. This award highlights papers that the CPP program
committee thinks should be read by a broad audience due to their relevance,
originality, significance and clarity.
TOPICS OF INTEREST
We welcome submissions in research areas related to formal certification of
programs and proofs. The following is a non-exhaustive list of topics of
interest to CPP:
* certified or certifying programming, compilation, linking, OS kernels,
runtime
systems, security monitors, and hardware;
* certified mathematical libraries and mathematical theorems;
* proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris,
Isabelle, Lean, Mizar, Nuprl, PVS, etc);
* new languages and tools for certified programming;
* program analysis, program verification, and program synthesis;
* program logics, type systems, and semantics for certified code;
* logics for certifying concurrent and distributed systems;
* mechanized metatheory, formalized programming language semantics, and
logical
frameworks;
* higher-order logics, dependent type theory, proof theory, logical systems,
separation logics, and logics for security;
* verification of correctness and security properties;
* formally verified blockchains and smart contracts;
* certificates for decision procedures, including linear algebra, polynomial
systems, SAT, SMT, and unification in algebras of interest;
* certificates for semi-decision procedures, including equality, first-order
logic, and higher-order unification;
* certificates for program termination;
* formal models of computation;
* mechanized (un)decidability and computational complexity proofs;
* formally certified methods for induction and coinduction;
* integration of interactive and automated provers;
* logical foundations of proof assistants;
* applications of AI and machine learning to formal certification;
* user interfaces for proof assistants and theorem provers;
* teaching mathematics and computer science with proof assistants.
SUBMISSION GUIDELINES
Prior to the paper submission deadline, the authors should upload their
anonymized paper in PDF format through the HotCRP system at
https://cpp2023.hotcrp.com
The submissions must be written in English and provide sufficient detail to
allow the program committee to assess the merits of the contribution.
They must
be formatted following the ACM SIGPLAN Proceedings format using the
acmart style
with the sigplan option, which provides a two-column style, using 10
point font
for the main text, and a header for double blind review submission, i.e.,
\documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false}
The submitted papers should not exceed 12 pages, including tables and
figures,
but excluding bibliography and clearly marked appendices. The papers
should be
self-contained without the appendices. Shorter papers are welcome and
will be
given equal consideration. Submissions not conforming to the requirements
concerning format and maximum length may be rejected without further
consideration.
CPP 2023 will employ a lightweight double-blind reviewing process
following the
process from previous years. To facilitate this, the submissions must
adhere to
two rules:
(1) author names and institutions must be omitted, and
(2) references to authors’ own related work should be in the third
person (e.g.,
not "We build on our previous work ..." but rather "We build on the
work of
...").
The purpose of this process is to help the PC and external reviewers
come to an
initial judgment about the paper without bias, not to make it impossible for
them to discover the authors if they were to try. Nothing should be done
in the
name of anonymity that weakens the submission or makes the job of
reviewing it
more difficult. In particular, important background references should not be
omitted or anonymized. In addition, authors are free to disseminate
their ideas
or draft versions of their papers as usual. For example, authors may
post drafts
of their papers on the web or give talks on their research ideas. Note
that POPL
2023 itself will employ full double-blind reviewing, which differs from the
light-weight CPP process. This FAQ from previous SIGPLAN conference
addresses
many common concerns:
https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-R…
We strongly encourage the authors to provide any supplementary material that
supports the claims made in the paper, such as proof scripts or experimental
data. This material must be uploaded at submission time, as an archive,
not via
a URL. Two forms of supplementary material may be submitted:
(1) Anonymous supplementary material is made available to the reviewers
before
they submit their first-draft reviews.
(2) Non-anonymous supplementary material is made available to the reviewers
after they have submitted their first-draft reviews and have learned the
identity of the authors.
Please use anonymous supplementary material whenever possible, so that
it can be
taken into account from the beginning of the reviewing process.
The submitted papers must adhere to the SIGPLAN Republication Policy
(https://www.sigplan.org/Resources/Policies/Republication/) and the ACM
Policy
on Plagiarism (https://www.acm.org/publications/policies/plagiarism)
Concurrent
submissions to other conferences, journals, workshops with proceedings, or
similar forums of publication are not allowed. The PC chairs should be
informed
of closely related work submitted to a conference or journal in advance of
submission. One author of each accepted paper is expected to present it
at the
(possibly virtual) conference.
PUBLICATION, COPYRIGHT AND OPEN ACCESS
The CPP 2023 proceedings will be published by the ACM, and authors of
accepted
papers will be required to choose one of the following publication options:
(1) Author retains copyright of the work and grants ACM a non-exclusive
permission-to-publish license and, optionally, licenses the work
under a
Creative Commons license.
(2) Author retains copyright of the work and grants ACM an exclusive
permission-to-publish license.
(3) Author transfers copyright of the work to ACM.
For authors who can afford it, we recommend option (1), which will make the
paper Gold Open Access, and also encourage such authors to license their
work
under the CC-BY license. ACM will charge you an article processing fee
for this
option (currently, US$700), which you have to pay directly with the ACM.
For everyone else, we recommend option (2), which is free and allows you to
achieve Green Open Access, by uploading a preprint of your paper to a
repository
that guarantees permanent archival such as arXiv or HAL. This is anyway
a good
idea for timely dissemination even if you chose option 1.
The official CPP 2023 proceedings will also be available via SIGPLAN OpenTOC
(http://www.sigplan.org/OpenTOC/#cpp)
For ACM’s take on this, see their Copyright Policy
(http://www.acm.org/publications/policies/copyright-policy) and Author
Rights
(http://authors.acm.org/main.html)
PROGRAM COMMITTEE
Steve Zdancewic, University of Pennsylvania, USA (co-chair)
Brigitte Peintka, McGill University, Canada (co-chair)
Reynald Affeldt, AIST, Japan
Tej Chajed, MIT, USA
Koen Claessen, Chalmers, Sweden
Ranald Clouston, ANU, Australia
Leonardo de Moura, Microsoft Research, USA
Xinyu Feng, Nanjing University, China
Denis Firsov, Tallinn University/GuardTime, Estonia
Yannick Forster, Inria Nantes, France
Milos Gligoric, UT Austin, USA
Stephane Graham-Lengrand, SRI, USA
Elsa Gunter, Univerisity of Illinois Urbana-Champaign, USA
Chris Hawblitzel, Microsoft Research, US
Chantal Keller , Université Paris Saclay, France
Marie Kerjean, CNRS, France
Yoonseung Kim, Seoul National University, Korea
Kenji Maillard, INRIA, France
César Muñoz, Amazon Web Services, USA
Tobias Nipkow, Technical University of Munich, Germany
Lawrence Paulson, Cambridge, UK
Pierre-Marie Pédrot, INRIA, France
Anja Petković Komel, TU Wien, Vienna
Clément Pit-Claudel, EPFL, France
Christine Rizkallah, University of Melbourne, Australia
Cody Roux, AWS, USA
Kazuhiko Sakaguchi, University of Tsukuba, Japan
Anna Slobodova, Intel, USA
Aaron Stump, University of Iowa, USA
René Thiemann, University of Innsbruck, Austria
Amin Timany, Aarhus University, Denmark
Josef Urban, CIIRC (Prague), Czech Republic
Viktor Vafeiadis, MPI-SWS, Germany
Yuting Wang, Shanghai Jiao Tong University, China
Tjark Weber, Uppsala University, Sweden
ORGANIZERS
Dmitriy Traytel, University of Copenhagen, Denmark (conference co-chair)
Robbert Krebbers, Radboud University, Netherlands (conference co-chair)
Brigitte Peintka, McGill University, Canada (PC co-chair)
Steve Zdancewic, University of Pennsylvania, United States (PC co-chair)
CONTACT
For any questions please contact the two PC chairs:
Steve Zdancewic <stevez(a)seas.upenn.edu>
Brigitte Pientka <bpientka(a)cs.mcgill.ca>
*IFL 2022Frederiksberg Campus of Faculty of Science, UCPH, CopenhagenAugust
31s-September 2nd, 2022*
*Early registration deadline: August 15th AoE *
*See **https://ifl22.github.io/* <https://ifl22.github.io/>* for more
information.*
*CALL FOR PARTICIPATION:*
The 34th Symposium on Implementation and Application of Functional
Languages (IFL 2022)
Copenhagen, August 31st-September 2nd, 2022
*Important dates*
Submission deadline of draft papers August 8th, 2022 (EXPIRED)
Notification of acceptance August 9th, 2022 (EXPIRED)
Early registration deadline August 15th, 2022 (AoE)
Late registration deadline August 31st, 2022, 12:59 CET (UTC+2)
IFL Symposium August 31st - September 2nd, 2022
(We-Fr)
*Scope*
The goal of IFL is to bring together researchers and developers actively
engaged in the implementation and application of functional programming
languages and function-oriented programming. IFL 2022 is held in beautiful
Copenhagen, Denmark and is 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 programming
languages and function-oriented programming.
*Invited speakers*
IFL 2022 is pleased to announce keynote talks by the following three
invited speakers:
* Peter Sestoft, Professor, Head of Department, IT University of
Copenhagen, Denmark: "Abstract machines and functional language
implementation"
* Lennart Augustsson, Principal Programmer, Epic Games: "Verse - a new
functional-logic language"
* Thomas Gazagnaire, Chief Technology Officer and co-founder, Tarides:
"Talk title to be announced"
*Venue and registration*
The symposium will be held physically on the Frederiksberg Campus of the
Faculty of Science at the University of Copenhagen. Days 1 and 2 (August
31st and September 1st) will be in meeting room A2-84.01 at Thorvaldsensvej
40. Day 3 (September 2nd) will be in the Celebration Auditorium at
Bülowsvej 17.
For registration and fees, please consult the symposium web site at
https://ifl22.github.io/. Please notice that the early registration date is
August 15, 2022 (AoE).
*Accepted papers*
* Asynchronous Shared Data Sources. Mart Lubbers, Haye Böhm, Pieter Koopman
and Rinus Plasmeijer.
* Heuristics-based Type Error Diagnosis for Haskell: the case of type
families. Niels Kwadijk and Jurriaan Hage.
* Verified Technology Mapping in an Agda DSL for Circuit Design. João Paulo
Pizani Flor and Wouter Swierstra.
* Creating Interactive Visualizations of TopHat Programs. Mark Gerarts,
Marc de Hoog, Nico Naus and Tim Steenvoorden.
* An SQL Frontend on top of OCaml for Data Analysis. Yan Dong, Yahui Song
and Wei-Ngan Chin.
* A Structure Editor with Type-Safe Copy/Paste. Hans Hüttel, Christoffer
Lind Andersen, Nana Gjerulf Sandberg, Anja Elisasen Lumholtz Nielsen and
Peter Mikkelsen.
* How to fold and color a map: Comparing Use-Cases of Tree-Fold vs
Fold-Left. Jim Newton.
* Compiling a functional array language with non-semantic memory
information. Philip Munksgaard, Cosmin Oancea and Troels Henriksen.
* Systems of partial values and their applications in Haskell. Natasha
England-Elbro.
* First-Class Data Types in Shallow Embedded Domain-Specific Languages
using Metaprogramming. Mart Lubbers, Pieter Koopman and Rinus Plasmeijer.
* Set-theoretic Types for Erlang. Albert Schimpf, Stefan Wehr and Annette
Bieniusa.
* Strongly-Typed Multi-View Stack-Based Computations. Pieter Koopman and
Mart Lubbers.
* Ztrategic: Strategic Programming with Zippers. José Nuno Macedo, Emanuel
Rodrigues, Marcos Viera and João Saraiva.
* Higher-ranked region inference for polymorphic, lazy languages. Ivo Gabe
de Wolff and Jurriaan Hage.
* Jeopardy: An invertible functional programming language. Joachim
Kristensen, Robin Kaarsgaard and Michael Kirkedal Thomsen.
* The Foil: Capture-Avoiding Substitution With No Sharp Edges. Dougal
Maclaurin, Alexey Radul and Adam Paszke.
* Verified Causal Broadcast with Liquid Haskell. Patrick Redmond, Gan Shen,
Niki Vazou and Lindsey Kuper.
* Towards Inversion of Tail-recursive Term Rewriting Systems. Maria Bendix
Mikkelsen, Robert Glück and Maja Hanne Kirkeby.
* A Confluence and Termination Checker for Haskell Rewrite Rules. Makoto
Hamana.
* On Generating Out-Of-Core GPU Code for Multi-Dimensional Array
Operations. Patrick van Beurden and Sven-Bodo Scholz.
* Compiling Haskell for Energy Efficiency: Analysis of Individual
Transformations. Bernardo Santos, João Fernandes, Maja Kirkeby and Alberto
Pardo.
*Post-symposium peer review *
Following IFL tradition, IFL 2022 will use a post-symposium review process
to produce the formal proceedings.
Before the symposium authors submit draft papers. These draft papers have
been 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. Notice that it is a requirement that draft papers that are
accepted for presentation be presented physically at the symposium.
After the symposium the authors are 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 will be accepted or rejected for the formal
proceedings. Papers that are accepted for the formal proceedings are
published in the International Conference Proceedings Series of the ACM
Digital Library, as in previous years.
*Peter Landin Prize*
The Peter Landin Prize is awarded to the best paper presented at the
symposium every year. The honored 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.
*Sponsors*
IFL 2022 is financially supported by
- Meta (Silver sponsor),
- Well-typed (Bronze sponsor),
- Funktionelle Københavnere (Bronze sponsor), and
- University of Copenhagen (administrative support, host).
*Organisation*
General chair Fritz Henglein, University of Copenhagen
Program chair Martin Elsman, University of Copenhagen
Communications chair Troels Henriksen, University of Copenhagen
*Program committee*
Laura M. Castro Universidade da Coruña, Spain
David Christiansen Haskell Foundation
Martin Elsman University of Copenhagen, Denmark (chair)
Matthew Fluet Rochester Institute of Technology, USA
Clemens Grelck Universiteit van Amsterdam, The Netherlands
Zhenjiang Hu Peking University, China
Robin Kaarsgaard University of Edinburgh, Scotland
Gabriele Keller Utrecht University, The Netherlands
Oleg Kiselyov Tohoku University, Japan
Neil Mitchell Facebook
Stefan Monnier Universite de Montreal, Canada
Magnus Myreen Chalmers University, Sweden
Cyrus Omar University of Michigan, USA
Romain Péchoux University of Lorraine, Inria, France
Rinus Plasmeijer Radboud University, The Netherlands
Morten Rhiger Roskilde University, Denmark
Peter van Roy Catholic University of Louvain, Belgium
Olin Shivers Northeastern University, USA
Peter Thiemann University of Freiburg, Germany
Marcos Viera Universidad de la República, Uruguay
Meng Wang University of Bristol, UK
[image: beacon]
==============================================================================
Call for Papers
25th International Symposium on Practical Aspects of Declarative Languages
(PADL 2023)
https://popl23.sigplan.org/home/PADL-2023
Boston, Massachusetts, United States, January 16-17, 2023
Co-located with ACM POPL 2023
==============================================================================
Conference Description
----------------------
Declarative languages comprise several well-established classes of
formalisms, namely, functional, logic, and constraint programming.
Such formalisms enjoy both sound theoretical bases and the
availability of attractive frameworks for application development.
Indeed, they have been already successfully applied to many different
real-world situations, ranging from database management to active
networks to software engineering to decision support systems.
New developments in theory and implementation fostered applications in
new areas. At the same time, applications of declarative languages to
novel and challenging problems raise many interesting research issues,
including designing for scalability, language extensions for
application deployment, and programming environments. Thus,
applications drive the progress in the theory and implementation of
declarative systems, and benefit from this progress as well.
PADL is a well-established forum for researchers and practitioners to
present original work emphasizing novel applications and
implementation techniques for all forms of declarative programming,
including functional and logic programming, database and constraint
programming, and theorem proving.
Topics of interest include, but are not limited to:
- Innovative applications of declarative languages
- Declarative domain-specific languages and applications
- Practical applications of theoretical results
- New language developments and their impact on applications
- Declarative languages and software engineering
- Evaluation of implementation techniques on practical applications
- Practical experiences and industrial applications
- Novel uses of declarative languages in the classroom
- Practical extensions such as constraint-based, probabilistic,
and reactive languages
PADL 2023 especially welcomes new ideas and approaches related to
applications, design and implementation of declarative languages going
beyond the scope of the past PADL symposia, for example, advanced
database languages and contract languages, as well as verification and
theorem proving methods that rely on declarative languages.
Submissions
-----------
PADL 2023 welcomes three kinds of submission:
* Technical papers (max. 15 pages):
Technical papers must describe original, previously unpublished
research results.
* Application papers (max. 8 pages):
Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or in
areas of research other than Computer Science. Application papers
are expected to describe complex and/or real-world applications that
rely on an innovative use of declarative languages. Application
descriptions, engineering solutions and real-world experiences (both
positive and negative) are solicited.
* Extended abstracts (max. 3 pages):
Describing new ideas, a new perspective on already published work,
or work-in-progress that is not yet ready for a full
publication. Extended abstracts will be posted on the symposium
website but will not be published in the formal proceedings.
All page limits exclude references. Submissions must be written in English
and formatted according to the standard Springer LNCS style, see
https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…
Page numbers (and, if possible, line numbers) should appear on the
manuscript to help the reviewers in writing their reports. So, for
LaTeX, we recommend that authors use:
\pagestyle{plain}
\usepackage{lineno}
\linenumbers
The conference proceedings of PADL 2023 will be published by
Springer-Verlag in the Lecture Notes in Computer Science series.
Work that already appeared in unpublished or informally published
workshops proceedings may be submitted but the authors should notify
the program chairs where it has previously appeared.
Papers should be submitted electronically at
https://easychair.org/conferences/?conf=padl2023
Important Dates
---------------
Abstract submission: October 2, 2022 (AoE)
Paper submission: October 9, 2022 (AoE)
Notification: November 5, 2022
Symposium: January 16-17, 2023
Distinguished Papers
--------------------
The authors of a small number of distinguished papers will be invited
to submit a longer version for journal publication after the
symposium. For papers related to logic programming, that will be in
the journal Theory and Practice of Logic Programming (TPLP)
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-progra…,
and for papers related to functional programming, in Journal of
Functional Programming (JFP)
https://www.cambridge.org/core/journals/journal-of-functional-programming.
The extended journal submissions should be substantially (roughly 30%)
extended: explanations for which there was no space, illuminating examples
and proofs, additional definitions and theorems, further experimental
results, implementational details and feedback from
practical/engineering use, extended discussion of related work, and so
on. These submissions will then be subject to the usual peer review
process by the journal, although with the aim of a swifter review
process by reusing original reviews from PADL.
PADL 2023 PC Co-Chairs
----------------------
- Michael Hanus, Kiel University, Germany
- Daniela Inclezan, Miami University, United States
Programme Committee
-------------------
Andreas Abel Gothenburg University, Sweden
Annette Bieniusa TU Kaiserslautern, Germany
Joachim Breitner Epic Games, Germany
William Byrd University of Alabama at Birmingham, USA
Pedro Cabalar University of Corunna, Spain
Francesco Calimeri University of Calabria, Italy
Stefania Costantini University of L'Aquila, Italy
Esra Erdem Sabanci University, Turkey
Martin Gebser University of Klagenfurt, Austria
Robert Glueck University of Copenhagen, Denmark
Gopal Gupta University of Texas at Dallas, USA
Michael Hanus CAU Kiel, Germany (co-chair)
Daniela Inclezan Miami University, USA (co-chair)
Tomi Janhunen Tampere University, Finland
Patricia Johann Appalachian State University, USA
Yukiyoshi Kameyama University of Tsukuba, Japan
Ekaterina Komendantskaya Heriot-Watt University, UK
Simona Perri University of Calabria, Italy
Enrico Pontelli New Mexico State University, USA
Tom Schrijvers Katholieke Universiteit Leuven, Belgium
Paul Tarau University of North Texas, USA
Peter Thiemann University of Freiburg, Germany
Peter Van Roy Universite catholique de Louvain, Belgium
Janis Voigtlaender University of Duisburg-Essen, Germany
Ningning Xie University of Cambridge, UK
Contact Address
---------------
padl2023 _AT_ easychair.org
-------------------------------------------------------------------------------
[ Apologies for multiple postings ]
============================
PPDP 2022 - LOPSTR 2022
JOINT CALL FOR PARTICIPATION
============================
PPDP 2022
24th International Symposium on
Principles and Practice of Declarative Programming
20-22 September 2022, Tbilisi, Georgia
https://software.imdea.org/Conferences/PPDP2022/
Co-located with
LOPSTR 2022
32nd International Symposium on
Logic-Based Program Synthesis and Transformation
21-23 September 2022, Tbilisi, Georgia
https://lopstr2022.webs.upv.es/
The conferences will be held as hybrid (blended) meetings, both in-person and
virtual.
Both conferences are part of CLAS 2022:
http://www.viam.science.tsu.ge/clas2022/
===================================
Registration
------------
Please use the CLAS registration form on EasyChair:
https://easychair.org/my/conference?conf=clas2022
* Early registration deadline August 14, 2022 *
An online-only registration option is available.
===================================
Invited Speakers
----------------
Niki Vazou, IMDEA Software Institute, Spain
(joint PPDP-LOPSTR invited speaker)
Florian Zuleger, Technische Universität Wien, Austria
(joint PPDP-LOPSTR invited speaker)
Torsten Grust, University of Tübingen, Germany
(PPDP invited speaker)
Robert Hierons, The University of Sheffield, UK.
(LOPSTR invited speaker)
Ornela Dardha, Elena Giachino, and Davide Sangiorgi
(10 Year Most Influential Paper Award for “Session Types Revisited”, PPDP
2012).
===================================
About PPDP
----------
The PPDP 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.
===================================
Please consult the conferences' webpages for the lists of accepted papers.
Hope to see you in Tbilisi!
The PPDP and LOPSTR chairs.
Alicia Villanueva
Manuel Hermenegildo
Beniamino Accattoli
