PPL（Programming and Programming Languages） は, 日本ソフトウェア科学会プログラミング論研究会が主催するワークショップです. 型理論, 形式検証, 言語処理系, プログラム解析など, プログラミング言語にまつわる研究が一堂に会する場で, 毎年開催されています.